Department of Computer Science

  • Postal addressShow on map

    Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Denmark

Filter
Article in proceeding

Search results

  • 1999

    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

  • 1998

    A Consensus Glossary of Temporal Database Concepts: February 1998 Version

    Jensen, C. S. & Dyreson, C. E., 1998, Temporal Databases. Research and Practice : Proceedings of the Dagstuhl Seminar on Temporal Databases, Schloss Dagstuhl, Germany, June 23-27, 1998: Lecture Notes in Computer Science. Etzion, O. : Jajodia, S. : Stripada, S. (eds.) (ed.). 1399 ed. IEEE Computer Society Press, p. 367-405

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

    218 Citations (Scopus)

  • A Coock's Tour of Equational Axiomatizations for Prefix Iteration

    Aceto, L., Fokkink, W. J. & Ingolfsdottir, A., 1998, Foundations of Software Science and Computation Structures : Proceedings of the 1st International Conference, FoSSaCS'98 held as part of the Joint European Conference on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28-April 4, 1998: Lecture Notes in Computer Science. Steffen, B. (ed.) (ed.). 1378 ed. IEEE Computer Society Press, p. 20-34

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

  • A decision theoretic approach to empirical treatment of bacteraemia originating from the urinary tract

    Andreassen, S., Leibovici, L., Schønheyder, H. C., Kristensen, B., Riekehr, C., Kjær, A. G. & Olesen, K. G., 1998, Proceedings of Workshop on Intelligent Data Analysis in Medicine and Pharmacology, IDAMAP-98: a Workshop at ECAI-98, Brighton, UK. p. 48-53

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

  • A Structured Methodology to Support Interoperable Geographic Applications: the Case of the Greek Cadastral System

    Tryfona, N. & Kavouras, M., 1998, Association og Geographic Information Laboratories in Europe : Proceedings.

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

  • Automated Modeling of Real-Time Implementation

    Jensen, P. K., 1998, Doctoral Symposium : Proceedings of the 13th IEEE Automated Software Engineering, October 1998, Hawaii, USA..

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

  • Chameleon: a General Platform for Performing Intellimedia

    Brøndsted, T., Dalsgaard, P., Larsen, L. B., Manthey, M., McKevitt, P., Moeslund, T. B. & Olesen, K. G., 1998, The 9th Irish Conference on Artificial Intelligence, IACS'98, August 1998, Dublin, Ireland. p. 73-90

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

  • Clinical Data Warehousing - A Survey

    Pedersen, T. B. & Jensen, C. S., 1998, Proceedings of the VIII Mediterannean Conference on Medical and Biological Engineering and Computing. University of Cyprus, p. 20

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

    Open Access
    File
    450 Downloads (Pure)

  • Combining Speech and Vision processing in a platform for Intelligent Multi Media

    Brøndsted, T., Larsen, L. B., Manthey, M., McKevitt, P., Moeslund, T. B. & Olesen, K. G., 1998, The 7th Danish Conference on Pattern Recognition and Image Analysis, August 1998, Copenhagen, Denmark. <Forlag uden navn>, p. 75-79

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

  • Do CASE Tools Support Method Learning?

    Eriksen, L. B. & Stage, J., 1998, Training and Education of Methodology Practioners and Researchers : Proceedings. Jayaratna, N....et al. (eds.) (ed.). Springer, p. 159-169

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

  • Engineering of Real-Time Systems with an Experiment in Hybrid Control

    Ravn, A. P., Eriksen, T. J., Holdgaard, M. & Rischel, H., 1998, Lectures on Embedded Systems : European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996: Lecture Notes in Computer Science. Rozenberg, G : Vaandrager, F. (eds.) (ed.). 1494 ed. IEEE Computer Society Press, p. 316-352

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

    1 Citation (Scopus)

  • General Object-Based Environments: An Engine for Software Development Environments

    Bendix, L., 1998, Proceedings of the 8th Nordic Workshop on Programming Environment Research, Bergen, Norway, June 1998: Teknisk rapport / Department of Information Science, University of Bergen.

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

  • Global Logistics System Asia Co., Ltd.

    Damsgaard, J., 1998, Proceedings of the 19th International Conference on Information System. Crossing Boundaries : Managing Virtual Enterprises. 1998, H. M. N. . D. J. I. (ed.). p. 402-404

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

    1 Citation (Scopus)

  • Imperative Objects as Mobile Processes

    Kleist, J. & Sangiorgi, D., 1998, Programming Concepts and Methods, PROCOMET '98. Chapman & Hall, p. 285-303

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

  • International Trade at the Speed of Light: Building an Electronic Trading Infrastructure in Denmark, Finland and Hong Kong

    Damsgaard, J. & Lyytinen, K., 1998, Proceedings of the IFIP 8.2 and 8.6 Joint Working Conference on Information Systems : Current Issues and Future Changes, December 1998. (eds.), L. T. J. . L. L. . D. J. I. (ed.). p. 417-438

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

  • Intranet Implementation in Large Organizations

    Damsgaard, J. & Scheepers, R., 1998, IRIS 21 "Information Systems Research in Collaboration with Industry" : Proceedings of the 21st Information Systems Research Seminar in Scandinavia, August 8-11, 1998 at Sæby Søbad, Denmark. Buch, N.J. : Damsgaard, J. : Eriksen, L.B. : Iversen, J.H. : Nielsen, P.A. (eds.) (ed.). Aalborg Universitetsforlag

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

  • Lazy Propagation in Junction Trees

    Madsen, A. L. & Jensen, F. V., 1998, Proceedings of the 14th Conference on Uncertainty in Artificial Intelligence. Cooper, Gregory F. : Moral, Serafin (eds.) (ed.). Morgan Kaufmann, p. 362-369

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

  • Lessons Learned in a National SPI Effort

    Johansen, J. & Mathiassen, L., 1998, Proceedings of EuroSPI '98, Gothenburg, Sweden, November 16-18. p. 5-17

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

  • Logical Data Modeling for Spatio-Temporal Applications: Definitions and a Model

    Tryfona, N. & Hadzilacos, T., 1998, IDEAS '98 : International Database Engineering and Applications Symposium : Proceedings, July 8-10, 1998, Cardiff, Wales, UK. Eaglestone, B. : Desai, B. C. : Shao, J. (eds.) (ed.). IEEE Computer Society Press, p. 14-23

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

    12 Citations (Scopus)

  • Model Checking via Reachability Testing for Timed Automata

    Aceto, L., Burgueño, A. & Larsen, K. G., 1998, Tools and Algorithms for the Construction and Analysis of Systems : Proc. of the 4th International Conference, TACAS'98 held as part of the Joint European Conference on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28-April 4, 1998: Lecture Notes in Computer Science. Steffen, B. (ed.) (ed.). 1384 ed. IEEE Computer Society Press, p. 263-280

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

    55 Citations (Scopus)

  • Modeling Phenomena in Spatiotemporal Applications: Desiderata and Solutions

    Tryfona, N., 1998, Database and Expert Systems Applications : 9th International Conference, DEXA '98, Vienna, Austria, August 24-28, 1998 : Proceedings: Lecture Notes in Computer Science. Quirchmayr, G. : Schweighofer, E. : Bench-Capon, T. J. M. (eds.) (ed.). 1460 ed. IEEE Computer Society Press, p. 155-165

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

    6 Citations (Scopus)

  • On the Expressive Power of Joint Input

    Nestmann, U., 1998, EXPRESS '98 : Expressiveness in Concurrency, Nice, France, September 7, 1998: Electronic Notes in Theoretical Computer Science. Vol. 16.2 ed.

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

    13 Citations (Scopus)

  • Point versus Interval-based Temporal Data Models

    Busatto, R., Böhlen, M. & Jensen, C. S., 1998, Proceedings of the 14th IEEE International Conference on Data Engineering, February 23-27, 1998, Orlando, Florida. p. 192-200

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

    68 Citations (Scopus)

  • Printing System Diagnosis: a Bayesian Network Application

    Skaanning, C., Jensen, F. V., Kjærulff, U., Pelletier, P. & Rostrup-Jensen, L., 1998, The 9th International Conference on Principles of Diagnosis (Dx98), Cape Cod, Massachusetts, USA, 1998. p. 259-265

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

  • Problem Diagnosis in Software Improvement

    Iversen, J. H., Nielsen, P. A. & Nørbjerg, J., 1998, IRIS 21 "Information Systems Research in Collaboration with Industry" : Proceedings of the 21st Information Systems Research Seminar in Scandinavia, August 8-11, 1998 at Sæby Søbad, Denmark. Buch, N.J. : Damsgaard, J. : Eriksen, L.B. : Iversen, J.H. : Nielsen, P.A. (eds.) (ed.). Aalborg Universitetsforlag

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

  • Problem Diagnosis in Software Process Improvement

    Iversen, J. H., Nielsen, P. A. & Nørbjerg, J., 1998, Proceedings of the IFIP 8.2 and 8.6 Joint Working Conference on Information Systems : Current Issues and Future Changes, Helsinki December 1998. (eds.), L. T. J. . L. L. . D. J. I. (ed.). p. 89-110

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

  • ProbSy - A System for the Calculation of Probabilities in the Card Game Bridge

    Madsen, A. L., Nielsen, L. M. & Jensen, F. V., 1998, Proceedings of the 11th International Florida Artificial Intelligence Research Symposium Conference. Cook, Diane J. (ed.) (ed.). AAAI Press, p. 435-439

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

  • Requirements, Definitions, and Notations for Spatiotemporal Applications

    Pfoser, D. & Tryfona, N., 1998, ACM-GIS '98 : Proceedings of the 6th International Symposium on Advances in Geographic Information Systems, November 6-7, 1998, Washington, D. C., USA. Laurini, R. : Makki, K. : Pissinou, N. (eds.) (ed.). Association for Computing Machinery, p. 124-130

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

    37 Citations (Scopus)

  • Research Issues in Clinical Data Warehousing

    Pedersen, T. B. & Jensen, C. S., 1998, Proceedings of the Tenth International Conference on Statistical and Scientific Database Management. p. 43-52

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

    Open Access
    File
    47 Citations (Scopus)
    470 Downloads (Pure)

  • R-tree-based Indexing of Now-Relative Bitemporal Data

    Bliujute, R., Jensen, C. S., Saltenis, S. & Slivinskas, G., 1998, Proceedings of the 24th International Conference on Very Large Databases, August 24-27, 1998, New York City. p. 345-356

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

  • Software Process Improvement: What Management Tends to Forget

    Aaen, I. & Damsgaard, J., 1998, Proceedings of the IFIP 8.2 and 8.6 Joint Working Conference on Information Systems : Current Issues and Future Changes, December 1998. (eds.), L. T. J. . L. L. . D. J. I. (ed.). p. 89-110

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

  • Spatio-Temporal Database Support for Legacy Applications

    Böhlen, M., Jensen, C. S. & Skjellaug, B., 1998, Proceedings of the 1998 ACM Symposium on Applied Computing, February 27-March 1, 1998, Atlanta, Georgia. p. 226-234

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

    23 Citations (Scopus)

  • Supporting Temporal Data Management Applications via Stratum Approaches

    Torp, K., Jensen, C. S. & Snodgrass, R. T., 1998, Proceedings of the 1998 International Database Engineering and Applications Symposium, July 8-10, 1998, Cardiff, Wales. p. 4-13

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

    21 Citations (Scopus)

  • Surrogater i Øjeblik: mod migrerering i Obliq

    Translated title of the contribution: Surrogates in ØjeblikHüttel, H., Kleist, J., Nestmann, U. & Sangiorgi, D., 1998, Proceedings of the Workshop on Semantics of Objects as Processes: Brics Notes Series. Hüttel, Hans : Nestmann, Uwe (eds.) (ed.). NS-98-5 ed. Department of Computer Science, Aarhus University, p. 43-50

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