• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer 1987 2020

Filter
Konferenceartikel i proceeding
1996

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

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

27 Citationer (Scopus)

Simultaneous design of controller and fault detector

Kilsgaard, S., Rank, M. L., Niemann, H. H. & Stoustrup, J., 1996, Proceedings of the 35th Conference on Decision and Control. Electrical Engineering/Electronics, Computer, Communications and Information Technology Association, s. 628 - 629

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

Tools for Exploration of Dynamic Models in Object-Oriented Design

Nørmark, K., 1996, Proceedings of the Nordic Workshop on Programming Environment Research, NWPER'96: R96-2019. University, D. O. C. S. I. O. E. S. A. (red.). s. 185-195

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

Tracks of the Finnish EDI Bandwagon

Damsgaard, J. & Lyytinen, K., 1996, Proceedings of the 4th European Conference on Information System. 1997, C. E. A. . . (red.). s. 471-492

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

Tutorial on Temporal Databases

Jensen, C. S. & Snodgrass, R. T., 1996, Twelfth International Conference on Data Engineering. s. 87-

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

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.

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

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.) (red.). 1092 udg. IEEE Computer Society Press, s. 335-361

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

An Architecture for Robot Off-line Programming of Filling Welds for Multipass GMA-Welding of Pipe Branches

Lauridsen, J. K., Madsen, O. & Holm, H., 1995, Computer Applications in Production and Engineering. Proceedings of CAPE'95. Zhang, Q. S. Z. T. A. Y. (red.).

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

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, s. 259-266

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

Bisimulations for Asynchronous Mobile Processes

Hansen, M., Hüttel, H. & Kleist, J., 1995, Proceedings of Tbilisi Symposium on Language, Logic, and Computation.

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

3 Citationer (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.) (red.). 915 udg. IEEE Computer Society Press, s. 439-453

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

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.) (red.). IEEE Computer Society Press, s. 153-172

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

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.) (red.). Morgan Kaufmann, s. 368-375

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

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 udg. Dept. of Computer Science, University of Illinois at Urbana-Campaign

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

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.

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

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.) (red.). IEEE Computer Society Press, s. 356-357

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

3 Citationer (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.) (red.). 1021 udg. IEEE Computer Society Press, s. 366-377

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

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.

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

Tutorial G: Temporal Databases

Jensen, C. S. & Snodgrass, R. T., 1995, 21st International Conference on Very Large Data Bases. s. 81-

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

1994
15 Citationer (Scopus)

An Interaction Engine for Rich Hypertexts

Østerbye, K. & Nørmark, K., 1994, European Conference on Hypermedia Technology, September 1994. Association for Computing Machinery, s. 167-176

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

A Refinement Logic for the Fork Calculus

Havelund, K. & Larsen, K. G., 1994, International IFIP Symposium on Protocol Specification, Testing and Verification.

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

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

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

Combining two Approaches to Object-Oriented Analysis

Mathiassen, L., Munk-Madsen, A., Nielsen, P. A. & Stage, J., 1994, Proceedings of the International Conference on Object-Oriented Methodologies and Systems. Bertino, E. et. al. (ed.) (red.). IEEE Computer Society Press, s. 158-170

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

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.) (red.). IEEE Computer Society Press, s. 88-104

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

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, Bind 16).

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

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, s. 374-382

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

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.) (red.). A21 udg. University of Oulu

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

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

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

4 Citationer (Scopus)

General H∞ problem with static output feedback

Stoustrup, J. & Niemann, H. H., 1 dec. 1993, American Control Conference. Anon (red.). Publ by IEEE, s. 600-604 5 s.

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

State feedback
Feedback control
Feedback
1 Citation (Scopus)

Proportional H∞ control

Niemann, H. H. & Stoustrup, J., 1 dec. 1993, Proceedings of the IEEE Conference on Decision and Control. Publ by IEEE, Bind 2. s. 1660-1665 6 s.

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

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

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

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

48 Citationer (Scopus)

Bisimulation equivalence is decidable for context-free processes

Christensen, S. & Hüttel, H., 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

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

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

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

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

8 Citationer (Scopus)

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

Hüttel, H., 1 jan. 1992, 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

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

1991
4 Citationer (Scopus)

A general H∞/LTR design problem

Niemann, H. H. & Stoustrup, J., 1 dec. 1991, Proceedings of the IEEE Conference on Decision and Control. Publ by IEEE, Bind 2. s. 1920-1926 7 s.

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

Recovery
Controllers

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

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

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

39 Downloads (Pure)

Identification of System Parameters by the Random Decrement Technique

Brincker, R., Kirkegaard, P. H. & Rytter, A., sep. 1991, Proceedings of the Florence Modal Analysis Conference. Firenze: Fintito di Stampare presso il Centro Duplicazione Offset, s. 465-472 8 s.

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

Identification (control systems)
White noise