Adresse
  • Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer

1994

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), s. 41-52

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

1993

Approaches to Appreciate Information Systems Methodologies

Nielsen, P. A., 1993, I : Scandinavian Journal of Information Systems. P. 43-60

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Approximation of Bayesian networks through edge removals

Kjærulff, U. B., 1993, Aalborg University. 57 s.

Publikation: Bog/antologi/afhandling/rapportRapportForskning

Aspects of Efficiency Improvement in Bayesian Networks

Kjærulff, U. B., 1993, Aalborg University. 205 s.

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

A Theory of Communicating Processes

Hennessy, M. & Ingolfsdottir, A., 1993, I : Information and Computation.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

42 Citationer (Scopus)

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. (red.). Stuttgart: Schattauer, s. 328-340 (IMIA Yearbook of Medical Informatics).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

Causal probabilistic networks with both discrete and continuous variables

Olesen, K. G., 1993, I : IEEE Transaction on Pattern Analysis and Machine Intelligence. 15, 3, s. 275-279

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

26 Citationer (Scopus)

Characteristic Formulae

Ingolfsdottir, A. & Steffen, B., 1993, I : Information and Computation.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

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.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

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

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

Publikation: Bidrag til tidsskriftKonferenceabstrakt i tidsskriftForskning

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.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceabstrakt i proceedingForskning

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

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

13 Citationer (Scopus)
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, s. 121-129

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

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. (red.). SPIE - International Society for Optical Engineering, s. 536-548 (SPIE proceedings; Nr. 1708).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

28 Citationer (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. (red.). Physica-Verlag, s. 138-147 10 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 630 LNCS).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

44 Citationer (Scopus)

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, I : IBM Systems Journal. 31, 4, s. 635-648

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Compositional Verification of Probabilistic Processes

Larsen, K. G. & Skou, A., 1992, CONCUR'92. Cleaveland, W.R. (ed.) (red.).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

56 Citationer (Scopus)

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

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

Publikation: Bog/antologi/afhandling/rapportBogFormidling

Decidalibility of Bisimulation Equivalence between Regular Timed Processes

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

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

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

25 Citationer (Scopus)

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. Morgan Kaufmann, s. 223-229

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

HUGIN and MUNIN - Past, Present and Future

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

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

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 (red.). Tampere University of Technology

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

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.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceabstrakt i proceedingForskning

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. (red.). Dept. of Informatics

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

Optimal Decomposition of Probabilistic Networks by Simulated Annealing

Kjærulff, U., 1992, I : Statistics and Computing. 2, s. 7-17

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

65 Citationer (Scopus)

Struggling with Quality - a Philosophy for Computer Professionals

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

Systems Development Philosophy

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Testing and Verification of Probabilistic Processes

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

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

Testing Probabilistic and Nondeterministic Processes

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

Using Information Systems to solve Recursive Domain Equations

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

1991

A Hyperstructure Programming Environment for Clos

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

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

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; Nr. 91-12).

Publikation: Bog/antologi/afhandling/rapportRapportForskning

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. (red.). Springer, Bind 44. s. 239-249 10 s. (Lecture Notes in Medical Informatics; Nr. 44).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

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; Nr. 91-23).

Publikation: Bog/antologi/afhandling/rapportRapportForskning

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.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

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.) (red.). Springer, s. 527 -

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

6 Citationer (Scopus)

Bisimulation through Probabilistic Testing

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

707 Citationer (Scopus)

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; Nr. 91-29).

Publikation: Bog/antologi/afhandling/rapportRapportForskning

Compositionality through an Operational Semantics of Contexts

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

Publikation: Bidrag til tidsskriftTidsskriftartikelFormidling

59 Citationer (Scopus)

Developing the Prototype Approach in Rapid Systems Modelling

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

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; Nr. 91-15).

Publikation: Bog/antologi/afhandling/rapportRapportForskning

Kvalitetsstyring i Systemudvikling

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

Medical expert systems based on causal probabilistic networks

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

63 Citationer (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; Nr. 91-6).

Publikation: Bog/antologi/afhandling/rapportRapportForskning

63 Citationer (Scopus)

On the Complexity of Equation solving in Process Algebra

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

11 Citationer (Scopus)

Partial Specification and Compositional Verification

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

8 Citationer (Scopus)

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; Nr. R 91-16).

Publikation: Bog/antologi/afhandling/rapportBogForskning

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. (red.). Physica-Verlag, s. 2-12 11 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 575 LNCS).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang
8 Citationer (Scopus)

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

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning