Publikationer

Søg publikationer fra Institut for Datalogi

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

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. I A. Mendelzon (red.), Proceedings of the 8th World Wide Web Conference (s. 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. I Proceedings of the tenth ACM Conference on Hypertext and hypermedia : returning to our diverse roots (s. 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. I Proceedings of the tenth annual ACM-SIAM symposium on Discrete algorithms (s. 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. (red.) (1999). Lectures on Data Security: Modern Cryptology in Theory and Practice. Springer. Lecture Notes in Computer Science Bind 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. I Y. Dittrich, C. Floyd, N. Jayaratna, F. Kensing & R. Klischewski (red.), Social Thinking - Software Practice (s. 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. (red.) (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. I 1999 IEEE 49th Vehicular Technology Conference (Bind 3, s. 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. I Fourteenth Annual IEEE Conference on Computational Complexity, 1999. Proceedings. (s. 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. 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. 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. I Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems (s. 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. (red.) (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. (red.) (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. I R. Guerraoui (red.), ECOOP’ 99 — Object-Oriented Programming: 13th European Conference Lisbon, Portugal, June 14–18, 1999 Proceedings (s. 667-691). Springer. https://doi.org/10.1007/3-540-48743-3_4

Christensen, H. B. (1999). Ragnarok: An Architecture Based Software Development Environment. Department of Computer Science, University of Aarhus.

Ernst, E. (1999). Relative Types. I F. Gerhardt, L. Benedicenti & E. Ernst (red.), Position Papers from The 8th Workshop for PhD Students in Object-Oriented Systems (s. 21-36). Department of Computer Science, Aarhus University.

Nielsen, T. T., Wigard, J., Michaelsen, P.-H. & Mogensen, P. E. (1999). Resource Allocation in a Frequency Hopping PCS1900/GSM/DCS1800 Type of Network. I 1999 IEEE 49th Vehicular Technology Conference (s. 209-214). IEEE Computer Society Press. https://doi.org/10.1109/VETEC.1999.778048

Bødker, S. (1999). Scenarios in User-Centered Design - Setting the Stage for Reflection and Action. I Proceedings of the 32nd annual Hawaii International Conference on System Sciences IEEE Computer Society Press. https://doi.org/10.1109/HICSS.1999.772892

Bodker, S. (1999). Scenarios in user-centred design - setting the stage for reflection and action. Proceedings of the Annual Hawaii International Conference on System Sciences.

Jensen, K. (red.) (1999). Second Workshop on Practical Use of Coloured Petri Nets and Design/CPN: Aarhus, Denmark, 13-15 October 1999. Department of Computer Science, Aarhus University.

Madsen, O. L. (1999). Semantic Analysis of Virtual Classes and Nested Classes. I A. M. Berman (red.), Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications: , systems, languages, and applications (s. 114 - 131). Association for Computing Machinery. https://doi.org/10.1145/320384.320394

Christensen, M., Damm, C. H., Hansen, K. M., Sandvad, E. & Thomsen, M. (1999). Software Architectural Evolution in the Dragon Project. I Object-Oriented Technology, ECOOP'99 Workshops, Panels, and Posters, Proceedings Department of Computer Science, University of Lisbon. http://www.cit.dk/COT/reports/reports/Case5/09/cot-5-09.pdf

Buscher, M., Mogensen, P. H., Shapiro, D. & Wagner, I. (1999). Spaces for Creating Context and Awareness - designing a Collaborative Virtual Workspace. I Human-Computer Interaction: Communication, Cooperation, and Application Design. Proceedings of HCI International '99 (Bind 2, s. 283-287). Lawrence Erlbaum Associates.

Miltersen, P. B., Vinodchandran, N. V. & Watanabe, O. (1999). Super-Polynomial Versus Half-Exponential Circuit Size in the Exponential Hierarchy. I T. Asano, H. Imai, D. T. Lee, S. Nakano & T. Tokuyama (red.), Computing and Combinatorics: 5th Annual International Conference, COCOON'99 Tokyo, Japan, July 26-28, 1999 Proceedings (s. 210-220). Springer. https://doi.org/10.1007/3-540-48686-0_21

Petersen, M. G. & Madsen, K. H. (1999). Supporting Collaboration in Multimedia Design. I S. Brewster, A. Cawsey & G. Cockton (red.), Human-Computer Interaction: INTERACT (s. 185-190). The British Computer Society.

Grønbæk, K. & Sloth, L. (1999). Supporting Interchange of Open Hypermedia Structures and Contents. I Proceedings of the 5th Workshop on Open Hypermedia Systems

Bouvin, N. O. (1999). The Arakne Framework. Department of Computer Science, Aarhus University. CIT-Coconut Nr. 99-03.1Intermedia Working Papers Nr. 1

Hansen, K. M. (1999). The BetaDBC Library.

Skyum, S., Frandsen, G. S., Miltersen, P. B. & Binderup, P. G. (1999). The Complexity of Identifying Large Equivalence Classes. Fundamenta Informaticae, 38(1-2), 25-37. https://doi.org/10.3233/FI-1999-381203

Buss, J. F., Frandsen, G. S. & Shallit, J. O. (1999). The Computational Complexity of Some Problems of Linear Algebra. Journal of Computer and System Sciences, 58(3), 572-596. https://doi.org/10.1006/jcss.1998.1608

Hansen, K. M. & Thomsen, M. (1999). The "Domain Model Concealer" and "Application Moderator" patterns: Addressing architechtural uncertainty in interactive systems. I Technology of Object-Oriented Languages and Systems, 1999. TOOLS 31. Proceedings (s. 177-190). IEEE Computer Society Press. https://doi.org/10.1109/TOOLS.1999.796481

Wigard, J., Nielsen, T. T., Skjærris, S. & Mogensen, P. E. (1999). The influence of Discontinuous Transmission on RXQUAL statistics in GSM. I 1999 IEEE 49th Vehicular Technology Conference (s. 2505-2509). IEEE Computer Society Press. https://doi.org/10.1109/VETEC.1999.778534

Hansen, K. M. (1999). The Knight Project: Supporting Collaboration in Object-Oriented Analysis and Design. I Object-Oriented Technology, ECOOP'99 Workshops, Panels, and Posters, Proceedings http://www.daimi.au.dk/~knight/documents/oohf.pdf

Christensen, H. B. (1999). The Ragnarok Architectural Software Configuration Management Model. I Proceedings of the 32nd Annual Hawaii International Conference on System Sciences, 1999. HICSS-32 IEEE Computer Society Press. https://doi.org/10.1109/HICSS.1999.773099

Christensen, H. B. (1999). The Ragnarok Software Development Environment. Nordic Journal of Computing, 6(1), 4-21.

Christensen, H. B., Asklund, U., Bendix, L. & Magnusson, B. (1999). The Unified Extensional Versioning Model. I J. Estublier (red.), System Configuration Management: 19th International Symposium, SCM-9 Toulouse, France, September 5–7, 1999 Proceedings (s. 100-122). Springer. https://doi.org/10.1007/3-540-48253-9_8

Viser resultater 5401 til 5450 ud af 6061

109