Publikationer

Søg publikationer fra Institut for Datalogi

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

Bødker, S. (2000). Scenarios in user-centred design - setting the stage for reflection and action. Interacting with Computers, 13(1), 61-75. https://doi.org/10.1016/S0953-5438(00)00024-2

Bødker, S. (2000). Scenarios - setting the stage for reflection and action in user-centered design. Interacting with Computers, 13(1), 61-77.

Ernst, E. (2000). Separation of Concerns and Then What? I L. Bergmans (red.), Position papers from the workshop on Aspects and Dimensions of Concern. University of Twente. http://trese.cs.utwente.nl/Docs/workshops/adc2000/papers/Ernst.pdf

Boyar, J., Damgård, I. B. & Peralta, R. (2000). Short Non-Interactive Cryptographic Proofs. Journal of Cryptology, 13(4), 449-472. https://doi.org/10.1007/s001450010011

Cornils, A. & Hedin, G. (2000). Statically checked documentation with design patterns. I 33rd International Conference on Technology of Object-Oriented Languages, 2000. TOOLS 33. Proceedings. (s. 419-430). IEEE. https://doi.org/10.1109/TOOLS.2000.848780

Hein, J., Wiuf, C., Møller, M., Knudsen, B. & Wibling, G. (2000). Statistical alignment: computational properties, homology testing and goodness-of-fit. J. Mol. Biol., 302(1), 265-279. https://doi.org/10.1006/jmbi.2000.4061

Anderson, K. M. & Bouvin, N. O. (2000). Supporting project awareness on the WWW with the iScent framework. SIGGROUP Bulletin, 21(3), 16-20. https://doi.org/10.1145/605647.605650

Hansen, K. M., Damm, C. H., Thomsen, M. & Tyrsted, M. (2000). Supporting several levels of restriction in the UML. I A. Evans, S. Kent & B. Selic (red.), «UML» 2000 - The Unified Modeling Language: Advancing the Standard. Third International Conference York, UK, October 2-6, 2000 Proceedings (s. 396-409). Springer. https://doi.org/10.1007/3-540-40011-7_29

Damian, D. & Danvy, O. (2000). Syntactic accidents in program analysis: on the impact of the CPS transformation. I Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (s. 209-220). Association for Computing Machinery.

Daniel, D. & Danvy, O. (2000). Syntactic Accidents in Program Analysis: On the Impact of the CPS Transformation. BRICS Report Series, (RS-00-15).

Ernst, E. (2000). Syntax Based Modularization: Invasive or Not?. Afhandling præsenteret på Conference on Object-Oriented Programming, Systems, Languages, and Applications. OOPSLA 2000, Minneapolis. MN, USA.

Grønbæk, K. (red.) (2000). Technical documentation for the COCONUT project. Department of Computer Science, Aarhus University.

Damm, C. H., Hansen, K. M., Thomsen, M. & Tyrsted, M. (2000). The Knight Project: Tool Support for Collaborative Object-Oriented Modeling. Billeder, Video- og Lydoptagelser (digital)

Damm, C. H., Hansen, K. M., Thomsen, M. & Tyrsted, M. (2000). Tool Integration: Experiences and Issues in Using XMI and Component Technology. I Proceedings of the Technology of Object-Oriented Languages and Systems Conference (s. 94-107). IEEE Computer Society Press. https://doi.org/10.1109/TOOLS.2000.848754

Schwartzbach, M. I. & Graf, S. (red.) (2000). Tools and Algorithms for Construction and Analysis of Systems: 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings. Springer. Lecture Notes in Computer Science Bind 1785 https://doi.org/10.1007/3-540-46419-0

Damm, C. H., Hansen, K. M. & Thomsen, M. (2000). Tool support for cooperative object-oriented design: gesture based modelling on an electric whiteboard. I Proceedings of the SIGCHI conference on Human factors in computing systems (s. 518-525). Association for Computing Machinery. https://doi.org/10.1145/332040.332488

Cornils, A. & Hedin, G. (2000). Tool Support for Design Patterns based on Reference Attribute Grammars. I Proceedings of WAGA'00, Third Workshop on Attribute Grammars and their Applications

Andersen, C. J., Hansen, K. M., Sandvad, E. S., Thomsen, M. & Tyrsted, M. (2000). Tool Support for Iterative System Development Activities: Issues and Experiences. I K. A. Mughal, A. L. Opdahl & D. I. K. Sjøberg (red.), Proceedings of NWPER'2000: Nordic Workshop on Programming Environment Research http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.38.4642

Madsen, O. L. (2000). Towards a Unified Programming Language. I E. Bertino (red.), ECOOP 2000 - Object-Oriented Programming: 14th European Conference Sophia Antipolis and Cannes, France, June 12–16, 2000 Proceedings (s. 1-26). Springer. https://doi.org/10.1007/3-540-45102-1_1

Camenisch, J. & Damgård, I. B. (2000). Verifiable Encryption, Group Encryption, and Their Applications to Separable Group Signatures and Signature Sharing Schemes (Extended Abstract). I T. Okamoto (red.), Advances in Cryptology - ASIACRYPT 2000: 6th International Conference on the Theory and Application of Cryptology and Information Security Kyoto, Japan, December 3-7, 2000 Proceedings (s. 331-345). Springer. https://doi.org/10.1007/3-540-44448-3_25

Hansen, N. D., Klarlund, N. & Schwartzbach, M. I. (2000). YakYak: Parsing with Logical Side Constraints. I G. Rozenberg & W. Thomas (red.), Proceedings of the 4th International Conference on Development in Language Theory (s. 286-301). World Scientific.

Caspersen, M. E. (1999). A C++ framework for active objects in embedded real-time systems-bridging the gap between modeling and implementation. I Technology of Object-Oriented Languages and Systems, 1999. TOOLS 32. Proceedings (s. 52-65). IEEE Computer Society Press. https://doi.org/10.1109/TOOLS.1999.809414

Grønbæk, K., Nürnberg, P. J., Bucka-Lassen, D., Aagaard Pedersen, C. & Reinert, O. (1999). A component-based open hypermedia approach to integreting structure services. New Review of Hypermedia and Multimedia, 5(1), 179-205. https://doi.org/10.1080/13614569908914713

Grønbæk, K., Reich, S., Wiil, U. K., Nürnberg, P. J., Anderson, K. M., Millard, D. E., Haake, J. M. & Davis, H. C. (1999). Addressing Interoperability in Open Hypermedia: The Design of the Open Hypermedia Protocol. New Review of Hypermedia and Multimedia, 5(1), 207-248. https://doi.org/10.1080/13614569908914714

Schwartzbach, M. I. & Klarlund, N. (1999). A Domain-Specific Language for Regular Sets of Strings and Trees. I E E E Transactions on Software Engineering, (3), 378-386. https://doi.org/10.1109/32.798326

Schwartzbach, M. I. & Klarlund, N. (1999). A Domain-Specific Languane for Regular Sets of Strings and Trees. I E E E Transactions on Software Engineering, 25(3), 378-386. https://doi.org/10.1109/32.798326

Danvy, O. (1999). An Extensional Characterization of Lambda-Lifting and Lambda-Dropping. I A. Middeldorp & T. Sato (red.), Functional and Logic Programming: 4th Fuji International Symposium, FLOPS’99 Tsukuba, Japan, November 11-13, 1999 Proceedings (s. 241-250). Springer. https://doi.org/10.1007/10705424_16

Danvy, O. (1999). An Extensional Characterization of Lambda-Lifting and Lambda-Dropping. BRICS Report Series, (RS-99-21).

Danvy, O. & Yang, Z. (1999). An Operational Investigation of the CPS Hierarchy. I S. D. Swierstra (red.), Programming Languages and Systems: 8th European Symposium on Programming, ESOP’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands, March 22–28, 1999 Proceedings (s. 640). Springer. https://doi.org/10.1007/3-540-49099-X_15

Brabrand, C., Møller, A., Sandholm, A. & Schwartzbach, M. I. (1999). A Runtime System for Interactive Web Services. Computer Networks, 31(11-16), 1391-1401. https://doi.org/10.1016/S1389-1286(99)00025-0

Brabrand, C., Møller, A., Sandholm, A. & Schwartzbach, M. I. (1999). A Runtime System for Interactive Web Services. I Proceedings of the 8th International World Wide Web Conference Elsevier.

Bertelsen, O. W. & Nielsen, C. (1999). Augmenting reality in mobile substrates On the design of computer support for process control. I T. K. Käkölä (red.), Proceedings of the 22nd Information Systems Research Seminar in Scandinavia (s. 123-134). University of Jyväskylä, Finalnd.

van Emde Boas, P., Wiedermann, J. & Nielsen, M. (red.) (1999). Automata, Languages and Programming: 26th International Colloquium, ICALP'99 Prague, Czech Republic, July 11-15, 1999 Proceedings. Springer. Lecture Notes in Computer Science Bind 1644 https://doi.org/10.1007/3-540-48523-6

Hansen, K. M. (1999). BetaDBC. Softwareprogram

Nielsen, M. (1999). Bisimulation and Open Maps for Timed Transition Systems. Fundamenta Informaticae, 38(1-2), 61-77.

Damgård, I. B. (1999). Commitment Schemes and Zero-Knowledge Protocols. I I. B. Damgård (red.), Lectures on Data Security: Modern Cryptology in Theory and Practice (s. 63-86). Springer. https://doi.org/10.1007/3-540-48969-X_3

Bødker, S. (1999). Computer applications as Mediators of Design and Use. Department of Computer Science, Aarhus University.

Madsen, O. L. (1999). COM Support in BETA. I Proceedings of the Workshop on Object-Oriented Technology (s. 187). Springer. https://doi.org/10.1007/3-540-46589-8

Miltersen, P. B. & Vinodchandran, N. V. (1999). Derandomizing Arthur-Merlin games using hitting sets. I Proceedings of the 40th annual Foundations of Computer Science (s. 71-80). IEEE Computer Society Press. https://doi.org/10.1109/SFFCS.1999.814579

Christensen, M., Damm, C. H., Hansen, K. M., Sandvad, E. S. & Thomsen, M. (1999). Design and Evolution of Software Architectures in Practice. I C. Mingins & B. Meyer (red.), Technology of Object-Oriented Languages and Systems, 1999. TOOLS 32. Proceedings (s. 2-15). IEEE Computer Society Press. https://doi.org/10.1109/TOOLS.1999.809410

Hjøllund, N. H. I., Jensen, T. K., Bonde, J. P., Henriksen, T. B., Andersson, A. M., Kolstad, H., Ernst, E., Giwercman, A., Skakkebaek, N. E. & Olsen, J. (1999). Distress and reduced fertility: a follow-up study of first-pregnancy planners. Fertility and Sterility, 72(1), 47-53.

Ernst, E. (1999). Dynamic inheritance in a statically typed language. Nordic Journal of Computing, 6(1), 72-92.

Brodal, G. S. & Fagerberg, R. (1999). Dynamic Representations of Sparse Graphs. I F. Dehne, J.-R. Sack, A. Gupta & R. Tamassia (red.), Algorithms and Data Structures: 6th International Workshop, WADS’99 Vancouver, Canada, August 11–14, 1999 Proceedings (s. 773-782). Springer. https://doi.org/10.1007/3-540-48447-7_34

Bertelsen, O. W. & Nielsen, C. (1999). Dynamics in Wastewater Treatment: A Framework for Understanding Formal Constructs in Complex Technical Settings. I S. Bødker, M. Kyng & K. Schmidt (red.), ECSCW '99, Proceedings of the Sixth European Conference on Computer Supported Cooperative Work. (s. 277-290). Klüwer.

Grønbæk, K., Hansen, K. M. & Yndigegn, C. (1999). Dynamic Use of Digital Library Material - Supporting Users with Typed Links in Open Hypermedia. I S. Abiteboul & A.-M. Vercoustre (red.), Research and Advanced Technology for Digtial Libraries (s. 254-273). Springer. https://doi.org/10.1007/3-540-48155-9_17

Cramer, R., Damgård, I. B., Dziembowski, S., Hirt, M. & Rabin, T. (1999). Efficient Multiparty Computations Secure Against an Adaptive Adversary. I J. Stern (red.), Advances in Cryptology - EUROCRYPT '99: International Conference on the Theory and Application of Cryptographic Techniques Prague, Czech Republic, May 2-6, 1999 Proceedings (s. 311-326). Springer. https://doi.org/10.1007/3-540-48910-X_22

Brodal, G. S., Lyngsø, R. B., Pedersen, C. N. S. & Stoye, J. (1999). Finding Maximal Pairs with Bounded Gap. I M. Crochemore & M. Paterson (red.), Combinatorial Pattern Matching: 10th Annual Symposium, CPM 99 Warwick University, UK, July 22–24, 1999 Proceedings (s. 134-149). Springer. https://doi.org/10.1007/3-540-48452-3_11

Danvy, O. (1999). Formalizing Implementation Strategies for First-Class Continuations. BRICS Report Series, (RS-99-51).

Grønbæk, K. & Trigg, R. H. (1999). From Web to Workplace: Designing Open Hypermedia Systems. MIT Press.

Andersson, A., Miltersen, P. B. & Thorup, M. (1999). Fusion trees can be implemented with AC⁰ instructions only . Theoretical Computer Science, 215, 337-344. https://doi.org/10.1016/S0304-3975(98)00172-8

Viser resultater 5351 til 5400 ud af 6061

108