Publications

Search for publications at Department of Computer Science

Below you find a complete list of publications published and edited by scientists at the Department of Computer Science

Christensen, H. B. (2003). Systematic Testing should not be a Topic in the Computer Science Curriculum! In D. Finkel (Ed.), Proceedings of 8th Annual Conference on Innovation and Technology in Computer Science Education: ITiCSE 2003 (pp. 7-10). Society for Industrial and Applied Mathematics. https://doi.org/10.1145/961511.961517

Danvy, O. & López, P. E. M. (2003). Tagging, Encoding, and Jones Optimality. In P. Degano (Ed.), Programming Languages and Systems: 12th European Symposium on Programming, ESOP 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings (pp. 335-347). Springer. https://doi.org/10.1007/3-540-36575-3_23

Danvy, O. & Lopez, P. E. M. (2003). Tagging, Encoding, and Jones Optimality. B R I C S Report Series, (RS-03-2).

Andersen, P. B., Bennedsen, J., Brandorff, S., Caspersen, M. E. & Mosegaard, J. (2003). Teaching Programming to Liberal Arts Students: a Narrative Media Approach. In Proceedings of the 8th annual conference on Innovation and technology in computer science education (8 ed., pp. 109-113). Association for Computing Machinery. https://doi.org/10.1145/961511.961543

Bødker, S., Kristensen, J. F., Nielsen, C. & Sperschneider, W. (2003). Technology for Boundaries. In Proceedings of the 2003 international ACM SIGGROUP conference on Supporting group work (pp. 311-320). Association for Computing Machinery. https://doi.org/10.1145/958160.958210

Nielsen, M. & Valencia, F. D. (2003). Temporal constraint programming: A framework for discrete-timed systems. Association for Logic Programming Newsletter, 15(4).

Arge, L. A. (2003). The Buffer Tree: A Technique for Designing Batched External Data Structures. Algorithmica, 37, Issue 1, 1-24. https://doi.org/10.1007/s00453-003-1021-x

Gal, A. & Miltersen, P. B. (2003). The Cell Probe Complexity of Succinct Data Structures. In J. C. M. Baeten, J. K. Lenstra, J. Parrow & G. J. Wöeginger (Eds.), Automata, Languages and Programming: 30th International Colloquium, ICALP 2003 Eindhoven, The Netherlands, June 30 - July 4, 2003 Proceedings (pp. 442-453). Springer. https://doi.org/10.1007/3-540-45061-0_28

Bender, M. A., Brodal, G. S., Fagerberg, R., Ge, D., He, S., Hu, H., Iacono, J. & López-Ortiz, A. (2003). The Cost of Cache-Oblivious Searching. In Proc. 44th Annual IEEE Symposium on Foundations of Computer Science (FOCS): IEEE Computer Society Press, Washington D.C. (Vol. Session 6, pp. 271-282). IEEE Computer Society Press.

Iversen, O. S., Krogh, P. G. & Petersen, M. G. (2003). The Fifth Element - promoting the perspective of aesthetic interaction. In M. Hertzum & S. Heilesen (Eds.), Proceedings of the third Danish Human-Computer Interaction Research Symposium (pp. 45-50). Roskilde Universitet.

Kejser, T. & Grønbæk, K. (2003). The Gaia Framework: Version Support In Web Based Open Hypermedia. In P. Isaías & N. Karmakar (Eds.), Proceedings of the IADIS International Conference on WWW/Internet 2003 (pp. 314-325). International Association for Development, IADIS.

Brabrand, C., Schwartzbach, M. I., Vangaard, M., Bryant, B. R. (Ed.) & Saraiva, J. (Ed.) (2003). The METAFRONT System: Extensible Parsing and Transformation. In LDTA'2003 - Language descriptions, Tools and Applications. Proceedings (pp. 592-611). Elsevier. https://doi.org/10.1016/S1571-0661(05)82622-2

Caspersen, M. E. & Christensen, H. B. (2003). The Need for Killer Examples for Object-Oriented Frameworks. In OOPSLA Workshop "Killer Examples": Conference on Object Oriented Programming Systems Languages and Applications Association for Computing Machinery.

Billington, J., Christensen, S., Hee, K. V., Kindler, E., Kummer, O., Petrucci, L., Post, R., Stehno, C., Weber, M., Aalst, W. M. P. V. D. (Ed.) & Best, E. (Ed.) (2003). The Petri Net Markup Language: Concepts, Technology, and Tools. In Ikke angivet (2679 of Lecture Notes in Computer Science ed., pp. 483-505). Springer.

Brodal, G. S. & Jacob, R. (2003). Time-Dependent Networks as Models to Achieve Fast Exact Time-Table Queries. Electronic Notes in Theoretical Computer Science, 92, 3-15. https://doi.org/10.1016/j.entcs.2003.12.019

Nielsen, M. & Krukow, K. K. (2003). Towards a Formal Notion of Trust. In Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming (pp. 4-7). Association for Computing Machinery. https://doi.org/10.1145/888251.888253

Jurdzinski, M., Nielsen, M. & Srba, J. (2003). Undecidability of Domino Games and Hhp-Bisimilarity. Information and Computation, 184(2), 343-368. https://doi.org/10.1016/S0890-5401(03)00064-6

Damgård, I. B. & Nielsen, J. B. (2003). Universally Composable Efficient Multiparty Computation from Threshold Homomorphic Encryption. In D. Boneh (Ed.), Advances in Cryptology - CRYPTO 2003: 23rd Annual International Cryptology Conference, Santa Barbara, California, USA, August 17-21, 2003. Proceedings (pp. 247-264). Springer. https://doi.org/10.1007/978-3-540-45146-4_15

Christensen, H. B. (2003). Using Software Architectures for Designing Distributed Embedded Systems. Department of Computer Science, Aarhus University.

Cahill, V., Gray, E., Seigneur, J., Jensen, C., Chen, Y., Shand, B., Dimmock, N., Twigg, A., Bacon, J., English, C., Wagealla, W., Terzis, S., Nixon, P., Serugendo, G. D. M., Bryce, C., Carbone, M., Krukow, K. & Nielsen, M. (2003). Using trust for Secure Collaboration in Uncertain Environments. I E E E Pervasive Computing, 2(3), 52-61. https://doi.org/10.1109/MPRV.2003.1228527

Jørgensen, J. B. & Kristensen, L. M. (2003). Verification of Coloured Petri Nets Using State Spaces with Equivalence Classes. LINCOM Studies in Computer Science, (1), 17-34.

Sørensen, T. S., Pedersen, E. M., Hansen, O. K. & Sørensen, K. (2003). Visualization of morphological details in congenitally malformed hearts: virtual three-dimensional reconstruction from magnetic resonance imaging. Cardiology in the Young, 13(5), 451-60.

Christensen, M. (2003). WorkSPACE. Paper presented at Workspace Venezia 2003 - Shaping the future workspace - Essential Tools for the future, Venedig, Italy. http://e-locus.fundaciontekniker.com/venezia03/

Christensen, M. (2003). WorkSPACE: Augmenting the work environment through spatial artifacts. Paper presented at MILK Conference - Designing Work Spaces of the Future, Bruxelles, Belgium. http://www.milkforum.com

Christensen, B. G., Hansen, F. A. & Bouvin, N. O. (2003). Xspect: bridging open hypermedia and XLink. In Proceedings of the 12th international conference on World Wide Web (pp. 490-499). Association for Computing Machinery. https://doi.org/10.1145/775152.775222

Jarzabek, S., Basset, P., Zhang, H. & Zhang, W. (2003). XVCL: XML-based Variant Configuration Language. In 24th International Conference on Software Engineering (ICSE 2003) (pp. 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. Paper presented at 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. (Ed.), Yao, X. (Ed.), Greenwood, G. (Ed.), Iba, H. (Ed.), Marrow, P. (Ed.) & Shackleton, M. (Ed.) (2002). A Clustal Alignment Improver Using Evolutionary Algorithms. In Proceedings of the 2002 Congress on evolutionary Computation, 2002. CEC '02 (Vol. 1, pp. 121-126). IEEE Press.

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

Kristensen, L. M. & Mailund, T. (2002). A Compositional Sweep-Line State Space Exploration Method. In 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 ed., Vol. 2529, pp. 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. In J. M. Carroll (Ed.), HCI Models, Theories and Frameworks (pp. 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. (Eds.) (2002). Aesthetic Computing. Dagstuhl-Seminar-Report No. 348

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

Danvy, O. & Nielsen, L. R. (2002). A First-Order One-Pass CPS Transformation. In M. Nielsen & U. Engberg (Eds.), 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 (pp. 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. In Proceedings of Formal Methods Europe (FME 2002) (pp. 549-567)

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

Danvy, O. (2002). A Lambda-Revelation of the SECD Machine. B R I C S Report Series, (RS-02-53).

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

Mosses, P. D. (2002). A Modular SOS for Action Notation - Revisited. (pp. 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. B R I C S Report Series, (RS-02-52).

Lindstrøm, B. & Wells, L. M. (2002). Annotating Coloured Petri Nets. In K. Jensen (Ed.), Fourth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools: Aarhus, Denmark, August 28-30, 2002 (pp. 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. In Y. Zheng (Ed.), 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 (pp. 77-85). Springer. https://doi.org/10.1007/3-540-36178-2_8

Displaying results 4651 to 4700 out of 5740

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University