Publikationer

Søg publikationer fra Institut for Datalogi

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

Jarzabek, S., Basset, P., Zhang, H. & Zhang, W. (2003). XVCL: XML-based Variant Configuration Language. I 24th International Conference on Software Engineering (ICSE 2003) (s. 810-811). IEEE Computer Society Press.

Kristensen, J. F., Eriksen, M. A., Iversen, O. S., Kanstrup, A. M., Nielsen, C. & Petersen, M. G. (2003). Young People In Old Cars - Challenges For Cooperative Design. Afhandling præsenteret på Information systems research seminar in Scandinavia (IRIS 26) 9-12 August 2003, Haikko Manor, Finland.

Nielsen, M., Palamidessi, C. & Valencia Posso, F. D. (2002). A Calculus for Temporal Concurrent Constraint Programming. Electronic Notes in Theoretical Computer Science, (1), A-59.

Thomsen, R., Fogel, G. B., Krink, T., Fogel, D. B. (red.), Yao, X. (red.), Greenwood, G. (red.), Iba, H. (red.), Marrow, P. (red.) & Shackleton, M. (red.) (2002). A Clustal Alignment Improver Using Evolutionary Algorithms. I Proceedings of the 2002 Congress on evolutionary Computation, 2002. CEC '02 (Bind 1, s. 121-126). IEEE Press.

Mailund & Kristensen, L. M. (2002). A Compositional Sweep-Line State Space Exploration Method. I Proceedings of Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE 2002) (s. 327-343)

Kristensen, L. M. & Mailund, T. (2002). A Compositional Sweep-Line State Space Exploration Method. I Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems (2529 of Lecture Notes in Computer Science udg., Bind 2529, s. 327-343). Springer.

Mosses, P. D. (2002). Action Semantics and ASF+SDF: System demonstration. Electronic Notes in Theoretical Computer Science, 65(3).

Bødker, S. & Bertelsen, O. W. (2002). Activity theory. I J. M. Carroll (red.), HCI Models, Theories and Frameworks (s. 291-324). Morgan Kaufman.

Vesterstrøm, J. S. & Riget, J. (2002). A Diversity-Guided Particle Swarm Optimizer - the ARPSO. EVALife Technical Report, (2002-02).

Bertelsen, O. W. & Fishwick, P. (red.) (2002). Aesthetic Computing.

Bertelsen, O. W. (2002). Aesthetics as Means for Supporting Development in Use - Beyond the Designed Purposefulness. I O. W. Bertelsen & P. Fishwick (red.), Aesthetic Computing

Danvy, O. & Nielsen, L. R. (2002). A First-Order One-Pass CPS Transformation. I M. Nielsen & U. Engberg (red.), Foundations of Software Science and Computer Structures: 5th International Conference, FOSSACS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings (s. 367-393). Springer. https://doi.org/10.1007/3-540-45931-6_8

Mailund & Kristensen, L. M. (2002). A Generalised Sweep-Line Method for Safety Properties. I Proceedings of Formal Methods Europe (FME 2002) (s. 549-567)

Kristensen, L. M. & Mailund, T. (2002). A Generalised Sweep-Line Method for Safety Properties. I FME 2002: Formal Methods - Getting IT Right (Lecture Notes in Computer Science udg., Bind 2391, s. 549-567). Springer.

Danvy, O. (2002). A Lambda-Revelation of the SECD Machine. BRICS Report Series, (RS-02-53).

Penttonen, M. & Schmidt, E. M. (red.) (2002). Algorithm Theory — SWAT 2002: 8th Scandinavian Workshop on Algorithm Theory Turku, Finland, July 3–5, 2002 Proceedings. Springer. Lecture Notes in Computer Science Bind 2368 https://doi.org/10.1007/3-540-45471-3

Mosses, P. D. (2002). A Modular SOS for Action Notation - Revisited. (s. 75-76). BRICS.

Ursem, R. K., Krink, T., Jensen, M. T. & Michalewicz, Z. (2002). Analysis and Modeling of Control Tasks in Dynamic Systems. I E E E Transactions on Evolutionary Computation, 6(4), 378-389.

Danvy, O. (2002). A New One-Pass Transformation into Monadic Normal Form. BRICS Report Series, (RS-02-52).

Lindstrøm, B. & Wells, L. M. (2002). Annotating Coloured Petri Nets. I K. Jensen (red.), Fourth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools: Aarhus, Denmark, August 28-30, 2002 (s. 39-58). Department of Computer Science, University of Aarhus.

Ursem, R. K., Krink, T. & Filipic, B. (2002). A Numerical Simulator for a Crop-Producing Greenhouse. EVALife Technical Report, (2002-01).

Christensen, H. B., Raatikainen, K. & Nakajim, T. (2002). Application Requirements for Middleware for Mobile and Pervasive Systems. Mobile Computing and Communications Review, ACM SIGMOBILE, 6(4), 16-24. https://doi.org/10.1145/643550.643551

Buhrman, H., Miltersen, P. B., Radhakrishnan, J. & Venkatesh, S. (2002). Are Bitvectors Optimal? S I A M Journal on Computing, 31(6), 1723-1744. https://doi.org/10.1137/S0097539702405292

Damian, D. & Danvy, O. (2002). A Simple CPS Transformation of Control-Flow Information. Logic Journal of the IGPL, 10(5), 501-515. https://doi.org/10.1093/jigpal/10.5.501

Damgård, I. B. & Fujisaki, E. (2002). A Statistically-Hiding Integer Commitment Scheme Based on Groups with Hidden Order. I Y. Zheng (red.), Advances in Cryptology - ASIACRYPT 2002: 8th International Conference on the Theory and Application of Cryptology and Information Security Queenstown, New Zealand, December 1-5, 2002 Proceedings (s. 77-85). Springer. https://doi.org/10.1007/3-540-36178-2_8

Ager, M. S., Danvy, O. & Goldberg, M. (2002). A Symmetric Approach to Compilation and Decompilation. I T. Æ. Mogensen, D. Schmidt & H. Sudborough (red.), The Essence of Computation: Complexity, Analysis, Transformation (s. 296-331). Springer. https://doi.org/10.1007/3-540-36377-7_14

Ager, M. S., Danvy, O. & Goldberg, M. (2002). A Symmetric Approach to Compilation and Decompilation. BRICS Report Series, (RS-02-37).

Nielsen, J. B. (2002). A Threshold Pseudorandom Function Construction and Its Applications. I M. Yung (red.), Advances in Cryptology — CRYPTO 2002: 22nd Annual International Cryptology Conference Santa Barbara, California, USA, August 18–22, 2002 Proceedings (s. 43-59). Springer. https://doi.org/10.1007/3-540-45708-9_26

Pedersen, C. N. S. (2002). Bioinformatik ved Aarhus Universitet. Biozoom, (3), 12-18.

Hansen, K. M. & Damm, C. H. (2002). Building distributed collaboration tools using type-based publish/subscribe. I ECOOP 2002 Workshops and Posters, Proceedings Springer. http://public.enst-bretagne.fr/~beugnard/ecoop/PublishSubscribe.pdf

Brodal, G. S. & Fagerberg, R. (2002). Cache Oblivious Distribution Sweeping. I P. Widmayer, S. Eidenbenz, F. Triguero, R. Morales, R. Conejo & M. Hennessy (red.), Automata, Languages and Programming: 29th International Colloquium, ICALP 2002 Málaga, Spain, July 8–13, 2002 Proceedings (s. 426-438). Springer. https://doi.org/10.1007/3-540-45465-9_37

Arge, L. A., Bender, M. A., Demaine, E. D., Holland-Minkley, B. & Munro, J. I. (2002). Cache-oblivious priority queue and graph algorithm applications. I Proceedings of the thiry-fourth annual ACM symposium on Theory of computing (s. 268-276). Association for Computing Machinery. https://doi.org/10.1145/509907.509950

Brodal, G. S., Fagerberg, R. & Jacob, R. (2002). Cache-Oblivious Search Trees via Binary Trees of Small Height. I Proceedings of the thirteenth annual ACM-SIAM symposium on Discrete algorithms (s. 39-48). Association for Computing Machinery.

Winskel, G., Ésik, Z. (red.) & Ingólfsdóttir, A. (red.) (2002). Calculus for Categories. I Fixed Points in Computer Science (NS-02-2 of Notes Series udg., s. 20-21).

Ernst, E. (2002). Call by Declaration. I G. Arevalo, A. Black, Y. Crespo, M. Dao, E. Ernst, P. Grogono, M. Huchard & M. Sakkinen (red.), Proceedings of the Inheritance Workshop at ECOOP 2002 (s. 44-50). University of Jyväskylä.

Astesiano, E., Bidoit, M., Krieg-Brückner, B., Mosses, P. D., Sannella, D. & Tarlecki, A. (2002). CASL: The Common Algebraic Specification Language. Theoretical Computer Science, 286(2), 153-196.

Hansen, K. A., Miltersen, P. B. & Vinay, V. (2002). Circuits on Cylinders. Electronic Colloquium on Computational Complexity, (TR02-066).

Damgård, I. B. & Jurik, M. J. (2002). Client/Server Tradeoffs for On-line Elections. I D. Naccache & P. Pailier (red.), Public Key Cryptography: 5th International Workshop on Practice and Theory in Public Key Cryptosystems, PKC 2002 Paris, France, February 12-14, 2002 Proceedings (s. 125-140). Springer. https://doi.org/10.1007/3-540-45664-3_9

Jørgensen, J. B. & Jensen, K. (red.) (2002). Coloured Petri Nets in UML-Based Software Development: Designing Middleware for Pervasive Healthcare. I Ikke angivet (DAIMI PB-560 udg., s. 61-80). Department of Computer Science, University of Aarhus.

Damm, C. H. & Hansen, K. M. (2002). Combining co-located and distributed collaboration tools. Afhandling præsenteret på Danish HCI Symposium. Research '2002, Copenhagen, Danmark. http://www.daimi.au.dk/~marius/writings/research2002.pdf

Pedersen, C. N. S., Scharling, T., Guigó, R. (red.) & Gusfield, D. (red.) (2002). Comparative Methods for Gene Structure Prediction in Homologous Sequences. I Ikke angivet (2452 of Lecture Notes in Computer Science udg., Bind 2452/2002, s. 220-234). Springer.

Crazzolara, F., Winskel, G., Agrawal, M. (red.) & Seth, A. (red.) (2002). Composing Strand Spaces. I Ikke angivet (2556 of Lecture Notes in Computer Science udg., Bind 2556/2002, s. 97-108). Springer.

Damian, D. & Danvy, O. (2002). CPS Transformation of Flow Information, Part II: Administrative Reductions. BRICS Report Series, (RS-02-36).

Kuijpers, G., Nielsen, T. T. & Prasad, R. (2002). Delivering QoS in Mobile Ad hoc IP Networks. I Wireless IP and Building the Mobile Internet on Wireless IP (s. 203-224). Artech House.

Bødker, S. & Bertelsen, O. W. (2002). Discontinuities. I C. Floyd, Y. Dittrich & K. Ralf (red.), Social thinking - software practice (s. 409-424). MIT Press.

Damm, C. H. & Hansen, K. M. (2002). Distributing Knight. Using Type-Based Publish/Subscribe for Building Distributed Collaboration Tools. I K. Østerbye (red.), Proceedings of the Nordic workshop on Software Development Tools and Techniques: NWPER 2002 (s. 155-158) http://www.it-c.dk/people/kasper/NWPER2002/papers/damm.pdf

Vesterstrøm, J. S., Riget, J., Krink, T., Fogel, D. B. (red.), Yao, X. (red.), Greenwood, G. (red.), Iba, H. (red.), Marrow, P. (red.) & Shackleton, M. (red.) (2002). Division of Labor in Particle Swarm Optimisation. I Ikke angivet (s. 1570-1575). IEEE Press.

Møller, A. (2002). Document Structure Description 2.0. BRICS Notes Series, (NS-02-7).

Bendtsen, C. N., Krink, T., Fogel, D. B. (red.), Yao, X. (red.), Greenwood, G. (red.), Iba, H. (red.), Marrow, P. (red.) & Shackleton, M. (red.) (2002). Dynamic Memory Model for Non-Stationary Optimization. I Proceedings of the 2002 Congress on Evolutionary Computation, 2002, CEC '02 (Bind 1, s. 145-150). IEEE Press.

Brodal, G. S. & Jacob, R. (2002). Dynamic Planar Convex Hull. I Proceedings of the 43rd Annual IEEE Symposium on Foundations of Computer Science: (s. 617-626). IEEE Press. https://doi.org/10.1109/SFCS.2002.1181875

Viser resultater 5001 til 5050 ud af 6089

101

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series