• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer 1987 2019

Filter
Bog
1997

A Notation for Spatiotemporal Queries

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

Compositional Safety Logics

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

Context Dependent Minimization of State/Event Systems

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

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; Nr. RS-97-29).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Objektorienteret analyse og design

Mathiassen, L., Munk-Madsen, A., Nielsen, P. A. & Stage, J., 1997, Aalborg: Marko.

Publikation: Bog/antologi/afhandling/rapportBogForskning

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; Nr. R97-5010).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Spatio-Temporal Database Support for Legacy Applications

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

Stratum Approaches to Temporal DBMS Implementation

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

Synthesis of Program Outlines from Dynamic Models in DYNAMO

Nørmark, K., 1997

Publikation: Bog/antologi/afhandling/rapportBogForskning

Synthesis of Program Outlines from Scenarios in DYNAMO

Nørmark, K., 1997

Publikation: Bog/antologi/afhandling/rapportBogForskning

Temporal Data Management

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

TimeCenter Prospectus

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

Transitioning Temporal Support in TSQL2 to SQL3

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

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).

Publikation: Bog/antologi/afhandling/rapportBogForskning

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).

Publikation: Bog/antologi/afhandling/rapportBogForskning

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 s. (BRICS Report Series; Nr. RS-96-23).

Publikation: Bog/antologi/afhandling/rapportBogForskning

An Equational Axiomatization for Multi-Exit Iteration

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

An Introduction to Bayesian Networks

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

Dynamic Modelling with Dynamo

Nørmark, K., 1996

Publikation: Bog/antologi/afhandling/rapportBogForskning

Dynamic Models in Object-Oriented Design

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

DYNAMO - A Set of Tools for Dynamic Modelling

Nørmark, K., 1996

Publikation: Bog/antologi/afhandling/rapportBogForskning

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; Nr. Report 8).

Publikation: Bog/antologi/afhandling/rapportBogForskning

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; Nr. RS-96-36).

Publikation: Bog/antologi/afhandling/rapportBogForskning

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; Nr. R96-2019).

Publikation: Bog/antologi/afhandling/rapportBogForskning

66 Citationer (Scopus)

Semantics of Time-Varying Information

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

Temporal Entity-Relationship Models: a Survey

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

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 s. (BRICS Report Series; Nr. RS-95-28).

Publikation: Bog/antologi/afhandling/rapportBogForskning

A Complete Equational Axiomatization for Prefix Iteration with Silent Steps

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

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; Nr. R95-2017).

Publikation: Bog/antologi/afhandling/rapportBogForskning

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 s. (BRICS Report Series; Nr. RS-95-56).

Publikation: Bog/antologi/afhandling/rapportBogForskning

94 Citationer (Scopus)

Compositional and Symbolic Model: Checking of Real Time Systems

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

Evaluating and Enhancing the Completeness of TSQL2

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

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; Nr. R95-2026).

Publikation: Bog/antologi/afhandling/rapportBogForskning

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; Nr. Report 7).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Objektorienteret design

Mathiassen, L., Munk-Madsen, A., Nielsen, P. A. & Stage, J., 1995, Aalborg: Marko.

Publikation: Bog/antologi/afhandling/rapportBogForskning

On the Finitary Bisimulation

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

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; Nr. NS-95-2).

Publikation: Bog/antologi/afhandling/rapportBogForskning

3 Citationer (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; Nr. R95-2012).

Publikation: Bog/antologi/afhandling/rapportBogForskning

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; Nr. RS-95-60).

Publikation: Bog/antologi/afhandling/rapportBogFormidling

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; Nr. 1019).

Publikation: Bog/antologi/afhandling/rapportBogForskning

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 s. (BRICS Report Series; Nr. RS-94-43).

Publikation: Bog/antologi/afhandling/rapportBogForskning

An Algebra for TSQL2

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

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.

Publikation: Bog/antologi/afhandling/rapportBogForskning

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

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

Efficient Differential Timeslice Computation

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

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; Nr. R94-2050).

Publikation: Bog/antologi/afhandling/rapportBogForskning

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; Nr. R94-2047).

Publikation: Bog/antologi/afhandling/rapportBogForskning

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; Nr. NS-94-6).

Publikation: Bog/antologi/afhandling/rapportBogForskning

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.

Publikation: Bog/antologi/afhandling/rapportBogForskning

The TSQL2 Data Model

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

Publikation: Bog/antologi/afhandling/rapportBogForskning