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

Bouvin, N. O. (2002). Open Hypermedia in a Peer-to-Peer Context. In J. Blustein (Ed.), Proceedings of the thirteenth ACM conference on Hypertext and hypermedia (Vol. SESSION: Next-Gen Open Hypermedia, Part Two, pp. 138-139). Association for Computing Machinery. https://doi.org/10.1145/513338.513373

Brodal, G. S., Makris, C., Sioutas, S., Tsakalidis, A. K. & Tsichlas, K. (2002). Optimal Solutions for the Temporal Precedence Problem. Algorithmica, 33(4), 494-510. https://doi.org/10.1007/s00453-002-0935-z

Pagh, R., Pagter, J. I. & Eppstein, D. (Ed.) (2002). Optimal Time-Space Trade-Offs for Non-Comparison-Based Sorting. In Symposium on Discrete Algorithm: Proceedings of the thirteenth annual ACM-SIAM symposium on Discrete algorithms (pp. 9-18). Association for Computing Machinery.

Kuijpers, G., Nielsen, T. T. & Prasad, R. (2002). Optimizing Neighbor Discovery for Ad hoc Networks based on the Bluetooth PAN Profile. In The 5th International Symposium on Wireless Personal Multimedia Communications, 2002. (pp. 203-207). IEEE Computer Society Press. https://doi.org/10.1109/WPMC.2002.1088161

Krink, T., Vesterstrøm, J. S., Riget, J., Fogel, D. B. (Ed.), Yao, X. (Ed.), Greenwood, G. (Ed.), Iba, H. (Ed.), Marrow, P. (Ed.) & Shackleton, M. (Ed.) (2002). Particle Swarm Optimisation with Spatial Particle Extension. In Proceedings of the Evolutionary Computation on 2002. CEC '02.: Proceedings of the 2002 Congress (Vol. 02, pp. 1474-1479). IEEE.

Bouvin, N. O., Kock Will, U., Larsen, D., De Roure, D. C. & Thomsen, M. K. (2002). Peer-to-Peer Hypertext Panel. In HYPERTEXT 2002: Proceedings of the 13th ACM Conference on Hypertext and Hypermedia (Vol. SESSION: Narratives and Literary Hypertext, pp. 69-71). Society for Industrial and Applied Mathematics.

Damgård, I. B. & Nielsen, J. B. (2002). Perfect Hiding and Perfect Binding Universally Composable Commitment Schemes with Constant Expansion Factor. In M. Yung (Ed.), Advances in Cryptology - CRYPTO 2002: 22nd Annual International Cryptology Conference Santa Barbara, California, USA, August 18-22, 2002 Proceedings (pp. 581-596). Springer. https://doi.org/10.1007/3-540-45708-9_37

Wells, L. M. (2002). Performance Analysis using Coloured Petri Nets (DAIMI PB-563 ed.). Datalogisk Institut, Aarhus Universitet.

Wells, L. M., Boukerche, A. (Ed.), Das, S. K. (Ed.) & Majumdar, S. (Ed.) (2002). Performance Analysis Using Coloured Petri Nets. In Proceedings, 10th IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems, 2002 (pp. 217-221). IEEE Computer Society Press.

Bendtsen, C. N., Krink, T., Fogel, D. B. (Ed.), Yao, X. (Ed.), Greenwood, G. (Ed.), Iba, H. (Ed.), Marrow, P. (Ed.) & Shackleton, M. (Ed.) (2002). Phone Routing using the Dynamic Memory Model. In Proceedings of the 2002 Congress on Evolutionary Computation: CEC '02 (Vol. 1, pp. 992-997). IEEE Press.

Ludvigsen, M. (2002). Playful Interaction. Paper presented at IRIS 2002 Jamboree/review at the International Conference on Ubiquitous Computing, Göteborg, Sweden.

Magård, E. (2002). Possible mechanisms for the coexistence of congeneric (Pourouma, Cecropiaceae) Amazonian tree species. Ecotropica, 8(1), 15-22.

Mosses, P. D., Kirchner, H. (Ed.) & Ringeissen, C. (Ed.) (2002). Pragmatics of Modular SOS. In Ikke angivet (2422 of Lecture Notes in Computer Science ed., pp. 49-72). Springer.

Mosses, P. D. (2002). Proceedings of the 4th International Workshop on Action Semantics. (BRICS NS-02-8 ed.) Aarhus University.

Black, A. P., Ernst, E., Grogono, P., Sakkinen, M., Arévalo, G., Crespo, Y., Huchard, M. & Dao, M. (Eds.) (2002). Proceedings of the Inheritance Workshop at ECOOP 2002. In J. Hernández & A. Moreira (Eds.), Object-Oriented Technology ECOOP 2002 Workshop Reader: ECOOP 2002 Workshops and Posters Málaga, Spain, June 10–14, 2002 Proceedings (pp. 117-134). Springer. https://doi.org/10.1007/3-540-36208-8_10

Bødker, S., Bertelsen, O. & Kuutti, K. (Eds.) (2002). Proceedings of the Second Nordic Conference on Human-Computer Interaction. NordiCHI '02. Association for Computing Machinery.

Møller, A. (2002). Program Verification with Monadic Second-Order Logic & Languages for Web Service Development. Datalogisk Institut, Aarhus Universitet.

Büscher, M., Hartswood, M., Mogensen, P. H., Procter, R., Shapiro, D., Slack, R. & Voss, A. (2002). Promises, Premises and Risks: Sharing Responsibilities, Working Up Trust and Sustaining Commitment in Participatory Design Projects. In Proceedings of PDC 2002

Hein, J., Jensen, J. L. & Pedersen, C. N. S. (2002). Recursions for Statistical Multiple Alignment. Department of Mathematical Sciences , University of Aarhus.

Hein, J., Pedersen, C. N. S. & Jensen, J. L. (2002). Recursions for Statistical Multiple Alignment. Proceedings of the National Academy of Sciences (PNAS), 100(25), 14960-14965.

Nielsen, M. & Thiagarajan, P. S. (2002). Regular Event Structures and Finite Petri Nets: The Conflict-Free Case. In J. Esparza & C. Lakos (Eds.), Application and Theory of Petri Nets 2002: 23rd International Conference, ICATPN 2002 Adelaide, Australia, June 24-30, 2002 Proceedings (pp. 467-488). Springer. https://doi.org/10.1007/3-540-48068-4_20

Ernst, E. (2002). Safe Dynamic Multiple Inheritance. Nordic Journal of Computing, 9(3), 191-208.

Ernst, E. (2002). Safe Dynamic Multiple Inheritance. In K. Østerbye (Ed.), Proceedings of the 10th Nordic workshop on Software Development Tools and Techniques http://www.it-c.dk/people/kasper/NWPER2002/papers/ernst.pdf

Thomsen, R., Krink, T., Guervós, J. J. M. (Ed.), Adamidis, P. (Ed.), Beyer, H.-G. (Ed.), Fernández-Villacañas, J.-L. (Ed.) & Schwefel, H.-P. (Ed.) (2002). Self-Adaptive Operator Scheduling using the Religion-Based EA. In Lecture Notes in Computer Science: Parallel Problem Solving from Nature - PPSN VII (2439 of Lecture Notes in Computer Science ed., Vol. 2439/-1 / 2002, pp. 214-223). Springer.

Nielsen, J. B. (2002). Separating Random Oracle Proofs from Complexity Theoretic Proofs: The Non-Committing Encryption Case. In M. Yung (Ed.), Advances in Cryptology — CRYPTO 2002: 22nd Annual International Cryptology Conference Santa Barbara, California, USA, August 18–22, 2002 Proceedings (pp. 191-214). Springer. https://doi.org/10.1007/3-540-45708-9_8

Grønbæk, K., Whitehead, J., De Bra, P., Larsen, D., Leggett, J. & Schraefel, M. (2002). Seven Issues Revisited. In Conference on Hypertext and Hypermedia: Proceedings of the thirteenth ACM conference on Hypertext and hypermedia (pp. 171). Association for Computing Machinery.

Brodal, G. S., Lyngsø, R. B., Östlin, A. & Pedersen, C. N. S. (2002). Solving the String Statistics Problem in Time O(n log n). In P. Widmayer, S. Eidenbenz, F. Triguero, R. Morales, R. Conejo & M. Hennessy (Eds.), Automata, Languages and Programming: 29th International Colloquium, ICALP 2002 Málaga, Spain, July 8–13, 2002 Proceedings (pp. 728-739). Springer. https://doi.org/10.1007/3-540-45465-9_62

Büscher, M., Mogensen, P. H. & Shapiro, D. (2002). Spaces of Practice. In W. Prinz, M. Jarke, Y. Rogers, K. Schmidt & V. Wulf (Eds.), Proceedings of the seventh conference on European Conference on Computer Supported Cooperative Work (pp. 139-158). Springer. https://doi.org/10.1007/0-306-48019-0_8

Danvy, O. & Sabry, A. (2002). Special issue of Higher-Order and Symbolic Computation: Special Issue on the third ACM SIGPLAN Workshop on Continuations (CW 2001). Springer.

Bødker, S. & Iversen, O. S. (2002). Staging a Professional Participatory Design Practice: Moving PD beyond the Initial Fascination of User Involvement. In O. W. Bertelsen (Ed.), Proceedings of the second Nordic conference on Human-computer interaction (pp. 11 - 18). Association for Computing Machinery. https://doi.org/10.1145/572020.572023

Bødker, S. & Iversen, O. S. (2002). Staging a Professional Participatory Design Practice. In Proceedings of Second Nordic Conference on Human-Computer Interaction (pp. 11-18).

Christensen, A. S., Møller, A. & Schwartzbach, M. I. (2002). Static Analysis for Dynamic XML. In E-Proceeding of PLAN-X 2002 http://homepages.inf.ed.ac.uk/wadler/planx/planx-eproceed/papers/E00-1868950904.pdf

Hobolth, A. & Jensen, E. B. V. (2002). Stereological analysis of shape. Image Analysis and Stereology, 21(4), S23-S29. https://doi.org/10.5566/ias.v21.pS23-S29

Christensen, H. B. & Bardram, J. (2002). Supporting Human Activities - Exploring Activity-Centered Computing. In G. Borriello & L. E. Holmquist (Eds.), UbiComp 2002: Ubiquitous Computing: 4th International Conference Göteborg, Sweden, September 29 – October 1, 2002 Proceedings (pp. 107-116). Springer. https://doi.org/10.1007/3-540-45809-3_8

Westergaard, M. (2002). Supporting Multiple Pointing Devices in Microsoft Windows. In L. Cardelli (Ed.), Proceedings of Microsoft Summer Workshop for Faculty and PhDs.: Supporting Multiple Pointing Devices in Microsoft Windows (pp. 11. Talk). Microsoft Press.

Gallasch, G. E., Kristensen, L. M. & Mailund (2002). Sweep-Line State Space Exploration for Coloured Petri Nets. In Proceedings of Fourth Workshop on Practical Use of Coloured Petri Nets and the CPN Tools (CPN 2002) (pp. 101-119)

Danvy, O. & Nielsen, L. R. (2002). Syntactic Theories in Practice. BRICS Report Series, (RS-02-4).

Nielsen, M., Palamidessi, C. & Valencia, F. D. (2002). Temporal Concurrent Constraint Programming: Denotation, Logic and Applications. Nordic Journal of Computing, 9(2), 145-188.

Nielsen, M. & Valencia Posso, F. D. (2002). Temporal Concurrent Constraint Programming: Applications and Behavior. In W. Brauer, H. Ehrig, J. Karhumäki & A. Salomaa (Eds.), Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg (pp. 298-324). Springer. https://doi.org/10.1007/3-540-45711-9_17

Amtoft, T., Consel, C., Danvy, O. & Malmkjær, K. (2002). The Abstraction and Instantiation of String-Matching Programs. In T. Mogensen, D. Schmidt & H. Sudborough (Eds.), The Essence of Computation: Complexity, Analysis, Transformation (pp. 332-357). Springer. https://doi.org/10.1007/3-540-36377-7_15

Lyngsø, R. B. & Pedersen, C. N. S. (2002). The Consensus String Problem and the Complexity of Comparing Hidden Markov Models. Journal of Computer and System Sciences, 65(3), 545-569.

Videbech, P., Ravnkilde, B., Pedersen, T. H., Hartvig, H., Egander, A., Clemmensen, K., Rasmussen, N. A., Andersen, F., Gjedde, A. & Rosenberg, R. (2002). The Danish PET/depression project: clinical symptoms and cerebral blood flow. A regions-of-interest analysis. Acta Psychiatrica Scandinavica, 106(1), 35-44.

Bødker, S. & Buur, J. (2002). The Design Collaboratorium - a place for usability design. ACM Transactions on Computer-Human Interaction, 9(2), 152-169. https://doi.org/10.1145/513665.513670

Klarlund, N., Møller, A. & Schwartzbach, M. I. (2002). The DSD Schema Language. Automated Software Engineering, 9(3), 285-319. https://doi.org/10.1023/A:1016376608070

Krink, T., Løvbjerg, M., Guervós, J. J. M. (Ed.), Adamidis, P. (Ed.), Beyer, H.-G. (Ed.), Fernández-Villacañas Martin, J.-L. (Ed.) & Schwefel, H.-P. (Ed.) (2002). The LifeCycle model: Combining Particle Swarm Optimisation, Genetic Algorithms and HillClimbers. In Lecture Notes in Computer Science: Parallel Problem Solving from Nature --- PPSN VII (Vol. 2439, pp. 621-630). Springer.

Brabrand, C., Møller, A. & Schwartzbach, M. I. (2002). The <bigwig> Project. A C M Transactions on Internet Technology, 2(2), 79-114. https://doi.org/10.1145/514183.514184

Buscher, M., Mogensen, P. H., Shapiro, D. & Wagner, I. (2002). The Manufaktur: Supporting Work Practice in (Landscape) Architecture. In Proceedings of the The Sixth European Conference on Computer Supported Cooperative Work (pp. 21-40). Springer. https://doi.org/10.1007/0-306-47316-X_2

Danvy, O. & Goldberg, M. (2002). There and Back Again. In Proceedings of the seventh ACM SIGPLAN international conference on Functional programming (pp. 230-234). Association for Computing Machinery. https://doi.org/10.1145/581478.581500

Danvy, O. & Goldberg, M. (2002). There and Back Again. BRICS Report Series, (RS-02-12).

Damgård, I. B., Groth, J., Salomonsen, G. & Gritzalis, D. (Ed.) (2002). The Theory and Implementation of Electronic Voting Systems. In Secure Electronic Voting (Vol. 7, pp. 77-100). Kluwer Academic Publishers.

Displaying results 4951 to 5000 out of 5916

100

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University