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

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 & 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. 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 Report Series 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. 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. 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. BRICS 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.

Danvy, O., Malmkjær, K. & Palsberg, J. (1996). Eta-expansion does The Trick. ACM Transactions on Programming Langauges and Systems (TOPLAS), 18(6), 730-751. https://doi.org/10.1145/236114.236119

Danvy, O., Malmkjær, K. & Palsberg, J. (1996). Eta-Expansion Does The Trick. BRICS Report Series, (RS-96-17).

Vorum, H., Madsen, P., Rasmussen, H. H., Etzerodt, M., Svendsen, I., Celis, J. E. & Honoré, B. (1996). Expression and divalent cation binding properties of the novel chemotactic inflammatory protein psoriasin. Electrophoresis, 17(11), 1787-96. https://doi.org/10.1002/elps.1150171118

Schwartzbach, M. I., Klarlund, N. & Koistinen, J. (1996). Formal Design Constraints. In Proccedings of the 11th Conference on Object-Oriented Programming: Systems, Languages, and Applications (pp. 370-383). Association for Computing Machinery. https://doi.org/10.1145/236337.236376

Miltersen, P. B. (1996). Lower bounds for static dictionaries on RAMs with bit operations but no multiplication. In Automata, Languages and Programming: 23rd International Colloquium, ICALP '96 Paderborn, Germany, July 8-12, 1996 Proceedings (pp. 442-453). Springer. https://doi.org/10.1007/3-540-61440-0_149

Bødker, S. (1996). Mediating technical platforms to support the development of shared work practices. In Proceedings of the 4th Software Cultures Workshop (pp. 91-102)

Sassone, V., Nielsen, M. & Winskel, G. (1996). Models for concurrency: towards a classification. Theoretical Computer Science, 170(1-2), 297-348. https://doi.org/10.1016/S0304-3975(96)80710-9

Damgård, I. B. & Knudsen, L. R. (1996). Multiple encryption with minimum key. In E. Dawson & J. Golic (Eds.), Cryptography: Policy and Algorithms: International Conference Brisbane, Queensland, Australia, July 3-5, 1995 Proceedings (pp. 156-164). Springer. https://doi.org/10.1007/BFb0032355

Damgård, I. B. & Pedersen, T. P. (1996). New Convertible Undeniable Signature Schemes. In U. Maurer (Ed.), Advances in Cryptology - EUROCRYPT '96: International Conference on the Theory and Application of Cryptographic Techniques Saragossa, Spain, May 12-16, 1996 Proceedings (pp. 372-386). Springer. https://doi.org/10.1007/3-540-68339-9_32

Cramer, R. & Damgård, I. B. (1996). New Generation of Secure and Practical RSA-Based Signatures. In N. Koblitz (Ed.), Advances in Cryptology - CRYPTO '96: 16th Annual International Cryptology Conference Santa Barbara, California, USA August 18-22, 1996 Proceedings (pp. 173-185). Springer. https://doi.org/10.1007/3-540-68697-5_14

Danvy, O. & Malmkjær, K. (1996). On the Idempotence of the CPS Transformation. BRICS Report Series, (RS-96-14).

Cheng, A. & Nielsen, M. (1996). Open maps, behavioural equivalences, and congruences. In H. Kirchner (Ed.), Trees in Algebra and Programming - CAAP '96: 21st International Colloquium Linköping, Sweden, April 22-24, 1996 Proceedings (pp. 257-271). Springer. https://doi.org/10.1007/3-540-61064-2_42

Arge, L. A. & Vitter, J. S. (1996). Optimal Dynamic Interval Management in External Memory. In 37th Annual Symposium on Foundations of Computer Science, 1996. Proceedings., (pp. 560-569). IEEE Computer Society Press. https://doi.org/10.1109/SFCS.1996.548515

Brodal, G. S. & Okasaki, C. (1996). Optimal purely functional priority queues. Journal of Functional Programming, 6(6), 839-858. https://doi.org/10.1017/S095679680000201X

Bertelsen, O. W. (1996). Organisational learning is crystallised into artefacts. SIGGROUP Bulletin, 17(3), 37-39. https://doi.org/10.1145/242206.242218

Danvy, O., Glück, R. & Thiemann, P. (Eds.) (1996). Partial Evaluation: International Seminar Dagstuhl Castle, Germany, February 12–16, 1996 Selected Papers. Springer. Lecture Notes in Computer Science Vol. 1110 https://doi.org/10.1007/3-540-61580-6

Brodal, G. S. (1996). Partially persistent data structures of bounded degree with constant update time. Nordic Journal of Computing, 3(3), 238-255.

Nielsen, M. & Winskel, G. (1996). Petri nets and bisimulation. Theoretical Computer Science, 153(1-2), 211-244. https://doi.org/10.1016/0304-3975(95)00122-0

Danvy, O. (1996). Pragmatic Aspects of Type-Directed Partial Evaluation. BRICS Report Series, (RS-96-15).

Danvy, O. (1996). Pragmatics of type-directed partial evaluation. In O. Danvy, R. Glück & P. Thiemann (Eds.), Partial Evaluation: International Seminar Dagstuhl Castle, Germany, February 12–16, 1996 Selected Papers (pp. 73-94). Springer. https://doi.org/10.1007/3-540-61580-6_5

Danvy, O. (Ed.) (1996). Proceedings of the Second ACM SIGPLAN Workshop on Continuations. CW '97. Department of Computer Science, Aarhus University. BRICS Notes Series No. NS-96-13

Cheng, A., Larsen, K. G. & Nielsen, M. (Eds.) (1996). Programme and Abstracts of the BRICS Autumn School on Verification: Aarhus, Denmark, October 28 - November 1, 1996. (pp. ii+18). Department of Computer Science, Aarhus University.

Kautz, S. M. & Miltersen, P. B. (1996). Relative to a Random Oracle, NP is not small. Journal of Computer and System Sciences, 235-250. https://doi.org/10.1006/jcss.1996.0065

Displaying results 5451 to 5500 out of 5916

110