Department of Computer Science

  • Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Denmark

Research Output 1987 2020

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

EMG cases as seen by the expert system MUNIN, by EMG experts and by the audience

Andreassen, S., Falck, B. & Olesen, K. G., 1993, In : Canadian Journal of Neurological Sciences. 20, p. 344

Research output: Contribution to journalConference abstract in journalResearch

Representation of anatomy and pathophysiology in the EMG expert system MUNIN

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

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

13 Citations (Scopus)

Specification of models in large expert systems based on causal probabilistic networks

Olesen, K. G. & Andreassen, S., 1993, In : Artificial Intelligence in Medicine. 5, 3, p. 269-281

Research output: Contribution to journalJournal articleResearchpeer-review

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

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

Hovorka, R., Andreassen, S., Benn, J. J., Olesen, K. G. & Carson, E. R., 1992, In : IBM Systems Journal. 31, 4, p. 635-648

Research output: Contribution to journalJournal articleResearchpeer-review

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

Computer Aided Verification: 3rd International Workshop, CAV'91

Larsen, K. G. & Skou, A., 1992, Berlin: IEEE Computer Society Press.

Research output: Book/ReportBookCommunication

Decidalibility of Bisimulation Equivalence between Regular Timed Processes

Holmer, U., Larsen, K. G. & Yi, W., 1992, In : Lecture Notes in Computer Science. 575

Research output: Contribution to journalJournal articleResearchpeer-review

25 Citations (Scopus)

Diagnostic function of the microhuman prototype of the expert system: MUNIN

Andreassen, S., Falck, B. & Olesen, K. G., 1992, In : Electroencephalography and Clinical Neurophysiology. 85, p. 143-157

Research output: Contribution to journalJournal articleResearchpeer-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

HUGIN and MUNIN - Past, Present and Future

Olesen, K. G., 1992, Aalborg: Aalborg Universitet.

Research output: Book/ReportPh.D. thesisResearch

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

Karyotyping using causal probabilistic networks

Dittmer, S. L., Jensen, T. J., Jensen, F. V. & Granum, E., 1992, Proceedings XIVth European Workshop on Automated Cytogenetics, 1992, Curia, Portugal.

Research output: Contribution to book/anthology/report/conference proceedingConference abstract 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

65 Citations (Scopus)

Optimal Decomposition of Probabilistic Networks by Simulated Annealing

Kjærulff, U., 1992, In : Statistics and Computing. 2, p. 7-17

Research output: Contribution to journalJournal articleResearchpeer-review

Struggling with Quality - a Philosophy for Computer Professionals

Dahlbom, B. & Mathiassen, L., 1992, Göteborg: Chalmers tekniska högskola.

Research output: Book/ReportBookResearch

Systems Development Philosophy

Dahlbom, B. & Mathiassen, L., 1992, In : Computers & society. 22, 1-4

Research output: Contribution to journalJournal articleResearchpeer-review

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

Testing Probabilistic and Nondeterministic Processes

Yi, W. & Larsen, K. G., 1992, North-Holland.

Research output: Book/ReportBookResearch

Using Information Systems to solve Recursive Domain Equations

Larsen, K. G. & Winskel, G., 1992, In : Information and Computation. 91, 2

Research output: Contribution to journalJournal articleResearchpeer-review

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 model-based approach to insulin adjustment

Andreassen, S., Hovorka, R., Benn, J. J., Olesen, K. G. & Carson, E., 1991, Aalborg: Institute of Electronic Systems, Aalborg University. (Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport; No. 91-12).

Research output: Book/ReportReportResearch

A probabilistic approach to glucose prediction and insulin dose adjustment: description of a metabolic model and pilot evaluation study

Andreassen, S., Benn, J. J., Hovorka, R., Olesen, K. G. & Carson, E. R., 1991, Aalborg: Institute of Electronic Systems, Aalborg University. (Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport; No. 91-23).

Research output: Book/ReportReportResearch

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

696 Citations (Scopus)

Bisimulation through Probabilistic Testing

Larsen, K. G. & Skou, A., 1991, In : Information and Computation. 94, 1, p. 1-28

Research output: Contribution to journalJournal articleResearchpeer-review

Causal probabilistic networks with both discrete and continuous variables

Olesen, K. G., 1991, Aalborg: Institute of Electronic Systems, Aalborg University. (Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport; No. 91-29).

Research output: Book/ReportReportResearch

57 Citations (Scopus)

Compositionality through an Operational Semantics of Contexts

Larsen, K. G., 1991, In : Journal of Logic and Computation. 1, 6

Research output: Contribution to journalJournal articleCommunication

Developing the Prototype Approach in Rapid Systems Modelling

Baskerville, R. L. & Stage, J., 1991, Aalborg: Aalborg Universitetsforlag. (Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport; No. R 91-35).

Research output: Book/ReportBookResearch

Diagnostic function of the expert EMG assistant MUNIN

Andreassen, S., Falck, B. & Olesen, K. G., 1991, Aalborg: Institute of Electronic Systems, Aalborg University. (Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport; No. 91-15).

Research output: Book/ReportReportResearch

Kvalitetsstyring i Systemudvikling

Bang, S., Mathiassen, L. & al., E., 1991, København: Nyt Teknisk Forlag.

Research output: Book/ReportBookResearch

61 Citations (Scopus)

Medical expert systems based on causal probabilistic networks

Andreassen, S., Jensen, F. V. & Olesen, K. G., 1991, In : International Journal of Biomedical Computing. 28, 1-2, p. 1-30

Research output: Contribution to journalJournal articleResearchpeer-review

62 Citations (Scopus)

Medical expert systems based on causal probabilistic networks

Andreassen, S., Jensen, F. V. & Olesen, K. G., 1991, Aalborg: Institute of Electronic Systems, Aalborg University. (Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport; No. 91-6).

Research output: Book/ReportReportResearch

11 Citations (Scopus)

On the Complexity of Equation solving in Process Algebra

Jonsson, B. & Larsen, K. G., 1991, In : Lecture Notes in Computer Science. 493

Research output: Contribution to journalJournal articleResearchpeer-review

8 Citations (Scopus)

Partial Specification and Compositional Verification

Larsen, K. G. & Thomsen, B., 1991, In : Theoretical Computer Science. 88 s.

Research output: Contribution to journalJournal articleResearchpeer-review

Rapid Systems Modelling: The Soul of a New Methodology

Mathiassen, L., Munk-Madsen, A., Nielsen, P. A. & Stage, J., 1991, Aalborg: Aalborg Universitetsforlag. (Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport; No. R 91-16).

Research output: Book/ReportBookResearch

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

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

238 Citations (Scopus)

Specification and Refinement of Probabilistic Processes

Jonsson, B. & Larsen, K. G., 1991, In : Logic in Computer Science.

Research output: Contribution to journalJournal articleResearchpeer-review

16 Citations (Scopus)

The Expressive Power of Implicit Specifications

Larsen, K. G., 1991, In : Lecture Notes in Computer Science. 510

Research output: Contribution to journalJournal articleResearchpeer-review

The Principle of Limited Reduction in Software Development

Stage, J. & Mathiassen, L., 1991, In : Information Technology and People. 6, 2

Research output: Contribution to journalJournal articleResearchpeer-review

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

1990
2 Citations (Scopus)

A causal probabilistic network model of carbohydrate metabolism for insulin adjustment

Andreassen, S., Benn, J. J., Carson, E., Hovorka, R., Kjærulff, U. B. & Olesen, K. G., 1990, Biomedical Engineering Perspectives : Health Care Technologies for the 1990'es and Beyond. Proceedings of the 12th Annual International Conference Engineering in Medicine and Biology Society, IEEE/EMBS, 1990, New York, NY, USA. Pedersen, P. C. & Onoral, B. (eds.). p. 1011

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

A causal probabilistic network model of carbohydrate metabolism in diabetes

Andreassen, S., Benn, J., Carson, E., Kristensen, L. D., Hovorka, R., Kjærulff, U. B. & Olesen, K. G., 1990, Proceedings of the 8th Nordic Meeting on Medical and Biological Engineering, June 1990, Aalborg, Denmark. p. A78

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

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

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