Department of Computer Science

  • Postal addressShow on map

    Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Denmark

Filter
Article in proceeding

Search results

  • 1999

    Managing Risks in Software Process Improvement

    Iversen, J. H., Mathiassen, L. & Nielsen, P. A., 1999, Proceedings of the 7th European Conference in Information Systems, Copenhagen, Denmark, 23-25 June 1999. Pries-Heje, J. ... (et al.)(eds.) (ed.). Copenhagen Business School Press

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • Medical Models and Bayesian Networks

    Olesen, K. G., 1999, Prognostic Models in Medicine : Artificial Intelligence and Decision Analytic Approaches. Abu-Hanna, A. & Lucas, P. (eds.). <Forlag uden navn>, 5 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • Migration = cloning; aliasiing

    Hüttel, H., Kleist, J., Nestmann, U. & Merro, M., 1999, Proceeding of FOOL6. Springer, Vol. 1685. p. 1353-1368 (Lecture Notes in Computer Science; No. 1685).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • Minimalist Documentation of Frameworks

    Østerbye, K., 1999, Object-Oriented Technology : ECOOP '99 Workshop Reader : ECOOP '99 Workshops, Panels and Posters, Lisbon, Portugal, June 14-18, 1999 : Proceedings: Lecture Notes in Computer Science. Moreira, A : Demeyer, S. (eds.) (ed.). 1743 ed. IEEE Computer Society Press, p. 172-173

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • Mobile Objects: a Project Overview

    Nestmann, U., 1999, Proceedings of FBT '99 : Formale Beschreibungstechniken für Verteilte Systeme, München, Juni 1999. Spies, K. : Schätz, B. (eds.) (ed.). Herbert Utz Verlag, p. 155-164

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • Modelling Software Agents for Web Information Systems. European Conference on Information Systems ’99

    Skov, M. B., 1999, Doctoral Consortium at ECIS 99.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • Multidimensional Data Modeling for Complex Data

    Pedersen, T. B. & Jensen, C. S., 1999, Proceedings of the Fifteenth IEEE International Conference on Data Engineering, Sydney, Australia, March 1999. IEEE Computer Society Press, p. 336-345

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    115 Citations (Scopus)

  • On the Ontological Expresiveness of Temporal ER Models

    Gregersen, H. & Jensen, C. S., 1999, Advances in Conceptual Modeling : ER '99 Workshop on Evolution and Change in Data Management, Reverse Engineering in Information Systems, and the World Wide Web and Conceptual Modeling, Paris, France, November 15-18, 1999 : Proceedings: Lecture Notes in Computer Science. Chen, P. P. ... (et al.)(eds.) (ed.). 1727 ed. IEEE Computer Society Press, p. 110-121

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • Quantum-Based Spatial Extension to the Relational Model

    Lorentzos, N., Viquiera, J. R. R. & Tryfona, N., 1999, Proceedings of the 7th Panhellenic Conference on Informatics. p. 37-44

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • Real-Time Layered Video Compression using SIMD Computation

    Jensen, M. V. & Nielsen, B., 1999, Parallel Computation : 4th International ACPC Conference Including Special Tracks on Parallel Numerics (ParNum '99) and Parallel Computing in Image Processing, Video Processing, and Multimedia : Salzburg, Austria, February 16-18,1999 : Proceedings: Lecture Notes in Computer Science. Zinterhof, P. : Vajtersic, M. : Uhl,A. (eds.) (ed.). 1557 ed. IEEE Computer Society Press, p. 377-387

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    3 Citations (Scopus)

  • Relational Algebra for Spatial Data Management

    Lorentzos, N., Tryfona, N. & Viquiera, J. R. R., 1999, Integrated Spatial Databases : Digital Images and GIS : International Workshop ISD '99, Portland, ME, USA, June 14-16, 1999 : Selected Papers: Lecture Notes in Computer Science. Agouris, P : Stefanidis, A. (eds.) (ed.). 1737 ed. IEEE Computer Society Press, p. 192-210

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    3 Citations (Scopus)

  • Semantics of Objects as Processes (SOAP)

    Nestmann, U. & Ravara, A., 1999, Object-Oriented Technology : ECOOP '99 Workshop Reader : ECOOP '99 Workshops, Panels and Posters, Lisbon, Portugal, June 14-18, 1999 : Proceedings: Lecture Notes in Computer Science. Moreira, A : Demeyer, S. (eds.) (ed.). 1743 ed. IEEE Computer Society Press, p. 314-325

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    2 Citations (Scopus)

  • Some Practical Issues in Modeling Diagnostic Systems with Multiply Sectioned Bayesian Networks

    Xiang, Y., Olesen, K. G. & Jensen, F. V., 1999, Proceedings of the Twelfth International Florida AI Research Society Conference. Kumar, A. N. & Russell, I. (eds.). AAAI Press

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • StarER: a Conceptual Model for Data Warehouse Design

    Tryfona, N., Busborg, F. & Christiansen, J. B., 1999, ACM Second International Workshop on Data Warehousing and OLAP. p. 3-8

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    182 Citations (Scopus)

  • Supporting Coordination: a Multi-Agent Approach

    Divitini, M., 1999, Proceedings of Norwegian Informatics Conference, NIK '99, Norway.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • Supporting Imprecision in Multidimensional Databases Using Granularities

    Pedersen, T. B., Jensen, C. S. & Dyreson, C. E., 1999, Proceedings of the Eleventh International Conference on Scientific and Statistical Database Management, Cleveland, Ohio, July 1999. p. 90-101

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    34 Citations (Scopus)

  • Teaching of a Computer Literacy Course: a Case Study using Traditional and Co-Operative Learning

    Scheepers, H. & Villiers, C. D., 1999, Proceedings of the 7th European Conference in Information Systems, Copenhagen, Denmark, 23-25 June 1999. Pries-Heje, J. ... (et al.)(eds.) (ed.). Copenhagen Business School Press

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • Testing Hennesy-Milner Logic with Recursion

    Aceto, L. & Ingolfsdottir, A., 1999, Foundations of Software Science and Computation Structures : Second International Conference, FOSSACS ' 99 : Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS '99, Amsterdam, the Netherlands, March 22-28, 1999: Lecture Notes in Computer Science. Thomas, W. (ed.) (ed.). 1578 ed. IEEE Computer Society Press, p. 41-55

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • The Computer-Ndaba Experience: Introducing IT in Rural Community in South Africa

    Scheepers, H., 1999, Information Systems Research in Collaboration with Industry : Proceedings of the 22nd Information Systems Research Seminar in Scandinavia, Jyväskylä, Finland.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • The Jungle Database Search Engine

    Bøhlen, M. H., Bukauskas, L. & Dyreson, C., 1999, Proceedings ACM SIGMOD International Conference on Management of Data. Alex Delis and Christos Faloutsos and Shahram Ghandeharizadeh (ed.). Association for Computing Machinery, p. 584-586

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    1 Citation (Scopus)

  • The Unified Extensional Versioning Model

    Asklund, U., Bendix, L. G., Christensen, H. B. & Magnusson, B., 1999, System Configuration Management : 9th International Symposium, SCM-9, Toulouse, France, September 5-7, 1999 : Proceedings: Lecture Notes in Computer Science. Estublier, J. (ed.) (ed.). 1675 ed. IEEE Computer Society Press, p. 100-122

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    14 Citations (Scopus)

  • Towards Automatic Bisimilarity Checking in the Spi Calculus

    Elkjær, A. S., Höhle, M., Hüttel, H. & Overgård, K., 1999, Combinatorics, Computation & Logic 99 : Proceedings of DMTCS'99 and CATS '99, Auckland, New Zealand, 18-21 January 1999: Australian Computer Science Communications. Calude, C. S. : Dinneen, M. J. (eds.) (ed.). Vol.21, 3 ed. IEEE Computer Society Press, p. 175-189

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • Using Lisp as a Markup Language: the LAML Approach

    Nørmark, K., 1999, European Lisp User Group Meeting. Franz Inc.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • Validation of Continuous-Time Markov Systems

    Larsen, K. G., Baier, C. & Brinksma, E., 1999, Proceedings of PROBMIV'99, Probabilistic Methods in Verification.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • Verification of Hierarchical State/Event Systems using Reusability and Compositionality

    Behrmann, G., Larsen, K. G., Andersen, H. R., Hulgaard, H. & Lind-Nielsen, J., 1999, Tools and Algorithms for the Construction and Analysis of Systems : 5th International Conference, TACAS '99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, the Netherlands, March 22-28, 1999: Lecture Notes in Computer Science. Cleaveland, W. R. (ed.) (ed.). 1579 ed. IEEE Computer Society Press, p. 163-177

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    17 Citations (Scopus)

  • VTML for Fine-Grained Change Tracking in Editing Structured Documents

    Bendix, L. G. & Vitali, F., 1999, System Configuration Management : 9th International Symposium, SCM-9, Toulouse, France, September 5-7, 1999 : Proceedings: Lecture Notes in Computer Science. Estublier, J. (ed.) (ed.). 1675 ed. IEEE Computer Society Press, p. 139-156

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    3 Citations (Scopus)

  • Well-Defined Decision Scenarios

    Nielsen, T. D. & Jensen, F. V., 1999, Proceedings of the Fifteenth Conference on Uncertainty in Artificial Intelligence. Laskey, K. B. : Prade, H. (eds.) (ed.). Morgan Kaufmann, p. 502-511

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • 2000

    Advanced Implementation Techniques for Scientific Data Warehouses

    Pedersen, T. B. & Jensen, C. S., 2000, Proceedings of the First European Lab Workshop on Management and Integration of Biochemical Data, Heidelberg, Germany, September 2000.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • A Framework for Constraint-Based Spatial Data Mining

    Tryfona, N., 2000, Proceedings of the International Workshop on Emerging Technologies for Geo-Based Applications. p. 309-328

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • A Knowledge Acquisition Tool for Bayesian-Network Troubleshooters

    Skaanning, C., 2000, Proceedings of the Sixteenth Conference on Uncertainty in Artificial Intelligence : UAI'00. Boutilier, C. : Goldszmidt, M. (eds.) (ed.). Morgan Kaufmann, p. 549-557

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • Analyzing clickstreams using subsessions

    Andersen, J., Giversen, A., Jensen, A. H., Larsen, R. S., Pedersen, T. B. & Skyt, J., 1 Nov 2000, Proceedings of the 3rd ACM International Workshop on Data Warehousing and OLAP, DOLAP 2000. Missaoui, R. & Song, I-Y. (eds.). Association for Computing Machinery, p. 25-32 8 p. (DOLAP: Proceedings of the ACM International Workshop on Data Warehousing and OLAP, Vol. Part F129125).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    15 Citations (Scopus)

  • Analyzing Clickstream Using Subsessions

    Andersen, J., Giversen, A., Jensen, A. H., Larsen, R., Pedersen, T. B. & Skyt, J., 2000, DOLAP 2000 : ACM Third International Workshop on Data Warehousing and OLAP : November 10, 2000, McLean, VA. Missaoui,R. : Song, I.-Y. (eds.) (ed.). Association for Computing Machinery, p. 25-32

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    20 Citations (Scopus)

  • An Elucidative Programming Environment for Scheme

    Nørmark, K., 2000, Proceedings of the 2000 Nordic Workshop on Programming Environment Research, May 2000. p. 109-126

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • A Research Framework for Studying the Implementation of Enterprise Resource Planning (ERP) systems

    Jensen, P. K. & Møller, C., 2000, Proceedings of the 23rd IRIS Conference - Doing IT together. al., L. S. U. S. E. (ed.).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • A Suite of WWW-Based Tools for Advanced Course Management

    Nørmark, K., 2000, ITiCSE 2000 : Proceedings of the 5th Annual SIGCSE/SIGCUE Conference on Innovation and Technology in Computer Science Education : July 11-13, 2000, Helsinki, Finland: SIGCSE Bulletin. Joyce, D. (ed,) (ed.). Vol.32, 3 ed. Association for Computing Machinery, p. 65-68

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    1 Citation (Scopus)

  • A Tale of Two Airports: a Comparison of Electronic Infrastructures in the Air Cargo Industry in the Netherlands and Hong Kong SAR

    Christiansen, E. & Damsgaard, J., 2000, Fourth Pacific Asia Conference on Information Systems, Electronic Commerce and Web-Based Information Systems, Hong Kong SAR. p. 512-523

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • Automated Test Generation Timed Automata: Tool and Case Study

    Nielsen, B. & Skou, A., 2000, 21st IEEE Real-Time Systems Symposium 2000, Work in Progress-Session, Walt Disney World, Orlando, Florida, USA, November 2000.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • Axiomatizing the Least Fixed Point Operation and Binary Supremum

    Esik, Z., 2000, Computer Science Logic : 14th International Workshop, CSL 2000, Annual Conference of the EACSL Fischbachau, Germany, August 21 - 26, 2000 : Proceedings: Lecture Notes in Computer Science. Clote, P. G. : Schwichtenberg, H. (eds.) (ed.). 1862 ed. IEEE Computer Society Press, p. 302-316

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • Collaborative Practice Research

    Mathiassen, L., 2000, Organizational and Social Perspectives on Information Technology : IFIP TC8 WG8.2 International Working Conference on the Social and Organizational Perspective on Research and Practice in Information Technology, June 9-11, 2000, Aalborg, Denmark: International Federation for Information Processing. Baskerville, R. : Stage, J. : DeGross, J. I. (eds.) (ed.). 41 ed. Kluwer Academic Publishers, p. 127-148

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • Continuous Improvement of the Configuration Management Process

    Bendix, L. G., 2000, Proceedings of the Conference Views on Software Development in the New Millennium, August 2000. p. 50-55

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • Dimensions of Coordination

    Andersen, P. B. & Carstensen, P., 2000, Proceedings of the Fifth International Workshop on the Language-Action Perspective on Communication Modelling. Fachgruppe Informatik der RWTH, p. 41-61

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • Discourses on the Interaction of Information Systems, Organizations, and Society: Reformation and Transformation

    Baskerville, R. L. & Stage, J., 2000, Organizational and Social Perspectives on Information Technology : IFIP TC8 WG8.2 International Working Conference on the Social and Organizational Perspective on Research and Practice in Information Technology, June 9-11, 2000, Aalborg, Denmark: International Federation for Information Processing. Baskerville, R. : Stage, J. : DeGross, J. I. (eds.) (ed.). 41 ed. Kluwer Academic Publishers, p. 1-12

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • Distributed Timed Model Checking: How the Search Order Matters

    Behrmann, G., Hune, T. & Vaandrager, F., 2000, Computer Aided Verification : 12th International Conference, CAV 2000, Chicago, Il., USA, July 15-19, 2000 : Proceedings: Lecture Notes in Computer Science. Emerson, E. : Sistla, A. (eds.) (ed.). 1855 ed. IEEE Computer Society Press, p. 216-231

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • Documenting Design Refinement

    Olderog, E-R. & Ravn, A. P., 2000, Proceedings of FMSP'00 :the Third Workshop on Formal Methods in Software Practice, August 24-25, 2000, Portland, Oregon, USA. Heimdahl, M. P. E. (ed.) (ed.). Association for Computing Machinery

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    2 Citations (Scopus)

  • Elucidative Programming in Java

    Nørmark, K., Andersen, M. R., Christensen, C. N., Kumar, V., Pedersen, S. S. & Sørensen, K. L., 2000, 18th Annual Conference on Computer Documentation : IPCC SIGDOC 2000, ACM, September 2000. IEEE Signal Processing Society, p. 483-495

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    3 Citations (Scopus)

  • ERP Implementation - ERP as An Actor

    Jensen, P. K., 2000, Proceedings of the ITBM2000 Conference - Information Technology for Business Management. Gan, R. (ed.).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • Evolution of the Web News Genre: the Slow Move Beyond the Print Metaphor

    Eriksen, L. B. & Ihlström, C., 2000, Proceedings of the 33rd Hawaii International Conference on System Sciences (HICSS), Maui, Hawaii, January 2000.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    26 Citations (Scopus)

  • Extending OLAP Querying to External Object Databases

    Pedersen, T. B., Shoshani, A., Gu, J. & Jensen, C. S., 2000, Proceedings of the Ninth International Conference on Information and Knowledge Management, 2000. p. 405-413

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    24 Citations (Scopus)

  • Free Algebras for Generalized Automata and Language Theory

    Esik, Z., 2000, Proceedings of Algebraic Systems : Formal Languages and Computation, RIMS Kokyuroku 1166, Kyoto University, 2000. p. 52-58

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • Guided Synthesis of Control Programs Using UPPAAL

    Hune, T., Larsen, K. G. & Pettersson, P., 2000, Proceedings for International Workshop on Distributed Systems Verification and Validation. Lai, T. H. (ed.). p. 15-22

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research