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

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. Software

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.

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

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

Hansen, K. M. (1998). Dragon Customer Service System Prototype. Software

Ernst, E. (1998). Dynamic Inheritance and Static Analysis can be Reconciled. In K. Mughal & A. L. Opdahl (Eds.), Proceedings of NWPER'98: The Eighth Nordic Workshop on Programming Environment Research University of Bergen.

Agarwal, P. K., Arge, L. A., Erickson, J., Franciosa, P. G. & Vitter, J. S. (1998). Efficient Searching with Linear Constraints. In Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems (pp. 169-178). Association for Computing Machinery. https://doi.org/10.1145/275487.275506

Bertelsen, O. W. (1998). Elements to a theory of design artefacts: a contribution to critical systems development research. Department of Computer Science, Aarhus University.

Nielsen, T. T., Wagard, J., Skjærris, S., Jensen, C. O. & Elling, J. (1998). Enhancing Network Quality using Baseband Frequency Hopping, Downlink Power Control and DTX in a Live GSM Network. In The Ninth IEEE International Symposium on Personal, Indoor and Mobile Radio Communications, 1998.: The Ninth IEEE International Symposium on IEEE Computer Society Press. https://doi.org/10.1109/PIMRC.1998.734693

Miltersen, P. B. (1998). Error correcting codes, perfect hashing circuits, and deterministic dynamic dictionaries. In Proceedings of the ninth annual ACM-SIAM symposium on Discrete algorithms (pp. 556-563). Association for Computing Machinery.

Christensen, H. B. & Magnussen, B. (Ed.) (1998). Experiences with Architectural Software Configuration Management in Ragnarok. In B. Magnusson (Ed.), System Configuration Management: ECOOP'98 SCM-8 Symposium Brussels, Belgium, July 20–21, 1998 Proceedings (pp. 67-74). Springer. https://doi.org/10.1007/BFb0053879

Hansen, K. M. (1998). Exploiting architecture in experimental system development. In Object-Oriented Technology, ECOOP'98 Workshops, Panels, and Posters, Proceedings (pp. 110-114). Springer.

Brodal, G. S. (1998). Finger search trees with constant insertion time. In Proceedings of the ninth annual ACM-SIAM symposium on Discrete algorithms (pp. 540-549). Society for Industrial and Applied Mathematics.

Danvy, O. (1998). Formatting Strings in ML. BRICS Report Series, (RS-98-5).

Wigard, J., Nielsen, T. T., Mogensen, P. E. & Michaelsen, P.-H. (1998). Frequency Planning for Frequency Hopping GSM Networks. Paper presented at COST 259 Workshop, Duisburg, Germany.

Danvy, O. (1998). Functional Unparsing. BRICS Report Series, (RS-98-12).

Danvy, O. & Rose, K. H. (1998). Higher-order rewriting and partial evaluation. In T. Nipkow (Ed.), Rewriting Techniques and Applications: 9th International Conference, RTA-98 Tsukuba, Japan, March 30 – April 1, 1998 Proceedings (pp. 286-301). Springer. https://doi.org/10.1007/BFb0052377

Nielsen, T. T. & Wigard, J. (1998). How to do Frequency Planning in the Frequency Hopping parts of the Sonofon Network. Paper presented at IIR Conference on Frequency hopping and frequency re-use, London, United Kingdom.

Agerbo, E. & Cornils, A. (1998). How to Preserve the Benefits of Design Patterns. In Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (pp. 134-143). Association for Computing Machinery. https://doi.org/10.1145/286936.286952

Grønbæk, K., Mylonas, E. & Shipman, F. M. (Eds.) (1998). HYPERTEXT 98. The Proceedings of the Ninth ACM Conference on Hypertext and Hypermedia: Links, Objects, Time and Space - Structures in Hypermedia Systems, June 20-24, 1998 Pittsburgh, Pennsylvania. Association for Computing Machinery.

Displaying results 5401 to 5450 out of 6000

109