Department of Computer Science

  • Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Denmark

Research Output

1993

Representation of anatomy and pathophysiology in the EMG expert system MUNIN

Olesen, K. G. & Andreassen, S., 1993, Proceedings of the Annual Meeting of the Danish Society for Clinical Neurophysiology, 1993, Kolding, Denmark.

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

Specification of models in large expert systems based on causal probabilistic networks

Olesen, K. G. & Andreassen, S., 1993, In : Artificial Intelligence in Medicine. 5, 3, p. 269-281

Research output: Contribution to journalJournal articleResearchpeer-review

13 Citations (Scopus)
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

Adding Action-Tefinement to a Finite Process Algebra

Aceto, L. & Hennesy, M., 1994, In : Information and Computation. 115, p. 179-247

Research output: Contribution to journalJournal articleResearchpeer-review

34 Citations (Scopus)

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 Algebra for TSQL2

Soo, M. D., Jensen, C. S. & Snodgrass, R. T., 1994, The TSQL2 Language Specification. p. 36

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

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

An Interaction Engine for Rich Hypertexts

Østerbye, K. & Nørmark, K., 1994, European Conference on Hypermedia Technology, September 1994. Association for Computing Machinery, p. 167-176

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

15 Citations (Scopus)

A probabilistic approach to glucose prediction and insulin dose adjustment: description of a metabolic model and pilot evaluation study

Andreassen, S., Benn, J. J., Hovorka, R., Olesen, K. G. & Carson, E. R., 1994, In : Computer Methods and Programs in Biomedicine. 41, 3-4, p. 153-165 13 p.

Research output: Contribution to journalJournal articleResearchpeer-review

99 Citations (Scopus)

A Refinement Logic for the Fork Calculus

Havelund, K. & Larsen, K. G., 1994, International IFIP Symposium on Protocol Specification, Testing and Verification.

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

A Survey of Valid-Time Selection and Projection in Temporal Query Languages

Hsu, S., Jensen, C. S. & Snodgrass, R. T., 1994, The TSQL2 Language Specification. p. 23

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

A TSQL2 Tutorial

Snodgrass, R. T., Ahn, I., Ariav, G., Batory, D. S., Clifford, J., Dyreson, C. E., Elmasri, R., Grandi, F., Jensen, C. S., Käfer, W., Kline, N., Kulkarni, K., Leung, T. Y. C., Lorentzos, N., Roddick, J. F., Segev, A., Soo, M. D. & Stripada, S. M., 1994, In : SIGMOD record. 23, 3, p. 27-33

Research output: Contribution to journalJournal articleResearchpeer-review

6 Citations (Scopus)

Automatic Verification of Real-Time Systems Using Epsilon

Godskesen, J. C., Larsen, K. G. & Skou, A., 1994, Fourteenth International IFIP Symposium on Protocol Specification, Testing and Verification : PSTV '94. Voung, S.-T. : Chanson, S.-T. (Eds.) (ed.). Chapman & Hall, p. 232-330

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

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

Modelling Events in Object-Oriented Analysis

Mathiassen, L., Munk-Madsen, A., Nielsen, P. A. & Stage, J., 1994, Proceedings of the International Conference on Object-Oriented Information Systms. Patel, D. et al. (ed.) (ed.). IEEE Computer Society Press, p. 88-104

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

Now in TSQL2

Clifford, J., Dyreson, C. E., Snodgrass, R. T., Isakowits, T. & Jensen, C. S., 1994, The TSQL2 Language Specification. p. 12

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

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

Process Calculi with Asynchronous Communication: Master's Thesis

Hansen, M. & Kleist, J., 1994, R-94-2028 ed. Aalborg: Department of Computer Science, Aalborg University.

Research output: Book/ReportReportResearch

Prototyping and Specifying: Principles and Practices of a Mixed Approach

Mathiassen, L., Seewaldt, T. & Stage, J., 1994, Quality Software: Concepts and Tools. Stage, Jan : Nørmark, Kurt : Larsen, Kim G. (eds.) (ed.).

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

Qualitative recognition using bayes reasoning

Liang, J., Christensen, H. I. & Jensen, F. V., 1994, Pattern Recognition in Practice IV: Multiple Paradigms, Comparative Studies and Hybrid Systems: Proceedings of an International Workshop, 1-3 June, 1994, Vlieland, Netherlands. Elsevier, (Machine Intelligence and Pattern Recognition, Vol. 16).

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

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

Reduction of Computational Complexity in Bayesian Networks through Removal of Weak Dependences

Kjærulff, U. B., 1994, Proceedings of the Tenth Conference on Uncertainty in Artificial Intelligence. Morgan Kaufmann, p. 374-382

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

Schema Specification in TSQL2

Snodgrass, R. T., Jensen, C. S. & Grandi, F., 1994, The TSQL2 Language Specification. p. 4

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

Temporal Specialization and Generalization

Jensen, C. S. & Snodgrass, R. T., 1994, In : IEEE Transactions on Knowledge and Data Engineering. 6, 6, p. 954-974

Research output: Contribution to journalJournal articleResearchpeer-review

38 Citations (Scopus)

The Fork Calculus

Havelund, K. & Larsen, K. G., 1994, In : Nordic Journal of Computing. 1, p. 346-363

Research output: Contribution to journalJournal articleResearchpeer-review

The From Clause in TSQL2

Snodgrass, R. T. & Jensen, C. S., 1994, The TSQL2 Language Specification. p. 6

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

The Software Designer: Skills and Change

Nielsen, P. A. & Stage, J., 1994, Report of the 17th Information Systems Research Seminar in Scandinavia, IRIS 17: Research Paper Series. Kerola, P. et al. (ed.) (ed.). A21 ed. University of Oulu

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

The Surrogate Data Type in TSQL2

Jensen, C. S. & Snodgrass, R. T., 1994, The TSQL2 Language Specification. p. 4

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

The TSQL2 Data Model

Jensen, C. S., Snodgrass, R. T. & Soo, M. D., 1994, The TSQL2 Language Specification. p. 62

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

26 Citations (Scopus)

The TSQL2 Data Model

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

Research output: Book/ReportBookResearch

The TSQL2 Language Specification

Snodgrass, R. T., Ahn, I., Ariav, G., Batory, D. S., Clifford, J., Dyreson, C. E., Elmasri, R., Grandi, F., Jensen, C. S., Käfer, W., Kulkarni, K., Leung, T. Y. C., Lorentzos, N., Roddick, J. F., Segev, A., Soo, M. D. & Sripada, S. M., 1994, The TSQL2 Language Specification. p. 68

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

77 Citations (Scopus)

Undecidable equivalences for basic process algebra

Groote, J. F. & Hüttel, H., Dec 1994, In : Information and Computation. 115, 2, p. 354-371 18 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
38 Citations (Scopus)

Unifying Temporal Data Models via a Conceptual Model

Jensen, C. S., Soo, M. D. & Snodgrass, R. T., 1994, In : Information Systems. 19, 7, p. 513-547

Research output: Contribution to journalJournal articleResearchpeer-review

61 Citations (Scopus)

Update in TSQL2

Leung, T. Y. C., Jensen, C. S. & Snodgrass, R. T., 1994, The TSQL2 Language Specification. p. 5

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

Vacuuming in TSQL2

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

Research output: Book/ReportBookResearch

Vacuuming in TSQL2

Jensen, C. S., 1994, The TSQL2 Language Specification. p. 10

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

Valid-Time Projection in TSQL2

Hsu, S., Jensen, C. S. & Snodgrass, R. T., 1994, The TSQL2 Language Specification. p. 10

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

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; No. R94-2052).

Research output: Book/ReportBookResearch

Valid-Time Selection in TSQL2

Hsu, S., Jensen, C. S. & Snodgrass, R. T., 1994, The TSQL2 Language Specification. p. 14

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

Verification of Real-Time Applications Using the Epsilon System

Godskesen, J. C., Larsen, K. G. & Skou, A., 1994, Nordic Seminar on Dependable Computing Systems : NSDCS '94, Aug.. Technical University of Denmark (DTU), p. 41-52

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

1995

A Behavioral Model of Software Risk Management

Lyytinen, K., Mathiassen, L. & Ropponen, J., 1995, Proceedings of European Conference on Information Systems, Athens, Greece, 1995.

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

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

Aceto, L. & Jeffrey, A. S. A., 1995, In : Theoretical Computer Science. 152, p. 251-268

Research output: Contribution to journalJournal articleResearchpeer-review

12 Citations (Scopus)

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

A Fully Abstract Denotational Model for Observational Precongruence

Ingolfsdottir, A. & Schalk, A., 1995, Proceedings of CSL'95 : 9th International Workshop, Paderborn, Germany, September 22-29, 1995: Lecture Notes in Computer Science. Bünung, Hans Kleine (ed.) (ed.). 1092 ed. IEEE Computer Society Press, p. 335-361

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

An Algebra for TSQL2

Soo, M. D., Jensen, C. S. & Snodgrass, R. T., 1995, The TSQL2 Temporal Query Language. Snodgrass, R. T. (ed.) (ed.).

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

An Architectural Framework

Soo, M. D., Jensen, C. S. & Snodgrass, R. T., 1995, The TSQL2 Temporal Query Language. Snodgrass, R. T. (ed.) (ed.).

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