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

Winskel, G. (2003). Presheaf models for CCS-like languages. Theoretical Computer Science, 300(1-3), 47-89.

Cattani, G. L. & Winskel, G. (2003). Presheaf Models for CCS-like Languages. Theoretical Computer Science, 300(1-3), 47-89.

Christensen, A. S. (2003). Programanalyse - en metode til fejlfinding i software. In Aarhus Universitets Forskningsfonds Årsberetning 2002: Bidrag til forskningsformidlende bog/antologi (Vol. au01_2006_c6091f70-983b-11da-bee9-02004c4f4f50, pp. A-59). Aarhus Universitetsforlag.

Bertelsen, O. W., Eskildsen, T. & Sperschneider, W. (2003). Programming in the Kitchen. In M. Rauterberg, M. Menozzi & J. Wesson (Eds.), Human-Computer Interaction INTERACT '03: IFIP TC13 International Conference on Human-Computer Interaction: L2-M-3: Empirical Studies (pp. 375-382). IOS Press.

Schwartzbach, M. I. (2003). Rapport om datalogi i gymnasiet. Undervisningsministeriet.

Bennedsen, J. & Caspersen, M. E. (2003). Rationale for the Design of a Web-based Programming Course for Adults. In Proccedings of ICOOL 2003 International Conference on Open and Online Learning.

Hein, J., Jensen, J. L. & Pedersen, C. N. S. (2003). Recursions for statistical multiple alignment. Proceedings of the National Academy of Sciences (PNAS), 100(25), 14960-14965. https://doi.org/10.1073/pnas.2036252100

Zhang, W., Jarzabek, S., Loughran, N. & Rashid, A. (2003). Reengineering a PC-based System into the Mobile Device Product Line. In Fourth International Workshop on Principles of Software Evolution (pp. 149-160). IEEE Computer Society Press. https://doi.org/10.1109/IWPSE.2003.1231222

Gerhardy, P., Baaz, M. (Ed.) & Makowsky, J. A. (Ed.) (2003). Refined Complexity Analysis of Cut Elimination. In Ikke angivet (2803 of Lecture Notes in Computer Science ed., pp. 212-225). Springer.

Canetti, R., Krawczyk, H. & Nielsen, J. B. (2003). Relaxing Chosen-Ciphertext Security. In D. Boneh (Ed.), Advances in Cryptology - CRYPTO 2003: 23rd Annual International Cryptology Conference, Santa Barbara, California, USA, August 17-21, 2003. Proceedings (pp. 565-582). Springer. https://doi.org/10.1007/978-3-540-45146-4_33

Jørgensen, J. B., Bossen, C. & Wieringa, R. (Ed.) (2003). Requirements Engineering for a Pervasive Health Care System. In Ikke angivet (pp. 55-64). IEEE.

Jørgensen, J. B. & Bossen, C. (2003). Requirements Engineering for a Pervasive Health Care System. In Proceedings of the 11th International Requirements Engineering Conference (pp. 55-64). <Forlag uden navn>.

Damgård, I. B. & Jurik, M. J. (2003). Scalable Key-Escrow. BRICS Report Series, (RS-03-22).

Ernst, E. (2003). Separation of Concerns. In Proceedings of Software Engineering Properties of Languages for Aspect Technologies 2003 Datalogisk Institut, Aarhus Universitet.

Christensen, H. B. (2003). Software Testing Requires Variability. In J. van Gurp & J. Bosch (Eds.), Proceedings of Workshop on Software Variability Management (pp. 118-120). University of Groningen.

Mosses, P. D. & Czaja, L. (Ed.) (2003). Some Novel Techniques in Operational Semantics. In L. Czaja (Ed.), Concurrency, Specification, and Programming, CS\&P 2003, Czarna, Poland, Proceedings (pp. 21-34). Warsaw University.

Baillie, L., Benyon, D., Bødker, S. & Macauley, C. (Eds.) (2003). Special Issue: "Interacting with Household Technologies". Cognition, Technology and Work, 5(1).

Danvy, O., Henglein, F. (Ed.), Mairson, H. (Ed.) & Pettorossi, A. (Ed.) (2003). Special issue of Higher-Order and Symbolic Computation: - in memory of Bob Paige. Springer.

Danvy, O., Wei-Ngan, C. & Thiemann, P. (Eds.) (2003). Special issue of Higher-Order and Symbolic Computation: Partial Evaluation and Semantics-Based Program Manipulation. Springer.

Danvy, O. (Ed.) (2003). Special Issue of Higher-Order and Symbolic Computation: Partial Evaluation and Semantics-Based Program Manipulation. In P. Thiemann (Ed.), Higher-Order and Symbolic Computation: Theme Issue on Partial Evaluation and Semantics-Based Program Manipulation (PEPM 2002) (Vol. 16(4), pp. 295-401). Springer.

Brodal, G. S., Fagerberg, R., Mailund, T., Pedersen, C. N. S. & Phillips, D. (2003). Speeding Up Neighbour-Joining Tree Construction. (Work package 5 ed.) ALCOM-FT.

Brodal, G. S., Fagerberg, R., Mailund, T., Pedersen, C. N. S. & Phillips, D. (2003). Speeding Up Neighbour-Joining Tree Construction.

Christensen, S., Kristensen, L. M., Aalst, W. M. P. V. D. (Ed.), Colom, J.-M. (Ed.), Kordon, F. (Ed.), Kotsis, G. (Ed.) & Moldt, D. (Ed.) (2003). State Space Analysis of Hierarchical Coloured Petri Nets. LINCOM Studies in Computer Science: LSCS 01: Petri Net Approaches for Modelling and Validation, (1), 1-16.

Grønbæk, K., Ørbæk, P., Kristensen, J. F. & Eriksen, M. A. (2003). Physical hypermedia: augmenting physical material with hypermedia structures. New Review of Hypermedia and Multimedia, 9(1), 5-34. https://doi.org/10.1080/13614560410001725293

Bardram, J. E., Kjær, T. A. K. & Nielsen, C. (2003). Supporting Local Mobility in Healthcare by Application Roaming among Heterogeneous Devices. In Lecture Notes in Computer Science: Proceedings of the Fifth International Conference on Human Computer Interaction with Mobile Devices and Services (Vol. 2795, pp. 161-176). Springer.

Mailund, T. (2003). Sweeping the State Space.

Damian, D. & Danvy, O. (2003). Syntactic accidents in program analysis: on the impact of the CPS transformation. Journal of Functional Programming, 13(5), 867-904. https://doi.org/10.1017/S0956796802004379

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. BRICS 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/

Displaying results 4801 to 4850 out of 5916

100

101

102

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University