Department of Computer Science

  • Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Denmark

Research Output

1995

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

Research output: Book/ReportBookResearch

An Integrative Model for Configuration Management and Version Control

Bendix, L., 1995, Preprints of the 5th International Workshop on Software Configuration Management, April 1995. Washington, p. 259-266

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

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

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

Research output: Book/ReportBookResearch

Bisimulation equivalence is decidable for all context-Free processes

Christensen, S., Hüttel, H. & Stirling, C., Sep 1995, In : Information and Computation. 121, 2, p. 143-148 6 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
78 Citations (Scopus)

Bisimulations for Asynchronous Mobile Processes

Hansen, M., Hüttel, H. & Kleist, J., 1995, Proceedings of Tbilisi Symposium on Language, Logic, and Computation.

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

Blocking-Gibbs Sampling in Very Large Probalistic Expert Systems

Jensen, C. S., Kong, A. & Kjærulff, U., 1995, In : International Journal of Human-Computer Studies. 42, p. 647-666

Research output: Contribution to journalJournal articleResearchpeer-review

Compositional and Symbolic Model: Checking of Real Time Systems

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

Research output: Book/ReportBookResearch

94 Citations (Scopus)

CPO Models for a Class of GSOS Languages

Aceto, L. & Ingolfsdottir, A., 1995, Proceedings of the 6th International Joint Conference CAAP/FASE, TAPSOFT'95, Århus, Denmark, May 22-26, 1995: Lecture Notes in Computer Science. Mosses, Peter D. : Nielsen, Mogens : Schwartzbach, Michael I. (eds.) (ed.). 915 ed. IEEE Computer Society Press, p. 439-453

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

3 Citations (Scopus)

dHugin: A Computational System for Dynamic Time-Sliced Bayesian Networks

Kjærulff, U., 1995, In : International Journal of Forecasting. 11, p. 89-111

Research output: Contribution to journalJournal article

82 Citations (Scopus)

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

Evaluating and Enhancing the Completeness of TSQL2

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

Research output: Book/ReportBookResearch

Evaluating the Completeness of TSQL2

Böhlen, M., Jensen, C. S. & Snodgrass, R. T., 1995, Recent Advances in Temporal Databases : Proceedings of the International Workshop on Temporal Databases, Zürich, Switzerland, 1995. Clifford, J. : Tuzhilin, A. (eds.) (ed.). IEEE Computer Society Press, p. 153-172

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

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

Research output: Book/ReportBookResearch

Fundamental Tasks in Software Development Environments

Bendix, L., 1995, In : Informatica. 19, 3, p. 391-405

Research output: Contribution to journalJournal articleResearchpeer-review

Generality in Design and Compositional Verification using TAV

Børjesson, A., Larsen, K. G. & Skou, A., 1995, In : Formal Methods in System Design. 6, p. 239-258

Research output: Contribution to journalJournal articleResearchpeer-review

9 Citations (Scopus)

HUGS: Combining Exact Inference and Gibbs Sampling in Junction Trees

Kjærulff, U., 1995, Proceedings of the Eleventh Conference on Uncertainty in Artificial Intelligence. Besnard, Philippe : Hanks, Steve (eds.) (ed.). Morgan Kaufmann, p. 368-375

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

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

Inferring Effect Types in an Applicative Language with Asynchronous Communication

Hüttel, H., Hansen, M., Jensen, B. & Kleist, J., 1995, Proceedings of Second ACM SIGPLAN Workshop on State in Programming Languages. UILI-ENG-95-1702 ed. Dept. of Computer Science, University of Illinois at Urbana-Campaign

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

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

Research output: Book/ReportBookResearch

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

Late and Early Semantics Coincide for Testing

Ingólfsdóttir, A., 1995, In : Theoretical Computer Science. 146, 1-2, p. 341-349

Research output: Contribution to journalJournal articleResearchpeer-review

2 Citations (Scopus)

Modelling Events in Object-Oriented Analysis

Mathiassen, L., Munk-Madsen, A., Nielsen, P. A. & Stage, J., 1995, Proceedings of International Conference on Object-Oriented Information Systems, Athens, Greece, 1995.

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

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

Objektorienteret design

Translated title of the contribution: Object-Oriented DesignMathiassen, L., Munk-Madsen, A., Nielsen, P. A. & Stage, J., 1995, Aalborg: Marko.

Research output: Book/ReportBookResearch

On the Finitary Bisimulation

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

Research output: Book/ReportBookResearch

Perspectives from the Research and Financial Applications Communities

Clifford, J. & Jensen, C. S., 1995, Recent Advances in Temporal Databases : Proceedings of the International Workshop on Temporal Databases, Zürich, Switzerland, 1995. Clifford, J. : Tuzhilin, A. (eds.) (ed.). IEEE Computer Society Press, p. 356-357

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

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

Research output: Book/ReportBookResearch

Prototyping and Specifying: Principles and Practices of a Mixed Approach

Mathiassen, L., Seewaldt, T. & Stage, J., 1995, In : Scandinavian Journal of Information Systems. 7, 1, p. 55-72

Research output: Contribution to journalJournal articleResearchpeer-review

Report on the 1995 International Workshop on Temporal Databases

Segev, A., Jensen, C. S. & Snodgrass, R. T., 1995, In : SIGMOD record. 24, 4, p. 46-52

Research output: Contribution to journalJournal articleResearchpeer-review

4 Citations (Scopus)

Rich Hypertext: A Foundation for Improve Interaction Techniques

Nørmark, K. & Østerbye, K., 1995, In : International Journal of Human-Computer Studies. 43, p. 301-321

Research output: Contribution to journalJournal articleResearchpeer-review

7 Citations (Scopus)

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

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; No. R95-2012).

Research output: Book/ReportBookResearch

3 Citations (Scopus)

Semantics of Time-Varying Attributes and Their use for Temporal Database Design

Jensen, C. S. & Snodgrass, R. T., 1995, OOER'95 : Object-Oriented and Entity Relationship Modeling, 14th International Conference, Gold Coast, Australia, December 13-15, 1995: Lecture Notes in Computer Science. Papazoglou, M. P. (ed.) (ed.). 1021 ed. IEEE Computer Society Press, p. 366-377

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

3 Citations (Scopus)

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

11 Citations (Scopus)

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

Research output: Book/ReportBookCommunication

Synthesizing Distinguishing Formulae for Real Time Systems

Godskesen, J. C. & Larsen, K. G., 1995, In : Nordic Journal of Computing. 2, p. 338-357

Research output: Contribution to journalJournal articleCommunication

2 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

The Why, What, Who, Where, and How of CASE Management

Mathiassen, L. & Sørensen, C., 1995, Proceedings of the Eighteenth Information Systems Research Seminar in Scandinavia, 1995.

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

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

Research output: Book/ReportBookResearch

Tutorial G: Temporal Databases

Jensen, C. S. & Snodgrass, R. T., 1995, 21st International Conference on Very Large Data Bases. p. 81-

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

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

1996

A Behavioral Model of Software Risk Management

Lyytinen, K., Mathiassen, L. & Ropponen, J., 1996, In : Scandinavian Journal of Information Systems. 8, 2

Research output: Contribution to journalJournal articleResearchpeer-review

A Constraint Oriented Proof Methodology

Larsen, K. G., Steffen, B. & Weise, C., 1996, In : Lecture Notes in Computer Science. No. 1019

Research output: Contribution to journalJournal articleResearchpeer-review

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

Research output: Book/ReportBookResearch

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

Research output: Book/ReportBookResearch