Department of Computer Science

  • Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Denmark

Research Output 1987 2020

Filter
Book chapter
2004

Some of My Favourite Results in Classic Process Algebra

Aceto, L., 2004, Current Trends in Theoretical Computer Science: The Challenge of the New Century, Vol. 2: Formal Models and Semantics. Paun, G., Rozenberg, G. & Salomaa, A. (eds.). World Scientific

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

2003

Acting Machines

Andersen, P. B., 2003, Digital Media Revisited : Theoretical and conceptual innovations in digital domains. Liestøl, G., A. Morrison & T. Rasmussen (eds.) (ed.). Cambr., Mass: MIT Press

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

Architecture and Implementation of Spatio-Temporal DBMS

Breuning, M., Can, T., Bøhlen, M. H., Dieker, S., Güting, R. H., Jensen, C. S., Relly, L., Rigaux, P. R., Schek, H. -J. . & Scholl, M. ., 2003, Spatio-Temporal Databases : The Chorochronos Approach. Sellis, T.: Koubarakis, M.: Frank, A.: Grumbach, S.: Güting, G. H.: Jensen, C. J. : Lorentzos, N.: Manolopou-los, Y. : Nardelli, E.: Pernici, B.: Theodoulidis, B.: Schek, H. –J. : Scholl, M. editors, (ed.). Berlin: IEEE Computer Society Press, (Lecture Notes in Computer Science; No. 2520).

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

Cohesion and Coherence in Programs

Andersen, P. B., 2003, A Mind at Work. M. Vilanova & F. Chorda (eds.) (ed.). Heidelberg: Synchron Wissenschaftsverlag der Autoren, p. 7-20

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

Conceptual Models for Spatiotemporal Applications

Tryfona, N., Price, R. J. & Jensen, C. S., 2003, Multidimensional databases : Problems and Solutions. M. Rafanelli (ed.) (ed.). Idea Group Publishing

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

3 Citations (Scopus)

Dominant technological discourses in action: paradigmatic shifts in sense making in the implementation of an ERP system

Rose, J. & Jensen, P. K., 2003, Global and Organizational Discourse about Information Technology. Wynn, E. H. : Whitley, E. A. : DMyers, M. : DeGross, J. I. (eds.) (ed.). Boston: Kluwer Academic Publishers, Vol. 110. p. 437-462 6 p. (IFIP International Federation for Information Processing; No. 238).

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

Evaluating Software Engineering Modelling Concepts in the Context of Multimedia Systems Design

Skov, M. & Eriksen, L. B., 2003, Production Methods : Behind the Scenes Virtual Inhabited 3D Worlds. Kim Halskov Madsen (Ed.) (ed.). London: IEEE Computer Society Press

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

Evaluation of ERP Implementation: A Multi-perspective Approach

Jensen, P. K. & Møller, C., 2003, Organizing for Networked Information Technologies: Readings in Process Integration and Transformation. Damsgaard, J., Hørlück, J., Kræmmergaard Jensen, P. & Rose, J. (eds.). Aalborg: Aalborg Universitetsforlag, p. 45-57 13 p.

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

From Information Systems to Information Services

Mathiassen, L. & Sørensen, C., 2003, People and Computers: Twenty-one Ways of Looking at Information Systems. Timo Järvi and Pekka Reijonen (Eds.) (ed.). Turku Centre for Computer Science

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

10 Citations (Scopus)

Intelligent Search on XML Data

Schmidt, A., 2003, A Look Back on the XML Benchmark Project. IEEE Computer Society Press, p. 263-278

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

232 Downloads (Pure)

Interaction Styles in Development Tools for Virtual Reality Applications

Kjeldskov, J. & Stage, J., 2003, Production Methods : Behind the Scenes of Virtual Inhabited 3D worlds. Kim Halskov Madsen (ed.) (ed.). Berlin: IEEE Computer Society Press

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

File

Inter-organizational Project Management

Hørlück, J., Jensen, P. K., Nielsen, J. S. & Lindgren, P., 2003, AUBret.

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

Managing the ERP Journey

Jensen, P. K. & Rose, J., 2003, Organizing for Networked Information Technologies: Cases in Process Integration and Transformation . Damsgaard, J., Hørlück, J., Kræmmergaard, P. & Rose, J. (eds.). Aalborg Universitetsforlag, p. 58-74 17 p.

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

ROAD MAP on Hard Real-Time Development Environments W1.A1.N1.Y1 Chapter 4.4.c: Testing Embedded Systems

Larsen, K. G. & Nielsen, B., 2003, Year 1 deliverables of Project IST-2001-34820 ARTIST:Advanced Real-Time Systems. p. 79-83 (ARTIST IST-2001-34820).

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

Semiotic models of algorithmic signs

Andersen, P. B., 2003, Algorithmik – Kunst – Semiotik : Hommage für Frieder Nake. Karl-Heinz Rödiger (Ed.) (ed.). Heidelberg: Synchron Wissenschaftsverlag der Autoren, p. 165-210

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

Software - til verdens mindste og verdens største computer

Larsen, K. G., Thomsen, L. L. & Thomsen, B., 2003, Trends i ITEK-Sektoren. Sarborg Pedersen, John : Ørum Larsen, Lars (red.) (ed.). Kbh. : ITEK: Denmark., p. 21-26 (ITEK rapport).

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

Some of My Favourite Results in Classic Process Algebra

Aceto, L., 2003, The Concurrency Column. (L. Aceto ed.) (ed.). p. 90-108 (Bulletin of the EATCS; No. 81).

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

2002

A Framework for Selecting Assessment Strategy

Nielsen, P. A. & Pries-Heje, J., 2002, Improving Software Organizations : From Principles to Practice. Mathiassen, L. (ed.) : Pries-Heje, J. (ed.) : Ngwenyama, O. (ed.) (ed.). Boston: Addison-Wesley, (The agile software development series).

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

CHAMELEON: a general platform for performing intellimedia

Brøndsted, T., Dalsgaard, P., Larsen, L. B., Manthey, M., Kevitt, P. M., Moeslund, T. B. & Olesen, K. G., 2002, Language, vision and music. Mc Kevitt, Paul (ed.) (ed.). John Benjamins Publishing Company, p. 79-96 (Advances in Consciousness Research; No. 35).

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

Developing Intelligent Multimedia Applications

Brøndsted, T., Larsen, L. B., Manthey, M., Kevitt, P. M., Moeslund, T. B. & Olesen, K. G., 2002, Multimodality in Language and Speech Systems. Granström, Björn (ed.) (ed.). Kluwer Academic Publishers, (Text, speech and language technology; No. 19).

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

Diagnosing Metrics Practices in a Software Organization

Frederiksen, H. D. & Mathiassen, L., 2002, New Perspectives on Information Systems Development : Theory, Methods and Practice. Harindranath, G. (ed.) (ed.). New York: Kluwer Academic Publishers

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

Extending UML for Space and Time-Dependent Applications

Price, R., Tryfona, N. & Jensen, C. S., 2002, Advanced Topics in Database Research, vol. 1. Siau, K. (ed.). Hershey: Idea Group Publishing

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

Handoff Initiation in Mobile IPv6

Andersen, T. W., Lindballe, A. & Nielsen, B., 2002, Wireless IP and building the mobile Internet. Dixit, Sudhir (ed.) : Prasad, Ramjee (ed.) (ed.). Boston: Artech House, (Artech House Universal Personal Communications Series).

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

Improving Customer Relations

Mathiassen, L., Bjerknes, G. & Kristensen, C. ., 2002, Improving Software Organizations : From Principles to Practice. Mathiassen, L. (ed.) : Pries-Heje, J. (ed.) : Ngwenyama, O.: (Ed.) (ed.). Boston: Addison-Wesley, (The agile software development series).

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

Incomplete Information in Multidimensional Databases

Dyreson, C. E., Pedersen, T. B. & Jensen, C. S., 2002, Multidimensional databases : Problems and Solutions. Rafanelli, M. (ed.) (ed.). Hershey: Idea Group Publishing

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

Indexing of Objects on the Move

Saltenis, S. & Jensen, C. S., 2002, Mining Spatio-Temporal Information Systems. Ladner, R. (ed.) : Shaw,K.(ed.) : Abdelguerfi, M. (ed.) (ed.). Boston: Kluwer Academic Publishers, (Kluwer international series in engineering and computer science; No. SECS 699).

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

Knowing and Implementing SPI

Kautz, K. & Nielsen, P. A., 2002, Improving Software Organizations : From Principles to Practice. Mathiassen, L. (ed.) : Pries-Heje, J. (ed.) : Ngwenyama,O. (ed.) (ed.). Boston: Addison-Wesley, (The agile software development series).

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

Learning SPI in Practice

Mathiassen, L., Nielsen, P. A. & Pries-Heje, J., 2002, Improving Software Organizations : From Principles to Practice.. Mathiassen, L. (ed.) : Pries-Heje, J. (ed.) : Ngwenyama, O. (ed.) (ed.). Boston: Addison-Wesley, (The agile software development series).

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

Mapping SPI Ideas and Practices

Aaen, I., Arent, J., Mathiassen, L. & Ngwenyama, O., 2002, Improving Software Organizations : From Principles to Practice. Mathiassen, L. (ed.) : Pries-Heje, J. (ed.) :Ngwenyama, O. (ed.) (ed.). Boston: Addison-Wesley, (The agile software development series).

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

Means of Coordination

Andersen, P. B., Carstensen, P. & Nielsen, M., 2002, Coordination and Communication Using Signs. Liu, K. (ed.) : Clarke, R. J. (ed.) : Andersen, P. B. (ed.) : Stamper, R. K. (ed.) (ed.). Kluwer: Kluwer Academic Publishers, (Studies in organisational semiotics; No. 2).

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

Problem Diagnosis in SPI

Iversen, J. H., Nielsen, P. A. & Nørbjerg, J., 2002, Improving Software Organizations : From Principles to Practice. Mathiassen, L. (ed.) : Pries-Heje, J. (ed.) :Ngwenyama, O. (ed.) (ed.). Boston: Addison-Wesley, (The agile software development series).

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

Reduction and Refinement Strategies for Probalistic Analysis

D'Argenio, P. R., Jeannet, B., Jensen, H. E. & Larsen, K. G., 2002, Process Algebra and Probablistic Methods. Hermanns, H. (ed.) : Sagala R. (ed.) (ed.). Berlin: IEEE Computer Society Press, (Lecture Notes in Computer Science; No. 2399).

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

Risk Management in Process Action Teams

Iversen, J. H., Nielsen, P. A. & Nielsen, P. A., 2002, Improving Software Organizations : From Principles to Practice. Mathiassen, L. (ed.) : Pries-Heje, J. (ed) : Ngwenyama, O. (ed) (ed.). Boston: Addison-Wesley, (The Agile software deleopment series).

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

Tangible Objects: Connecting Informational and Physical space

Andersen, P. B. & Nowack, P., 2002, Virtual Space : Spatiality of Virtual Inhabited 3d Worlds. Qvortrup, L. (ed.): (ed.). London: IEEE Computer Society Press

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

Teknik som tegn: eller hvilken forbindelse har Charles Fillmore til et jernstøberi?

Translated title of the contribution: Technology as signs: Or what is the connection between a furnace plant and Charles Fillmore?Andersen, P. B., 2002, M/K- Mod og kvindehjerte : festskrift til Mette Kunøe. Cramer, J. (red.) :, Togeby, O. (red.) : Widell, P. (red.) (ed.). Århus: Modtryk

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

The Adolescent Effort

Nielsen, P. A., Iversen, J. H., Johansen, J. & Nielsen, L. B., 2002, Improving Software Organizations : From Principles to Practice. Mathiassen, L. (ed.) : Pries-Heje, J. (ed.) : Ngwenyama, O. (ed.) (ed.). Boston: Addison-Wesley, (The agile software development series).

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

The Ambitous Effort: Stalemates and Insider Solutions

Aaen, I., Christiansen, M. & Kristensen, C. H., 2002, Improving Software Organizations From Principles to practice. Mathiassen, L. (ed.) : Pries-Heje, J. (ed.) :Ngwenyama, O. (ed.) (ed.). Boston: Addison-Wesley, (The agile software development series).

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

The Correct Effort

Aaen, I. & Bang, S., 2002, Improving Software Organizations . From Principles to Practice. Mathiassen, L. (ed.) : Pries-Heje, J. (ed.) :Ngwenyama, O. (ed.) (ed.). Boston: Addison-Wesley, (The agile software development series).

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

The Grass Roots Effort

Andersen, C. V., Krath, F., Krukow, L., Mathiassen, L. & Pries-Heje, J., 2002, Improving Software Organizations : From Principles to Practice. Mathiassen, L. (ed.) : Pries-Heje, J. (ed.) : Ngwenyama, O.: (Ed) (ed.). Boston: Addison-Wesley, (The agile software development series).

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

Viden på tværs: en IT-synsvinkel på universiteternes fremtid

Translated title of the contribution: Knowledge Across Boundaries: An IT Perspective on the Future of UniversitiesMathiassen, L., 2002, Danmarks Forskningsråds årsrapport 2001 : Vidensrummet mod 2025. The Danish Ministry for Science, Technology and Development (ed.). Kbh.: Danmarks Forskningsråd

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

2001

A Generalization of Kozen's Axiomatization of the Equational Theory of the Regular Sets

Esik, Z. & Kuich, W., 2001, Words, Semigroups, and Transductions. Ito, M., Paun, G. & Yu, S. (eds.). Singapore: World Scientific, p. 99-114

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

Agents and Actors

Andersen, P. B. & Callesen, J., 2001, Virtual Interaction : Interaction in Virtual Inhabited 3D Worlds. Qvortrup, L. (ed.) (ed.). London: Springer Publishing Company, p. 132-165

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

An ERP Journey in Danish Production Company: Business Issues and Concerns

Jensen, P. K. & Karlsbjerg, J., 2001, Organizing for Networked Information Technologies: Cases in Process Integration and Transformation. Hørlück, J., Kræmmergaard, P., Rask, M. & Rose, J. (eds.). 1 ed. Aalborg Universitetsforlag

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

Automata on Series-Parallel Biposets

Esik, Z. & Néemeth, Z. L., 2001, Development in Language Theory. Kuich,W. (ed.) (ed.). Wien, p. 218-229

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

Bayesian Graphical Models

Jensen, F. V., 2001, Encyclopedia of Environmetrics. Sussex, UK: Wiley

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

Concurrent Development of Supply Chain Management and IT Architecture: Grundfos, Danfoss, and Martin Group

Jensen, P. K., Karlsbjerg, J. & Møller, C., 2001, Organizing for Networked Information Technologies: Cases in Process Integration and Transformation. Hörluck, J., Kræmmergaard Jensen, P., Rask, M. & Rose, J. (eds.). Aalborg: Aalborg Universitetsforlag, p. 121-130 10 p.

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

Conservative Extension in Structural Operational Semantics

Aceto, L., Fokkink, J. & Verhoef, C., 2001, Current Trends in Theoretical Computer Science : Entering the 21st Century. Paun, G., Rozenberg, G. & Salomaa, A. (eds.). World Scientific, p. 504-524

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

Discussion

Andersen, P. B., Madsen, C. B. & Granum, E., 2001, Virtual Interaction : Interaction in Virtual Inhabited 3D Worlds. Qvortrup, L. (ed.) (ed.). London: Springer Publishing Company, p. 209-213

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

Enhancing the Usefulness of Community Chat Rooms: Application of Autonomous Agents

Skov, M., 2001, Virtual Interaction : Interaction in Virtual Inhabited 3D Worlds. Qvortrup, L. (ed.) (ed.). London: Springer Publishing Company, p. 119-131

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

ERP in 100 Days at the Martin Group

Jensen, P. K., Rask, M. & Møller, C., 2001, Organizing for Networked Information Technologies - Cases in Process Integration and Transformation. Hörluck, J., Kræmmergaard Jensen, P., Rask, M. & Rose, J. (eds.). Aalborg, Denmark: Aalborg Universitetsforlag, p. 105-119 15 p.

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