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

Jensen, K. (Ed.) (2002). Fourth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools: Aarhus, Denmark, August 28-30, 2002. Department of Computer Science, Aarhus University.

Christensen, H. B. & Caspersen, M. E. (2002). Frameworks in CS1: a different way of introducing event-driven programming. In Proceedings of the 7th annual conference on Innovation and technology in computer science education. (pp. 75-79). Association for Computing Machinery. https://doi.org/10.1145/544414.544438

Brodal, G. S., Fagerberg, R., Bose, P. (Ed.) & Morin, P. (Ed.) (2002). Funnel Heap - A Cache Oblivious Priority Queue. In P. Bose & P. Morin (Eds.), Algorithms and Computation: 13th International Symposium, ISAAC 2002 Vancouver, BC, Canada, November 21–23, 2002 Proceedings (pp. 219-228). Springer. https://doi.org/10.1007/3-540-36136-7_20

Damgård, I. B. & Koprowski, M. (2002). Generic Lower Bounds for Root Extraction and Signature Schemes in General Groups. In L. R. Knudsen (Ed.), Advances in Cryptology - EUROCRYPT 2002: International Conference on the Theory and Applications of Cryptographic Techniques Amsterdam, The Netherlands, April 28 - May 2, 2002 Proceedings (pp. 256-271). Springer. https://doi.org/10.1007/3-540-46035-7_17

Ursem, R. K., Krink, T., Fogel, D. B. (Ed.), Yao, X. (Ed.), Greenwood, G. (Ed.), Iba, H. (Ed.), Marrow, P. (Ed.) & Shackleton, M. (Ed.) (2002). Genetic Programming with Smooth Operators for Arithmetic Expressions: Diviplication and Subdition. In Proceedings of the Evolutionary on Computation 2002.: CEC'02 (Vol. 2, pp. 1372-1377). IEEE Computer Society Press.

Brabrand, C. & Schwartzbach, M. I. (2002). Growing Languages with Metamorphic Syntax Macros. In P. Thiemann (Ed.), Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation (pp. 31-40). Association for Computing Machinery. https://doi.org/10.1145/503032.503035

Nygaard, M., Winskel, G., Brim, L. (Ed.), Jancar, P. (Ed.), Kretínsky, M. (Ed.) & Kucera, A. (Ed.) (2002). HOPLA: A Higher-Order Process Language. In Lecture Notes in Computer Science: Proceedings of the 13th International Conference on Concurrency Theory (Vol. 2421, pp. 434-448). Springer.

Goldberg, M. & Torgersen, M. (2002). How to Circumvent Church Numerals. Nordic Journal of Computing, 9(1), 1-12.

Ratzer, A. V. & Hansen, K. M. (2002). Ideogramic: Flexibility and Formality in Collaborative Diagramming. In Proceedings of the second Nordic conference on Human-computer interaction (pp. 291-292). Association for Computing Machinery. https://doi.org/10.1145/572020.572069

Sørensen, T. S., Therkildsen, S. V., Hansen, O. K., Sørensen, K. & Pedersen, E. M. (2002). Images in cardiovascular medicine. Total cavo-pulmonary connection: a virtual 3-dimensional fly-through. Circulation, 105(20), E176-6.

Arge, L. A., Procopiuc, O. & Vitter, J. S. (2002). Implementing I/O-efficient Data Structures Using TPIE. In R. Möhring & R. Raman (Eds.), Algorithms - ESA 2002: 10th Annual European Symposium Rome, Italy, September 17-21, 2002 Proceedings (pp. 161-172). Springer. https://doi.org/10.1007/3-540-45749-6_12

Torgersen, M. (2002). Inheritance is Specialisation. In A. P. Black, E. Ernst, P. Grogono & M. Sakkinen (Eds.), Object-oriented Technology ECOOP 2002 Workshop Reader (Vol. 12, pp. 95-101). Springer LNCS.

Hansen, K. M. & Damm, C. H. (2002). Instant collaboration: Using context-aware instant messaging for session management in distributed collaboration tools. In O. W. Bertlesen (Ed.), Proceedings of the second Nordic conference on Human-computer interaction (pp. 279-282). Association for Computing Machinery. https://doi.org/10.1145/572020.572065

Bertelsen, O. W. & Bødker, S. (2002). Interaction through multi-artifacts. In S. Bagnara, S. Pozzi, A. Rizzo & P. K. Wright (Eds.), Proceedings of the 11th European Conference on Cognitive Ergonomics European Association of Cognitive Ergonomcs.

Møller, A. & Schwartzbach, M. I. (2002). Interactive Web Services with Java. (pp. 1-100). Department of Computer Science, Aarhus University. http://www.brics.dk/NS/02/1/BRICS-NS-02-1.pdf

Kyng, M. (2002). IT, samfund og dannelse. In C. Bach-Nielsen (Ed.), Dannelse, Uddannelse, Universiteter: Festskrift til Henning Lehmann den 31. januar 2002 (pp. 77-94). Aarhus Universitetsforlag.

Christensen, A. S. & Møller, A. (2002). JWIG User Manual. BRICS Notes Series, (NS-02-6).

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.

Displaying results 5001 to 5050 out of 6000

101