Department of Computer Science

  • Postal addressShow on map

    Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Denmark

Filter
Book chapter

Search results

  • 2000

    Modallogik

    Hüttel, H. & Skovsmose, O., 2000, Syntaks og semantik. Hüttel, H. (ed.). Aalborg: Aalborg Universitet

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

  • Montague-semantik

    Hüttel, H. & Skovsmose, O., 2000, Syntaks og semantik. Hüttel, H. (ed.). Aalborg: Aalborg Universitet

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

  • Multimedia Systems Development Methodologies: Experiences and Requirement

    Eriksen, L. B., Skov, M. & Stage, J., 2000, Narrative and Interactive Learning Environments. Leeds University, p. 75-82

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

  • News from Product to Service

    Eriksen, L. B., Ihlström, C. & Palmer, J., 2000, Planet Internet. Braa, K. : Sørensen, C. : Dahlbom, B. (eds.) (ed.).

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

  • Probabilistic Networks

    Jensen, F. V. & Lauritzen, S. L., 2000, Handbook of Defeasable and Uncertainty Management.

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

  • Probabilistic Networks

    Jensen, F. V. & Lauritzen, S. L., 2000, Algoriths for Uncertainty and Defeasible Reasoning. Kohlas, J. : Moral, S. (ed.). Dordrecht: Kluwer Academic Publishers, p. 289-320 (Handbook of Defeasible Reasoning and Uncertainty Management Systems; No. 5).

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

  • Probabilities of Future Decisions

    Nilsson, D. & Jensen, F. V., 2000, Information, Uncertainty and Fusion. Bouchon-Meunier, B. : Yager, R. R. : Zadeh, L. A. (eds.) (ed.). Boston, Mass.: Kluwer Academic Publishers, p. 161-171 (Kluwer international series in engineering and computer science; No. SECS 516).

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

  • Tearing up Interfaces

    Andersen, P. B. & May, M., 2000, Information, Organisation, and technology : Studies in Organisational Semiotics. Liu, K. : Clarke, R. J. : Andersen, P. B. : Stamper, R. K. (eds.) (ed.). Boston, Mass.: Kluwer Academic Publishers, p. 299-338

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

  • Temporally Enhanced Database Design

    Jensen, C. S. & Snodgrass, T., 2000, Advances in Object-Oriented Data Modeling. Papazoglou, M. P. : Spaccapietra, S. : Tari, Z. (eds.) (ed.).

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

  • Wind, Current, Propellers, and Rudders: An Exercise in Dynamic Semiotics in the Domain of Maritime Navigation

    Andersen, P. B., 2000, Semiotics and Information Sciences. Perron, P. : Danesi, M. : Umiker-Sebeok, J. : Watanabe, A. (eds.) (ed.). New York: Legas, p. 13-54 (Language, Media Education Studies; No. Vol. 18).

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

  • 1999

    Real-Time Constraints Through the ProCoS Layers

    Ravn, A. P. & Rischel, H., 1999, Correct System Design : Recent Insights and Advances. Olderog, E.-R. : Steffen, B. (eds.) (ed.). Berlin: IEEE Computer Society Press, p. 61-78 (Lecture Notes in Computer Science; No. 1710).

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

  • 1998

    Government Intervention in the Diffusion of EDI: Goals and Conflicts

    Damsgaard, J. & Lyytinen, K., 1998, EDI and Data Networking in the Public Sector. Andersen, Kim Viborg (ed.) (ed.).

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

  • Implementering og styring af intranet

    Damsgaard, J. & Scheepers, R., 1998, Internethåndbogen. Andersen, Kim Viborg : Damsgaard, Jan : Kraft, Bjørn (red.) (ed.).

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

  • Inference in Bayesian Networks using Nested Junction Trees

    Kjærulff, U., 1998, Learning in Graphical Models. Jordan, M. I. (ed.) (ed.). Kluwer Academic Publishers, p. 51-74 (NATO Science Series, Series D: Behavioural and Social Sciences; No. 89).

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

  • Transitioning Temporal Support in TSQL2 to SQL3

    Snodgrass, R. T., Böhlen, M., Jensen, C. S. & Steiner, A., 1998, Temporal Databases : Research and Practice : Proceedings of the Dagstuhl Seminar on Temporal Databases, Schloss Dagstuhl, Germany, June 23-27, 1997. Etzion, O. : Jajodia, S. : Stripada, S. (eds.) (ed.). Berlin: IEEE Computer Society Press, p. 150-194 (Lecture Notes in Computer Science; No. 1399).

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

  • 1997

    A Guide to Manage Software Engineering Technologies

    Mathiassen, L. & Sørensen, C., 1997, Diffusion, Transfer, and Implementation of Information Technology. McMaster, T. : Wastel, D. (eds.) (ed.).

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

  • Bayesian Networks and Influence Diagrams for Risk Analysis

    Jensen, F. V., 1997, Risk Management Strategies in Agriculture : State of the Art and Future.

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

  • Hong Kong's EDI Bandwagon, Derailed or on the Right Track?

    Damsgaard, J. & Lyytinen, K., 1997, Facilitating Technology Transfer Through Partnership : Learning from Practice and Research. McMaster, T. : Mumford, B. : Swanson, B. : Warboys, B. : Wastell, D. (eds.) (ed.).

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

  • 1996

    Database Systems

    Jensen, C. S., Bækgaard, L. & Böhlen, M. H., 1996, Computer Science, Aalborg University - Research Evaluation 1991-1995. Jensen, C. S. (ed.) (ed.).

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

  • The Methodology of Modal Constraints

    Larsen, K. G., Steffen, B. & Weise, C., 1996, Formal Systems Specification : the RPC-Memory Specification Case Study. Broy, M. : Merz, S. : Spies, K. (eds.) (ed.). Berlin: IEEE Computer Society Press, (Lecture Notes in Computer Science; No. 1169).

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

  • 1995

    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

  • A Second Example

    Snodgrass, R. T., Jensen, C. S., Dyreson, C. E., Käefer, W., Kline, N. & Roddick, J. F., 1995, The TSQL2 Temporal Query Language. Snodgrass, R. T. (ed.) (ed.).

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

  • dr-Hugin: A System for Hypothesis Driven Data Request

    Jensen, F. V. & Jianming, L., 1995, Probabilistic Reasoning and Bayesian Belief Networks. Gammerman, A. (ed.) (ed.).

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

  • Hybrid Propagation in Junction Trees

    David, A. P., Kjærulff, U. & Lauritzen, S. L., 1995, Advances in Intelligent Computing : IMPU'94. Bouchon-Meunier, B. : Yager, R. : Zadeh, L. (eds.) (ed.). Berlin: Springer, p. 87-97 (Lecture Notes in Computer Science; No. 945).

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

  • Language Syntax

    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. & Sripada, S. M., 1995, The TSQL2 Temporal Query Language. Snodgrass, R. T. (ed.) (ed.).

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

  • Modification

    Leung, T. Y. C., 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

  • Now

    Clifford, J., Dyreson, C. E., Snodgrass, R. T., Isakowitz, T. & Jensen, C. S., 1995, The TSQL2 Temporal Query Language. Snodgrass, R. T. (ed.) (ed.).

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

  • Schema Specification

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

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

  • Sensitivity Analysis in Bayesian Networks

    Jensen, F. V., Aldenryd, S. H. & Jensen, K. B., 1995, Symbolic and Quantitative Approaches to Reasonning and Uncertainty. Froidevauz, C. : Kohlas, J. (eds.) (ed.). Berlin: IEEE Computer Society Press, p. 243-250 (Springer Lecture Notes in Artificial Intelligence; No. 946).

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

    13 Citations (Scopus)
  • The From Clause

    Snodgrass, R. T., Jensen, C. S. & Grandi, F., 1995, The TSQL2 Temporal Query Language. Snodgrass, R. T. (ed.) (ed.).

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

  • The Surrogate Data Type

    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

  • The TSQL2 Data Model

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

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

  • Vacuuming

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

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

  • 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

  • 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

    28 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

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

    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

    65 Citations (Scopus)