• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer 1987 2020

Filter
Konferenceartikel i proceeding
1998
36 Citationer (Scopus)

Requirements, Definitions, and Notations for Spatiotemporal Applications

Pfoser, D. & Tryfona, N., 1998, ACM-GIS '98 : Proceedings of the 6th International Symposium on Advances in Geographic Information Systems, November 6-7, 1998, Washington, D. C., USA. Laurini, R. : Makki, K. : Pissinou, N. (eds.) (red.). Association for Computing Machinery, s. 124-130

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

44 Citationer (Scopus)
425 Downloads (Pure)

Research Issues in Clinical Data Warehousing

Pedersen, T. B. & Jensen, C. S., 1998, Proceedings of the Tenth International Conference on Statistical and Scientific Database Management. s. 43-52

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

Åben adgang
Fil
Data warehouses
Data structures

R-tree-based Indexing of Now-Relative Bitemporal Data

Bliujute, R., Jensen, C. S., Saltenis, S. & Slivinskas, G., 1998, Proceedings of the 24th International Conference on Very Large Databases, August 24-27, 1998, New York City. s. 345-356

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

Software Process Improvement: What Management Tends to Forget

Aaen, I. & Damsgaard, J., 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. 89-110

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

23 Citationer (Scopus)

Spatio-Temporal Database Support for Legacy Applications

Böhlen, M., Jensen, C. S. & Skjellaug, B., 1998, Proceedings of the 1998 ACM Symposium on Applied Computing, February 27-March 1, 1998, Atlanta, Georgia. s. 226-234

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

17 Citationer (Scopus)

Supporting Temporal Data Management Applications via Stratum Approaches

Torp, K., Jensen, C. S. & Snodgrass, R. T., 1998, Proceedings of the 1998 International Database Engineering and Applications Symposium, July 8-10, 1998, Cardiff, Wales. s. 4-13

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

Surrogater i Øjeblik: mod migrerering i Obliq

Hüttel, H., Kleist, J., Nestmann, U. & Sangiorgi, D., 1998, Proceedings of the Workshop on Semantics of Objects as Processes: Brics Notes Series. Hüttel, Hans : Nestmann, Uwe (eds.) (red.). NS-98-5 udg. Department of Computer Science, Aarhus University, s. 43-50

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

Surrogates in Øjeblik: Towards Migration in Obliq

Hüttel, H., Kleist, J., Nestmann, U. & Sangiorgi, D., 1998, Proceeding of FOOL5.

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

Systematic Change Management in Dimensional Data Warehousing

Bliujute, R., Saltenis, S., Slivinskas, G. & Jensen, C. S., 1998, Proceedings of the 3rd International Baltic Workshop on DB and IS, April 15-17, 1998, Riga, Latvia. s. 27-41

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

The Intellimedia WorkBench: a Generic Environment for Multimodal Systems

Brøndsted, T., Larsen, L. B., Manthey, M., McKevitt, P., Moeslund, T. B. & Olesen, K. G., 1998, ICSLP'98 : Proceedings of the 5th International Conference on Spoken Language Processing. <Forlag uden navn>, s. 273-276

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

The Intellimedia WorkBench: an environment for building multimodal systems

Brøndsted, T., Larsen, L. B., Manthey, M., McKevitt, P., Moeslund, T. B. & Olesen, K. G., 1998, Workshop on Cooperative Multimodal Cooperation, Januar 1998, Tilborg, Holland. s. 166-170

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

25 Citationer (Scopus)

The Power of Reachability Testing for Timed Automata

Aceto, L., Bouyer, P., Burgueno, A. & Larsen, K. G., 1998, Foundations of Software Technology and Theoretical Computer Science : Proceedings of the 18th Conference, Chennai, India, December 17-19, 1998: Lecture Notes in Computer Science. Arvind, V. : Ramanujam, R. (eds.) (red.). 1530 udg. IEEE Computer Society Press, s. 245-256

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

The Usefulness of Reusing the Idea of the Wheel: Learning Information Systems Modelling

Nielsen, P. A., 1998, Training and Education of Methodology Practioners and Researchers : Proceedings. Jayaratna, N....et al. (eds.) (red.). Springer, s. 397-408

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

Tools for Presentation and Animation of Dynamic Models in Object-Oriented Design

Iversen, L., Madsen, P. & Nørmark, K., 1998, Proceedings of the Nordic Workshop on Programming Environment Research, NWPER'98, June 1998. (eds.), M. . O. (red.). s. 127-142

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

17 Citationer (Scopus)

Verification of large state/event systems using compositionality and dependency analysis

Lind-Nielsen, J., Andersen, H. R., Behrmann, G., Hulgaard, H., Kristoffersen, K. & 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, 28 March-4 April 1998, Lisbon, Portugal. Steffen, B. (red.). IEEE Computer Society Press, s. 201-216 (Lecture Notes in Computer Science, Bind 1384).

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

Verifying Duration Properties of Timed Transition Systems

Liu, Z., Ravn, A. P. & Li, X., 1998, Programming Concepts and Methods : PROCOMET '98 : IFIP TC2 WG2.2, 2.3 International Conference in Programming Concepts and Methods 8-12 June 1998, Shelter Island, New York, USA. Gries, D. : Roever, W.-P. de (eds.) (red.). Kluwer Academic Publishers, s. 327-345

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

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

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

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

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

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

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

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