• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer 1987 2020

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

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

57 Citationer (Scopus)

Compositionality through an Operational Semantics of Contexts

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

Publikation: Bidrag til tidsskriftTidsskriftartikelFormidling

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

61 Citationer (Scopus)

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

62 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

11 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

8 Citationer (Scopus)

Partial Specification and Compositional Verification

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer 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; Nr. R 91-16).

Publikation: Bog/antologi/afhandling/rapportBogForskning

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

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

238 Citationer (Scopus)

Specification and Refinement of Probabilistic Processes

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

16 Citationer (Scopus)

The Expressive Power of Implicit Specifications

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

The Principle of Limited Reduction in Software Development

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer 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. (red.). North-Holland, s. 237-260

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

1990
2 Citationer (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. (red.). s. 1011

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

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. s. A78

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

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.

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

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. (red.). Hemisphere Publishing Corporation, s. 301-320 20 s.

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

106 Citationer (Scopus)

An algebra of Bayesian belief universes for knowledge-based systems

Jensen, F. V., Olesen, K. G. & Andersen, S. K., 1990, I : Networks (New York). 20, 5, s. 637-659

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Bayesian updating in causal probabilistic networks by local computations

Jensen, F. V., Lauritzen, S. L. & Olesen, K. G., 1990, I : Computational Statistics Quarterly. 4, s. 269-282

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

51 Citationer (Scopus)

Compositionality through an Operational Semantics of Contexts

Larsen, K. G. & Xinxin, L., 1990, I : Lecture Notes in Computer Science. 443 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelFormidling

10 Citationer (Scopus)

Compositional Theories based on an Operational Semantics of Contexts

Larsen, K. G., 1990, I : Lecture Notes in Computer Science. 430

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

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.

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

Design og implementation baseret på en generel grundstruktur for EDB-systemer: Dagbog fra et systemudviklingseksperiment

Stage, J., 1990, Aalborg: Aalborg Universitetsforlag. (Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport; Nr. R 90-20).

Publikation: Bog/antologi/afhandling/rapportBogForskning

117 Citationer (Scopus)

Equation Solving Using Modal Transition Systems

Larsen, K. G., 1990, I : Logic in Computer Science.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Formelle teknikker til specifikation og verifikation af Modula-2 programmer

Stage, J., 1990, Aalborg: Aalborg Universitetsforlag. (Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport; Nr. R 90-40).

Publikation: Bog/antologi/afhandling/rapportBogForskning

HUGIN: a shell for building Bayesian belief universes for expert systems

Andersen, S. K., Olesen, K. G., Jensen, F. V. & Jensen, F., 1990, Readings in Uncertain Reasoning. Shafer, G. & Pearl, J. (red.). San Mateo: Kaufmann, s. 332-337

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

Ideal Specification formalism = Expressivity + Compositionality + Decidability + Testablity + ...

Larsen, K. G., 1990, I : Lecture Notes in Computer Science. 458

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

270 Downloads (Pure)

Learning and Using Methodologies in Information Systems Analysis and Design

Nielsen, P. A., 1990, : Dept. of Systems and Information Management: Lancaster University.

Publikation: Bog/antologi/afhandling/rapportBogForskning

Åben adgang
Fil

Modal Specifications

Larsen, K. G., 1990, I : Lecture Notes in Computer Science. 407

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

78 Citationer (Scopus)

Proof Systems for Satisfiability in Hennessy-Milner Logic with Recursion

Larsen, K. G., 1990, I : Theoretical Computer Science. 72 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Simulation of Object-Oriented Concept and Mechanisms in Scheme

Nørmark, K., 1990, Aalborg: Institut for Elektroniske Systemer, Aalborg Universitet. (Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport; Nr. 1990 : R 90-01).

Publikation: Bog/antologi/afhandling/rapportBogFormidling

Specification of external interface

Jensen, F. V., 1990, Aalborg: Aalborg University, Lab. of Image Analysis. (BRA-Deliverable; Nr. DR.E.3.2).

Publikation: Bog/antologi/afhandling/rapportRapportForskning

Specification of representations in skeleton systems

Christensen, H. I., Jensen, F. V. & Nielsen, J., 1990, Aalborg: Aalborg University, Lab. of Image Analysis. (BRA-Deliverable; Nr. DR.F.3.3).

Publikation: Bog/antologi/afhandling/rapportRapportForskning

The MUNIN microhuman: a prototype of an expert system for diagnosis of neuromuscular disorders

Andreassen, S., Falck, B., Olesen, K. G. & Rosenfalck, A., 1990, Proceedings of the 8th Nordic Meeting on Medical and Biological Engineering, June 1990, Aalborg, Denmark. s. A89

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

Triangulation of Graphs - Algorithms Giving Small Total State Space

Kjærulff, U. B., 1990, Aalborg University. 44 s.

Publikation: Bog/antologi/afhandling/rapportRapportForskning

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.

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

Use of causal probabilistic networks as high-level models in computer vision

Jensen, F. V., Nielsen, J. & Christensen, H. I., 1990, Aalborg: Aalborg University, Lab. of Image Analysis. 15 s. (LIA Technical Report; Nr. 90-14 (R3039)).

Publikation: Bog/antologi/afhandling/rapportRapportForskning

1989
74 Citationer (Scopus)

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., 1989, I : Applied Artificial Intelligence. 3, 2-3, s. 385-403

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

An interactive neuroanatomy knowledge base for EMG

Woldbye, M., Sørensen, A. R., Rosenfalck, A., Jensen, F. V., Falck, B. & Andreassen, S., 1989, Computer-Aided Electromyography and Expert Systems. Desmedt, J. E. (red.). Pergamon Press, s. 279-288

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

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>, s. 344-352

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

Erfaringer med udvikling af undervisningsprogrammer om landinformationssystemer

Höhle, J., Stubkjær, E. & Dresling, A., 1989, 135 s.

Publikation: Bog/antologi/afhandling/rapportBogFormidling

General Programs and Open Points

Nørmark, K., 1989, Aalborg: Institut for Elektroniske Systemer, Aalborg Universitet. (Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport; Nr. 1989 : R 89-3).

Publikation: Bog/antologi/afhandling/rapportBogFormidling

Hooks and Supporting Tools in a LISP Environment

Nørmark, K., 1989, Aalborg: Institut for Elektroniske Systemer, Aalborg Universitet. (Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport; Nr. 1989 : R 89-4).

Publikation: Bog/antologi/afhandling/rapportBogFormidling

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, s. 1080-1085 6 s.

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

MUNIN: an expert EMG assistant

Andreassen, S., Jensen, F. V., Andersen, S. K., Falck, B., Kjærulff, U., Woldbye, M., Sørensen, A. R., Rosenfalck, A. & Jensen, F., 1989, Computer-Aided Electromyography and Expert Systems. Desmedt, J. E. (red.). Pergamon Press, s. 255-277

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

45 Citationer (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. (red.). Physica-Verlag, s. 163-180 18 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 363 LNCS).

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