Department of Computer Science

  • Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Denmark

Research Output 1987 2020

Filter
Article in proceeding
1987

MUNIN: on the case for probabilities in medical expert systems : a practical exercise

Jensen, F. V., Andersen, S. K., Kjærulff, U. & Andreassen, S., 1987, Proceedings of the European Conference on Artificial Intelligence in Medicine, AIME 87, 31 August-3 September 1987, Marseilles, France. Fox, J., Fieschi, M. & Engelbrecht, R. (eds.). Springer, p. 149-160 (Lecture Notes in Medical Informatics; No. 33).

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

The HUGIN core: preliminary considerations on systems for fast manipulation of probabilities

Andersen, S. K., Jensen, F. V. & Olesen, K. G., 1987, Proceedings of the Workshop on Induction Reasoning : Managing Empirical Information in AI-Systems, Risø National Laboratory, 1987, Roskilde, Denmark.

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

1989

Bisimulation Through Probabilistic Testing (Preliminary Report)

Larsen, K. G. & Skou, A., 1989, Proceedings of the 16th Annual ACM Symposium on Principles of Programming Languages. <Forlag uden navn>, p. 344-352

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

HUGIN - a Shell for Building Belief Universes for Expert Systems

Andersen, S. K., Olesen, K. G., Jensen, F. V. & Jensen, F., 1989, Proceedings of the 11th International Joint Conference on Artificial Intelligence. Morgan Kaufmann, p. 1080-1085 6 p.

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

45 Citations (Scopus)

The use of static constructs in a model process logic

Hüttel, H. & Larsen, K. G., 1 Jan 1989, Logic at Botik 1989 - Symposium on Logical Foundations of Computer Science, Proceedings. Meyer, A. R. & Taitslin, M. A. (eds.). Physica-Verlag, p. 163-180 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 363 LNCS).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

1990

A causal probabilistic network model to assist in insulin therapy adjustment

Hovorka, R., Andreassen, S., Benn, J. J., Carson, E. R., Kjærulff, U. B., Kristensen, L. D. & Olesen, K. G., 1990, Proceedings of the 6th Annual Meeting on Expert Systems in Medicine, 1990, London, United Kingdom.

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

Computer aided decision making in mastitis control: development of a causal probabilistic network

Agger, J. F., Olesen, K. G., Jensen, F. V. & Andersen, S. K., 1990, Proceedings of the 2nd GIL Symposium, 1990, Bonn, Germany.

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

Use of a causal probabilistic network for insulin dose adjustment in diabetes

Benn, J., Andreassen, S., Carson, E. R., Kristensen, L. D., Hovorka, R., Kjærulff, U. B. & Olesen, K. G., 1990, Proceedings of the International Symposium held on the Occasion of the European Association for the Study of Diabetes, EASD '90, 7-8 September 1990, Køge, Denmark.

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

1991

A Hyperstructure Programming Environment for Clos

Nørmark, K., 1991, Technology of Object-Oriented Languages and Systems. Bézivin, Jean : Meyer, Bertrand (ed.). Prentice-Hall, p. 127-140

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

A model-based approach to insulin adjustment

Andreassen, S., Hovorka, R., Benn, J., Olesen, K. G. & Carson, E. R., 1991, Lecture Notes in Medical Informatics: Proceedings of the Third Conference on Artificial Intelligence in Medicine, AIME '91, Maastricht, the Netherlands. Stefanelli, M., Hasman, A., Fieschi, M. & Talmon, J. (eds.). Springer, Vol. 44. p. 239-249 10 p. (Lecture Notes in Medical Informatics; No. 44).

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

A probabilistic model for prediction of blood glucose and advice on insulin dose

Benn, J. J., Hovorka, R., Rasmussen, O., Olesen, K. G., Carson, E. R. & Andreassen, S., 1991, Proceedings of the International Symposium held on the Occasion of the European Association for the Study of Diabetes, EASD '91, September, Dublin, Ireland.

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

6 Citations (Scopus)

A Theory of Testing for ACP

Aceto, L. & Ingolfsdottir, A., 1991, Proceedings of CONCUR'91, Lecture Notes in Computer Science. Baten, J.C.M. : Groote, J.F. (eds.) (ed.). Springer, p. 527 -

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

8 Citations (Scopus)

Silence is golden: Branching bisimilarity is decidable for context-free processes

Hüttel, H., 1991, Computer Aided Verification - 3rd Intenational Workshop, CAV 1991, Proceedings. Larsen, K. G. & Skou, A. (eds.). Physica-Verlag, p. 2-12 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 575 LNCS).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Open Access
Bisimulation
Decidability
Branching
Equivalence
Class

The Use of Descriptions in Analysis and Design of Information Systems

Stage, J., 1991, Collaborative Work, Social Communications, and Information Systems. Stamper, R.K. et al. (ed.). North-Holland, p. 237-260

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

1992

A Computational Scheme for Reasoning in Dynamic Probabilistic Networks

Kjærulff, U., 1992, Proceedings of the Eighth Conference on Uncertainty in Artificial Intelligence. Morgan Kaufmann, p. 121-129

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

28 Citations (Scopus)

Bayesian methods for interpretation and control in multi-agent vision systems

Jensen, F. V., Christensen, H. I. & Nielsen, J., 1992, Proceedings of SPIE Conference Applications of Artificial Intelligence X : Machine Vision and Robotics, 22-24 April 1992, Orlando, FL, USA. Bowyer, K. (ed.). SPIE - International Society for Optical Engineering, p. 536-548 (SPIE proceedings; No. 1708).

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

48 Citations (Scopus)

Bisimulation equivalence is decidable for context-free processes

Christensen, S., Hüttel, H. & Stifling, C., 1 Jan 1992, CONCUR 1992 - 3rd International Conference on Concurrency Theory, Proceedings. Cleaveland, W. R. (ed.). Physica-Verlag, p. 138-147 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 630 LNCS).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

HUGIN: a system creating adaptive causal probabilistic networks

Olesen, K. G., Lauritzen, S. L. & Jensen, F. V., 1992, Proceedings of the 8th Conference on Uncertainty in Artificial Intelligence, 17-19 July 1992, Stanford, CA, USA. Kaufmann, p. 223-229

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

Hyperstructure Programming Environments

Østerbye, K., Nørmark, K. & Jeppesen, H. M., 1992, Nordic Workshop on Programming Environment Research. Systä, Kari : Kellomäki, Pertti : Mäkinen, Rauno (ed.). Tampere University of Technology

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

Modelling Events in Object-Oriented Analysis

Mathiassen, L., Munk-Madsen, A., Nielsen, P. A. & Stage, J., 1992, Report on Fifteenth Information Systems Research Seminar in Scandinavia. Bjerknes, G. et al. (ed.). Dept. of Informatics

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

Testing and Verification of Probabilistic Processes

Larsen, K. G. & Skou, A., 1992, NSDCS'92. Heegaard, Poul : Helvik, Bjarne (eds.) (ed.). NTH, p. 235-250

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

1993

Diagnosis of neuromuscular diseases by the EMG expert system MUNIN

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

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

1994
15 Citations (Scopus)

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

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

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

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

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

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

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

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

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

3 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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