Publikationer

Søg publikationer fra Institut for Datalogi

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

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.

Bødker, S. (2000). Coordinating technical support platforms. Association for Computing Machinery. Communications, 43(11). https://doi.org/10.1145/352515.352520

Danvy, O. & Nielsen, L. R. (2000). CPS Transformation of Beta-Redexes. BRICS Report Series, (RS-00-35).

Damm, C. H., Hansen, K. M., Thomsen, M. & Tyrsted, M. (2000). Creative Object-Oriented Modelling: Support for Intuition, Flexibility, and Collaboration in CASE Tools. I E. Bertino (red.), ECOOP 2000 - Object-Oriented Programming: 14th European Conference Sophia Antipolis and Cannes, France, June 12-16, 2000 Proceedings (s. 27-43). Springer. https://doi.org/10.1007/3-540-45102-1_2

Buscher, M., Christensen, M., Mogensen, P. H., shapiro, D. & Ørbæk, P. (2000). Creativity, Complexity, and Precision: Information Visualization for (Landscape) Architecture. I Proceedings of the IEEE Symposium on Information Visualization 2000 (InfoVis 2000) (s. 167-172). IEEE. https://doi.org/10.1109/INFVIS.2000.885105

Bødker, S., Petersen, M. G. & Brodersen, A. C. (2000). Creativity, cooperation and interactive design. I Proceedings of the 3rd conference on Designing interactive systems: processes, practices, methods, and techniques (s. 252-261). Association for Computing Machinery. https://doi.org/10.1145/347642.347757

Bertelsen, O. W. (2000). Design artefacts: Towards a design-oriented epistemology. Scandinavian Journal of Information Systems.

Bødker, S. & Petersen, M. G. (2000). Design for learning in use. Scandinavian Journal of Information Systems, 12, 61-80. http://iris.cs.aau.dk/tl_files/volumes/volume12/no1/3-SB_p61-80.pdf

Bouvin, N. O. (2000). Designing user interfaces for collaborative web-based open hypermedia. I Proceedings of the eleventh ACM on Hypertext and hypermedia (s. 230-231). Association for Computing Machinery. https://doi.org/10.1145/336296.336389

Klarlund, N., Møller, A. & Schwartzbach, M. I. (2000). Document Structure Description 1.0. BRICS Notes Series, (NS-00-7).

Klarlund, N., Møller, A. & Schwartzbach, M. I. (2000). DSD: A Schema Language for XML. I Proceedings of the third workshop on Formal methods in software practice (s. 101-111). Association for Computing Machinery. https://doi.org/10.1145/349360.351158

Brodal, G. S. & Jakob, R. (2000). Dynamic Planar Convex Hull with Optimal Query Time and O(log n · log log n ) Update Time. I Algorithm Theory - SWAT 2000: 7th Scandinavian Workshop on Algorithm Theory Bergen, Norway, July 5–7, 2000 Proceedings (s. 181-186). Springer. https://doi.org/10.1007/3-540-44985-X_7

Damgård, I. B. (2000). Efficient Concurrent Zero-Knowledge in the Auxiliary String Model. I B. Preneel (red.), Advances in Cryptology - EUROCRYPT 2000: International Conference on the Theory and Application of Cryptographic Techniques Bruges, Belgium, May 14-18, 2000 Proceedings (s. 418-430). Springer. https://doi.org/10.1007/3-540-45539-6_30

Agarwal, P. K., Arge, L. A., Erickson, J., Franciosa, P. G. & Vitter, J. S. (2000). Efficient Searching with Linear Constraints. Journal of Computer and System Sciences, 61, Issue 2, 194-216. https://doi.org/10.1006/jcss.2000.1709

Arge, L. A., Chase, J. S., Vitter, J. S. & Wickremsinghe, R. (2000). Efficient Sorting Using Registers and Caches. I S. Näher & D. Wagner (red.), Algorithm Engineering: 4th International Workshop, WAE 2000 Saarbrücken, Germany, September 5-8, 2000 Proceedings (s. 51-62) https://doi.org/10.1007/3-540-44691-5_5

Cramer, R., Damgård, I. B. & MacKenzie, P. (2000). Efficient Zero-Knowledge Proofs of Knowledge without Intractability Assumptions. I H. Imai & Y. Zheng (red.), Public Key Cryptography: Third International Workshop on Practice and Theory in Public Key Cryptosystems, PKC 2000, Melbourne, Victoria, Australia, January 18-20, 2000. Proceedings (s. 354-373). Springer. https://doi.org/10.1007/978-3-540-46588-1_24

Bouvin, N. O. & Anderson, K. M. (2000). Enabling project awareness and intersubjectivity via hypermedia-enabled event trails. University of Colorado.

Bouvin, N. O. (2000). Experiences with OHP and Issues for the Future. I Open Hypermedia Systems and Structural Computing: 6th International Workshop, OHS-6 2nd International Workshop, SC-2 San Antonio, Texas, USA, May 30 – June 3, 2000 Proceedings (s. 191-206). Springer. https://doi.org/10.1007/3-540-39941-0_3

Brodal, G. S. & Pedersen, C. N. S. (2000). Finding Maximal Quasiperiodicities in Strings. I R. Giancarlo & D. Sankoff (red.), Combinatorial Pattern Matching: 11th Annual Symposium, CPM 2000 Montreal, Canada, June 21–23, 2000 Proceedings (s. 397-411). Springer. https://doi.org/10.1007/3-540-45123-4_33

Danvy, O. (2000). Formalizing Implementation Strategies for First-Class Continuations. 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. 88-103). Springer. https://doi.org/10.1007/3-540-46425-5_6

Bødker, S. & Buur, J. (2000). From usability lab to design collaboratorium: reframing usability practice. I Proceedings of the 3rd conference on Designing interactive systems: processes, practices, methods, and techniques (s. 297-307). Association for Computing Machinery. https://doi.org/10.1145/347642.347768

Danvy, O. (2000). Functional unparsing. Journal of Functional Programming, 621-625.

Cramer, R., Damgård, I. B. & Maurer, U. (2000). General Secure Multi-party Computation from any Linear Secret-Sharing Scheme. I B. Preneel (red.), Advances in Cryptology - EUROCRYPT 2000: International Conference on the Theory and Application of Cryptographic Techniques Bruges, Belgium, May 14-18, 2000 Proceedings (s. 316-334). Springer. https://doi.org/10.1007/3-540-45539-6_22

Viser resultater 5301 til 5350 ud af 6089

107