• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer 1987 2020

Filter
Konferenceartikel i proceeding
1999

Mobile Objects: a Project Overview

Nestmann, U., 1999, Proceedings of FBT '99 : Formale Beschreibungstechniken für Verteilte Systeme, München, Juni 1999. Spies, K. : Schätz, B. (eds.) (red.). Herbert Utz Verlag, s. 155-164

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

Modelling Software Agents for Web Information Systems. European Conference on Information Systems ’99

Skov, M. B., 1999, Doctoral Consortium at ECIS 99.

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

107 Citationer (Scopus)

Multidimensional Data Modeling for Complex Data

Pedersen, T. B. & Jensen, C. S., 1999, Proceedings of the Fifteenth IEEE International Conference on Data Engineering, Sydney, Australia, March 1999. IEEE Computer Society Press, s. 336-345

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

On the Ontological Expresiveness of Temporal ER Models

Gregersen, H. & Jensen, C. S., 1999, Advances in Conceptual Modeling : ER '99 Workshop on Evolution and Change in Data Management, Reverse Engineering in Information Systems, and the World Wide Web and Conceptual Modeling, Paris, France, November 15-18, 1999 : Proceedings: Lecture Notes in Computer Science. Chen, P. P. ... (et al.)(eds.) (red.). 1727 udg. IEEE Computer Society Press, s. 110-121

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

Quantum-Based Spatial Extension to the Relational Model

Lorentzos, N., Viquiera, J. R. R. & Tryfona, N., 1999, Proceedings of the 7th Panhellenic Conference on Informatics. s. 37-44

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

2 Citationer (Scopus)

Real-Time Layered Video Compression using SIMD Computation

Jensen, M. V. & Nielsen, B., 1999, Parallel Computation : 4th International ACPC Conference Including Special Tracks on Parallel Numerics (ParNum '99) and Parallel Computing in Image Processing, Video Processing, and Multimedia : Salzburg, Austria, February 16-18,1999 : Proceedings: Lecture Notes in Computer Science. Zinterhof, P. : Vajtersic, M. : Uhl,A. (eds.) (red.). 1557 udg. IEEE Computer Society Press, s. 377-387

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

3 Citationer (Scopus)

Relational Algebra for Spatial Data Management

Lorentzos, N., Tryfona, N. & Viquiera, J. R. R., 1999, Integrated Spatial Databases : Digital Images and GIS : International Workshop ISD '99, Portland, ME, USA, June 14-16, 1999 : Selected Papers: Lecture Notes in Computer Science. Agouris, P : Stefanidis, A. (eds.) (red.). 1737 udg. IEEE Computer Society Press, s. 192-210

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

2 Citationer (Scopus)

Semantics of Objects as Processes (SOAP)

Nestmann, U. & Ravara, A., 1999, Object-Oriented Technology : ECOOP '99 Workshop Reader : ECOOP '99 Workshops, Panels and Posters, Lisbon, Portugal, June 14-18, 1999 : Proceedings: Lecture Notes in Computer Science. Moreira, A : Demeyer, S. (eds.) (red.). 1743 udg. IEEE Computer Society Press, s. 314-325

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

Some Practical Issues in Modeling Diagnostic Systems with Multiply Sectioned Bayesian Networks

Xiang, Y., Olesen, K. G. & Jensen, F. V., 1999, Proceedings of the Twelfth International Florida AI Research Society Conference. Kumar, A. N. & Russell, I. (red.). AAAI Press

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

153 Citationer (Scopus)

StarER: a Conceptual Model for Data Warehouse Design

Tryfona, N., Busborg, F. & Christiansen, J. B., 1999, ACM Second International Workshop on Data Warehousing and OLAP. s. 3-8

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

Supporting Coordination: a Multi-Agent Approach

Divitini, M., 1999, Proceedings of Norwegian Informatics Conference, NIK '99, Norway.

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

31 Citationer (Scopus)

Supporting Imprecision in Multidimensional Databases Using Granularities

Pedersen, T. B., Jensen, C. S. & Dyreson, C. E., 1999, Proceedings of the Eleventh International Conference on Scientific and Statistical Database Management, Cleveland, Ohio, July 1999. s. 90-101

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

Teaching of a Computer Literacy Course: a Case Study using Traditional and Co-Operative Learning

Scheepers, H. & Villiers, C. D., 1999, Proceedings of the 7th European Conference in Information Systems, Copenhagen, Denmark, 23-25 June 1999. Pries-Heje, J. ... (et al.)(eds.) (red.). Copenhagen Business School Press

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

Testing Hennesy-Milner Logic with Recursion

Aceto, L. & Ingolfsdottir, A., 1999, Foundations of Software Science and Computation Structures : Second International Conference, FOSSACS ' 99 : Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS '99, Amsterdam, the Netherlands, March 22-28, 1999: Lecture Notes in Computer Science. Thomas, W. (ed.) (red.). 1578 udg. IEEE Computer Society Press, s. 41-55

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

The Computer-Ndaba Experience: Introducing IT in Rural Community in South Africa

Scheepers, H., 1999, Information Systems Research in Collaboration with Industry : Proceedings of the 22nd Information Systems Research Seminar in Scandinavia, Jyväskylä, Finland.

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

1 Citation (Scopus)

The Jungle Database Search Engine

Bøhlen, M. H., Bukauskas, L. & Dyreson, C., 1999, Proceedings ACM SIGMOD International Conference on Management of Data. Alex Delis and Christos Faloutsos and Shahram Ghandeharizadeh (red.). Association for Computing Machinery, s. 584-586

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

12 Citationer (Scopus)

The Unified Extensional Versioning Model

Asklund, U., Bendix, L. G., Christensen, H. B. & Magnusson, B., 1999, System Configuration Management : 9th International Symposium, SCM-9, Toulouse, France, September 5-7, 1999 : Proceedings: Lecture Notes in Computer Science. Estublier, J. (ed.) (red.). 1675 udg. IEEE Computer Society Press, s. 100-122

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

Towards Automatic Bisimilarity Checking in the Spi Calculus

Elkjær, A. S., Höhle, M., Hüttel, H. & Overgård, K., 1999, Combinatorics, Computation & Logic 99 : Proceedings of DMTCS'99 and CATS '99, Auckland, New Zealand, 18-21 January 1999: Australian Computer Science Communications. Calude, C. S. : Dinneen, M. J. (eds.) (red.). Vol.21, 3 udg. IEEE Computer Society Press, s. 175-189

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

Using Lisp as a Markup Language: the LAML Approach

Nørmark, K., 1999, European Lisp User Group Meeting. Franz Inc.

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

Validation of Continuous-Time Markov Systems

Larsen, K. G., Baier, C. & Brinksma, E., 1999, Proceedings of PROBMIV'99, Probabilistic Methods in Verification.

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

16 Citationer (Scopus)

Verification of Hierarchical State/Event Systems using Reusability and Compositionality

Behrmann, G., Larsen, K. G., Andersen, H. R., Hulgaard, H. & Lind-Nielsen, J., 1999, Tools and Algorithms for the Construction and Analysis of Systems : 5th International Conference, TACAS '99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, the Netherlands, March 22-28, 1999: Lecture Notes in Computer Science. Cleaveland, W. R. (ed.) (red.). 1579 udg. IEEE Computer Society Press, s. 163-177

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

3 Citationer (Scopus)

VTML for Fine-Grained Change Tracking in Editing Structured Documents

Bendix, L. G. & Vitali, F., 1999, System Configuration Management : 9th International Symposium, SCM-9, Toulouse, France, September 5-7, 1999 : Proceedings: Lecture Notes in Computer Science. Estublier, J. (ed.) (red.). 1675 udg. IEEE Computer Society Press, s. 139-156

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

Well-Defined Decision Scenarios

Nielsen, T. D. & Jensen, F. V., 1999, Proceedings of the Fifteenth Conference on Uncertainty in Artificial Intelligence. Laskey, K. B. : Prade, H. (eds.) (red.). Morgan Kaufmann, s. 502-511

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

2000

Advanced Implementation Techniques for Scientific Data Warehouses

Pedersen, T. B. & Jensen, C. S., 2000, Proceedings of the First European Lab Workshop on Management and Integration of Biochemical Data, Heidelberg, Germany, September 2000.

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

A Framework for Constraint-Based Spatial Data Mining

Tryfona, N., 2000, Proceedings of the International Workshop on Emerging Technologies for Geo-Based Applications. s. 309-328

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

A Knowledge Acquisition Tool for Bayesian-Network Troubleshooters

Skaanning, C., 2000, Proceedings of the Sixteenth Conference on Uncertainty in Artificial Intelligence : UAI'00. Boutilier, C. : Goldszmidt, M. (eds.) (red.). Morgan Kaufmann, s. 549-557

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

19 Citationer (Scopus)

Analyzing Clickstream Using Subsessions

Andersen, J., Giversen, A., Jensen, A. H., Larsen, R., Pedersen, T. B. & Skyt, J., 2000, DOLAP 2000 : ACM Third International Workshop on Data Warehousing and OLAP : November 10, 2000, McLean, VA. Missaoui,R. : Song, I.-Y. (eds.) (red.). Association for Computing Machinery, s. 25-32

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

An Elucidative Programming Environment for Scheme

Nørmark, K., 2000, Proceedings of the 2000 Nordic Workshop on Programming Environment Research, May 2000. s. 109-126

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

A Research Framework for Studying the Implementation of Enterprise Resource Planning (ERP) systems

Jensen, P. K. & Møller, C., 2000, Proceedings of the 23rd IRIS Conference - Doing IT together. al., L. S. U. S. E. (red.).

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

1 Citation (Scopus)

A Suite of WWW-Based Tools for Advanced Course Management

Nørmark, K., 2000, ITiCSE 2000 : Proceedings of the 5th Annual SIGCSE/SIGCUE Conference on Innovation and Technology in Computer Science Education : July 11-13, 2000, Helsinki, Finland: SIGCSE Bulletin. Joyce, D. (ed,) (red.). Vol.32, 3 udg. Association for Computing Machinery, s. 65-68

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

A Tale of Two Airports: a Comparison of Electronic Infrastructures in the Air Cargo Industry in the Netherlands and Hong Kong SAR

Christiansen, E. & Damsgaard, J., 2000, Fourth Pacific Asia Conference on Information Systems, Electronic Commerce and Web-Based Information Systems, Hong Kong SAR. s. 512-523

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

Automated Test Generation Timed Automata: Tool and Case Study

Nielsen, B. & Skou, A., 2000, 21st IEEE Real-Time Systems Symposium 2000, Work in Progress-Session, Walt Disney World, Orlando, Florida, USA, November 2000.

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

Axiomatizing the Least Fixed Point Operation and Binary Supremum

Esik, Z., 2000, Computer Science Logic : 14th International Workshop, CSL 2000, Annual Conference of the EACSL Fischbachau, Germany, August 21 - 26, 2000 : Proceedings: Lecture Notes in Computer Science. Clote, P. G. : Schwichtenberg, H. (eds.) (red.). 1862 udg. IEEE Computer Society Press, s. 302-316

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

Collaborative Practice Research

Mathiassen, L., 2000, Organizational and Social Perspectives on Information Technology : IFIP TC8 WG8.2 International Working Conference on the Social and Organizational Perspective on Research and Practice in Information Technology, June 9-11, 2000, Aalborg, Denmark: International Federation for Information Processing. Baskerville, R. : Stage, J. : DeGross, J. I. (eds.) (red.). 41 udg. Kluwer Academic Publishers, s. 127-148

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

Continuous Improvement of the Configuration Management Process

Bendix, L. G., 2000, Proceedings of the Conference Views on Software Development in the New Millennium, August 2000. s. 50-55

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

Dimensions of Coordination

Andersen, P. B. & Carstensen, P., 2000, Proceedings of the Fifth International Workshop on the Language-Action Perspective on Communication Modelling. Fachgruppe Informatik der RWTH, s. 41-61

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

Discourses on the Interaction of Information Systems, Organizations, and Society: Reformation and Transformation

Baskerville, R. L. & Stage, J., 2000, Organizational and Social Perspectives on Information Technology : IFIP TC8 WG8.2 International Working Conference on the Social and Organizational Perspective on Research and Practice in Information Technology, June 9-11, 2000, Aalborg, Denmark: International Federation for Information Processing. Baskerville, R. : Stage, J. : DeGross, J. I. (eds.) (red.). 41 udg. Kluwer Academic Publishers, s. 1-12

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

Distributed Timed Model Checking: How the Search Order Matters

Behrmann, G., Hune, T. & Vaandrager, F., 2000, Computer Aided Verification : 12th International Conference, CAV 2000, Chicago, Il., USA, July 15-19, 2000 : Proceedings: Lecture Notes in Computer Science. Emerson, E. : Sistla, A. (eds.) (red.). 1855 udg. IEEE Computer Society Press, s. 216-231

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

1 Citation (Scopus)

Documenting Design Refinement

Olderog, E-R. & Ravn, A. P., 2000, Proceedings of FMSP'00 :the Third Workshop on Formal Methods in Software Practice, August 24-25, 2000, Portland, Oregon, USA. Heimdahl, M. P. E. (ed.) (red.). Association for Computing Machinery

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

3 Citationer (Scopus)

Elucidative Programming in Java

Nørmark, K., Andersen, M. R., Christensen, C. N., Kumar, V., Pedersen, S. S. & Sørensen, K. L., 2000, 18th Annual Conference on Computer Documentation : IPCC SIGDOC 2000, ACM, September 2000. IEEE Signal Processing Society, s. 483-495

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

ERP Implementation - ERP as An Actor

Jensen, P. K., 2000, Proceedings of the ITBM2000 Conference - Information Technology for Business Management. Gan, R. (red.).

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

21 Citationer (Scopus)

Evolution of the Web News Genre: the Slow Move Beyond the Print Metaphor

Eriksen, L. B. & Ihlström, C., 2000, Proceedings of the 33rd Hawaii International Conference on System Sciences (HICSS), Maui, Hawaii, January 2000.

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

Extending OLAP Querying to External Object Databases

Pedersen, T. B., Shoshani, A., Gu, J. & Jensen, C. S., 2000, Proceedings of the Ninth International Conference on Information and Knowledge Management, 2000. s. 405-413

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

Free Algebras for Generalized Automata and Language Theory

Esik, Z., 2000, Proceedings of Algebraic Systems : Formal Languages and Computation, RIMS Kokyuroku 1166, Kyoto University, 2000. s. 52-58

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

Guided Synthesis of Control Programs Using UPPAAL

Hune, T., Larsen, K. G. & Pettersson, P., 2000, Proceedings for International Workshop on Distributed Systems Verification and Validation. Lai, T. H. (red.). s. 15-22

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

Scheduling
13 Citationer (Scopus)

Implementing Software Process Improvement: Two Cases of Technology Transfer

Kautz, K. & Nielsen, P. A., 2000, Proceedings of the 33rd Hawaii International Conference on System Sciences (HICSS), Maui, Hawaii, January 2000.

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

4 Citationer (Scopus)

Improving the Customer-Supplier Relation in IT Development

Bjerknes, G. & Mathiassen, L., 2000, Proceedings of the 33rd Hawaii International Conference on System Sciences (HICSS), Maui, Hawaii, January 2000.

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

710 Citationer (Scopus)

Indexing the Positions of Continuously Moving Objects

Saltenis, S., Jensen, C. S., Leutenegger, S. & Lopez, M., 2000, Proceedings of the 2000 ACM SIGMOD International Conference on Management of Data, Dallas, TX, USA, May 2000. s. 331-342

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

Iteration Theories of Boolean Functions

Esik, Z., 2000, Mathematical Foundations of Computer Science 2000 : 25th International Symposium, MFCS 2000 Bratislava, Slovakia, August 28 - September 1, 2000 : Proceedings: Lecture Notes in Computer Science. Nielsen, M. : Rovan, B. (eds.) (red.). 1893 udg. IEEE Computer Society Press, s. 343-352

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

18 Citationer (Scopus)

Lessons from Implementing a Software Metrics Program

Iversen, J. H. & Mathiassen, L., 2000, Proceedings of the 33rd Hawaii International Conference on System Sciences (HICSS), Maui, Hawaii, January 2000.

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