Department of Computer Science

  • Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Denmark

Research Output 1987 2020

Filter
Book chapter
1995

Valid-Time Selection and Projection

Hsu, S., 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

1994

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

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

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

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

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

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

26 Citations (Scopus)

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

77 Citations (Scopus)

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

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, 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 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

1993

Causal probabilistic network modeling: an illustration of its role in the management of chronic diseases

Hovorka, R., Andreassen, S., Benn, J. J., Olesen, K. G. & Carson, E. R., 1993, IMIA Yearbook of Medical Informatics 1993: Sharing Knowledge and Information. van Bemmel, J. H. & McCray, A. T. (eds.). Stuttgart: Schattauer, p. 328-340 (IMIA Yearbook of Medical Informatics).

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

1992
56 Citations (Scopus)

Compositional Verification of Probabilistic Processes

Larsen, K. G. & Skou, A., 1992, CONCUR'92. Cleaveland, W.R. (ed.) (ed.).

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

1991

Soft Systems in Software Design

Mathiassen, L., Munk-Madsen, A., Nielsen, P. A. & Stage, J., 1991, Systems Thinking in Europe. Jackson, M.C. et al. (ed.).

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

1990

A MUNIN Network for the Median Nerve - A Case Study on Loops

Olesen, K. G., Kjærulff, U. B., Jensen, F., Jensen, F. V., Falck, B., Andreassen, S. & Andersen, S. K., 1990, Causal AI Models - Steps Toward Applications. Horn, W. (ed.). Hemisphere Publishing Corporation, p. 301-320 20 p.

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

HUGIN: a shell for building Bayesian belief universes for expert systems

Andersen, S. K., Olesen, K. G., Jensen, F. V. & Jensen, F., 1990, Readings in Uncertain Reasoning. Shafer, G. & Pearl, J. (eds.). San Mateo: Kaufmann, p. 332-337

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

1989

An interactive neuroanatomy knowledge base for EMG

Woldbye, M., Sørensen, A. R., Rosenfalck, A., Jensen, F. V., Falck, B. & Andreassen, S., 1989, Computer-Aided Electromyography and Expert Systems. Desmedt, J. E. (ed.). Pergamon Press, p. 279-288

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

MUNIN: an expert EMG assistant

Andreassen, S., Jensen, F. V., Andersen, S. K., Falck, B., Kjærulff, U., Woldbye, M., Sørensen, A. R., Rosenfalck, A. & Jensen, F., 1989, Computer-Aided Electromyography and Expert Systems. Desmedt, J. E. (ed.). Pergamon Press, p. 255-277

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

1987

Recursively Defined Domains and their Induction Principles

Jensen, F. V. & Larsen, K. G., 1987, Theoretical Computer Science 64.

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