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

Danvy, O. & Schultz, U. P. (2002). Lambda-Lifting in Quadratic Time. In Z. Hu & M. Rodríguez-Artalejo (Eds.), Functional and Logic Programming: 6th International Symposium, FLOPS 2002 Aizu, Japan, September 15–17, 2002 Proceedings (pp. 134-151). Springer. https://doi.org/10.1007/3-540-45788-7_8

Danvy, O. & Schultz, U. P. (2002). Lambda-Lifting in Quadratic Time. BRICS Report Series, (RS-02-30).

Brabrand, C., Møller, A., Olesen, S. & Schwartzbach, M. I. (2002). Language-Based Caching of Dynamically Generated HTML. World Wide Web (New York), 5(4), 305-323. https://doi.org/10.1023/A:1021020226173

Nygaard, M., Winskel, G. & Plotkin, G. (Ed.) (2002). Linearity in Process Languages. In Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science (LICS'02) (pp. 433-446). IEEE Press.

Awodey, S., Birkedal, L. & Scott, D. S. (2002). Local realizability toposes and a modal logic for computability. Mathematical Structures in Computer Science, 12(3), 319-334. https://doi.org/10.1017/S0960129502003675

Bødker, S. & Christiansen, E. (2002). Lost and Found in Flexibility. In K. Bødker, M. K. Pedersen, J. Simonsen & M. T. Vendelø (Eds.), Proceedings of the 25th Information Systems Research Seminar in Scandinavia Human-Computer Interaction Resource Network.

Balat, V. & Danvy, O. (2002). Memoization in Type-Directed Partial Evaluation. BRICS Report Series, (RS-02-33).

Balat, V. & Danvy, O. (2002). Memorization in Type-Directed Partial Evaluation. In D. Batory, C. Consel & W. Taha (Eds.), Generative Programming and Component Engineering: ACM SIGPLAN/SIGSOFT Conference, GPCE 2002 Pittsburgh, PA, USA, October 6–8, 2002 Proceedings (pp. 78-92). Springer. https://doi.org/10.1007/3-540-45821-2_5

Ernst, E. (2002). Method Mixins. Daimi Report Series (DAIMI PB), (557).

Lorentsen, L., Tuovinen, A.-P. & Xu, J. (2002). Modelling Feature Interaction Patterns in Nokia Mobile Phones using Coloured Petri Nets and Design/CPN. In Application and Theory of Petri Nets 2002: 23rd International Conference, ICATPN 2002 Adelaide, Australia, June 24-30, 2002 Proceedings (pp. 15 - 45). Springer. https://doi.org/10.1007/3-540-48068-4_18

Klarlund, N., Møller, A. & Schwartzbach, M. I. (2002). MONA Implementation Secrets. International Journal of Foundations of Computer Science, 13(4), 571-586. https://doi.org/10.1142/S012905410200128X

Ager, M. S., Danvy, O. & Rohde, H. K. (2002). On obtaining Knuth, Morris, and Pratt's string matcher by partial evaluation. In K. Asai (Ed.), ASIA-PEPM '02 Proceedings of the ASIAN symposium on Partial evaluation and semantics-based program manipulation (pp. 32-46). Association for Computing Machinery. https://doi.org/10.1145/568173.568177

Ager, M. S., Danvy, O. & Rohde, H. K. (2002). On Obtaining Knuth, Morris, and Pratt's String Matcher by Partial Evaluation. BRICS Report Series, (RS-02-32).

Danvy, O. & Nielsen, L. R. (2002). On One-Pass CPS Transformations. BRICS Report Series, (RS-02-3).

Carbone, M., Maffeis, S., Nestmann, U. (Ed.) & Panangaden, P. (Ed.) (2002). On the Expressive Power of Polyadic Synchronisation in π- calculus. In Electronic Notes in Theoretical Computer Science: CONCUR 2002 Satellite Workshops (68(2) of Electronic Notes in TCS ed., Vol. Expressiveness in Concurrency, pp. 3. artikel). Elsevier Science Publishers.

Nielsen, M., Palamidessi, C. & Valencia, F. D. (2002). On the Expressive Power of Temporal Concurrent Constraint Programming Languages. In Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming (pp. 156-167). Association for Computing Machinery. https://doi.org/10.1145/571157.571173

Madsen, B. A., Nielsen, J. M. & Skjernaa, B. (2002). On the Number of Maximal Bipartite Subgraphs of a Graph. BRICS Report Series, (RS-02-17).

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 Universitet.

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

Displaying results 4951 to 5000 out of 5933