Publications

Search for publications at Department of Computer Science

Below you find a complete list of publications published and edited by scientists at the Department of Computer Science

Christensen, H. B. (1999). Ragnarok: An Architecture Based Software Development Environment. Department of Computer Science, University of Aarhus.

Ernst, E. (1999). Relative Types. In F. Gerhardt, L. Benedicenti & E. Ernst (Eds.), Position Papers from The 8th Workshop for PhD Students in Object-Oriented Systems (pp. 21-36). Department of Computer Science, Aarhus University.

Nielsen, T. T., Wigard, J., Michaelsen, P.-H. & Mogensen, P. E. (1999). Resource Allocation in a Frequency Hopping PCS1900/GSM/DCS1800 Type of Network. In 1999 IEEE 49th Vehicular Technology Conference (pp. 209-214). IEEE Computer Society Press. https://doi.org/10.1109/VETEC.1999.778048

Bødker, S. (1999). Scenarios in User-Centered Design - Setting the Stage for Reflection and Action. In Proceedings of the 32nd annual Hawaii International Conference on System Sciences IEEE Computer Society Press. https://doi.org/10.1109/HICSS.1999.772892

Jensen, K. (Ed.) (1999). Second Workshop on Practical Use of Coloured Petri Nets and Design/CPN: Aarhus, Denmark, 13-15 October 1999. Department of Computer Science, Aarhus University.

Madsen, O. L. (1999). Semantic Analysis of Virtual Classes and Nested Classes. In A. M. Berman (Ed.), Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications: , systems, languages, and applications (pp. 114 - 131). Association for Computing Machinery. https://doi.org/10.1145/320384.320394

Christensen, M., Damm, C. H., Hansen, K. M., Sandvad, E. & Thomsen, M. (1999). Software Architectural Evolution in the Dragon Project. In Object-Oriented Technology, ECOOP'99 Workshops, Panels, and Posters, Proceedings Department of Computer Science, University of Lisbon. http://www.cit.dk/COT/reports/reports/Case5/09/cot-5-09.pdf

Buscher, M., Mogensen, P. H., Shapiro, D. & Wagner, I. (1999). Spaces for Creating Context and Awareness - designing a Collaborative Virtual Workspace. In Human-Computer Interaction: Communication, Cooperation, and Application Design. Proceedings of HCI International '99 (Vol. 2, pp. 283-287). Lawrence Erlbaum Associates.

Miltersen, P. B., Vinodchandran, N. V. & Watanabe, O. (1999). Super-Polynomial Versus Half-Exponential Circuit Size in the Exponential Hierarchy. In T. Asano, H. Imai, D. T. Lee, S. Nakano & T. Tokuyama (Eds.), Computing and Combinatorics: 5th Annual International Conference, COCOON'99 Tokyo, Japan, July 26-28, 1999 Proceedings (pp. 210-220). Springer. https://doi.org/10.1007/3-540-48686-0_21

Petersen, M. G. & Madsen, K. H. (1999). Supporting Collaboration in Multimedia Design. In S. Brewster, A. Cawsey & G. Cockton (Eds.), Human-Computer Interaction: INTERACT (pp. 185-190). The British Computer Society.

Grønbæk, K. & Sloth, L. (1999). Supporting Interchange of Open Hypermedia Structures and Contents. In Proceedings of the 5th Workshop on Open Hypermedia Systems

Bouvin, N. O. (1999). The Arakne Framework. Department of Computer Science, Aarhus University. CIT-Coconut No. 99-03.1Intermedia Working Papers No. 1

Hansen, K. M. (1999). The BetaDBC Library.

Skyum, S., Frandsen, G. S., Miltersen, P. B. & Binderup, P. G. (1999). The Complexity of Identifying Large Equivalence Classes. Fundamenta Informaticae, 38(1-2), 25-37. https://doi.org/10.3233/FI-1999-381203

Buss, J. F., Frandsen, G. S. & Shallit, J. O. (1999). The Computational Complexity of Some Problems of Linear Algebra. Journal of Computer and System Sciences, 58(3), 572-596. https://doi.org/10.1006/jcss.1998.1608

Hansen, K. M. & Thomsen, M. (1999). The "Domain Model Concealer" and "Application Moderator" patterns: Addressing architechtural uncertainty in interactive systems. In Technology of Object-Oriented Languages and Systems, 1999. TOOLS 31. Proceedings (pp. 177-190). IEEE Computer Society Press. https://doi.org/10.1109/TOOLS.1999.796481

Wigard, J., Nielsen, T. T., Skjærris, S. & Mogensen, P. E. (1999). The influence of Discontinuous Transmission on RXQUAL statistics in GSM. In 1999 IEEE 49th Vehicular Technology Conference (pp. 2505-2509). IEEE Computer Society Press. https://doi.org/10.1109/VETEC.1999.778534

Hansen, K. M. (1999). The Knight Project: Supporting Collaboration in Object-Oriented Analysis and Design. In Object-Oriented Technology, ECOOP'99 Workshops, Panels, and Posters, Proceedings http://www.daimi.au.dk/~knight/documents/oohf.pdf

Christensen, H. B. (1999). The Ragnarok Architectural Software Configuration Management Model. In Proceedings of the 32nd Annual Hawaii International Conference on System Sciences, 1999. HICSS-32 IEEE Computer Society Press. https://doi.org/10.1109/HICSS.1999.773099

Christensen, H. B. (1999). The Ragnarok Software Development Environment. Nordic Journal of Computing, 6(1), 4-21.

Christensen, H. B., Asklund, U., Bendix, L. & Magnusson, B. (1999). The Unified Extensional Versioning Model. In J. Estublier (Ed.), System Configuration Management: 19th International Symposium, SCM-9 Toulouse, France, September 5–7, 1999 Proceedings (pp. 100-122). Springer. https://doi.org/10.1007/3-540-48253-9_8

Madsen, O. L. (1999). Towards Integration of Object-Oriented Languages and State Machines. In Proceedings of the Technology of Object-Oriented Languages and Systems: Proceedings of the Technology of Object-Oriented Languages and Systems (Vol. 1, pp. 261-274). IEEE Computer Society Press. https://doi.org/10.1109/TOOLS.1999.779018

Danvy, O. (1999). Type-Directed Partial Evaluation. In J. Hatcliff, T. Æ. Mogensen & P. Thiemann (Eds.), Partial Evaluation: Practice and Theory DIKU 1998 International Summer School Copenhagen, Denmark, June 29 – July 10, 1998 (pp. 367-411). Springer. https://doi.org/10.1007/3-540-47018-2_16

Hansen, K. M. & Yndigegn, C. (1999). Typed links in Webvise. Computer programme

Bouvin, N. O. (1999). Unifying strategies for Web augmentation. In J. Westbomke, U. K. Wiil, J. J. Leggett, K. Tochtermann & J. M. Haake (Eds.), Proceedings of the tenth ACM Conference on Hypertext and hypermedia: returning to our diverse roots (pp. 91-100). Association for Computing Machinery. https://doi.org/10.1145/294469.294493

Bouvin, N. O. & Thomsen, K. S. (1999). User Guide to the COCONUT Arakne Application. Department of Computer Science, Aarhus University. CIT-Coconut No. 99-04Intermedia Working Papers No. 2

Grønbæk, K. (1999). Webvise: An object oriented open hypermedia system for the Web. Computer programme

Grønbæk, K., Sloth, L. & Ørbæk, P. (1999). Webvise: Browser and Proxy support for open hypermedia structuring mechanisms on the WWW. Computer Networks, 31(11-16), 1331-1345. https://doi.org/10.1016/S1389-1286(99)00046-8

Danvy, O., Glück, R. & Thiemann, P. (1998). 1998 Symposium on Partial Evaluation. A C M Computing Surveys, 30(3). https://doi.org/10.1145/292469.293684

Madsen, O. L. (1998). A Block-Structure Concurrent Object-Oriented Language. In Z. Zamir (Ed.), Handbook of Object-Technology CRC Press.

Madsen, O. L., Torgersen, M., Røn, H. & Thorup, K. K. (1998). A Conceptual Approach to Teaching Object-Orientation to C Programmers. In M. L. Manns (Ed.), Proceedings Educators' Symposium: Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA'98). Session: Mastering OO Modeling: Experiences in OO Education. (pp. 3-10). Association for Computing Machinery.

Bertelsen, O. W. (1998). Against Organisation - on the suitability of organisation as a general metaphor for the non-technical. In Proceedings of IRIS 21 Aalborg University, Department of Computer Science.

Danvy, O. (1998). An Extensional Characterization of Lambda-Lifting and Lambda-Dropping. BRICS Report Series, (RS-98-2).

Jensen, K. (1998). An Introduction to the Practical Use of Coloured Petri Nets. In W. Reisig & G. Rozenberg (Eds.), Lecture on Petri Nets II: Applications (pp. 237-292). Springer. https://doi.org/10.1007/3-540-65307-4_50

Danvy, O. & Yang, Z. (1998). An Operational Investigation of the CPS Hierarchy. BRICS Report Series, (RS-98-35).

Brodal, G. S., Träff, J. L. & Zaroliagis, C. D. (1998). A Parallel Priority Queue with Constant Time Operations. Journal of Parallel and Distributed Computing, 49(1), 4-21. https://doi.org/10.1006/jpdc.1998.1425

Hansen, K. M., Christensen, M., Sandvad, E., Thomsen, M. & Damm, C. H. (1998). Architectures of prototypes and architectural prototyping. In Proceedings of NWPER '98: Nordic workshop on programming environment research: Eighth Nordic Workshop on Programming Environment Research (pp. 247-267) http://www.daimi.au.dk/~damm/writings/nwper98.pdf

Jühne, J., Jensen, A. T. & Grønbæk, K. (1998). Ariadne: A Java-based guided tour system for the World Wide Web. Computer Networks, 30(1-7), 131-139. https://doi.org/10.1016/S0169-7552(98)00124-X

Danvy, O. (1998). A simple solution to type specialization. In K. G. Larsen, S. Skyum & G. Winskel (Eds.), Automata, Languages and Programming: 25th International Colloquium, ICALP'98 Aalborg, Denmark, July 13–17, 1998 Proceedings (pp. 908-917). Springer. https://doi.org/10.1007/BFb0055112

Danvy, O. (1998). A Simple Solution to Type Specialization. BRICS Report Series, (RS-98-1).

Kim, J., Yi, K. & Danvy, O. (1998). Assessing the Overhead of ML Exceptions by Selective CPS Transformation. BRICS Report Series, (RS-98-15).

Skyum, S., Larsen, K. G. & Winskel, G. (Eds.) (1998). Automata, Languages and Programming. Springer. Lecture Notes in Computer Science Vol. 1443 https://doi.org/10.1007/BFb0055035

Wigard, J., Nielsen, T. T., Michaelsen, P. H. & Mogensen, P. E. (1998). BER and FER Prediction of Control and Traffic Channels for a GSM type of interface. In 48th IEEE Vehicular Technology Conference, 1998. VTC 98. IEEE Computer Society Press. https://doi.org/10.1109/VETEC.1998.686557

Schmidt, E. M. (1998). BRICS and Quantum Information Processing. In V. Arvind & S. Ramanujam (Eds.), Foundations of Software Technology and Theoretical Computer Science: 18th Conference, Chennai, India, December 17-19, 1998. Proceedings (pp. 1050). Springer. https://doi.org/10.1007/978-3-540-49382-2_15

Brodal, G. S. & Pinotti, M. C. (1998). Comparator networks for binary heap construction. In S. Arnborg & L. Ivansson (Eds.), Algorithm Theory — SWAT'98: 6th Scandinavian Workshop on Algorithm Theory Stockholm, Sweden, July 8–10, 1998 Proceedings (pp. 158-168). Springer. https://doi.org/10.1007/BFb0054364

Danvy, O. & Rhiger, M. (1998). Compiling Actions by Partial Evaluation, Revisited. BRICS Report Series, (RS-98-13).

Nielsen, M. & Thomas, W. (Eds.) (1998). Computer Science Logic: 11th International Workshop, CSL '97 Annual Conference of the EACSL Aarhus, Denmark, August 23-29, 1997 Selected Papers. Springer. Lecture Notes in Computer Science Vol. 1414 https://doi.org/10.1007/BFb0028003

Bødker, S. & Madsen, K. H. (1998). Context: An active Choice in Usability Work. interactions, (4), (17-25).

Bouvin, N. O. (1998). Designing open hypermedia applets: experiences and prospects. In Proceedings of the ninth ACM conference on Hypertext and hypermedia: links, objects, time and space---structure in hypermedia systems (pp. 281-282). Association for Computing Machinery. https://doi.org/10.1145/276627.276659

Schwartzbach, M. I. & Sandholm, A. (1998). Distributed Safety Controllers for Interactive Web Services. In Proccedings on Conference on Fundamental Approaches to Software Engineering (pp. 270-284). Springer. https://doi.org/10.1007/BFb0053596

Displaying results 5301 to 5350 out of 5916

107