Publikationer

Søg publikationer fra Institut for Datalogi

Liste over publikationer af videnskabelige medarbejdere fra Institut for Datalogi, Aarhus Universitet.

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

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

Bouvin, N. O. (1999). Unifying strategies for Web augmentation. I J. Westbomke, U. K. Wiil, J. J. Leggett, K. Tochtermann & J. M. Haake (red.), Proceedings of the tenth ACM Conference on Hypertext and hypermedia: returning to our diverse roots (s. 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 Nr. 99-04Intermedia Working Papers Nr. 2

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

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. I Z. Zamir (red.), 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. I M. L. Manns (red.), Proceedings Educators' Symposium: Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA'98). Session: Mastering OO Modeling: Experiences in OO Education. (s. 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. I 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. I W. Reisig & G. Rozenberg (red.), Lecture on Petri Nets II: Applications (s. 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. I Proceedings of NWPER '98: Nordic workshop on programming environment research: Eighth Nordic Workshop on Programming Environment Research (s. 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. I K. G. Larsen, S. Skyum & G. Winskel (red.), Automata, Languages and Programming: 25th International Colloquium, ICALP'98 Aalborg, Denmark, July 13–17, 1998 Proceedings (s. 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. (red.) (1998). Automata, Languages and Programming. Springer. Lecture Notes in Computer Science Bind 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. I 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. I V. Arvind & S. Ramanujam (red.), Foundations of Software Technology and Theoretical Computer Science: 18th Conference, Chennai, India, December 17-19, 1998. Proceedings (s. 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. I S. Arnborg & L. Ivansson (red.), Algorithm Theory — SWAT'98: 6th Scandinavian Workshop on Algorithm Theory Stockholm, Sweden, July 8–10, 1998 Proceedings (s. 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. (red.) (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 Bind 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. I Proceedings of the ninth ACM conference on Hypertext and hypermedia: links, objects, time and space---structure in hypermedia systems (s. 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. I Proccedings on Conference on Fundamental Approaches to Software Engineering (s. 270-284). Springer. https://doi.org/10.1007/BFb0053596

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

Ernst, E. (1998). Dynamic Inheritance and Static Analysis can be Reconciled. I K. Mughal & A. L. Opdahl (red.), 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. I Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems (s. 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. I 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. I Proceedings of the ninth annual ACM-SIAM symposium on Discrete algorithms (s. 556-563). Association for Computing Machinery.

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

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

Brodal, G. S. (1998). Finger search trees with constant insertion time. I Proceedings of the ninth annual ACM-SIAM symposium on Discrete algorithms (s. 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. Afhandling præsenteret på COST 259 Workshop, Duisburg, Tyskland.

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

Danvy, O. & Rose, K. H. (1998). Higher-order rewriting and partial evaluation. I T. Nipkow (red.), Rewriting Techniques and Applications: 9th International Conference, RTA-98 Tsukuba, Japan, March 30 – April 1, 1998 Proceedings (s. 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. Afhandling præsenteret på IIR Conference on Frequency hopping and frequency re-use, London, Storbritannien.

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

Grønbæk, K., Mylonas, E. & Shipman, F. M. (red.) (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. I J. Bosch & S. Mitchell (red.), Object-Oriented Technologys: ECOOP’97 Workshop Reader ECOOP’97 Workshops Jyväskylä, Finland, June 9–13, 1997 Proceedings (s. 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. I Proceedings of the ninth annual ACM-SIAM symposium on Discrete algorithms (s. 117-126). Association for Computing Machinery.

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

Elgaard, J., Klarlund, N. & Møller, A. (1998). MONA 1.x: New Techniques for WS1S and WS2S. I A. J. Hu & M. Y. Vardi (red.), Computer Aided Verification: 10th International Conference, CAV'98 Vancouver, BC, Canada, June 28 – July 2, 1998 Proceedings (s. 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

Viser resultater 5451 til 5500 ud af 6060

110