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

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. B R I C S 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. B R I C S 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. B R I C S Report Series, (RS-98-1).

Kim, J., Yi, K. & Danvy, O. (1998). Assessing the Overhead of ML Exceptions by Selective CPS Transformation. B R I C S 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. B R I C S 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. Computer programme

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. B R I C S 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. B R I C S 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.

Agerbo, E. & Cornils, A. (1998). Implementing GoF Design Patterns in BETA. In J. Bosch & S. Mitchell (Eds.), Object-Oriented Technologys: ECOOP’97 Workshop Reader ECOOP’97 Workshops Jyväskylä, Finland, June 9–13, 1997 Proceedings (pp. 92-95). Springer. https://doi.org/10.1007/3-540-69687-3_17

Agarwal, P. K., Arge, L. A., Murali, T. M., Varadarajan, K. R. & Vitter, J. S. (1998). I/O-efficient algorithms for contour-line extraction and planar graph blocking. In Proceedings of the ninth annual ACM-SIAM symposium on Discrete algorithms (pp. 117-126). Association for Computing Machinery.

Danvy, O. & Schultz, U. P. (1998). Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure. B R I C S Report Series, (RS-98-54).

Elgaard, J., Klarlund, N. & Møller, A. (1998). MONA 1.x: New Techniques for WS1S and WS2S. In A. J. Hu & M. Y. Vardi (Eds.), Computer Aided Verification: 10th International Conference, CAV'98 Vancouver, BC, Canada, June 28 – July 2, 1998 Proceedings (pp. 516-520). Springer. https://doi.org/10.1007/BFb0028773

Grønbæk, K. & Bødker, S. (1998). Multimedia: Interdisciplinary challenges to design. Scandinavian Journal of Information Systems, 10(1-2). http://iris.cs.aau.dk/tl_files/volumes/volume10/no1/09_boedker_p219-225.pdf

Miltersen, P. B., Nisan, N., Safra, S. & Wigderson, A. (1998). On data structures and asymmetric communication complexity. Journal of Computer and System Sciences, 57(1), 37-49. https://doi.org/10.1006/jcss.1998.1577

Danvy, O. (1998). Online Type-Directed Partial Evaluation. In Proceedings of the 3rd Fuji International Symposium on Functional and Logic Programming (pp. 271-295)

Cheng, A. & Nielsen, M. (1998). Open maps, behavioural equivalences, and congruences 1. Theoretical Computer Science, 190(1), 87-112. https://doi.org/10.1016/S0304-3975(97)00085-6

Pagter, J. I. & Rauhe, T. (1998). Optimal Time-Space Trade-Offs for Sorting. In Proc. of 39th Annual Symposium on Foundations of Computer Science (FOCS '98) IEEE. https://doi.org/10.1109/SFCS.1998.743455

Nielsen, M. & Sassone, V. (1998). Petri nets and other models of concurrency. In W. Reisig & G. Rozenberg (Eds.), Lectures on Petri Nets I: Basic Models: Advances in Petri Nets (pp. 587-642). Springer. https://doi.org/10.1007/3-540-65306-6_23

Danvy, O. & Dybjer, P. (Eds.) (1998). Proceedings of the 1998 APPSEM Workshop on Normalization by Evaluation. Department of Computer Science, Aarhus University. BRICS No. NS-98-1

Displaying results 5151 to 5200 out of 5740

104