Publikationer

Søg publikationer fra Institut for Datalogi

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

Nygaard, M., Winskel, G., Brim, L. (red.), Jancar, P. (red.), Kretínsky, M. (red.) & Kucera, A. (red.) (2002). HOPLA: A Higher-Order Process Language. I Lecture Notes in Computer Science: Proceedings of the 13th International Conference on Concurrency Theory (Bind 2421, s. 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. I Proceedings of the second Nordic conference on Human-computer interaction (s. 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. I R. Möhring & R. Raman (red.), Algorithms - ESA 2002: 10th Annual European Symposium Rome, Italy, September 17-21, 2002 Proceedings (s. 161-172). Springer. https://doi.org/10.1007/3-540-45749-6_12

Torgersen, M. (2002). Inheritance is Specialisation. I A. P. Black, E. Ernst, P. Grogono & M. Sakkinen (red.), Object-oriented Technology ECOOP 2002 Workshop Reader (Bind 12, s. 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. I O. W. Bertlesen (red.), Proceedings of the second Nordic conference on Human-computer interaction (s. 279-282). Association for Computing Machinery. https://doi.org/10.1145/572020.572065

Bertelsen, O. W. & Bødker, S. (2002). Interaction through multi-artifacts. I S. Bagnara, S. Pozzi, A. Rizzo & P. K. Wright (red.), 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. (s. 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. I C. Bach-Nielsen (red.), Dannelse, Uddannelse, Universiteter: Festskrift til Henning Lehmann den 31. januar 2002 (s. 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. I Z. Hu & M. Rodríguez-Artalejo (red.), Functional and Logic Programming: 6th International Symposium, FLOPS 2002 Aizu, Japan, September 15–17, 2002 Proceedings (s. 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. (red.) (2002). Linearity in Process Languages. I Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science (LICS'02) (s. 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. I K. Bødker, M. K. Pedersen, J. Simonsen & M. T. Vendelø (red.), 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. I D. Batory, C. Consel & W. Taha (red.), Generative Programming and Component Engineering: ACM SIGPLAN/SIGSOFT Conference, GPCE 2002 Pittsburgh, PA, USA, October 6–8, 2002 Proceedings (s. 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. I Application and Theory of Petri Nets 2002: 23rd International Conference, ICATPN 2002 Adelaide, Australia, June 24-30, 2002 Proceedings (s. 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. I K. Asai (red.), ASIA-PEPM '02 Proceedings of the ASIAN symposium on Partial evaluation and semantics-based program manipulation (s. 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. (red.) & Panangaden, P. (red.) (2002). On the Expressive Power of Polyadic Synchronisation in π- calculus. I Electronic Notes in Theoretical Computer Science: CONCUR 2002 Satellite Workshops (68(2) of Electronic Notes in TCS udg., Bind Expressiveness in Concurrency, s. 3. artikel). Elsevier Science Publishers.

Nielsen, M., Palamidessi, C. & Valencia, F. D. (2002). On the Expressive Power of Temporal Concurrent Constraint Programming Languages. I Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming (s. 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. I J. Blustein (red.), Proceedings of the thirteenth ACM conference on Hypertext and hypermedia (Bind SESSION: Next-Gen Open Hypermedia, Part Two, s. 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. (red.) (2002). Optimal Time-Space Trade-Offs for Non-Comparison-Based Sorting. I Symposium on Discrete Algorithm: Proceedings of the thirteenth annual ACM-SIAM symposium on Discrete algorithms (s. 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. I The 5th International Symposium on Wireless Personal Multimedia Communications, 2002. (s. 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. (red.), Yao, X. (red.), Greenwood, G. (red.), Iba, H. (red.), Marrow, P. (red.) & Shackleton, M. (red.) (2002). Particle Swarm Optimisation with Spatial Particle Extension. I Proceedings of the Evolutionary Computation on 2002. CEC '02.: Proceedings of the 2002 Congress (Bind 02, s. 1474-1479). IEEE.

Wiil, U. K., Bouvin, N. O., Larsen, D., De Roure, D. C. & Thompson, M. K. (2002). Peer-to-peer hypertext. 69-71. Afhandling præsenteret på Hypertext 2002: Proceedings of the Thirteenth ACM Conference on Hypertext and Hypermedia, College Park, MD, USA. https://doi.org/10.1145/513338.513339

Bouvin, N. O., Kock Will, U., Larsen, D., De Roure, D. C. & Thomsen, M. K. (2002). Peer-to-Peer Hypertext Panel. I HYPERTEXT 2002: Proceedings of the 13th ACM Conference on Hypertext and Hypermedia (Bind SESSION: Narratives and Literary Hypertext, s. 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. I M. Yung (red.), Advances in Cryptology - CRYPTO 2002: 22nd Annual International Cryptology Conference Santa Barbara, California, USA, August 18-22, 2002 Proceedings (s. 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 udg.). Datalogisk Institut, Aarhus Universitet.

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

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

Ludvigsen, M. (2002). Playful Interaction. Afhandling præsenteret på IRIS 2002 Jamboree/review at the International Conference on Ubiquitous Computing, Göteborg, Sverige.

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. (red.) & Ringeissen, C. (red.) (2002). Pragmatics of Modular SOS. I Ikke angivet (2422 of Lecture Notes in Computer Science udg., s. 49-72). Springer.

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

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

Bødker, S., Bertelsen, O. & Kuutti, K. (red.) (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. I Proceedings of PDC 2002

Høyer, P., Neerbek, J. & Shi, Y. (2002). Quantum complexities of ordered searching, sorting, and element distinctness. Algorithmica (New York), 34(4), 429-448. https://doi.org/10.1007/s00453-002-0976-3

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.

Viser resultater 5101 til 5150 ud af 6119

103