Publikationer

Søg publikationer fra Institut for Datalogi

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

Frandsen, G. S. & Skyum, S. (1997). Dynamic maintenance of majority information in constant time per update. Information Processing Letters, 63(2), 75-78. https://doi.org/10.1016/S0020-0190(97)00100-2

Frandsen, G. S., Miltersen, P. B. & Skyum, S. (1997). Dynamic word problems. Journal of the ACM, 44(2), 257-271. https://doi.org/10.1145/256303.256309

Cramer, R., Damgård, I. B. & Pedersen, T. P. (1997). Efficient and provable security amplifications. I M. Lomas (red.), Security Protocols: International Workshop Cambridge, United Kingdom, April 10-12, 1996 Proceedings (s. 101-109). Springer. https://doi.org/10.1007/3-540-62494-5_9

Arge, L. A. (1997). External-Memory Algorithms with Applications in GIS. I M. V. Kreveld, J. Nievergelt, T. Roos & P. Widmayer (red.), Algorithmic Foundations of Geographic Information Systems (s. 213-254). Springer.

Cramer, R. & Damgård, I. B. (1997). Fast and Secure Immunization Against Adaptive Man-in-the-Middle Impersonation. I W. Fumy (red.), Advances in Cryptology - EUROCRYPT '97: International Conference on the Theory and Application of Cryptographic Techniques Konstanz, Germany, May 11-15, 1997 Proceedings (s. 75-87). Springer. https://doi.org/10.1007/3-540-69053-0_7

Ernst, E. (1997). gbeta. Softwareprogram, Department of Computer Science, Aarhus University.

Grønbæk, K. & Trigg, R. (1997). Heterogeneity, Structure and CSCW: Three Challenges for Open Hypermedia. I Proceedings of the 8th ACM International Conference on Hypertext Association for Computing Machinery.

Danvy, O. & Rose, K. H. (1997). Higher-Order Rewriting and Partial Evaluation. BRICS Report Series, (RS-97-46).

Wigard, J., Nielsen, T. T. & Mogensen, P. E. (1997). Improved Intelligent Underlay-Overlay Combined with Frequency Hopping in GSM. I The 8th IEEE International Symposium on Personal, Indoor and Mobile Radio Communications, 1997. 'Waves of the Year 2000'. PIMRC '97. : 'Waves of the Year 2000'. PIMRC '97. IEEE Computer Society Press. https://doi.org/10.1109/PIMRC.1997.630948

Grønbæk, K. & Mogensen, P. H. (1997). Informing General CSCW Product Development through Cooperative Design in Specific Work Domains. Computer Supported Cooperative Work (CSCW): The Journal of Collaborative Computing and Work Practices, 6(4), 275-304. https://doi.org/10.1023/A:1008626106968

Bødker, S. (1997). Interative design, hands-on experience and guiding lights. I Proceedings of the SIGCHI conference on Human factors in computing systems Association for Computing Machinery.

Alon, N., Dietzfelbinger, M., Miltersen, P. B., Petrank, E. & Tardos, G. (1997). Is linear hashing good? I Proceedings of the twenty-ninth annual ACM symposium on Theory of computing (s. 465-474). Association for Computing Machinery. https://doi.org/10.1145/258533.258639

Danvy, O. & Schultz, U. P. (1997). Lambda-dropping: transforming recursive equations into programs with block structure. I PEPM '97 Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation (s. 90-106). Association for Computing Machinery. https://doi.org/10.1145/258993.259007

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

Ernst, E. (1997). Language Developments. I E. Ernst, L. Wohlrab & F. Gerhardt (red.), Proceedings the 7th Workshop for PhD Students in Object-Oriented Systems Department of Computer Science, Aarhus University.

Cramer, R. & Damgård, I. B. (1997). Linear zero-knowledge-a note on efficient zero-knowledge proofs and arguments. I Proceedings of the twenty-ninth annual ACM symposium on Theory of computing (s. 436-445). Association for Computing Machinery. https://doi.org/10.1145/258533.258635

Büscher, M. & Mogensen, P. H. (1997). Mediating Change: Translation and Mediation in the Context of Bricolage. I T. McMaster, E. Mumford, E. B. Swanson, B. Warboys & D. Wastell (red.), Facilitating Technology Transfer through Partnership: Learning from Practice and Research (s. 76-91). Chapman and Hall.

Danvy, O. (1997). Online Type-Directed Partial Evaluation. BRICS Report Series, (RS-97-53).

Arge, L. A., Ferragina, P., Grossi, R. & Vitter, J. S. (1997). On sorting strings in external memory. I Proceedings of the twenty-ninth annual ACM symposium on Theory of computing (s. 540-548). Association for Computing Machinery. https://doi.org/10.1145/258533.258647

Nielsen, T. T., Wigard, J. & Mogensen, P. E. (1997). On the Capacity of a GSM Frequency Hopping network with Intelligent Underlayer-Overlayer. I 1997 IEEE 47th Vehicular Technology Conference IEEE Computer Society Press. https://doi.org/10.1109/VETEC.1997.605882

Damgård, I. B., Pedersen, T. P. & Pfitzmann, B. (1997). On the existence of statistically hiding bit commitment schemes and fail-stop signatures. Journal of Cryptology, 10(3), 163-194. https://doi.org/10.1007/s001459900026

Danvy, O. & Goldberg, M. (1997). Partial Evaluation of the Euclidian Algorithm. Higher-Order and Symbolic Computation, 10(2), 101-111. https://doi.org/10.1023/A:1007736916360

Danvy, O. & Goldberg, M. (1997). Partial Evaluation of the Euclidian Algorithm. BRICS Report Series, (RS-97-1).

Brodal, G. S. (1997). Predecessor queries in dynamic integer sets. I R. Reischuk & M. Morwan (red.), STACS 97: 14th Annual Symposium on Theoretical Aspects of Computer Science Lübeck, Germany February 27–March 1, 1997 Proceedings (s. 21-32). Springer. https://doi.org/10.1007/BFb0023445

Nielsen, M. & Thomas, W. (red.) (1997). Preliminary Proceedings of the Annual Conference of the European Association for Computer Science Logic, CSL '97: Aarhus, Denmark, August 23-29, 1997. Department of Computer Science, Aarhus University.

Winskel, G. & Nielsen, M. (1997). Presheaves as transition systems. I POMIV '96 Proceedings of the DIMACS workshop on Partial order methods in verification (s. 129-140). American Mathematical Society.

Bødker, S. & Christiansen, E. (1997). Scenarios as springboards in design. I G. Bowker, S. L. Star, L. Gasser & W. Turner (red.), Social Science Research, Technical Systems and Cooperative Work (s. 217-234). Lawrence Erlbaum Associates.

Arge, L. A., Ferragina, P., Grossi, R. & Vitter, J. S. (1997). Sequeance sorting in secondary storage. I Compression and Complexity of Sequences 1997. Proceedings (s. 329-346). IEEE. https://doi.org/10.1109/SEQUEN.1997.666927

Balat, V. & Danvy, O. (1997). Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation. BRICS Report Series, (RS-97-43).

Ernst, E., Gerhardt, F. & Wohlrab, L. (red.) (1997). The 7th Workshop for PhD Students in Object-Oriented Systems. 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. 389-431). Springer. https://doi.org/10.1007/3-540-69687-3_79

Buss, J. F., Frandsen, G. S. & Shallit, J. O. (1997). The computational complexity of some problems of linear algebra. I R. Reischuk & M. Morvan (red.), STACS 97: 14th Annual Symposium on Theoretical Aspects of Computer Science Lübeck, Germany February 27–March 1, 1997 Proceedings (s. 451-462). Springer. https://doi.org/10.1007/BFb0023480

Bieniasz, L. K., Østerby, O. & Britz, D. (1997). The effect of the discretization of the mixed boundary conditions on the numerical stability of the Crank-Nicolson algorithm of electrochemical kinetic simulations. Computers & Chemistry, 21(6), 391-401. https://doi.org/10.1016/S0097-8485(97)00033-8

Hatcliff, J. & Danvy, O. (1997). Thunks and the λ-calculus. Journal of Functional Programming, 7(3), 303-319.

Hatcliff, J. & Danvy, O. (1997). Thunks and the λ-calculus. BRICS Report Series, (RS-97-7).

Grønbæk, K., Kyng, M. & Mogensen, P. H. (1997). Toward a Cooperative Experimental System Development Approach. I M. Kyng & L. Mathiassen (red.), Computers and Design in Context (s. 201-238). MIT Press.

Bertelsen, O. W. (1997). Toward a Unified Field of Se Research and Practice. I E E E Software, 14(6), 87-88. https://doi.org/10.1109/MS.1997.636682

Grønbæk, K. & Wiil, U. K. (1997). Towards a Common Reference Architecture for Open Hypermedia. Journal of Digital Information, 1(2). http://journals.ecs.soton.ac.uk/jodi/Articles/v01/i02/Gronbak/

Grønbæk, K. & Wiil, U. K. (1997). Towards a Reference Architecture for Open Hypermedia. I Proceedings of the 8th ACM International Conference on Hypertext Association for Computing Machinery.

Brodnik, A., Miltersen, P. B. & Munro, J. I. (1997). Trans-dichotomous algorithms without multiplication - some upper and lower bounds. I F. Dehne, A. Rau-Chaplin, J.-R. Sack & R. Tamassia (red.), Algorithms and Data Structures: 5th International Workshop, WADS'97 Halifax, Nova Scotia, Canada August 6-8, 1997 Proceedings (s. 426-436). Springer. https://doi.org/10.1007/3-540-63307-3_80

Bertelsen, O. W. (1997). Understanding objects in use-oriented design. I K. Braa & E. Monteiro (red.), Proceedings of the 20th Information Systems Research Seminar in Scandinavia (s. 311-324)

Brodal, G. S. (1997). Worst Case Efficient Data Structures. Department of Computer Science, Aarhus University.

Brodal, G. S. & Husfeldt, T. (1996). A Communication Complexity Proof that Symmetric Functions have Logarithmic Depth. Department of Computer Science, Aarhus University. BRICS Report Series Nr. 96-1 http://www.brics.dk/RS/96/1/BRICS-RS-96-1.pdf

Hatcliff, J. & Danvy, O. (1996). A computational formalization for partial evaluation. BRICS Report Series, RS-96-34.

Bødker, S. (1996). Applying activity theory to video analysis: how to make sense of video data in HCI. I B. Nardi (red.), Context and consciousness: Activity theory and human computer interaction (s. 147-174). MIT Press.

Brodal, G. S. & Gasieniec, L. (1996). Approximate dictionary queries. I D. Hirschberg & G. Myers (red.), Combinatorial Pattern Matching: 7th Annual Symposium, CPM 96 Laguna Beach, California, June 10–12, 1996 Proceedings (s. 65-74). Springer. https://doi.org/10.1007/3-540-61258-0_6

Klarlund, N., Nielsen, M. & Sunesen, K. (1996). Automated logical verification based on trace abstractions. I PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing (s. 101-110). Association for Computing Machinery. https://doi.org/10.1145/248052.248069

Danvy, O. & Lawall, J. (1996). Back to Direct Style II: First-Class Continuations. BRICS Report Series, (RS-96-20).

Sunesen, K. & Nielsen, M. (1996). Behavioural equivalence for infinite systems - Partially decidable! I J. Billington & W. Reisig (red.), Application and Theory of Petri Nets 1996: 17th International Conference Osaka, Japan, June 24-28, 1996 Proceedings (s. 460-479). Springer. https://doi.org/10.1007/3-540-61363-3_25

Grønbaek, K. E., Jensen, O. J., Krarup, H. B. & Dietrichson, O. (1996). Biochemical, virological and histopathological changes in Danish blood donors with antibodies to hepatitis C virus. Danish Medical Bulletin (Online), 43(2), 186-8.

Joyal, A., Nielsen, M. & Winskel, G. (1996). Bisimulation from Open Maps. Information and Computation, 127(2), 164-185. https://doi.org/10.1006/inco.1996.0057

Viser resultater 5551 til 5600 ud af 6061

112