Department of Computer Science

  • Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Denmark

Research Output 1987 2020

1996

A framework for generic object recognition with Bayesian networks

Jianming, L., Jensen, F. V. & Christensen, H. I., 1996, Proceedings of the First International Symposium of Soft Computing for Pattern Recognition, Reading, 1996, United Kingdom.

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

2 Citations (Scopus)

A Heuristic Method for Diagnosing Multiple Diseases in Complex Medical Domains Modelled by Causal Probabilistic Networks

Olesen, K. G. & Andreassen, S., 1996, Medical Informatics Europe'96. Brender, J., Christensen, J. P., Scherrer, J-R. & McNair, P. (eds.). IOS Press, p. 614-618 (Studies in Health Technology and Informatics, Vol. 34).

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

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

Research output: Book/ReportBookResearch

5 Citations (Scopus)

An Equational Axiomatization for Multi-Exit Iteration

Aceto, L. & Fokkink, W. J., 1996, In : Information and Computation. 137, 2, p. 121-158

Research output: Contribution to journalJournal articleResearchpeer-review

An Equational Axiomatization for Multi-Exit Iteration

Aceto, L. & Fokkink, W. J., 1996, Århus : Daimi: Department of Computer Science, Aarhus University. 30 p. (BRICS Report Series; No. RS-96-22).

Research output: Book/ReportBookResearch

10 Citations (Scopus)

An Equational Axiomatization of Observation Congruence for Prefix Iteration

Aceto, L. & Ingolfsdottir, A., 1996, Proceedings of the Fifth International Conference on Algebraic Methodology and Software Technology, Munich, Germany, 1996. Wirsing, M. : Nivat, M. (eds.) (ed.). IEEE Computer Society Press, p. 195-209

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

An Introduction to Bayesian Networks

Jensen, F. V., 1996, London: UCL Press.

Research output: Book/ReportBookResearch

Applying CASE Tools to Support Method Learning

Eriksen, L. B. & Stage, J., 1996, Proceedings of the 19th Information Systems Research Seminar in Scandinavia, IRIS 19: Gothenburg Studies in Informatics. Dahlbom, B. et al. (ed.) (ed.). Report 8 ed. Departments of Informatics

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

Automatic Synthesis of Real Time Systems

Andersen, J. H., Kristoffersen, K. J., Larsen, K. G. & Niedermann, J., 1996, In : Lecture Notes in Computer Science. No. 944

Research output: Contribution to journalJournal articleResearchpeer-review

27 Citations (Scopus)

Axiomatizing Prefix Iteration with Silent Steps

Aceto, L., Fokkink, W. J., Glabeek, R. J. V. & Ingolfsdottir, A., 1996, In : Information and Computation. 127, p. 26-40

Research output: Contribution to journalJournal articleResearchpeer-review

6 Citations (Scopus)

Bayesian Network Basics

Jensen, F. V., 1996, In : A I S B Quarterly. No. 94, p. 9-22

Research output: Contribution to journalJournal articleResearchpeer-review

Bisimulations for Asynchronous Mobile Processes

Hansen, M., Hüttel, H. & Kleist, J., 1996, RS-96-8 ed. Århus: BRICS - Basic Research in Computer Science.

Research output: Book/ReportReportResearch

Compositions of Model Checking Real Time Systems

Larsen, K. G. & Laroussinie, FB., 1996, In : Lecture Notes in Computer Science. No. 962

Research output: Contribution to journalJournal articleResearchpeer-review

11 Citations (Scopus)

CPO Models for Compact GSOS Languages

Aceto, L. & Ingolfsdottir, A., 1996, In : Information and Computation. 129, 2, p. 107-141

Research output: Contribution to journalJournal articleResearchpeer-review

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

Decision support systems in bacteraemia: evaluation of a prototype for empirical treatment of Danish patients with urosepsis

Andreassen, S., Leibovici, L., Schønheyder, H. C., Olesen, K. G. & Kristensen, B., 1996, Proceedings, Bi-National Israel-Denmark Symposium on Optimal Antibiotic Treatment of Severe Bacterial Infections, November 11-12 1996, Herzlia, Israel.

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

Delta Measurement in Software Process Improvement Based on Product Attributes

Aaen, I., Bøttcher, P. & Mathiassen, L., 1996, Proceedings of European Conference on Information Systems, Lisbon, Portugal, 1996.

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

Diagnostic Model: Checking for Real Time Systems

Larsen, K. G., Pettersson, P. & Yi, W., 1996, In : Lecture Notes in Computer Science. No. 1066

Research output: Contribution to journalJournal articleResearchpeer-review

Dynamic Modelling with Dynamo

Nørmark, K., 1996

Research output: Book/ReportBookResearch

Dynamic Models in Object-Oriented Design

Nørmark, K., 1996, Aalborg: Aalborg Universitetsforlag. (R : Institut for Elektroniske Systemer, Aalborg Universitet; No. R96-2005).

Research output: Book/ReportBookResearch

DYNAMO - A Set of Tools for Dynamic Modelling

Nørmark, K., 1996

Research output: Book/ReportBookResearch

24 Citations (Scopus)

Evaluation of the diagnostic performance of the expert EMG assistant MUNIN

Andreassen, S., Rosenfalck, A., Falck, B., Olesen, K. G. & Andersen, S. K., 1996, In : Electroencephalography and Clinical Neurophysiology. 101, p. 129-144

Research output: Contribution to journalJournal articleResearchpeer-review

54 Citations (Scopus)

Extending Existing Dependency Theory to Temporal Databases

Jensen, C. S., Snodgrass, R. T. & Soo, M. D., 1996, In : IEEE Transactions on Knowledge and Data Engineering. 8, 4, p. 563-582

Research output: Contribution to journalJournal articleResearchpeer-review

14 Citations (Scopus)

Fischer's Protocol Revisited: a Simple Proof Using Modal Constraints

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

Research output: Contribution to journalJournal articleResearchpeer-review

From Timed Automata to Logic and Back

Larsen, K. G., Laroussinie, FB. & Weise, C., 1996, In : Lecture Notes in Computer Science. No. 969

Research output: Contribution to journalJournal articleResearchpeer-review

1 Citation (Scopus)

Fully Supported Recursive Workspaces

Bendix, L., 1996, Proceedings of the 6th International Workshop on Software Configuration Management, March 1996. Sommerville, Ian (ed.) (ed.). De Gruyter, p. 256-261

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

Government Strategies to Promote the Diffusion of Electronic Data Interchange: What we know and what we don't know

Damsgaard, J. & Lyytinen, K., 1996, In : Information Polity. 5, 3, p. 169-190

Research output: Contribution to journalJournal articleResearchpeer-review

How to Obtain Version Control in Workspaces Too

Bendix, L., 1996, Proceedings of the Software CONF'96 Conference, Paris, France, June 1996.

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

Indexing Techniques for Continously Evolving Phenomena

Saltenis, S., 1996, Proceedings of the EDBT 2000 Ph.D. Workshop, March 2000, Konstanz, Germany. p. 35-38

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

Information Systems Development: Reflections on a Discipline

Mathiassen, L., 1996, In : Management and Information Technology. 6, 1-2

Research output: Contribution to journalJournal articleResearchpeer-review

Interaction and Transformation in Soft Systems Methodology

Mathiassen, L. & Nielsen, P. A., 1996, Proceedings of European Conference on Information Systems, Lisbon, Portugal, 1996.

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

IRIS 19: Report of the 19th Information Systems Research Seminar in Scandinavia

Dahlbom, B. E. ., Ljungberg, F. E. ., Nuldén, U. E. ., Simon, K. E. ., Stage, J. E. . & Sørensen, C. E. ., 1996, Gothenburg: Departments of Informatics. (Gothenburg Studies in Informatics; No. Report 8).

Research output: Book/ReportBookResearch

Local computation with valuations from a commutative semigroup

Lauritzen, S. L. & Jensen, F. V., 1996, Aalborg: Aalborg Universitetsforlag. (Research Report Series; No. R-96-2028).

Research output: Book/ReportReportResearch

Method Engineering: Who is the Customer?

Mathiassen, L., Munk-Madsen, A., Nielsen, P. A. & Stage, J., 1996, Proceedings of the International Conference on Method Engineering, Atlanta, USA, 1996.

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

Method Engineering: Who's the Customer

Mathiassen, L., Munk-Madsen, A., Nielsen, P. A. & Stage, J., 1996, Proceedings of International Conference on Method Engineering, Atlanta, USA, 1996.

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

Method Engineering: Who's the Customer

Mathiassen, L., Munk-Madsen, A., Nielsen, P. A. & Stage, J., 1996, Method Engineering. Principles of Method Construction and Tool Support. Brinkkemper, S. (ed.) (ed.). Chapman & Hall, p. 232-245

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

Method Engineering: Who's the Customer?

Mathiassen, L., Munk-Madsen, A., Nielsen, P. A. & Stage, J., 1996, Proceedings of the 19th Information Systems Research Seminar in Scandinavia, IRIS 19: Gothenburg Studies in Informatics. Dahlbom, B. et al. (ed.) (ed.). Report 8 ed. Departments of Informatics

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

MIDAS - An Influence Diagram for Management of Mildew in Winther Wheat

Jensen, A. L. & Jensen, F. V., 1996, Proceedings of the Twelfth Conference on Uncertainty in Artificial Intelligence. Horvitz, E. : Jensen, F. V. (eds.) (ed.). Academic Press, p. 349-356

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

Model Checking for Real Time Systems

Larsen, K. G., Pettersson, P. & Yi, W., 1996, In : Lecture Notes in Computer Science. No. 965

Research output: Contribution to journalJournal articleResearchpeer-review

Object-Oriented Design of Process Architecture: An Exploratory Study

Skov, M. & Stage, J., 1996, Proceedings of the 19th Information Systems Research Seminar in Scandinavia, IRIS 19: Gothenburg Studies in Informatics. Dahlbom, B. et al. (ed.) (ed.). Report 8 ed. Departments of Informatics

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

Objects, Types and Modal Logics

Andersen, D. S., Hüttel, H., Kleist, J. & Pedersen, L. H., 1996, RS-96-49 ed. Århus: BRICS - Basic Research in Computer Science.

Research output: Book/ReportReportResearch

Objects as Mobile Processes

Hüttel, H. & Kleist, J., 1996, RS-96-38 ed. Århus: BRICS - Basic Research in Computer Science.

Research output: Book/ReportReportResearch

On a Question of A Salomaa: the Equational Theory of Regular Expressions over a Singleton Alphabet is not Finitely based

Aceto, L., Fokkink, W. J. & Ingolfsdottir, A., 1996, Århus: Department of Computer Science, Aarhus University. (BRICS Report Series; No. RS-96-36).

Research output: Book/ReportBookResearch

Proceedings of NWPER'96, Nordic Workshop on Programming Environment Research

Bendix, L. E. ., Nørmark, K. E. . & Østerbye, K. E. ., 1996, Aalborg: Aalborg Universitetsforlag. (R : Institut for Elektroniske Systemer, Aalborg Universitet; No. R96-2019).

Research output: Book/ReportBookResearch

66 Citations (Scopus)

Semantics of Time-Varying Information

Jensen, C. S. & Snodgrass, R. T., 1996, Aalborg: Aalborg Universitetsforlag. (R : Institut for Elektroniske Systemer, Aalborg Universitet; No. R96-2008).

Research output: Book/ReportBookResearch

66 Citations (Scopus)

Semantics of Time-Varying Information

Jensen, C. S. & Snodgrass, R. T., 1996, In : Information Systems. 21, 4, p. 311-352

Research output: Contribution to journalJournal articleResearchpeer-review

Specification and Automated Verification of a Real-Time Behaviour: a Case Study

Andersen, J. H., Kristensen, C. H. & Skou, A., 1996, In : Annual Reviews in Control. 20, p. 55-70

Research output: Contribution to journalJournal articleResearchpeer-review

Synthesizing Distinguishing Formulae for Real Time Systems

Godskesen, J. C. & Larsen, K. G., 1996, In : Lecture Notes in Computer Science. No. 969

Research output: Contribution to journalJournal articleCommunication

Temporal Entity-Relationship Models: a Survey

Gregersen, H. & Jensen, C. S., 1996, Aalborg: Aalborg Universitetsforlag. (R : Institut for Elektroniske Systemer, Aalborg Universitet; No. R96-2039).

Research output: Book/ReportBookResearch

13 Citations (Scopus)

The Capability Maturity Model and CASE

Mathiassen, L. & Sørensen, C., 1996, In : Scandinavian Journal of Information Systems. 6

Research output: Contribution to journalJournal articleResearchpeer-review