Department of Computer Science

  • Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Denmark

Research Output 1987 2020

Filter
Book
1997

A Complete Equational Axiomatization for MPA with String Iteration

Aceto, L. & Groote, J. F., 1997, Amsterdam: Centrum voor Wiskunde en Informatica. (Report; No. SEN-R9708).

Research output: Book/ReportBookCommunication

A Notation for Spatiotemporal Queries

Tsotras, V., Jensen, C. S. & Snodgrass, R. T., 1997, Aalborg: Aalborg Universitetsforlag. (Technical Report; No. TR-10).

Research output: Book/ReportBookResearch

Compositional Safety Logics

Larsen, K. G. & Andersen, J. H., 1997, Århus : Daimi: Department of Computer Science, Aarhus University. (BRICS Report Series; No. RS-97-13).

Research output: Book/ReportBookResearch

Context Dependent Minimization of State/Event Systems

Behrmann, G., Kristoffersen, K. J. & Larsen, K. G., 1997, Aalborg: Aalborg Universitetsforlag.

Research output: Book/ReportBookResearch

Model Checking via Reachability Testing for Timed Automata

Aceto, L., Burgueño, A. & Larsen, K. G., 1997, Århus : Daimi: Department of Computer Science, Aarhus University. (BRICS Report Series; No. RS-97-29).

Research output: Book/ReportBookResearch

Objektorienteret analyse og design

Translated title of the contribution: Object-Oriented Analysis and DesignMathiassen, L., Munk-Madsen, A., Nielsen, P. A. & Stage, J., 1997, Aalborg: Marko.

Research output: Book/ReportBookResearch

ProbSy: a System for the Calculation of Probabilities in the Card Game Bridge

Madsen, A. L., Nielsen, L. M. & Jensen, F. V., 1997, Aalborg: Aalborg Universitetsforlag. (R : Institut for Elektroniske Systemer, Aalborg Universitet; No. R97-5010).

Research output: Book/ReportBookResearch

Spatio-Temporal Database Support for Legacy Applications

Böhlen, M., Jensen, C. S. & Skjellaug, B., 1997, Aalborg: Aalborg Universitetsforlag. (Technical Report; No. TR-20).

Research output: Book/ReportBookResearch

Stratum Approaches to Temporal DBMS Implementation

Torp, K., Jensen, C. S. & Snodgrass, R. T., 1997, Aalborg: Aalborg Universitetsforlag. (Technical Report; No. TR-5).

Research output: Book/ReportBookResearch

Synthesis of Program Outlines from Dynamic Models in DYNAMO

Nørmark, K., 1997

Research output: Book/ReportBookResearch

Synthesis of Program Outlines from Scenarios in DYNAMO

Nørmark, K., 1997

Research output: Book/ReportBookResearch

Temporal Data Management

Jensen, C. S. & Snodgrass, R. T., 1997, Aalborg: Aalborg Universitetsforlag. (Technical Report; No. TR-17).

Research output: Book/ReportBookResearch

TimeCenter Prospectus

Jensen, C. S. & Snodgrass, R. T., 1997, Aalborg: Aalborg Universitetsforlag. (Technical Report).

Research output: Book/ReportBookResearch

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

1996

Adding Transaction Time to SQL/Temporal

Snodgrass, R. T., Böhlen, M. H., Jensen, C. S. & Steiner, A., 1996, (ANSI X3H2-96-502r2, ISO/IEC JTC1/SC21/WG3 DBL MC1-147r2 : International Organization for Standardization).

Research output: Book/ReportBookResearch

Adding Valid Time to SQL/Temporal: ANSI Expert's Contribution

Snodgrass, R. T., Böhlen, M. H., Jensen, C. S. & Steiner, A., 1996, (ANSI X3H2-96-501rl, ISO/IEC JTC1/SC21/WG3 DBL MAD-146r2 : International Organization for Standardization).

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., 1996, Århus : Daimi: Department of Computer Science, Aarhus University. 38 p. (BRICS Report Series; No. RS-96-23).

Research output: Book/ReportBookResearch

An Equational Axiomatization for Multi-Exit Iteration

Aceto, L. & Fokkink, W. J., 1996, Århus : Daimi: Department of Computer Science, Aarhus University. 30 p. (BRICS Report Series; No. RS-96-22).

Research output: Book/ReportBookResearch

An Introduction to Bayesian Networks

Jensen, F. V., 1996, London: UCL Press.

Research output: Book/ReportBookResearch

Dynamic Modelling with Dynamo

Nørmark, K., 1996

Research output: Book/ReportBookResearch

Dynamic Models in Object-Oriented Design

Nørmark, K., 1996, Aalborg: Aalborg Universitetsforlag. (R : Institut for Elektroniske Systemer, Aalborg Universitet; No. R96-2005).

Research output: Book/ReportBookResearch

DYNAMO - A Set of Tools for Dynamic Modelling

Nørmark, K., 1996

Research output: Book/ReportBookResearch

IRIS 19: Report of the 19th Information Systems Research Seminar in Scandinavia

Dahlbom, B. E. ., Ljungberg, F. E. ., Nuldén, U. E. ., Simon, K. E. ., Stage, J. E. . & Sørensen, C. E. ., 1996, Gothenburg: Departments of Informatics. (Gothenburg Studies in Informatics; No. Report 8).

Research output: Book/ReportBookResearch

On a Question of A Salomaa: the Equational Theory of Regular Expressions over a Singleton Alphabet is not Finitely based

Aceto, L., Fokkink, W. J. & Ingolfsdottir, A., 1996, Århus: Department of Computer Science, Aarhus University. (BRICS Report Series; No. RS-96-36).

Research output: Book/ReportBookResearch

Proceedings of NWPER'96, Nordic Workshop on Programming Environment Research

Bendix, L. E. ., Nørmark, K. E. . & Østerbye, K. E. ., 1996, Aalborg: Aalborg Universitetsforlag. (R : Institut for Elektroniske Systemer, Aalborg Universitet; No. R96-2019).

Research output: Book/ReportBookResearch

66 Citations (Scopus)

Semantics of Time-Varying Information

Jensen, C. S. & Snodgrass, R. T., 1996, Aalborg: Aalborg Universitetsforlag. (R : Institut for Elektroniske Systemer, Aalborg Universitet; No. R96-2008).

Research output: Book/ReportBookResearch

Temporal Entity-Relationship Models: a Survey

Gregersen, H. & Jensen, C. S., 1996, Aalborg: Aalborg Universitetsforlag. (R : Institut for Elektroniske Systemer, Aalborg Universitet; No. R96-2039).

Research output: Book/ReportBookResearch

1995

A Complete Equational Axiomatization for MPA with String Iteration

Aceto, L. & Groote, J. F., 1995, Århus : Daimi: Department of Computer Science, Aarhus University. 39 p. (BRICS Report Series; No. RS-95-28).

Research output: Book/ReportBookResearch

A Complete Equational Axiomatization for Prefix Iteration with Silent Steps

Aceto, L. & Ingolfsdottir, A., 1995, Århus : Daimi: Department of Computer Science, Aarhus University. 27 p. (BRICS Report Series; No. RS-95-5).

Research output: Book/ReportBookResearch

An Evaluation of Eiffel as the first Object-Oriented Programming Language in the CS Curriculum

Nørmark, K., 1995, Aalborg: Aalborg Universitetsforlag. (R : Institut for Elektroniske Systemer, Aalborg Universitet; No. R95-2017).

Research output: Book/ReportBookResearch

Axiomatizing Prefix Iteration with Silent Steps

Aceto, L., Fokkink, W. J., Glabeek, R. J. V. & Ingolfsdottir, A., 1995, Århus : Daimi: Department of Computer Science, Aarhus University. 25 p. (BRICS Report Series; No. RS-95-56).

Research output: Book/ReportBookResearch

94 Citations (Scopus)

Compositional and Symbolic Model: Checking of Real Time Systems

Larsen, K. G., Pettersson, P. & Yi, W., 1995

Research output: Book/ReportBookResearch

Evaluating and Enhancing the Completeness of TSQL2

Böhlen, M., Jensen, C. S. & Snodgrass, R. T., 1995, USA: University of Arizona. (R-95-5).

Research output: Book/ReportBookResearch

Experiments with TCP/IP in ATM High-Speed Data Communications

Henriksen, K., Hillemann, R. J., Piatraszek, W., Skou, A. & Aaen, M., 1995, Aalborg: Aalborg Universitetsforlag. (R : Institut for Elektroniske Systemer, Aalborg Universitet; No. R95-2026).

Research output: Book/ReportBookResearch

IRIS 18: Report of the 18th Information Systems Research Seminar in Scandinavia

Dahlbom, B. E. ., Kämmerer, F. E. ., Ljungberg, F. E. ., Stage, J. E. . & Sørensen, C. E. ., 1995, Gothenburg: Departments of Informatics. (Gothenburg Studies in Informatics; No. Report 7).

Research output: Book/ReportBookResearch

Objektorienteret design

Translated title of the contribution: Object-Oriented DesignMathiassen, L., Munk-Madsen, A., Nielsen, P. A. & Stage, J., 1995, Aalborg: Marko.

Research output: Book/ReportBookResearch

On the Finitary Bisimulation

Aceto, L. & Ingolfsdottir, A., 1995, Århus: Department of Computer Science, Aarhus University. 29 p. (BRICS Report Series; No. RS-95-59).

Research output: Book/ReportBookResearch

Proceedings of the Workshop on Tools and Algorithms for the Construction and Analysis of Systems

Engberg, U. H., Larsen, K. G. & Skou, A., 1995, Århus: Department of Computer Science, Aarhus University. (B R I C S Notes Series; No. NS-95-2).

Research output: Book/ReportBookResearch

3 Citations (Scopus)

Semantics of Time-Varying Attributes and Their use for Temporal Database Design

Jensen, C. S. & Snodgrass, R. T., 1995, Aalborg: Aalborg Universitetsforlag. (R : Institut for Elektroniske Systemer, Aalborg Universitet; No. R95-2012).

Research output: Book/ReportBookResearch

Specification and Automated Verification of Real-Time Behaviour: A Case Study

Andersen, J. H., Kristensen, C. H. & Skou, A., 1995, Århus: Department of Computer Science, Aarhus University. (BRICS Report Series; No. RS-95-60).

Research output: Book/ReportBookCommunication

Tools and Algorithms for the Construction and Analysis of Systems

Brinksma, E. E. ., Cleaveland, W. R. E. ., Larsen, K. G., Margari, T. E. ., Skou, A. E. . & Steffen, B. E. ., 1995, Berlin: IEEE Computer Society Press. (Lecture Notes in Computer Science; No. 1019).

Research output: Book/ReportBookResearch

1994

A Complete Axiomatization of Timed Bisimulation for a Class of Timed Regular Behaviours

Aceto, L. & Jeffrey, A. S. A., 1994, Århus : Daimi: Department of Computer Science, Aarhus University. 18 p. (BRICS Report Series; No. RS-94-43).

Research output: Book/ReportBookResearch

An Algebra for TSQL2

Soo, M. D., Jensen, C. S. & Snodgrass, R. T., 1994, Aalborg: Aalborg Universitetsforlag. (R : Institut for Elektroniske Systemer, Aalborg Universitet; No. R94-2053).

Research output: Book/ReportBookResearch

An Evaluation of TSQL2

Snodgrass, R. T., Ahn, I., Ariav, G., Bayer, P., Clifford, J., Dyreson, C. E., Grandi, F., Hermosilla, L., Jensen, C. S., Käfer, W., Kline, N., Kulkarni, K., Leung, T. Y. C., Lorentzos, N., Mitsopoulos, Y., Roddick, J. F., Soo, M. D. & Sripada, S. M., 1994, Aalborg: Aalborg Universitetsforlag.

Research output: Book/ReportBookResearch

CPO Models for GSOS Languages, Part 1: Compact GSOS Languages

Aceto, L. & Ingolfsdottir, A., 1994, Århus : Daimi: Department of Computer Science, Aarhus University. 70 p. (BRICS Report Series; No. RS-94-40).

Research output: Book/ReportBookResearch

Efficient Differential Timeslice Computation

Torp, K., Mark, K. L. & Jensen, C. S., 1994, Aalborg: Aalborg Universitetsforlag. (R : Institut for Elektroniske Systemer, Aalborg Universitet; No. R94-2055).

Research output: Book/ReportBookResearch

Extending Existing Dependency Theory to Temporal Databases

Jensen, C. S., Snodgrass, R. T. & Soo, M. D., 1994, Aalborg: Aalborg Universitetsforlag. (R : Institut for Elektroniske Systemer, Aalborg Universitet; No. R94-2050).

Research output: Book/ReportBookResearch

On the Semantics of "Now" in Temporal Databases

Clifford, J., Dyreson, C. E., Isakowitz, T., Jensen, C. S. & Snodgrass, R. T., 1994, Aalborg: Aalborg Universitetsforlag. (R : Institut for Elektroniske Systemer, Aalborg Universitet; No. R94-2047).

Research output: Book/ReportBookResearch

Proceedings of the 6th Nordic Workshop on Programming Theory

Engberg, U. H. E. ., Larsen, K. G. & Mosses, D. E. ., 1994, (B R I C S Notes Series; No. NS-94-6).

Research output: Book/ReportBookResearch

Quality Software: Concepts and Tools

Stage, J. E. ., Nørmark, K. E. . & Larsen, K. G., 1994, Aalborg : The Software Engineering Programme, Institute of Electronic Systems: Aalborg Universitetsforlag.

Research output: Book/ReportBookResearch