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. & Rose, K. H. (1997). Higher-Order Rewriting and Partial Evaluation. B R I C S Report Series, (RS-97-46).

Wigard, J., Nielsen, T. T. & Mogensen, P. E. (1997). Improved Intelligent Underlay-Overlay Combined with Frequency Hopping in GSM. In 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, 6(4), 275-304. https://doi.org/10.1023/A:1008626106968

Bødker, S. (1997). Interative design, hands-on experience and guiding lights. In 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? In Proceedings of the twenty-ninth annual ACM symposium on Theory of computing (pp. 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. In PEPM '97 Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation (pp. 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. B R I C S Report Series, (RS-97-6).

Ernst, E. (1997). Language Developments. In E. Ernst, L. Wohlrab & F. Gerhardt (Eds.), 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. In Proceedings of the twenty-ninth annual ACM symposium on Theory of computing (pp. 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. In T. McMaster, E. Mumford, E. B. Swanson, B. Warboys & D. Wastell (Eds.), Facilitating Technology Transfer through Partnership: Learning from Practice and Research (pp. 76-91). Chapman and Hall.

Danvy, O. (1997). Online Type-Directed Partial Evaluation. B R I C S Report Series, (RS-97-53).

Arge, L. A., Ferragina, P., Grossi, R. & Vitter, J. S. (1997). On sorting strings in external memory. In Proceedings of the twenty-ninth annual ACM symposium on Theory of computing (pp. 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. In 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. B R I C S Report Series, (RS-97-1).

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

Nielsen, M. & Thomas, W. (Eds.) (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. In POMIV '96 Proceedings of the DIMACS workshop on Partial order methods in verification (pp. 129-140). American Mathematical Society.

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

Arge, L. A., Ferragina, P., Grossi, R. & Vitter, J. S. (1997). Sequeance sorting in secondary storage. In Compression and Complexity of Sequences 1997. Proceedings (pp. 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. B R I C S Report Series, (RS-97-43).

Ernst, E., Gerhardt, F. & Wohlrab, L. (Eds.) (1997). The 7th Workshop for PhD Students in Object-Oriented Systems. In J. Bosch & S. Mitchell (Eds.), Object-Oriented Technologys: ECOOP’97 Workshop Reader ECOOP’97 Workshops Jyväskylä, Finland, June 9–13, 1997 Proceedings (pp. 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. In R. Reischuk & M. Morvan (Eds.), STACS 97: 14th Annual Symposium on Theoretical Aspects of Computer Science Lübeck, Germany February 27–March 1, 1997 Proceedings (pp. 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 and 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. B R I C S Report Series, (RS-97-7).

Grønbæk, K., Kyng, M. & Mogensen, P. H. (1997). Toward a Cooperative Experimental System Development Approach. In M. Kyng & L. Mathiassen (Eds.), Computers and Design in Context (pp. 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. In 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. In F. Dehne, A. Rau-Chaplin, J.-R. Sack & R. Tamassia (Eds.), Algorithms and Data Structures: 5th International Workshop, WADS'97 Halifax, Nova Scotia, Canada August 6-8, 1997 Proceedings (pp. 426-436). Springer. https://doi.org/10.1007/3-540-63307-3_80

Bertelsen, O. W. (1997). Understanding objects in use-oriented design. In K. Braa & E. Monteiro (Eds.), Proceedings of the 20th Information Systems Research Seminar in Scandinavia (pp. 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-RS No. 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. B R I C S Report Series, RS-96-34.

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

Brodal, G. S. & Gasieniec, L. (1996). Approximate dictionary queries. In D. Hirschberg & G. Myers (Eds.), Combinatorial Pattern Matching: 7th Annual Symposium, CPM 96 Laguna Beach, California, June 10–12, 1996 Proceedings (pp. 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. In PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing (pp. 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. B R I C S Report Series, (RS-96-20).

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

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

Büscher, M., Mogensen, P. H. & Shapiro, D. (1996). Bricolage as Software Culture. In Proceedings of the COST 4 Workshop on Software Cultures

Ling, Y., Elling, J. & Nielsen, T. T. (1996). Capacity of Intelligent Underlay and Overlay Network. In IEEE Colloquium on Advanced TDMA Techniques and Applications (Digest No: 1996/234) IEEE Computer Society Press. https://doi.org/10.1049/ic:19961234

Jensen, K. & Emerson, E. A. (Ed.) (1996). Condensed State Spaces for Symmetrical Coloured Petri Nets. Formal Methods in System Design, 9(1/2), 7-40. https://doi.org/10.1007/BF00625967

Bertelsen, O. W. (1996). Contradictions in the Festival Project - Activity systems, obstacles and dynamic forces in design. In Proceedings of the 19th Information Systems Research Seminar in Scandinavia (pp. 597-612)

Bødker, S. (1996). Creating conditions for participation: conflicts and resources in systems design. Human-Computer Interaction, 11, 215-236. https://doi.org/10.1207/s15327051hci1103_2

Danvy, O. (1996). Décompilation de lambda-interprètes. In JFLA '96 - Journées Francophones des Langages Applicatifs (Vol. 15)

Grønbæk, K. & Sloth, L. (1996). DHM: an open Dexter-based hypermedia serivce. Abstract from DHM: an open Dexter-based hypermedia serivce. https://doi.org/10.1145/231738.232604

Arge, L. A. (1996). Efficient External-Memory Data Structures and Applications. Department of Computer Science, Aarhus University.

Displaying results 5251 to 5300 out of 5740

106

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University