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. & Yang, Z. (1999). An Operational Investigation of the CPS Hierarchy. In S. D. Swierstra (Ed.), 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 (pp. 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. In 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. In T. K. Käkölä (Ed.), Proceedings of the 22nd Information Systems Research Seminar in Scandinavia (pp. 123-134). University of Jyväskylä, Finalnd.

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

Hansen, K. M. (1999). BetaDBC. Computer programme

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. In I. B. Damgård (Ed.), Lectures on Data Security: Modern Cryptology in Theory and Practice (pp. 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. In Proceedings of the Workshop on Object-Oriented Technology (pp. 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. In Proceedings of the 40th annual Foundations of Computer Science (pp. 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. In C. Mingins & B. Meyer (Eds.), Technology of Object-Oriented Languages and Systems, 1999. TOOLS 32. Proceedings (pp. 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. In F. Dehne, J.-R. Sack, A. Gupta & R. Tamassia (Eds.), Algorithms and Data Structures: 6th International Workshop, WADS’99 Vancouver, Canada, August 11–14, 1999 Proceedings (pp. 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. In S. Bødker, M. Kyng & K. Schmidt (Eds.), ECSCW '99, Proceedings of the Sixth European Conference on Computer Supported Cooperative Work. (pp. 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. In S. Abiteboul & A.-M. Vercoustre (Eds.), Research and Advanced Technology for Digtial Libraries (pp. 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. In J. Stern (Ed.), Advances in Cryptology - EUROCRYPT '99: International Conference on the Theory and Application of Cryptographic Techniques Prague, Czech Republic, May 2-6, 1999 Proceedings (pp. 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. In M. Crochemore & M. Paterson (Eds.), Combinatorial Pattern Matching: 10th Annual Symposium, CPM 99 Warwick University, UK, July 22–24, 1999 Proceedings (pp. 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

Ernst, E. (1999). gbeta - a Language with Virtual Attributes, Block Structure, and Propagating, Dynamic Inheritance. Department of Computer Science, Aarhus University.

Jurdzinski, M. & Nielsen, M. (1999). Hereditary History Preserving Bisimilarity Is Undecidable. BRICS Report Series, (RS-99-19).

Jurdzinski, M. & Nielsen, M. (1999). Hereditary history preserving simulation is undecidable. BRICS Report Series, (RS-99-1).

Bouvin, N. O., Cole, W. & Rau, A. (1999). Hypertext'99 doctoral consortium report. S I G W E B Newsletter, 8(2), 48-50. https://doi.org/10.1145/951425.951433

Zhang, W. (1999). Information System Development Based on UML. Northwestern Polytechnical University.

Bouvin, N. O. & Schade, R. (1999). Integrating Temporal Media and Open Hypermedia on the World Wide Web. Computer Networks, 31(11-16), 1453-1465. https://doi.org/10.1016/S1389-1286(99)00038-9

Bouvin, N. O. & Schade, R. (1999). Integrating Temporal Media and Open Hypermedia on the World Wide Web. In A. Mendelzon (Ed.), Proceedings of the 8th World Wide Web Conference (pp. 375-387). Elsevier.

Davis, H., Millard, D., Reich, S., Bouvin, N. O., Grønbæk, K., Nürnberg, P., Sloth, L., Wiil, U. K. & Anderson, K. M. (1999). Interoperability between hypermedia systems: the standardisation work of the OHSWG. In Proceedings of the tenth ACM Conference on Hypertext and hypermedia : returning to our diverse roots (pp. 201-202). Association for Computing Machinery. https://doi.org/10.1145/294469.294904

Agarwal, P. K., Arge, L. A., Brodal, G. S. & Vitter, J. S. (1999). I/O-efficient dynamic point location in monotone planar subdivisions. In Proceedings of the tenth annual ACM-SIAM symposium on Discrete algorithms (pp. 11-20). Association for Computing Machinery.

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

Damgård, I. B. (Ed.) (1999). Lectures on Data Security: Modern Cryptology in Theory and Practice. Springer. Lecture Notes in Computer Science Vol. 1561 https://doi.org/10.1007/3-540-48969-X

Alon, N., Dietzfelbinger, M., Miltersen, P. B., Petrank, E. & Tardos, G. (1999). Linear hash functions. Journal of the ACM, 46(5), 667-683. https://doi.org/10.1145/324133.324179

Frandsen, G. S., Hansen, J. P. & Miltersen, P. B. (1999). Lower bounds for dynamic algebraic problems. Lecture Notes in Computer Science, 362-372. https://doi.org/10.1007/3-540-49116-3

Bertelsen, O. W. (1999). Mediation and Heterogeneity in Design. In Y. Dittrich, C. Floyd, N. Jayaratna, F. Kensing & R. Klischewski (Eds.), Social Thinking - Software Practice (pp. 16-20)

Cornils, A., Olsson, J. & Villumsen, O. V. (1999). Mønstre: en indføring i analys-, design- og arkitekturmønstre.

Grønbæk, K. & Lowe, D. (Eds.) (1999). New Review of Hypermedia and Multimedia (NRHM): Theme for the section: "Open Hypermedia". WVT Wissenschaftlicher Verlag Trier.

Wigard, J., Nielsen, T. T., Michaelsen, P.-H. & Mogensen, P. E. (1999). On a handover algorithm in a PCS1900/ GSM/DCS1800 Network. In 1999 IEEE 49th Vehicular Technology Conference (Vol. 3, pp. 2510-2514). IEEE Computer Society Press. https://doi.org/10.1109/VETEC.1999.778536

Barrington, D. A. M., Lu, C.-J., Miltersen, P. B. & Skyum, S. (1999). On monotone planar circuits. In Fourteenth Annual IEEE Conference on Computational Complexity, 1999. Proceedings. (pp. 24-31). IEEE Computer Society Press. https://doi.org/10.1109/CCC.1999.766259

Danvy, O., Dzafic, B. & Pfenning, F. (1999). On proving syntactic properties of CPS programs. Electronic Notes in Theoretical Computer Science, 26, 21-33. https://doi.org/10.1016/S1571-0661(05)80281-6

Danvy, O., Dzafic, B. & Pfenning, F. (1999). On proving syntactic properties of CPS programs. BRICS Report Series, (RS-99-23).

Arge, L. A. & Miltersen, P. B. (1999). On showing lower bounds for external-memory computational geometry problems. D I M A C S Series in Discrete Mathematics and Theoretical Computer Science, 50, 139-160.

Damgård, I. B., Killian, J. & Salvail, L. (1999). On the (Im)possibility of Basing Oblivious Transfer and Bit Commitment on Weakened Security Assumptions. In J. Stern (Ed.), Advances in Cryptology - EUROCRYPT '99: International Conference on the Theory and Application of Cryptographic Techniques Prague, Czech Republic, May 2-6, 1999 Proceedings (pp. 56-73). Springer. https://doi.org/10.1007/3-540-48910-X_5

Arge, L. A., Samoladas, V. & Vitter, J. S. (1999). On two-dimensional indexability and optimal range search indexing. In Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems (pp. 346-357). Association for Computing Machinery. https://doi.org/10.1145/303976.304010

Svenning, J.-C. & Magård, E. (1999). Population ecology and conservation status of the last natural population of English yew Taxus baccata in Denmark. Biological Conservation, 88/2(Artikel 4), 173-182.

Brodal, G. S. (1999). Priority queues on parallel machines. Parallel Computing, 25(8), 987-1011. https://doi.org/10.1016/S0167-8191(99)00032-0

Danvy, O. (Ed.) (1999). Proceedings of the 1999 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation. Association for Computing Machinery.

Bødker, S., Kyng, M. & Schmidt, K. (Eds.) (1999). Proceedings of the sixth European Conference on Computer-Supported Cooperative Work. EC-CSCW '99. Kluwer Academic Publishers.

Ernst, E. (1999). Propagating Class and Method Combination. In R. Guerraoui (Ed.), ECOOP’ 99 — Object-Oriented Programming: 13th European Conference Lisbon, Portugal, June 14–18, 1999 Proceedings (pp. 667-691). Springer. https://doi.org/10.1007/3-540-48743-3_4

Displaying results 5251 to 5300 out of 5916

106