Department of Computer Science

  • Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Denmark

Research Output

1998

The Software Factory: Contributions and Illusions

Aaen, I., Bøttcher, P. & Mathiassen, L., 1998

Research output: Book/ReportBookResearch

32 Citations (Scopus)

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.) (ed.). Springer, p. 397-408

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

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. (ed.). p. 127-142

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

Tradelink Electronic Commerce Ltd. Implementation Strategy

Farhoomand, A. F., Law, K. K., Ng, P. S. P. & Damsgaard, J., 1998, Hong Kong : Centre for Asian Business Cases, School of Business: The University og Hong Kong. (Teaching Case; No. 98/14C).

Research output: Book/ReportBookCommunication

Transitioning Temporal Support in TSQL2 to SQL3

Snodgrass, R. T., Böhlen, M., Jensen, C. S. & Steiner, A., 1998, Temporal Databases : Research and Practice : Proceedings of the Dagstuhl Seminar on Temporal Databases, Schloss Dagstuhl, Germany, June 23-27, 1997. Etzion, O. : Jajodia, S. : Stripada, S. (eds.) (ed.). Berlin: IEEE Computer Society Press, p. 150-194 (Lecture Notes in Computer Science; No. 1399).

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearch

Traxon Asia Ltd

Damsgaard, J., 1998, Hong Kong : Centre for Asian Business Cases, School of Business: Hong Kong University and Harvard Business School Publishing and European Case Clearing House. (Teaching Note; No. 98/01TN).

Research output: Book/ReportBookCommunication

Traxon Asia Ltd

Damsgaard, J., 1998, Hong Kong : Centre for Asian Business Cases, School of Business: The University og Hong Kong. (Teaching Case; No. 98/01C).

Research output: Book/ReportBookCommunication

Vacuuming Temporal Databases

Skyt, J. & Jensen, C. S., 1998, Aalborg: Aalborg Universitetsforlag. (Technical Report; No. TR-32).

Research output: Book/ReportBookResearch

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. (ed.). IEEE Computer Society Press, p. 201-216 (Lecture Notes in Computer Science, Vol. 1384).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

17 Citations (Scopus)

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.) (ed.). Kluwer Academic Publishers, p. 327-345

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

What About Failures? Suggestions for an Alternative Computing Education Activity

Nulden, U. & Scheepers, H., 1998, In : Information Technology Management. 2, p. 133-144

Research output: Contribution to journalJournal articleResearchpeer-review

1999

Abstraction-based verification of distributed systems

Jensen, H. E., 1999, Aalborg: Aalborg Universitetsforlag. (R : Department of Computer Science, Aalborg University; No. 99-5005).

Research output: Book/ReportPh.D. thesisResearch

A Complete Equational Axiomatization for MPA with String Iteration

Aceto, L. & Groote, J. F., 1999, In : Theoretical Computer Science. 211, 1-2, p. 339-374

Research output: Contribution to journalJournal articleResearchpeer-review

4 Citations (Scopus)

A Conceptual Modeling Language for Spatiotemporal Applications

Price, R., Tryfona, N. & Jensen, C. S., 1999, Aalborg: Aalborg Universitetsforlag. (Chorochronos Technical Report; No. CH-99-20).

Research output: Book/ReportBookResearch

Acquisition and Transformation of Likelihoods to Conditional Probabilities for Bayesian Networks

Skaanning, C., Jensen, F. V., Kjærulff, U. B. & Madsen, A. L., 1999, AAAI Spring Symposium, Standford, USA, 1999.

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

Action Research

Avison, D., Lau, F., Myers, M. & Nielsen, P. A., 1999, In : Communications of the ACM. 42, 1, p. 94-97

Research output: Contribution to journalJournal article

Open Access
621 Citations (Scopus)

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., 1999, Proceedings of Joint European Conference on Artificial Intelligence in Medicine and Medical Decision Making, AIMDM 99, 20-24 June 1999, Aalborg, Denmark. Horn, W., Shahar, Y., Lindberg, G., Andreassen, S. & Wyatt, J. (eds.). Springer, p. 197-206 (Lecture Notes in Artificial Intelligence , subseries of Lecture Notes in Computer Science; No. 1620).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

5 Citations (Scopus)

A Disciplined Approach to Change Management

Bendix, L. G., 1999, Aalborg : Aalborg University: Department of Computer Science, Aalborg University. (R : Department of Computer Science, Aalborg University; No. R99-5001).

Research output: Book/ReportBookResearch

A Fault Tolerant Mutual Exclusion Algorithm Handling Dynamic Processes using Message Passing

Krogh, J. & Justesen, J., 1999, Aalborg: Aalborg Universitetsforlag. (Technical Report : Department of Computer Science, Aalborg University).

Research output: Book/ReportBookResearch

Aliasing Models for Object Migration

Hüttel, H., Kleist, J., Nestmann, U. & Merro, M., 1999, Euro-Par'99 - Parallel Processing: 5th International Euro-Par Conference. Amestoy, P., Berger, P., Daydé, M., Duff, I., Fraysee, V., Giraud, L. & Ruiz, D. (eds.). 1685 ed. Springer, p. 1353-1368 (Lecture Notes in Computer Science).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

5 Citations (Scopus)

A Methodology and a Tool for Spatiotemporal Database Design

Tryfona, N., Andersen, S., Mogensen, S. R. & Jensen, C. S., 1999, Proceedings of the Seventh Hellenic Conference on Informatics, Ioannina, Greece, August 1999. p. 53-60

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

Animation and Presentation Tools for Object-Oriented Design

Nørmark, K., Iversen, L. & Madsen, P., 1999, In : Nordic Journal of Computing. 6, 1, p. 110-128

Research output: Contribution to journalJournal articleResearchpeer-review

A Stage Model of Intranet Technology Implementation and Management

Damsgaard, J. & Scheepers, R., 1999, Proceedings of the 7th European Conference in Information Systems, Copenhagen, Denmark, 23-25 June 1999. Pries-Heje, J. ... (et al.)(eds.) (ed.). Copenhagen Business School Press, p. 100-116

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

Blocking Gibbs Sampling for Linkage Analysis in Large Pedigrees with Many Loops

Skaanning, C. & Kong, A., 1999, In : American Journal of Human Genetics. 65, 3, p. 885-802

Research output: Contribution to journalJournal articleResearchpeer-review

31 Citations (Scopus)

Blocking Gibbs Sampling in the Mixed Inheritance Model Using Graph Theory

Lund, M. & Skaanning, C., 1999, In : Genetics, Selection, Evolution. 31, p. 3-24

Research output: Contribution to journalJournal articleResearchpeer-review

7 Citations (Scopus)

Building Electronic Commerce Infrastructure: the Hong Kong Retail Sector

Damsgaard, J. & Farhoomand, A. F., 1999, Proceedings of the 7th European Conference in Information Systems, Copenhagen, Denmark, 23-25 June 1999. Pries-Heje, J. ... (et al.)(eds.) (ed.). Copenhagen Business School Press, p. 850-865

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

Building knowledge to prevent failure in IT development and use

Scheepers, H., 1999, Aalborg: Aalborg Universitetsforlag. (Publication : Department of Computer Science, Aalborg University; No. 2).

Research output: Book/ReportPh.D. thesisResearch

Capturing and Querying Multiple Aspects of Semistructured Data

Dyreson, C. E., Böhlen, M. H. & Jensen, C. S., 1999, Proceedings of the Twentyfifth International Conference on Very Large Databases, Edinburgh, Scotland, UK, September 1999. p. 290-301

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

Capturing the Uncertainty of Moving-Object Representations

Pfoser, D. & Jensen, C. S., 1999, Advances in Spatial Databases : 6th International Symposium, SSD '99, Hong Kong, China, July 20-23, 1999 : Proceedings: Lecture Notes in Computer Science. Güting, H. : Papadias,D. : Lochovsky, F. (eds.) (ed.). 1651 ed. IEEE Computer Society Press, p. 111-132

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

248 Citations (Scopus)

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., 1999, The 8th International Workshop on the Cognitive Science of Natural Language Processing, 1999. p. 110-122

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Chorochronos: a Research Network for Spatiotemporal Database Systems

Frank, A., Gütting, R. H., Jensen, C. S., Koubarakis, M., Lorentzos, N., Manolopoulos, Y., Nardelli, E., Pernici, B., Schek, H. J., Scholl, M., Sellis, T., Theodoulidis, B. & Widmayer, P., 1999, In : SIGMOD record. 28, 3, p. 12-21

Research output: Contribution to journalJournal articleResearchpeer-review

26 Citations (Scopus)

Clock Difference Diagrams (extended version)

Larsen, K. G., Weise, C., Yi, W. & Pearson, J., 1999, In : Nordic Journal of Computing. 6, p. 271-298

Research output: Contribution to journalJournal articleResearchpeer-review

Collaboration and Coordination Through Basic Internet Tools: a Case Study

Divitini, M. & Farshchian, B. A., 1999, Proceedings of World Multiconference SCI/ISAS '99.

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

Conceptual Data Modelling for Spatiotemporal Applications

Tryfona, N. & Jensen, C. S., 1999, In : Geoinformatica. 3, 3, p. 245-268

Research output: Contribution to journalJournal articleResearchpeer-review

74 Citations (Scopus)

Conservative Extension in Structural Operational Semantics

Aceto, L., Fokkink, W. & Verhoef, C., 1999, In : Bulletin of the European Association for Theoretical Computer Science. No. 69, p. 110-132

Research output: Contribution to journalJournal articleResearchpeer-review

Constructing GPSJ View Graphs

Akinde, M. O. & Böhlen, M., 1999, Proceedings of the International Workshop on Design and Management of Data Warehouses, June 1999. p. 8-12

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

Coordinating cooperative work: a framework for the design of flexible computer-based support

Divitini, M., 1999, Aalborg: Aalborg Universitetsforlag. (Publication : Department of Computer Science, Aalborg University; No. 3).

Research output: Book/ReportPh.D. thesisResearch

Corporate Intranet Implementation: Managing Emergent Technologies and Organizational Practices

Bansler, J. P., Damsgaard, J., Havn, E., Thommesen, J. & Scheepers, R., 1999, Proceedings of the 7th European Conference in Information Systems, Copenhagen, Denmark, 23-25 June 1999. Pries-Heje, J. ... (et al.)(eds.) (ed.). Copenhagen Business School Press, p. 750-757

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

Databasen er strategisk

Jensen, C. S., 1999, In : Computerworld. November, p. 27

Research output: Contribution to journalJournal articleResearchpeer-review

Designing www.LEGO.com/shop: Business Issues and Concerns

Damsgaard, J. & Hørlyck, J., 1999, Aarhus: Department of Management. (Teaching Note).

Research output: Book/ReportBookCommunication

Developing a DataBlade for a New Index

Bliujute, R., Saltenis, S., Slivinskas, G. & Jensen, C. S., 1999, Proceedings of the Fifteenth IEEE International Conference on Data Engineering, Sydney, Australia, March 1999. IEEE Computer Society Press, p. 314-323

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

21 Citations (Scopus)

Developing Managerial Skills in IT Organizations: a Case Study Based on Action Learning

Mathiassen, L., Borum, F. & Pedersen, J. S., 1999, In : Journal of Strategic Information Systems. 8, 2, p. 209-225

Research output: Contribution to journalJournal articleResearchpeer-review

8 Citations (Scopus)

Digital News-Paper: Broadcast and More Convergence on the Internet

Palmer, J. & Eriksen, L. B., 1999, In : JMM - International Journal on Media Management. 1, 1, p. 31-34

Research output: Contribution to journalJournal articleResearchpeer-review

Digital Newspapers Explore Marketing on the Internet

Palmer, J. & Eriksen, L. B., 1999, In : Communications of the ACM. 42, 9, p. 32-40

Research output: Contribution to journalJournal articleResearchpeer-review

20 Citations (Scopus)

Efficient Timed Reachability Analysis using Clock Difference Diagrams

Behrmann, G., Larsen, K. G., Pearson, J., Weise, C. & Yi, W., 1999, Computer Aided Verification : 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999 : Proceedings: Lecture Notes in Computer Science. Halbwachs, N. : Peled, D. (eds.) (ed.). 1633 ed. IEEE Computer Society Press, p. 341-353

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

82 Citations (Scopus)

Electronic Commerce in Hong Kong Special Administrative Region of the People's Republic of China

Damsgaard, J. & Farhoomand, A. F., 1999, In : Electronic Markets. 9, 2, p. 73-80

Research output: Contribution to journalJournal articleResearchpeer-review

Experimental Batch Plant: VHS Case Study 1 using Timed Automata and UPPAAL

Kristoffersen, K., Larsen, K. G., Pettersson, P. & Weise, C., 1999

Research output: Book/ReportBookResearch

Extending Practical Pre-Aggregation in On-Line Analytical Processing

Pedersen, T. B., Jensen, C. S. & Dyreson, C. E., 1999, Proceedings of the Twentyfifth International Conference on Very Large Databases, Edinburgh, Scotland, UK, September 1999. p. 663-674

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

Extending Practical Pre-Aggregation in On-Line Analytical Processing

Pedersen, T. B., Jensen, C. S. & Dyreson, C. E., 1999, Department of Computer Science: Aalborg Universitetsforlag. 33 p. (Technical Report; No. 99-5004).

Research output: Book/ReportBookResearch

Open Access
File
226 Downloads (Pure)

Formal Verification of a Power Controller using the Real-Time Model Checker Uppaal

Havelund, K., Larsen, K. G. & Skou, A., 1999, Formal Methods for Real-Time and Probabilistic Systems : 5th International AMAST Workshop, ARTS '99, Bamberg, Germany, May 26-28, 1999 : Proceedings: Lecture Notes in Computer Science. Katoen,J.-P. (ed.) (ed.). 1601 ed. IEEE Computer Society Press, p. 277-298

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

29 Citations (Scopus)