Publikationer

Søg publikationer fra Institut for Datalogi

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

MacIntyre, B., Mynatt, E. D., Voida, S., Hansen, K. M., Tullio, J. & Corso, G. M. (2001). Support for Multitasking and background Awareness Using Interactive Peripheral Displays. I J. Marks & E. D. Mynatt (red.), Proceedings of the 14th annual ACM symposium on User interface software and technology (s. 41-50). Association for Computing Machinery. https://doi.org/10.1145/502348.502355

Damian, D. & Danvy, O. (2001). Syntactic Accidents in Program Analysis: On the Impact of the CPS Transformation. BRICS Report Series, (RS-01-54).

Danvy, O. & Nielsen, L. R. (2001). Syntactic Theories in Practice. BRICS Report Series, (RS-01-31).

Nielsen, M. & Valencia, F. D. (2001). Temporal Concurrent Constraint Programming: Applications and Behavior. BRICS Report Series, (RS-01-48).

Caspersen, M. E., Madsen, O. L. & Skov, S. H. (2001). Testing Object-Oriented Software. Department of Computer Science, Aarhus University. Centre for Object Technology Technical Report Nr. COT/2-43-V1.0

Amtoft, T., Consel, C., Danvy, O. & Malmkjær, K. (2001). The Abstraction and Instantiation of String-Matching Programs. BRICS Report Series, (RS-01-12).

Buemann, B., Schierning, B., Toubro, S., Bibby, B. M., Sørensen, T., Dalgaard, L., Pedersen, O. & Astrup, A. (2001). The association between the val/ala-55 polymorphism of the uncoupling protein 2 gene and exercise efficiency. International Journal of Obesity, 25(4), 467-471. https://doi.org/10.1038/sj.ijo.0801564

Brodal, G. S., Fagerberg, R., Pedersen, C. N. S. & Östlin, A. (2001). The Complexity of Constructing Evolutionary Trees Using Experiments. I F. Orejas, P. G. Spirakis & J. van Leeuwen (red.), Automata, Languages and Programming: 28th International Colloquium, ICALP 2001 Crete, Greece, July 8–12, 2001 Proceedings (s. 140-151). Springer. https://doi.org/10.1007/3-540-48224-5_12

Brodal, G. S., Fagerberg, R., Pedersen, C. N. S., Östlin, A., Orejas, F. (red.), Spirakis, P. G. (red.) & Leeuwen, J. V. (red.) (2001). The Complexity of Constructing Evolutionary Trees Using Experiments. I Lecture Notes In Computer Science; Vol. 2076: Proceedings of the 28th International Colloquium on Automata, Languages and Programming (2076 of Lecture Notes in Computer Science udg., Bind 2076/2001, s. 140-151). Springer.

Bardram, J. E. & Christensen, H. B. (2001). The future of Medical Work: 2 video-prototypes for Pervasive Healthcare. Billeder, Video- og Lydoptagelser (digital)

Bødker, S., Petersen, M. G. & Krogh, P. G. (2001). The interactive design collaboratorium. I Human-Computer Interaction - INTERACT '01 (s. 51-58). IOS Press.

Hansen, K. M., MacIntyre, B., Mynatt, E. D., Voida, S. & Tullio, J. (2001). The Kimura System. Billeder, Video- og Lydoptagelser (digital)

Christensen, H. B., Bardram, J. & Dittmer, S. (2001). Theme One: Administration and Documentation of Medicine Report and Evaluation. Department of Computer Science, Aarhus University.

Møller, A. & Schwartzbach, M. I. (2001). The Pointer Assertion Logic Engine. I M. L. Sofia (red.), Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (Bind 36(5), s. 221-231). Association for Computing Machinery. https://doi.org/10.1145/381694.378851

Danvy, O. & Goldberg, M. (2001). There and Back Again. BRICS Report Series, (RS-01-39).

Mosses, P. D., Bjørner, D. (red.), Broy, M. (red.) & Zamulin, A. V. (red.) (2001). The Varieties of Programming Language Semantics (and Their Uses). I Perspectives of System Informatics: Lecture Notes in Computer Science (Bind 2244, s. 165-190). Springer.

Møller, A. & Schwartzbach, M. I. (2001). The XML Revolution. BRICS Notes Series, (NS-01-8).

Jensen, K. (red.) (2001). Third Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools: Aarhus, Denmark, August 29-31, 2001. Department of Computer Science, Aarhus University.

Alstrup, S., Brodal, G. S., Gørtz, I. L. & Rauhe, T. (2001). Time and Space Efficient Multi-Method Dispatching. Electronic Colloquium on Computational Complexity, (ITU-TR-2001-8).

Brodal, G. S. & Jacob, R. (2001). Time-dependent Networks as Models to Achieve Fast Exact Time-table Queries. Electronic Colloquium on Computational Complexity, 92(ALCOMFT-TR-01-176).

Agarwal, P. K., Arge, L. A. & Vahrenhold, J. (2001). Time Responsive External Data Structures for Moving Points. I F. Dehne, J.-R. Sack & R. Tamassia (red.), Algorithms and Data Structures: 7th International Workshop, WADS 2001 Providence, RI, USA, August 8-10, 2001 Proceedings (s. 50-61). Springer. https://doi.org/10.1007/3-540-44634-6_6

Pagter, J. I. (2001). Time-Space Trade-Offs. (BRICS Dissertation Series DS-01-2 udg.) Aarhus University.

Hansen, K. M. (2001). Towards a Coloured Petri Net Profile for the Unified Modeling Language - Issues, Definition and Implementation.

Nielsen, M., Sassone, V. & Srba, J. (2001). Towards a Notion of Distributed Time for Petri Nets. I J.-M. Colom & M. Koutny (red.), Applications and Theory of Petri Nets 2001: 22nd International Conference, ICATPN 2001 Newcastle upon Tyne, UK, June 25-29, 2001 Proceedings (s. 23-31). Springer. https://doi.org/10.1007/3-540-45740-2_3

Christensen, H. B. (2001). Tracking Change in rapid and eXtreme Development: A Challenge to SCM-tools? I A. van der Hoek (red.), Proceedings of Tenth International Workshop on Software Configuration Management, SCM-10 (s. 1-31). UCI. Machine Learning Repository. Center for Machine Learning and Intelligent Systems. http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.29.3055&rep=rep1&type=pdf

Torgersen, M. (2001). Unifying Abstractions. (DAIMI PhD Dissertation PD-01-2 udg.) Department of Computer Science.

Madsen, O. L. (2001). Virtual classes and their implementation. I R. Wilhelm (red.), Compiler Construction - 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Proceedings (s. 1-2). Springer Verlag. https://doi.org/10.1007/3-540-45306-7_1

Büscher, M., Krogh, P., Mogensen, P. & Shapiro, D. (2001). Vision on the move - technologies for the footloose. Appliance Design, 1(1), 11-14.

Poulsen, S. H., Fjord-Larsen, M., Hansen, F. A. & Christensen, B. G. (2001). Visualizing guided tours. Poster-session præsenteret på Conference on Hypertext and Hypermedia. Hypertext '01, Århus, Danmark. http://www.daimi.au.dk/~fah/papers/ht01-paper-final.pdf

Poulsen, S. H., Fjord-Larsen, M., Hansen, F. A. & Christensen, B. G. (2001). Visualizing guided tours with W3D. Poster-session præsenteret på The 12th ACM Conference on Hypertext and Hypermedia, Århus, Danmark.

Ernst, E. (2001). What's in a name?. Afhandling præsenteret på 15th European Conference on Object-Oriented Programming. ECOOP 2001, Budapest, Ungarn. http://www.daimi.au.dk/~eernst/papers/fics01.pdf

Mogensen, P. (2001). Workspace - distributed work support through spatial computing environments. Afhandling præsenteret på Disappearing Computer Jamboree, Zürich, Schweiz.

Madsen, O. L. (2000). Abstraction and Modularization in the BETA Programming Language. I J. Gutknecht & W. Weck (red.), Modular Programming Languages: Joint Modular Languages Conference, JMLC 2000, Zurich, Switzerland, September 6-8, 2000. Proceedings (s. 211-237). Springer. https://doi.org/10.1007/10722581_18

Engberg, U. H. & Nielsen, M. (2000). A Calculus of Communicating Systems with Label Passing – Ten Years After. I G. D. Plotkin, C. Stirling & M. Tofte (red.), Proof, Language, and Interaction: Essays in Honour of Robin Milner (s. 599-622). MIT Press.

Christensen, H. B. & Røn, H. (2000). A Case Study of Framework Design for Horizontal Reuse. I 37th International Conference on Technology of Object-Oriented Languages and Systems, 2000. TOOLS-Pacific 2000. Proceedings. (s. 278-289). IEEE Computer Society Press. https://doi.org/10.1109/TOOLS.2000.891376

Christensen, H. B. & Røn, H. (2000). A Case Study of Horizontal Reuse in a Project-Driven Organisation. I Seventh Asia-Pacific Software Engineering Conference, 2000. APSEC 2000. Proceedings. (s. 292-298). IEEE Computer Society Press. https://doi.org/10.1109/APSEC.2000.896711

Danvy, O. & Nielsen, L. R. (2000). A Higher-Order Colon Translation. BRICS Report Series, (RS-00-33).

Nielsen, M. & Simpson, D. (2000). Application and Theory of Petri Nets 2000: 21st International Conference, ICATPN 2000 Aarhus, Denmark, June 26-30, 2000 Proceedings. Springer. Lecture Notes in Computer Science Bind 1825 https://doi.org/10.1007/3-540-44988-4

Buhrman, H., Miltersen, P. B., Radhakrishnan, J. & Venkatesh, S. (2000). Are bitvectors optimal? I Proceedings of the thirty-second annual ACM symposium on Theory of computing (s. 449-458). Association for Computing Machinery. https://doi.org/10.1145/335305.335357

Danvy, O. & Rhiger, M. (2000). A Simple Take on Typed Abstract Syntax in Haskell-Like Languages. BRICS Report Series, (RS-00-34).

Schwartzbach, M. I. & Sandholm, A. (2000). A Type System for Dynamic Web Documents. I M. Wegman & T. Reps (red.), Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (s. 290-301). Association for Computing Machinery. https://doi.org/10.1145/325694.325733

Bertelsen, O. W. & Nielsen, C. (2000). Augmented reality as a design tool for mobile interfaces. I Proceedings of the 3rd conference on Designing interactive systems (s. 185-192). Association for Computing Machinery. https://doi.org/10.1145/347642.347714

Bouvin, N. O. (2000). Augmenting the Web through Open Hypermedia: The Development of the Arakne Environment, a Collaborative Open Hypermedia System for Web Augmentation. Department of Computer Science, Aarhus University.

Arge, L. A., Procopiuc, O., Ramaswamy, S., Suel, T., Vahrenhold, J. & Vitter, J. S. (2000). A Unified Approach for Indexed and Non-indexed Spatial Joins. I C. Zaniolo, P. C. Lockemann, M. H. Scholl & T. Grust (red.), Advances in Database Technology - EDBT 2000: 7th International Conference on Extending Database Technology Konstanz, Germany, March 27-31, 2000 Proceedings (s. 413-429). Springer. https://doi.org/10.1007/3-540-46439-5_29

Christensen, H. B. & Røn, H. (2000). Case Study of Maturing and Reusing a Framework. Department of Computer Science, Aarhus University.

Buscher, M., Christensen, M., Grønbæk, K., Krogh, P., Mogensen, P. H., Shapiro, D. & Ørbæk, P. (2000). Collaborative Augmented Reality Environments: Integrating VR, Working Materials, and Distributed Work Spaces. I Proceedings of the third international conference on Collaborative virtual environments (s. 47-56). Association for Computing Machinery. https://doi.org/10.1145/351006.351012

Elgaard, J., Møller, A. & Schwartzbach, M. I. (2000). Compile-Time Debugging of C Programs Working on Trees. I G. Smolka (red.), Programming Languages and Systems: 9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings (s. 119-134). Springer. https://doi.org/10.1007/3-540-46425-5_8

Kalinowski, T., Schulz, H.-J. & Briese, M. (2000). Cooperation in the Minority Game with local information. Physica A, 277(3-4), 502-508. https://doi.org/10.1016/S0378-4371(99)00553-1

Bødker, S., Grønbæk, K. & Mogensen, P. H. (2000). Cooperative Design. I A. Kent (red.), Encyclopedia of Library and Information Science (Bind 67, s. 108-119). Marcel Dekker.

Bødker, S., Ehn, P., Sjögren, D. & Sundblad, Y. (2000). Cooperative design perspectives on 20 years with "the Scandinavian IT Design Model". I Proceedings of the first Nordic conference on Human-computer interaction Association for Computing Machinery.

Viser resultater 5251 til 5300 ud af 6061

106