• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer 1987 2020

Filter
Bog
1988

Computer-assisted Learning for Land Information Systems

Bidragets oversatte titel: Datamatstøttet indlæring for landinformationssystemerStubkjær, E., Dresling, A. & Höhle, J., 1988, Oslo: Norwegian Computing Centre.

Publikation: Bog/antologi/afhandling/rapportBogFormidling

Muir - A Language Development Environment

Nørmark, K., 1988, Association for Computing Machinery.

Publikation: Bog/antologi/afhandling/rapportBogFormidling

1989

Erfaringer med udvikling af undervisningsprogrammer om landinformationssystemer

Höhle, J., Stubkjær, E. & Dresling, A., 1989, 135 s.

Publikation: Bog/antologi/afhandling/rapportBogFormidling

General Programs and Open Points

Nørmark, K., 1989, Aalborg: Institut for Elektroniske Systemer, Aalborg Universitet. (Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport; Nr. 1989 : R 89-3).

Publikation: Bog/antologi/afhandling/rapportBogFormidling

Hooks and Supporting Tools in a LISP Environment

Nørmark, K., 1989, Aalborg: Institut for Elektroniske Systemer, Aalborg Universitet. (Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport; Nr. 1989 : R 89-4).

Publikation: Bog/antologi/afhandling/rapportBogFormidling

Validation of Concurrent Processes with Emphasis on Testing

Skou, A., 1989, Aalborg: Institut for Elektroniske Systemer, Aalborg Universitet. (Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport; Nr. 1989 : R 89-46).

Publikation: Bog/antologi/afhandling/rapportBogFormidling

1990

Design og implementation baseret på en generel grundstruktur for EDB-systemer: Dagbog fra et systemudviklingseksperiment

Stage, J., 1990, Aalborg: Aalborg Universitetsforlag. (Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport; Nr. R 90-20).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Formelle teknikker til specifikation og verifikation af Modula-2 programmer

Stage, J., 1990, Aalborg: Aalborg Universitetsforlag. (Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport; Nr. R 90-40).

Publikation: Bog/antologi/afhandling/rapportBogForskning

262 Downloads (Pure)

Learning and Using Methodologies in Information Systems Analysis and Design

Nielsen, P. A., 1990, : Dept. of Systems and Information Management: Lancaster University.

Publikation: Bog/antologi/afhandling/rapportBogForskning

Åben adgang
Fil

Simulation of Object-Oriented Concept and Mechanisms in Scheme

Nørmark, K., 1990, Aalborg: Institut for Elektroniske Systemer, Aalborg Universitet. (Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport; Nr. 1990 : R 90-01).

Publikation: Bog/antologi/afhandling/rapportBogFormidling

1991

Developing the Prototype Approach in Rapid Systems Modelling

Baskerville, R. L. & Stage, J., 1991, Aalborg: Aalborg Universitetsforlag. (Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport; Nr. R 91-35).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Kvalitetsstyring i Systemudvikling

Bang, S., Mathiassen, L. & al., E., 1991, København: Nyt Teknisk Forlag.

Publikation: Bog/antologi/afhandling/rapportBogForskning

Rapid Systems Modelling: The Soul of a New Methodology

Mathiassen, L., Munk-Madsen, A., Nielsen, P. A. & Stage, J., 1991, Aalborg: Aalborg Universitetsforlag. (Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport; Nr. R 91-16).

Publikation: Bog/antologi/afhandling/rapportBogForskning

1992

Computer Aided Verification: 3rd International Workshop, CAV'91

Larsen, K. G. & Skou, A., 1992, Berlin: IEEE Computer Society Press.

Publikation: Bog/antologi/afhandling/rapportBogFormidling

Struggling with Quality - a Philosophy for Computer Professionals

Dahlbom, B. & Mathiassen, L., 1992, Göteborg: Chalmers tekniska högskola.

Publikation: Bog/antologi/afhandling/rapportBogForskning

Testing Probabilistic and Nondeterministic Processes

Yi, W. & Larsen, K. G., 1992, North-Holland.

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

Vacuuming in TSQL2

Jensen, C. S., 1994, Aalborg: Aalborg Universitetsforlag. (R : Institut for Elektroniske Systemer, Aalborg Universitet; Nr. R94-2049).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Valid-Time Selection and Projection in TSQL2

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

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

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