• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer 1987 2020

Filter
Konferenceartikel i proceeding
1996

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

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

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

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

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

1997
16 Citationer (Scopus)

A Compositional Proof of a Real-Time Mutual Exclusion Protocol

Kristoffersen, K. J., Laroussinie, F., Larsen, K. G., Pettersson, P. & Yi, W., 1997, TAPSOFT'97, Theory and Practice of Software Development : Proceedings of the 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997: Lecture Notes in Computer Science. Bidoit, Michel : Dauchet, Max (eds.) (red.). 1214 udg. IEEE Computer Society Press

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

6 Citationer (Scopus)

A method for diagnosing in large medical expert systems based on causal probabilistic networks

Suojanen, M., Olesen, K. G. & Andreassen, S., 1997, Artificial Intelligence in Medicine: 6th Conference on Artificial Intelligence in Medicine Europe, AIME '97, 23-26 March 1997, Grenoble, France. Proceedings. Keravnou, E., Garbay, C., Baud, R. & Wyatt, J. (red.). Berlin: Springer, s. 285-295 (Lecture Notes in Artificial Intelligence : Subseries of Lecture Notes in Computer Science; Nr. 1211).

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

Bayesian Networks and Influence Diagrams

Jensen, F. V., 1997, Proceedings of The 1st European Conference for Information Technology in Agriculture, June 15-18, 1997, The Royal Veterinary and Agricultural University, Copenhagen, Denmark. <Forlag uden navn>, s. 429-440

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

Beslutningsstøttesystem til styring af antibiotikabehandling: et passende emne for MTV?

Andreassen, S., Kristensen, B., Schønheyder, H. C., Kjær, A. G., Olesen, K. G. & Leibovici, L., 1997, Sundhedsstyrelsens Årsmøde 1997 om Kvalitetsudvikling og Medicinsk Teknologivurdering (MTV), April 1997, København, Danmark. s. 41

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

114 Citationer (Scopus)

Efficient Verification of Real-Time Systems: Compact Data Structure and State-Space Reduction

Larsen, K. G., Larsson, F., Pettersson, P. & Yi, W., 1997, Proceedings of the 18th IEEE Real-Time Systems Symposium, RTSS'97, San Francisco, Calif., December 3-5, 1997. IEEE Computer Society Press, s. 14-24

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

Evaluating Temporally Extended ER-Models

Gregersen, H., Jensen, C. S. & Mark, L., 1997, Proceedings of the CAiSE'97/IFIP 8.1 International Workshop on Evaluation of Modeling Methods in Systems Analysis and Design, June 16-17, 1997, Barcelona, Spain.

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

Formal Modelling and Analysis of an Audio/Video Protocol: an Industrial Case Study using Uppaal

Havelund, K., Larsen, K. G. & Skou, A., 1997, Proceedings of the 18th IEEE Real-Time Systems Symposium, RTSS'97, San Francisco, Calif., December 3-5, 1997. IEEE Computer Society Press, s. 2-13

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

Layered Temporal DBMSs - Concepts and Techniques

Torp, K., Jensen, C. S. & Böhlen, M., 1997, Proceedings of the 5th International Conference on Database Systems for Advanced Applications, April 1-4, 1997, Melbourne, Australia. s. 37-380

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

Modelling and Analysis of a Collision Avoidance Protocol using SPIN and UPPAAL

Skou, A., Larsen, K. G. & Jensen, H. E., 1997, Proceedings of the DIMACS Workshop SPIN96, the 2nd International Workshop on the SPIN Verification System. American Mathematical Society, s. 33-50 18 s.

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

Collision avoidance
Network protocols
Communication
Ethernet
Testing

Myopic Value of Information for Influence Diagrams

Dittmer, S. L. & Jensen, F. V., 1997, 13th Conference on Uncertainty in Artificial Intelligence. Kaufmann, s. 142-149

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

Nested Junction Trees

Kjærulff, U., 1997, 13th Conference on Uncertainty in Artificial Intelligence. Kaufmann, s. 294-301

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., 1997, Proceedings of FOOL4.

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

3 Citationer (Scopus)

Pattern in the Analysis, Design and Implementation of Frameworks

Jacobsen, E. E., Kristensen, B. B. & Nowack, P., 1997, Proceedings of the 21st Annual International Computer Software and Application Conference, COMPSAC'97, Washington, D.C., 1997.

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

1 Citation (Scopus)

Relating Semantic Models for the Object Calculus: Preliminary Report

Aceto, L., Hüttel, H., Ingolfsdottir, A. & Kleist, J., 1997, Proceedings of EXPRESS'97.

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

5 Citationer (Scopus)

The Danish EDI Bandwagon Gaining Momentum

Damsgaard, J., 1997, Proceedings of the Thirteenth Annual Hawaii International Conference on Systems Sciences. IEEE Computer Society Press

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

Tools for Explanation in Bayesian Networks with Application to an Agricultural Problem

Dittmer, S. L. & Jensen, F. V., 1997, Proceedings of The 1st European Conference for Information Technology in Agriculture, June 15-18, 1997, The Royal Veterinary and Agricultural University, Copenhagen, Denmark. <Forlag uden navn>, s. 441-446

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

1 Citation (Scopus)

Towards and Abstract Language for Dynamic Modelling in Object-Oriented Design

Nørmark, K., 1997, TOOLS 23 : Proceedings of the International Conference on Technology of Object-Oriented Language and Systems, Santa Barbara, California, 1997. (eds.), E. R. . S. M. . M. B. (red.). s. 120-131

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

Transforming IT Management through Action Learning

Mathiassen, L., Borum, F. & Pedersen, J. S., 1997, Proceedings of the 20th Information Systems Research Seminar in Scandinavia, 1997.

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

UPPAAL: Status and Developments

Larsen, K. G., Pettersson, P. & Yi, W., 1997, Computer Aided Verification : Proceedings of the 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997: Lecture Notes in Computer Science. Grumberg, Orna (ed.) (red.). 1254 udg. IEEE Computer Society Press

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

16 Citationer (Scopus)

Using Internet Technology within the Organization: a Structural Analysis of Intranets

Scheepers, R. & Damsgaard, J., 1997, Group'97 : Proceedings of the International ACM SIGGROUP Conference on Supporting Group Work "The Integration Challenge". Hayne, C. S. : Prinz, W. (eds.) (red.). Association for Computing Machinery, s. 9-18

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

1998
182 Citationer (Scopus)

A Consensus Glossary of Temporal Database Concepts: February 1998 Version

Jensen, C. S. E. . & Dyreson, C. E. E. ., 1998, Temporal Databases. Research and Practice : Proceedings of the Dagstuhl Seminar on Temporal Databases, Schloss Dagstuhl, Germany, June 23-27, 1998: Lecture Notes in Computer Science. Etzion, O. : Jajodia, S. : Stripada, S. (eds.) (red.). 1399 udg. IEEE Computer Society Press, s. 367-405

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

A Coock's Tour of Equational Axiomatizations for Prefix Iteration

Aceto, L., Fokkink, W. J. & Ingolfsdottir, A., 1998, Foundations of Software Science and Computation Structures : Proceedings of the 1st International Conference, FoSSaCS'98 held as part of the Joint European Conference on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28-April 4, 1998: Lecture Notes in Computer Science. Steffen, B. (ed.) (red.). 1378 udg. IEEE Computer Society Press, s. 20-34

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

A decision theoretic approach to empirical treatment of bacteraemia originating from the urinary tract

Andreassen, S., Leibovici, L., Schønheyder, H. C., Kristensen, B., Riekehr, C., Kjær, A. G. & Olesen, K. G., 1998, Proceedings of Workshop on Intelligent Data Analysis in Medicine and Pharmacology, IDAMAP-98: a Workshop at ECAI-98, Brighton, UK. s. 48-53

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

A Structured Methodology to Support Interoperable Geographic Applications: the Case of the Greek Cadastral System

Tryfona, N. & Kavouras, M., 1998, Association og Geographic Information Laboratories in Europe : Proceedings.

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

Automated Modeling of Real-Time Implementation

Jensen, P. K., 1998, Doctoral Symposium : Proceedings of the 13th IEEE Automated Software Engineering, October 1998, Hawaii, USA..

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

Chameleon: a General Platform for Performing Intellimedia

Brøndsted, T., Dalsgaard, P., Larsen, L. B., Manthey, M., McKevitt, P., Moeslund, T. B. & Olesen, K. G., 1998, The 9th Irish Conference on Artificial Intelligence, IACS'98, August 1998, Dublin, Ireland. s. 73-90

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

384 Downloads (Pure)

Clinical Data Warehousing - A Survey

Pedersen, T. B. & Jensen, C. S., 1998, Proceedings of the VIII Mediterannean Conference on Medical and Biological Engineering and Computing. University of Cyprus, s. 20

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

Åben adgang
Fil
Data warehouses
Health care
Costs
Industry

Combining Speech and Vision processing in a platform for Intelligent Multi Media

Brøndsted, T., Larsen, L. B., Manthey, M., McKevitt, P., Moeslund, T. B. & Olesen, K. G., 1998, The 7th Danish Conference on Pattern Recognition and Image Analysis, August 1998, Copenhagen, Denmark. <Forlag uden navn>, s. 75-79

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

Do CASE Tools Support Method Learning?

Eriksen, L. B. & Stage, J., 1998, Training and Education of Methodology Practioners and Researchers : Proceedings. Jayaratna, N....et al. (eds.) (red.). Springer, s. 159-169

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

1 Citation (Scopus)

Engineering of Real-Time Systems with an Experiment in Hybrid Control

Ravn, A. P., Eriksen, T. J., Holdgaard, M. & Rischel, H., 1998, Lectures on Embedded Systems : European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996: Lecture Notes in Computer Science. Rozenberg, G : Vaandrager, F. (eds.) (red.). 1494 udg. IEEE Computer Society Press, s. 316-352

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

General Object-Based Environments: An Engine for Software Development Environments

Bendix, L., 1998, Proceedings of the 8th Nordic Workshop on Programming Environment Research, Bergen, Norway, June 1998: Teknisk rapport / Department of Information Science, University of Bergen.

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

1 Citation (Scopus)

Global Logistics System Asia Co., Ltd.

Damsgaard, J., 1998, Proceedings of the 19th International Conference on Information System. Crossing Boundaries : Managing Virtual Enterprises. 1998, H. M. N. . D. J. I. . . (red.). s. 402-404

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

Imperative Objects as Mobile Processes

Kleist, J. & Sangiorgi, D., 1998, Programming Concepts and Methods, PROCOMET '98. Chapman & Hall, s. 285-303

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

International Trade at the Speed of Light: Building an Electronic Trading Infrastructure in Denmark, Finland and Hong Kong

Damsgaard, J. & Lyytinen, K., 1998, Proceedings of the IFIP 8.2 and 8.6 Joint Working Conference on Information Systems : Current Issues and Future Changes, December 1998. (eds.), L. T. J. . L. L. . D. J. I. (red.). s. 417-438

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

Intranet Implementation in Large Organizations

Damsgaard, J. & Scheepers, R., 1998, IRIS 21 "Information Systems Research in Collaboration with Industry" : Proceedings of the 21st Information Systems Research Seminar in Scandinavia, August 8-11, 1998 at Sæby Søbad, Denmark. Buch, N.J. : Damsgaard, J. : Eriksen, L.B. : Iversen, J.H. : Nielsen, P.A. (eds.) (red.). Aalborg Universitetsforlag

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

Lazy Propagation in Junction Trees

Madsen, A. L. & Jensen, F. V., 1998, Proceedings of the 14th Conference on Uncertainty in Artificial Intelligence. Cooper, Gregory F. : Moral, Serafin (eds.) (red.). Kaufmann, s. 362-369

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

Lessons Learned in a National SPI Effort

Johansen, J. & Mathiassen, L., 1998, Proceedings of EuroSPI '98, Gothenburg, Sweden, November 16-18. s. 5-17

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

11 Citationer (Scopus)

Logical Data Modeling for Spatio-Temporal Applications: Definitions and a Model

Tryfona, N. & Hadzilacos, T., 1998, IDEAS '98 : International Database Engineering and Applications Symposium : Proceedings, July 8-10, 1998, Cardiff, Wales, UK. Eaglestone, B. : Desai, B. C. : Shao, J. (eds.) (red.). IEEE Computer Society Press, s. 14-23

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

48 Citationer (Scopus)

Model Checking via Reachability Testing for Timed Automata

Aceto, L., Burgueño, A. & Larsen, K. G., 1998, Tools and Algorithms for the Construction and Analysis of Systems : Proc. of the 4th International Conference, TACAS'98 held as part of the Joint European Conference on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28-April 4, 1998: Lecture Notes in Computer Science. Steffen, B. (ed.) (red.). 1384 udg. IEEE Computer Society Press, s. 263-280

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