Department of Computer Science

  • Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Denmark

Research Output

1997

Transitioning Temporal Support in TSQL2 to SQL3

Snodgrass, R. T., Böhlen, M., Jensen, C. S. & Steiner, A., 1997, Aalborg: Aalborg Universitetsforlag. (Technical Report; No. TR-8).

Research output: Book/ReportBookResearch

UPPAAL: Status and Developments

Larsen, K. G., Pettersson, P. & Yi, W., 1997, Computer Aided Verification : Proceedings of the 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997: Lecture Notes in Computer Science. Grumberg, Orna (ed.) (ed.). 1254 ed. IEEE Computer Society Press

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

UPPAAL in a Nutshell

Larsen, K. G., Pettersson, W. P. & Yi, W., 1997, In : International Journal on Software Tools for Technology Transfer. 1

Research output: Contribution to journalJournal articleResearchpeer-review

1362 Citations (Scopus)

Using Internet Technology within the Organization: a Structural Analysis of Intranets

Scheepers, R. & Damsgaard, J., 1997, Group'97 : Proceedings of the International ACM SIGGROUP Conference on Supporting Group Work "The Integration Challenge". Hayne, C. S. : Prinz, W. (eds.) (ed.). Association for Computing Machinery, p. 9-18

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

16 Citations (Scopus)
1998

A Component-Based Conceptual Model for Spatiotemporal Application Design

Tryfona, N. & Jensen, C. S., 1998, Aalborg: Aalborg Universitetsforlag. (Chorochronos Technical Report; No. CH-98-10).

Research output: Book/ReportBookResearch

A Consensus Glossary of Temporal Database Concepts: February 1998 Version

Jensen, C. S. E. . & Dyreson, C. E. 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 proceedingArticle in proceedingResearch

183 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 proceedingArticle in proceedingResearch

Actions speak louder than words: Proving bisimilarity for context-free processes

Hüttel, H. & Stirling, C., Aug 1998, In : Journal of Logic and Computation. 8, 4, p. 485-509 25 p.

Research output: Contribution to journalJournal articleResearchpeer-review

12 Citations (Scopus)

Actor Foundry: a QuickStart

Clausen, T. H., 1998, Aalborg : Aalborg University: Department of Computer Science, Aalborg University.

Research output: Book/ReportBookResearch

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 proceedingArticle in proceedingResearch

A Lisp Abstracted Markup Language for WWW Authoring

Nørmark, K., 1998

Research output: Book/ReportBookResearch

A Menagerie of Non-Finitely based Process Semantics over BPA*: From Ready Simulation to Completed Traces

Aceto, L., Fokkink, W. J. & Ingolfsdottir, A., 1998, In : Mathematical Structures in Computer Science. 8, 3, p. 193-230

Research output: Contribution to journalJournal articleResearchpeer-review

16 Citations (Scopus)

An Extensible Notation for Spatiotemporal Index Queries

Tsotras, V., Jensen, C. S. & Snodgrass, R. T., 1998, In : SIGMOD record. 27, 1, p. 47-53

Research output: Contribution to journalJournal articleResearchpeer-review

23 Citations (Scopus)

A platform for developing Intelligent MultiMedia applications

Brøndsted, T., Dalsgaard, P., Larsen, L. B., Manthey, M., McKevitt, P., Moeslund, T. B. & Olesen, K. G., 1998, Aalborg: Center For PersonKommunikation, Aalborg Universitet. (Technical Report; No. R98-1004).

Research output: Book/ReportReport

A Qualitative Empirical Study of CASE Tool Support to Method Learning

Eriksen, L. B. & Stage, J., 1998, In : Information and Software Technology. 40, 5-6, p. 339-345

Research output: Contribution to journalJournal articleResearchpeer-review

1 Citation (Scopus)

A Stage Model of Intranet Technology Implementation and Management

Damsgaard, J. & Scheepers, R., 1998, Aalborg: Aalborg Universitetsforlag. (R : Institut for Elektroniske Systemer, Aalborg Universitet; No. R98-5002).

Research output: Book/ReportBookResearch

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 proceedingArticle in proceedingResearch

Attention Shaping and Software Risk: a Categorial Analysis of Four Classical Approaches

Lyytinen, K., Mathiassen, L. & Ropponen, J., 1998, In : Information Systems Research. 9, 3, p. 233-255

Research output: Contribution to journalJournal articleResearchpeer-review

230 Citations (Scopus)

Automata, Languages and Programming: Proceedings of the 25th International Colloquium, ICALP'98, Aalborg, Denmark, July 13-17 1998

Larsen, K. G., Skyum, S. E. . & Winskel, G. E. ., 1998, Berlin: IEEE Computer Society Press. (Lecture Notes in Computer Science; No. 1443).

Research output: Book/ReportBookResearch

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 proceedingArticle in proceedingResearch

BetaSIM: a Framework for Discrete Event Modelling & Simulation

Kreutzer, W. & Østerbye, K., 1998, In : Simulation (San Diego, Calif.). 6, 6, p. 573-599

Research output: Contribution to journalJournal articleResearchpeer-review

9 Citations (Scopus)

Building Electronic Commerce Infrastructure: Hong Kong Consumer Goods Distribution (B)

Damsgaard, J. & Farhoomand, A. F., 1998, Hong Kong : Centre for Asian Business Cases, School of Business: Hong Kong University and Harvard Business School Publishing and European Case Clearing House. (Teaching Case; No. 98/04C).

Research output: Book/ReportBookCommunication

Building Electronic Commerce Infrastructure: Hong Kong Consumer Goods Distribution (A)

Damsgaard, J. & Farhoomand, A. F., 1998, Hong Kong : Centre for Asian Business Cases, School of Business: Hong Kong University and Harvard Business School Publishing and European Case Clearing House. (Teaching Case; No. 98/03C).

Research output: Book/ReportBookCommunication

Building Electronic Commerce Infrastructure: the Hong Kong Retail Sector (A)

Damsgaard, J. & Farhoomand, A. F., 1998, Hong Kong : Centre for Asian Business Cases, School of Business: The University og Hong Kong. (Teaching Case; No. 98/03C).

Research output: Book/ReportBookCommunication

Building Electronic Commerce Infrastructure: the Hong Kong Retail Sector (B)

Damsgaard, J. & Farhoomand, A. F., 1998, Hong Kong : Centre for Asian Business Cases, School of Business: The University og Hong Kong. (Teaching Case; No. 98/04C).

Research output: Book/ReportBookCommunication

Building Electronic Commerce Infrastructure: Hong Kong Consumer Goods Distribution (A+B)

Damsgaard, J. & Farhoomand, A. F., 1998, Hong Kong : Centre for Asian Business Cases, School of Business: Hong Kong University and Harvard Business School Publishing and European Case Clearing House. (Teaching Note; No. 98/04TN).

Research output: Book/ReportBookCommunication

Capturing and Querying Multiple Aspects of Semistructured Data

Dyreson, C. E., Böhlen, M. H. & Jensen, C. S., 1998, Aalborg: Aalborg Universitetsforlag. (Technical Report; No. TR-36).

Research output: Book/ReportBookResearch

CargoNet: Transportation Community Network Limited

Damsgaard, J., 1998, Hong Kong : Centre for Asian Business Cases, School of Business: Hong Kong University and Harvard Business School Publishing and European Case Clearing House. (Teaching Note; No. 98/09TN).

Research output: Book/ReportBookResearch

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 proceedingArticle in proceedingResearchpeer-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 proceedingArticle in proceedingResearch

Open Access
File
388 Downloads (Pure)

Clock Difference Diagrams

Larsen, K. G., Weise, C., Yi, W. & Pearson, J., 1998, Aalborg: Aalborg Universitetsforlag.

Research output: Book/ReportBookResearch

CMC: A Tool for Compositional Model-Checking of Real-Time Systems

Larsen, K. G. & Laroussinie, F., 1998, Aalborg: Aalborg Universitetsforlag.

Research output: Book/ReportBookResearch

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 proceedingArticle in proceedingResearch

Conceptual Modeling of Time-Varying Information

Gregersen, H. & Jensen, C. S., 1998, Aalborg: Aalborg Universitetsforlag. (Technical Report; No. TR-35).

Research output: Book/ReportBookResearch

Conceptual Modeling Spatiotemporal Applications

Tryfona, N. & Jensen, C. S., 1998, Aalborg: Aalborg Universitetsforlag. (Chorochronos Technical Report; No. CH-98-8).

Research output: Book/ReportBookResearch

Contours of Electronic Data Interchange in Finland: Overcoming Technological Barriers and Collaborating to Make it Happen

Damsgaard, J. & Lyytinen, K., 1998, In : Journal of Strategic Information Systems. 7, p. 275-297

Research output: Contribution to journalJournal articleResearchpeer-review

71 Citations (Scopus)

Design and Implementation of an Efficient, Layered Video Codec for Heterogeneous Networks

Jensen, M. V. & Nielsen, B., 1998, Aalborg: Aalborg Universitetsforlag. (R : Institut for Elektroniske Systemer, Aalborg Universitet; No. R98-5008).

Research output: Book/ReportBookResearch

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 proceedingArticle in proceedingResearch

Efficient Differential Timeslice Computation

Torp, K., Mark, L. & Jensen, C. S., 1998, In : IEEE Transactions on Knowledge and Data Engineering. 10, 4, p. 599-611

Research output: Contribution to journalJournal articleResearchpeer-review

5 Citations (Scopus)

Electronic Markets in Hong Kong's Air Cargo Community

Damsgaard, J., 1998, In : Electronic Markets. 8, 3, p. 46-49

Research output: Contribution to journalJournal articleResearchpeer-review

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 proceedingArticle in proceedingResearch

1 Citation (Scopus)

Evaluation of Database Modeling Methods for Geographic Information Systems

Hadzilacos, T. & Tryfona, N., 1998, In : Australian Journal of Information Systems. 6, 1, p. 15-26

Research output: Contribution to journalJournal articleResearchpeer-review

Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International Symposium, FTRTFT '98, Lyngby, Denmark, September 14-18, 1998

Ravn, A. P. & Rischel, H. E. ., 1998, Berlin: IEEE Computer Society Press. (Lecture Notes in Computer Science; No. 1486).

Research output: Book/ReportBookResearch

From Safety Analysis to Formal Specification

Hansen, K. M., Ravn, A. P. & Stavridou, V., 1998, In : IEEE Transactions on Software Engineering. 24, 7, p. 573-584

Research output: Contribution to journalJournal articleResearchpeer-review

82 Citations (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 proceedingArticle in proceedingResearch

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 proceedingArticle in proceedingResearch

1 Citation (Scopus)

Government Intervention in the Diffusion of EDI: Goals and Conflicts

Damsgaard, J. & Lyytinen, K., 1998, EDI and Data Networking in the Public Sector. Andersen, Kim Viborg (ed.) (ed.).

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearch

Graph Abstractions as the basis of an Extensible Graph Editing Tool

Larsen, N. C., Molz, M. K. & Nørmark, K., 1998

Research output: Book/ReportBookResearch

HLCL '98: High-Level Concurrent Languages, Nice, France, September 12, 1998

Nestmann, U. E. . & Pierce, B. C. E. ., 1998, Pergamon Press. (Electronic Notes in Theoretical Computer Science; No. Vol. 16.3).

Research output: Book/ReportBookResearch

How to introduce Maturity in Software Change Management

Bendix, L., 1998, Aalborg: Aalborg Universitetsforlag. (R : Institut for Elektroniske Systemer, Aalborg Universitet; No. R98-5012).

Research output: Book/ReportBookResearch