Publikationer

Søg publikationer fra Institut for Datalogi

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

Nielsen, T. T. & Wigard, J. (1998). How to do Frequency Planning in the Frequency Hopping parts of the Sonofon Network. Afhandling præsenteret på IIR Conference on Frequency hopping and frequency re-use, London, Storbritannien.

Agerbo, E. & Cornils, A. (1998). How to Preserve the Benefits of Design Patterns. I Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (s. 134-143). Association for Computing Machinery. https://doi.org/10.1145/286936.286952

Grønbæk, K., Mylonas, E. & Shipman, F. M. (red.) (1998). HYPERTEXT 98. The Proceedings of the Ninth ACM Conference on Hypertext and Hypermedia: Links, Objects, Time and Space - Structures in Hypermedia Systems, June 20-24, 1998 Pittsburgh, Pennsylvania. Association for Computing Machinery.

Agerbo, E. & Cornils, A. (1998). Implementing GoF Design Patterns in BETA. I J. Bosch & S. Mitchell (red.), Object-Oriented Technologys: ECOOP’97 Workshop Reader ECOOP’97 Workshops Jyväskylä, Finland, June 9–13, 1997 Proceedings (s. 92-95). Springer. https://doi.org/10.1007/3-540-69687-3_17

Agarwal, P. K., Arge, L. A., Murali, T. M., Varadarajan, K. R. & Vitter, J. S. (1998). I/O-efficient algorithms for contour-line extraction and planar graph blocking. I Proceedings of the ninth annual ACM-SIAM symposium on Discrete algorithms (s. 117-126). Association for Computing Machinery.

Danvy, O. & Schultz, U. P. (1998). Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure. BRICS Report Series, (RS-98-54).

Elgaard, J., Klarlund, N. & Møller, A. (1998). MONA 1.x: New Techniques for WS1S and WS2S. I A. J. Hu & M. Y. Vardi (red.), Computer Aided Verification: 10th International Conference, CAV'98 Vancouver, BC, Canada, June 28 – July 2, 1998 Proceedings (s. 516-520). Springer. https://doi.org/10.1007/BFb0028773

Grønbæk, K. & Bødker, S. (1998). Multimedia: Interdisciplinary challenges to design. Scandinavian Journal of Information Systems, 10(1-2). http://iris.cs.aau.dk/tl_files/volumes/volume10/no1/09_boedker_p219-225.pdf

Miltersen, P. B., Nisan, N., Safra, S. & Wigderson, A. (1998). On data structures and asymmetric communication complexity. Journal of Computer and System Sciences, 57(1), 37-49. https://doi.org/10.1006/jcss.1998.1577

Danvy, O. (1998). Online Type-Directed Partial Evaluation. I Proceedings of the 3rd Fuji International Symposium on Functional and Logic Programming (s. 271-295)

Cheng, A. & Nielsen, M. (1998). Open maps, behavioural equivalences, and congruences 1. Theoretical Computer Science, 190(1), 87-112. https://doi.org/10.1016/S0304-3975(97)00085-6

Pagter, J. I. & Rauhe, T. (1998). Optimal Time-Space Trade-Offs for Sorting. I Proc. of 39th Annual Symposium on Foundations of Computer Science (FOCS '98) IEEE. https://doi.org/10.1109/SFCS.1998.743455

Nielsen, M. & Sassone, V. (1998). Petri nets and other models of concurrency. I W. Reisig & G. Rozenberg (red.), Lectures on Petri Nets I: Basic Models: Advances in Petri Nets (s. 587-642). Springer. https://doi.org/10.1007/3-540-65306-6_23

Danvy, O. & Dybjer, P. (red.) (1998). Proceedings of the 1998 APPSEM Workshop on Normalization by Evaluation. Department of Computer Science, Aarhus University. BRICS Notes Series Nr. NA-98-1

Nielsen, M. (1998). Reasoning about the past. I L. Brim, J. Gruska & J. Zlatuska (red.), Mathematical Foundations of Computer Science 1998: 23rd International Symposium, MFCS'98 Brno, Czech Republic, August 24-28, 1998 Proceedings (s. 117-128). Springer. https://doi.org/10.1007/BFb0055761

Bonde, J. P., Ernst, E., Jensen, T. K., Hjøllund, N. H. I., Kolstad, H., Henriksen, T. B., Scheike, T., Giwercman, A., Olsen, J. & Skakkebaek, N. E. (1998). Relation between semen quality and fertility: a population-based study of 430 first-pregnancy planners. Lancet, 352(9135), 1172-7. https://doi.org/10.1016/S0140-6736(97)10514-1

Arge, L. A., Procopiuc, O., Ramaswamy, S., Suel, T. & Vitter, J. S. (1998). Scalable Sweeping-Based Spatial Join. I Proceedings of 24th Annual International Conference on Very Large Databases

Barrington, D. A. M., Lu, C.-J., Miltersen, P. B. & Skyum, S. (1998). Searching constant width mazes captures the AC⁰ hierarchy. I M. Morvan, C. Meinel & D. Krob (red.), STACS 98: 15th Annual Symposium on Theoretical Aspects of Computer Science Paris, France, February 25-27, 1998 Proceedings (s. 73-83). Springer. https://doi.org/10.1007/BFb0028550

Chen, P. P., Wang, Z. Y., Yu, S. W., Hong, J. M., Poulsen, P. R., Ji, Y. L., Miao, B. Y., Han, M. & Wang, G. H. (1998). Self-organization of Te clusters in nanofilm by low energy beam deposition. Physics Letters, Section A: General, Atomic and Solid State Physics, 244(5), 407-412. https://doi.org/10.1016/S0375-9601(98)00346-6

Damgård, I. B. & Pfitzmann, B. (1998). Sequential iteration of interactive arguments and an efficient zero-knowledge argument for NP. I K. G. Larsen, S. Skyum & G. Winskel (red.), Automata, Languages and Programming: 25th International Colloquium, ICALP'98 Aalborg, Denmark, July 13-17, 1998 Proceedings (s. 772-783). Springer. https://doi.org/10.1007/BFb0055101

Nielsen, T. T., Wigard, J., Michaelsen, P.-H. & Mogensen, P. E. (1998). Slow Frequency Hopping Solutions for GSM Networks of Small Bandwidth. I 48th IEEE Vehicular Technology Conference, 1998. VTC 98. (Bind 2, s. 1321-1325). IEEE Computer Society Press. https://doi.org/10.1109/VETEC.1998.686454

Jensen, K. (red.) (1998). Special Section on Coloured Petri Nets. International Journal on Software Tools for Technology Transfer, 2(2), 95-191. https://doi.org/10.1007/s100090050020

Damgård, I. B., Pedersen, T. P. & Pfitzmann, B. (1998). Statistical secrecy and multibit commitments. I E E E Transactions on Information Theory, 44(3), 1143-1151. https://doi.org/10.1109/18.669255

Balat, V. & Danvy, O. (1998). Strong normalization by type-directed partial evaluation and run-time code generation. I X. Leroy & A. Ohori (red.), Types in Compilation: Second International Workshop, TIC ’98 Kyoto, Japan, March 25–27, 1998 Proceedings (s. 240-252). Springer. https://doi.org/10.1007/BFb0055521

Bødker, S. & Bertelsen, O. W. (1998). Studying programming environments in use: Between principles and praxis. I Proceedings of NWPER '98: Nordic workshop on programming environment research

Mailund & Lyngsø, R. B. (1998). Textual interchange format for high-level Petri nets. I Proceedings of the first workshop on practical use of coloured Petri nets and Design/CPN (s. 47-64)

Ernst, E., Gerhardt, F. & Benedicenti, L. (red.) (1998). The 8th Workshop for PhD Students in Object-Oriented Systems. I S. Demeyer & J. Bosch (red.), Object-Oriented Technology: ECOOP’98 Workshop Reader: ECOOP’ 98 Workshops, Demos, and Posters Brussels, Belgium, July 20–24, 1998 Proceedings (s. 592-634). Springer. https://doi.org/10.1007/3-540-49255-0_1

Bødker, S. (1998). The artifacts of boundary crossing in systems design. Afhandling præsenteret på Congress of the International Society for Cultural Research and Activity Theory, SCRAT 1998, Århus, Danmark.

Østerby, O. (1998). The Error of the Crank-Nicolson Method for Linear Parabolic Equations with a Derivative Boundary Condition. Department of Computer Science, Aarhus University. Daimi Report Series (DAIMI PB) Nr. 534

Christensen, M., Crabtree, A., Damm, C. H., Hansen, K. M., Madsen, O. L., Marqvardsen, P., Mogensen, P. H., Sandvad, E., Sloth, L. & Thomsen, M. (1998). The M.A.D Experience: Multiperspective Application Development in Evolutionary Prototyping. I E. Jul (red.), ECOOP'98 - Object-Oriented Programming: 12th European Conference Brussels, Belgium, July 20-24, 1998 Proceedings (s. 13-40). Springer. https://doi.org/10.1007/BFb0054085

Arge, L. A., Procopiuc, O., Ramaswamy, S., Suel, T. & Vitter, J. S. (1998). Theory and practice of I/O-efficient algorithms for multidimensional batched searching problems. I Proceedings of the ninth annual ACM-SIAM symposium on Discrete algorithms (s. 685-694). Association for Computing Machinery.

Kristensen, L. M., Christensen, S. & Jensen, K. (1998). The Practitioner's guide to Coloured Petri Nets. International Journal on Software Tools for Technology Transfer, 2(2), 98-132. https://doi.org/10.1007/s100090050021

Hune, T. & Nielsen, M. (1998). Timed bisimulation and open maps. I L. Brim, J. Gruska & J. Zlatuska (red.), Mathematical Foundations of Computer Science 1998: 23rd International Symposium, MFCS'98 Brno, Czech Republic, August 24-28, 1998 Proceedings (s. 378-387). Springer. https://doi.org/10.1007/BFb0055787

Damgård, I. B. & Knudsen, L. R. (1998). Two-Key Triple Encryption. Journal of Cryptology, 11(3), 209-218. https://doi.org/10.1007/s001459900044

Danvy, O. (1998). Type-Directed Partial Evaluation. BRICS Lecture Series, (LS-98-3).

Bødker, S. (1998). Understanding representations in design. Human-Computer Interaction, 13(2), 107-125. https://doi.org/10.1207/s15327051hci1302_1

Bødker, S. & Petersen, M. G. (1998). Usability work: From snapshot to development of use. Afhandling præsenteret på ISCRAT 1998, Århus, Danmark.

Kyng, M. (1998). Users and Computers: A contextual approach to design of computer artifact. Scandinavian Journal of Information Systems, 10(1-2), 7-44.

Christensen, H. B. (1998). Utilising a Geographic Space Metaphor in a Software Development Environment. I Proceedings of the IFIP TC2/TC13 WG2.7/WG13.4 Seventh Working Conference on Engineering for Human-Computer Interaction (s. 39-56). Klüwer.

Mogensen, P. H. & Shapiro, D. (1998). When Survival is an Issue: PD in support of landscape architecture. Computer Supported Cooperative Work: The Journal of Collaborative Computing, 7, 187-203. https://doi.org/10.1023/A:1008655302519

Jensen, K. (red.) (1998). Workshop on Practical Use of Coloured Petri Nets and Design/CPN: Aarhus, Denmark, June 10-12, 1998. Department of Computer Science, Aarhus University.

Brodal, G. S. & Katajainen, J. (1998). Worst-case efficient external-memory priority queues. I S. Arnborg & L. Ivansson (red.), Algorithm Theory — SWAT'98: 6th Scandinavian Workshop on Algorithm Theory Stockholm, Sweden, July 8–10, 1998 Proceedings (s. 107-118). Springer. https://doi.org/10.1007/BFb0054359

Brandt, J., Damgård, I. B., Landrock, P. & Pedersen, T. (1998). Zero-knowledge authentication scheme with secret key exchange. Journal of Cryptology, 11(3), 147-159. https://doi.org/10.1007/s001459900041

Damgård, I. B. & Cramer, R. (1998). Zero-knowledge proofs for finite field arithmetic, or: Can zero-knowledge be for free? I H. Krawczyk (red.), Advances in Cryptology - CRYPTO '98: 18th Annual International Cryptology Conference Santa Barbara, California, USA August 23-27, 1998 Proceedings (s. 424-441). Springer. https://doi.org/10.1007/BFb0055745

Jensen, K. (1997). A Brief Introduction to Coloured Petri Nets. I E. Brinksma (red.), Tools and Algorithms for the Construction and Analysis of Systems (Bind 1217, s. 203-208). Springer. https://doi.org/10.1007/BFb0035389

Hatcliff, J. & Danvy, O. (1997). A computational formalization for partial evaluation. Mathematical Structures in Computer Science, 7(5), 507-541. https://doi.org/10.1017/S0960129597002405

Schwartzbach, M. I. & Klarlund, N. (1997). A Domain-Specific Language for Regular Sets of Strings and Trees. I Proceedings of the Conference on Domain-Specific Languages

Schwartzbach, M. I., Madsen, J. L., Jørgensen, M. E. & Klarlund, N. (1997). Automatic Verification of Pointer Programs using Monadic Scond-Order Logic. I Proceedings of the ACM SIGPLAN 1997 conference on Programming language design and implementation (s. 226-236). Association for Computing Machinery. https://doi.org/10.1145/258915.258936

Winskel, G. & Nielsen, M. (1997). Categories in Concurrency. I A. Pitts & P. Dybjer (red.), Semantics and Logics of Computation (s. 299-354). Cambridge University Press.

Jensen, K. (1997). Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol 1, Basic Concepts. (2. ed., 2. corr. printing udg.) Springer. Monographs in theoretical computer science: an EATCS series

Viser resultater 5551 til 5600 ud af 6119

112