Publikationer

Søg publikationer fra Institut for Datalogi

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

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. I Technology of Object-Oriented Languages and Systems, 1999. TOOLS 31. Proceedings (s. 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. I 1999 IEEE 49th Vehicular Technology Conference (s. 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. I 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. I 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. I J. Estublier (red.), System Configuration Management: 19th International Symposium, SCM-9 Toulouse, France, September 5–7, 1999 Proceedings (s. 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. I Proceedings of the Technology of Object-Oriented Languages and Systems: Proceedings of the Technology of Object-Oriented Languages and Systems (Bind 1, s. 261-274). IEEE Computer Society Press. https://doi.org/10.1109/TOOLS.1999.779018

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

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.

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

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

Viser resultater 5501 til 5550 ud af 6119

111