Publikationer

Søg publikationer fra Institut for Datalogi

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

Danvy, O. & Schultz, U. P. (2003). Lambda-Lifting in Quadratic Time. BRICS Report Series, (RS-03-26).

Bjerrum, E., Bødker, S., Dourish, P. (red.) & Schmidt, K. (red.) (2003). Learning and living in the "New office". I K. Kuutti, E. H. Karsten, P. Dourish, G. Fitzpatrick & K. Schmidt (red.), Proceedings of the 2003 Eighth European Conference on Computer-Supported Cooperative Work (s. 199-218). Kluwer Academic Publishers.

Brodal, G. S., Fagerberg, R. & Farach-Colton, M. (red.) (2003). Lower Bounds for External Memory Dictionaries. I Proceedings of the fourteenth annual ACM-SIAM symposium on Discrete algorithms (s. 546-554). Society for Industrial and Applied Mathematics.

Braga, C. D. O., Haeusler, E. H., Meseguer, J., Mosses, P. D. & Leuschel, M. (red.) (2003). Mapping Modular SOS to Rewriting Logic. I Logic Program Synthesis and Transformation: LOPSTR (Lecture Notes in Computer Science udg., Bind 2664/2003, s. 262-277). Springer.

Braga, C. D. O., Haeusler, E. H., Meseguer, J. & Mosses, P. D. (2003). Mapping Modular SOS to Rewriting Logic. (s. 262-277). Springer LNCS.

Topping, C. J., Østergaard, S., Pertoldi, C. & Bach, L. A. (2003). Modelling the loss of genetic diversity in vole populations in a spatially and temporally varying environment. Annales Zoologici Fennici, 40(3), 255-267.

Bardram, J. E. & Bossen, C. (2003). Moving to get aHead: Local Mobility and Collaborative Work. I ECSCW 2003: Proceedings of the Eighth european Conference on Computer Supported Cooperative Work (s. 355-374). Kluwer Academic Publishers.

Bardram, J. E., Bossen, C., Dourish, P. (red.), Fitzpatrick, G. (red.), Schmidt, K. (red.), Kuutti, K. (red.) & Karsten, E. H. (red.) (2003). Moving to get aHead: Local Mobility and Collaborative Work. I ECSCW' 03: Proceedings of the eighth conference on European Conference on Computer Supported Cooperative Work (Bind ECSCW, s. 355-374). Kluwer Academic Publishers.

Nørregaard, P., Dindler, C., Fritsch, J., Iversen, O. S., Nielsen, C. & Andersen, J. (2003). NetWorking News - A Method for Engaging Children Actively In Design. I Proceedings for the 26th Information Systems Research Seminar in Scandinavia (IRIS 26)

Byskov, J. M., Madsen, B. A. & Skjernaa, B. (2003). New Algorithms for Exact Satisfiability. BRICS Report Series, (RS-03-30).

Grønbæk, K. (red.) (2003). New Review of Hypermedia and Multimedia (NRHM): Theme for the issue: Hypermedia Beyond the Desktop. Taylor & Francis. New Review of Hypermedia and Multimedia Bind 9 Nr. 1 https://doi.org/10.1080/13614560410001688132

Damgård, I. B. & Groth, J. (2003). Non-interactive and Reusable Non-malleable Commitment Schemes. I Proceedings of the thirty-fifth annual ACM symposium on Theory of computing (s. 426-437). Association for Computing Machinery. https://doi.org/10.1145/780542.780605

Miltersen, P. B., Radhakrishnan, J. & Wegener, I. (2003). On converting CNF to DNF. I B. Rovan & P. Vojtás (red.), Mathematical Foundations of Computer Science 2003: 28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003, Proceedings (s. 612-621). Springer. https://doi.org/10.1007/978-3-540-45138-9_55

Arge, L. A., Meyer, U., Toma, L. & Zeh, N. (2003). On External-Memory Planar Depth First Search. Journal of Graph Algorithms and Applications, 7, Issue 2, 105-129. http://www.jgaa.info/accepted/2003/Arge+2003.7.2.pdf

Nielsen, J. B. (2003). On Protocol Security in the Cryptographic Model (BRICS Dissertation Series DS-03-8 udg.). Aarhus Universitet.

Crépeau, C., Dumais, P., Mayers, D. & Salvail, L. (2003). On the Computational Collapse of Quantum Information. BRICS Report Series, (RS-03-3).

Carbone, M. & Maffeis, S. (2003). On the Expressive Power of Polyadic Synchronisation in Pi-Calculus. Nordic Journal of Computing, 10(2), 70-98.

Brodal, G. S., Fagerberg, R. & Goemans, M. X. (red.) (2003). On the Limits of Cache-Obliviousness. I Proceedings of the thirty-fifth annual ACM symposium on Theory of computing (s. 307-315). Association for Computing Machinery. https://doi.org/10.1145/780542.780589

Arge, L. A. & Vitter, J. S. (2003). Optimal External Memory Interval Management. S I A M Journal on Computing, 32, Issue 6, 1488-1508. https://doi.org/10.1137/S009753970240481X

Brodal, G. S., Lagogiannis, G., Makris, C., Tsakalidis, A. & Tsichlas, K. (2003). Optimal Finger Search Trees in the Pointer Machine. Journal of Computer and System Sciences, 67(2), 381-418. https://doi.org/10.1016/S0022-0000(03)00013-8

Kuijpers, G., Nielsen, T. T. & Prasad, R. (2003). Performance Investigation of Extensions to the AODV Routing Protocol. Afhandling præsenteret på 6th International Symposium on Wireless Personal Multimedia Coomunications. WPMC 2003, Yokosuda, Japan.

Grønbæk, K., Kristensen, J. F., Ørbæk, P. & Eriksen, M. A. (2003). Physical Hypermedia: Organising Collections of Mixed Physical and Digital Material. I Proceedings of the fourteenth ACM conference on Hypertext and Hypermedia (s. 10-19). Association for Computing Machinery. https://doi.org/10.1145/900051.900056

Vesterstrøm, J. S. (2003). Physical Mapping Using Simulated Annealing and Evolutionary Algorithms. I Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2003, 8 -12 December 2003, Canberra, Australien (Bind 1, s. 327- 334). IEEE Press.

Schwartzbach, M. I. (red.) (2003). PLAN-X 2004 Informal Proceedings. Department of Computer Science, Aarhus University.

Schougaard, K. R. & Schultz, U. P. (2003). POMP - Pervasive Object Model Project. Afhandling præsenteret på ECOOP 2003 Workshop on Resource Aware Computing., Darmstadt, Tyskland.

Kaptelinin, V., Nardi, B., Bødker, S., Carroll, J., Hollan, J., Hutchins, E. & Winograd, T. (2003). Post-cognitivist HCI: second-wave theories. I G. Cockton & P. Korhonen (red.), Ikke angivet (s. 692-693). Association for Computing Machinery. https://doi.org/10.1145/765891.765933

Christensen, A. S., Møller, A. & Schwartzbach, M. I. (2003). Precise Analysis of String Expressions. I Static Analysis: 10th International Symposium, SAS 2003 San Diego, CA, USA, June 11-13, 2003 Proceedings (s. 1-18). Springer. https://doi.org/10.1007/3-540-44898-5_1

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. I Aarhus Universitets Forskningsfonds Årsberetning 2002: Bidrag til forskningsformidlende bog/antologi (Bind au01_2006_c6091f70-983b-11da-bee9-02004c4f4f50, s. A-59). Aarhus Universitetsforlag.

Bertelsen, O. W., Eskildsen, T. & Sperschneider, W. (2003). Programming in the Kitchen. I M. Rauterberg, M. Menozzi & J. Wesson (red.), Human-Computer Interaction INTERACT '03: IFIP TC13 International Conference on Human-Computer Interaction: L2-M-3: Empirical Studies (s. 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. I 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. I Fourth International Workshop on Principles of Software Evolution (s. 149-160). IEEE Computer Society Press. https://doi.org/10.1109/IWPSE.2003.1231222

Gerhardy, P., Baaz, M. (red.) & Makowsky, J. A. (red.) (2003). Refined Complexity Analysis of Cut Elimination. I Ikke angivet (2803 of Lecture Notes in Computer Science udg., s. 212-225). Springer.

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

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

Jørgensen, J. B. & Bossen, C. (2003). Requirements Engineering for a Pervasive Health Care System. I Proceedings of the 11th International Requirements Engineering Conference (s. 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. I Proceedings of Software Engineering Properties of Languages for Aspect Technologies 2003 Datalogisk Institut, Aarhus Universitet.

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

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

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

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

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

Danvy, O. (red.) (2003). Special Issue of Higher-Order and Symbolic Computation: Partial Evaluation and Semantics-Based Program Manipulation. I P. Thiemann (red.), Higher-Order and Symbolic Computation: Theme Issue on Partial Evaluation and Semantics-Based Program Manipulation (PEPM 2002) (Bind 16(4), s. 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 udg.) 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. (red.), Colom, J.-M. (red.), Kordon, F. (red.), Kotsis, G. (red.) & Moldt, D. (red.) (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.

Viser resultater 4951 til 5000 ud af 6119

100

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series