• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

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

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

2 Citationer (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. (red.). IOS Press, s. 614-618 (Studies in Health Technology and Informatics, Bind 34).

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

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

An Equational Axiomatization for Multi-Exit Iteration

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

5 Citationer (Scopus)

An Equational Axiomatization for Multi-Exit Iteration

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

10 Citationer (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.) (red.). IEEE Computer Society Press, s. 195-209

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

An Introduction to Bayesian Networks

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

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.) (red.). Report 8 udg. Departments of Informatics

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

Automatic Synthesis of Real Time Systems

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

27 Citationer (Scopus)

Axiomatizing Prefix Iteration with Silent Steps

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

6 Citationer (Scopus)

Bayesian Network Basics

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Bisimulations for Asynchronous Mobile Processes

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

Publikation: Bog/antologi/afhandling/rapportRapportForskning

Compositions of Model Checking Real Time Systems

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

11 Citationer (Scopus)

CPO Models for Compact GSOS Languages

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer 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.) (red.).

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

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.

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

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.

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

Diagnostic Model: Checking for Real Time Systems

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Dynamic Modelling with Dynamo

Nørmark, K., 1996

Publikation: Bog/antologi/afhandling/rapportBogForskning

Dynamic Models in Object-Oriented Design

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

DYNAMO - A Set of Tools for Dynamic Modelling

Nørmark, K., 1996

Publikation: Bog/antologi/afhandling/rapportBogForskning

24 Citationer (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, I : Electroencephalography and Clinical Neurophysiology. 101, s. 129-144

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

54 Citationer (Scopus)

Extending Existing Dependency Theory to Temporal Databases

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

14 Citationer (Scopus)

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

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

From Timed Automata to Logic and Back

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer 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.) (red.). De Gruyter, s. 256-261

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

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

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

How to Obtain Version Control in Workspaces Too

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

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

Indexing Techniques for Continously Evolving Phenomena

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

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

Information Systems Development: Reflections on a Discipline

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Interaction and Transformation in Soft Systems Methodology

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

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

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; Nr. Report 8).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Local computation with valuations from a commutative semigroup

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

Publikation: Bog/antologi/afhandling/rapportRapportForskning

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.

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

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.) (red.). Chapman & Hall, s. 232-245

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

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.

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

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.) (red.). Report 8 udg. Departments of Informatics

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

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.) (red.). Academic Press, s. 349-356

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

Model Checking for Real Time Systems

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer 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.) (red.). Report 8 udg. Departments of Informatics

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

Objects, Types and Modal Logics

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

Publikation: Bog/antologi/afhandling/rapportRapportForskning

Objects as Mobile Processes

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

Publikation: Bog/antologi/afhandling/rapportRapportForskning

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; Nr. RS-96-36).

Publikation: Bog/antologi/afhandling/rapportBogForskning

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; Nr. R96-2019).

Publikation: Bog/antologi/afhandling/rapportBogForskning

66 Citationer (Scopus)

Semantics of Time-Varying Information

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

66 Citationer (Scopus)

Semantics of Time-Varying Information

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

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

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Synthesizing Distinguishing Formulae for Real Time Systems

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

Publikation: Bidrag til tidsskriftTidsskriftartikelFormidling

Temporal Entity-Relationship Models: a Survey

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

13 Citationer (Scopus)

The Capability Maturity Model and CASE

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review