Department of Computer Science

  • Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Denmark

Research Output 1987 2020

Filter
Book chapter
2008
498 Downloads (Pure)

A Field Laboratory for Evaluating In Situ

Høegh, R. T., Kjeldskov, J., Skov, M. B. & Stage, J., 2008, Handbook of Research on User Interface Design and Evaluation for Mobile Technology. Lumsden, J. (ed.). Canada: IGI global, Vol. 1-2.

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

File

Beskrivelse af agil udvikling og perspektiver for innovativ softwareudvikling

Aaen, I., 2008, Agil udvikling: letvægtsmetoder med fokus på inkrementel udvikling af indlejret og teknisk software. Skou, A., Aaen, I. & Biegel, J. (eds.). Aalborg: TEKKVA Consult, p. 13-34 22 p.

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

Combining Data Warehouse and Data Mining Techniques for Web Log Analysis

Pedersen, T. B., Jespersen, S. & Thorhauge, J., 2008, Data Mining and Warehousing: Concepts, Methodologies, Tools and Applications. Wang, J. (ed.). Hershey, PA, USA: IGI global, Vol. 6. p. 3364-3385

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

Data warehouses
World Wide Web
Data mining
Websites
Navigation

Competing Values in Software Process Improvement: An assumption analysis of CMM from an organizational culture perspective

Ngwenyama, O. & Nielsen, P. A., 2008, Global Information Systems: The Role of Culture in IS Management. Leidner, D. E. & Kayworth, T. R. (eds.). Oxford: Butterworth-Heinemann

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

CTL as an intermediate language

Jones, N. D. & Hansen, R. R., 2008, Verification, Model Checking, and Abstract Interpretation. Springer, p. 4- (Lecture Notes in Computer Science; No. 4905).

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

Developer Stories: Improving Architecture in Agile Practice: How Facilitating Knowledge Management and Putting the Customer in the Drivers Seat Enables Sound Architectural Design

Tjørnehøj, G., Jensen, R. N. & Platz, N., 2008, Software and Data Technologies: Software and Data TechnologiesSecond International Conference, ICSOFT/ENASE 2007, Barcelona, Spain, July 22-25, 2007, Revised Selected Papers. Filipe, J., Shishkov, B., Helfert, M. & Maciaszek, L. A. (eds.). Berlin Heidelberg: Springer, Vol. 22. p. 172-184

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

From Ethnography to Interface Design

Paay, J., 2008, Handbook of Research on User Interface Design and Evaluation for Mobile Technology. Lumsden, J. (ed.). IGI global

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

31 Citations (Scopus)

Improving Temporal Language Models for Determining Time of Non-timestamped Documents

Kanhabua, N. & Nørvåg, K., 2008, Proceedings of the 12th European conference on Research and Advanced Technology for Digital Libraries. p. 358-370 13 p.

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

Making Sense of Project Management

Kjærgaard, A., Kautz, K. & Nielsen, P. A., 2008, Software processes and knowledge: beyond conventional software process improvement. Nielsen, P. A. & Kautz, K. (eds.). Aalborg: Software Innovation Publisher, p. 71-88

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

Managerial and Organizational Assumptions in the CMM's

Rose, J., Aaen, I. & Nielsen, P. A., 2008, Software Processes and Knowledge: Beyond Conventional Software Process Improvement. Nielsen, P. A. & Kautz, K. (eds.). Aalborg: Software Innovation Publisher, p. 9-28 19 p.

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

1 Citation (Scopus)

Mini Project Programming Exams

Nørmark, K., Thomsen, L. L. & Torp, K., 2008, Reflections on the Teaching of Programming. Bennedsen, J., Caspersen, M. & Kölling, M. (eds.). Berlin Heidelberg: Springer, p. 228-242 (Lecture Notes in Computer Science : Programming and Software Engineering; No. 4821).

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

programming
syllabus
fraud
realism
computer science
8 Citations (Scopus)

Modelling with Relational Calculus of Object and Component Systems - rCOS

Chen, Z., Hannousse, A. H., Hung, D. V., Knoll, I., LI, X., Liu, Z., Liu, Y., Nan, Q., Okika, J. C., Ravn, A. P., Stolz, V., Yang, L. & Zhan, N., 2008, The Common Component Modeling Example: Comparing Software Component Models. Rausch, A., Reussner, R., Mirandola, R. & Plasil, F. (eds.). Berlin/Heidelberg: Springer, p. 116-145 (Lecture Notes in Computer Science; No. 5153).

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

7 Citations (Scopus)

Model-Theoretic Expressivity Analysis

Jaeger, M., 2008, Probabilistic Inductive Logic Programming: Theory and Applications. De Raedt, L., Frasconi, P., Kersting, K. & Muggleton, S. (eds.). Berlin/Heidelberg: Springer, p. 325-339 (Lecture Notes In Artificial Intelligence; No. 4911).

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

Risk Management in Robotics

Madsen, A. L., Kalwa, J. & Kjærulff, U. B., 2008, Bayesian Networks: A Practical Guide to Applications. Pourret, O., Naim, P. & Marcot, B. (eds.). Wiley, p. 345-364 20 p. (STATISTICS IN PRACTICE).

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

Social Network Analysis in Software Process Improvement

Nielsen, P. A. & Tjørnehøj, G., 2008, Software Processes and Knowledge: Beyond Conventional Software Process Improvement. Nielsen, P. A. & Kautz, K. (eds.). Aalborg: Software Innovation Publisher, p. 117-133

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

Software Development and Feedback from Usability Evaluations

Høegh, R. T., 2008, Interdisciplinary Aspects of Information Systems Studies. 2 ed. Heidelberg: Physica-Verlag, p. 47-53

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

Software engineering
Feedback
Costs

Software Process Improvement Using Light Knowledge Tools

Hosbond, J. H. & Nielsen, P. A., 2008, Software Processes and Knowledge: Beyond Conventional Software Process Improvement. Nielsen, P. A. & Kautz, K. (eds.). Aalborg: Software Innovation Publisher, p. 103-116

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

Standards, Processes and Practice

Mûller, S. D., Nielsen, P. A. & Nørbjerg, J., 2008, Software Processes and Knowledge: Beyond Conventional Software Process Improvement. Nielsen, P. A. & Kautz, K. (eds.). Aalborg: Software Innovation Publisher, p. 29-42

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

145 Citations (Scopus)

Testing Real-Time Systems Using UPPAAL

Hessel, A., Larsen, K. G., Mikucionis, M., Nielsen, B., Pettersson, P. & Skou, A., 2008, Formal Methods and Testing: An Outcome of the FORTEST Network, Revised Selected Papers. Berlin Heidelberg: Springer, p. 77-117 (Lecture Notes in Computer Science; No. 4949).

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

Real time systems
Model checking
Testing
Engineers

The Road to High Maturity: how the first Danish company reached CMMI level 5 in 100 months

Pries-Heje, J., Nørbjerg, J., Aaen, I. & Elisberg, T., 2008, Software Processes and Knowledge: Beyond Conventional Software Process Improvement. Nielsen, P. A. & Kautz, K. (eds.). Aalborg: Software Innovation Publisher, p. 163-191 29 p.

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

3 Downloads (Pure)

The Role of Improvisation in Adoption of Process Technology in a Small Software Firm

Tjørnehøj, G. & Mathiassen, L., 2008, Software Processes & Knowledge: Beyond Conventional Software Process Improvement. Nielsen, P. A. & Kautz, K. (eds.). Software Innovation Publisher, p. 135-162

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

1 Citation (Scopus)

Using Nested Surfaces for Visual Detection of Structures in Databases

Mazeika, A., Böhlen, M. H. & Mylov, P., 2008, Visual Data Mining: Theory, Techniques and Tools for Visual Analytics. Springer, p. 91-102 (Lecture Notes in Computer Science; No. 4404).

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

3 Citations (Scopus)

Using On-Line Tutorials in Introductory IT Courses

Thomsen, B., 2008, Reflections on the Teaching of Programming. Bennedsen, J., Caspersen, M. & Kölling, M. (eds.). Berlin Heidelberg: Springer, p. 68-74 (Lecture Notes in Computer Science : Programming and Software Engineering; No. 4821).

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

2007
1 Citation (Scopus)

Applications of HUGIN to diagnosis and control of autonomous vehicles

Madsen, A. L. & Kjærulff, U., 2007, Advances in probabilistic graphical models. Berlin / Heidelberg: IEEE Computer Society Press, p. 313-332 (Studies in Fuzziness and Soft Computing; No. 213).

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

Bayesian Networks as a Participatory Modelling Tool for Ground Water Protection

Henriksen, H. J., Rasmussen, P., Brandt, G., von Bülow, D. & Jensen, F. V., 2007, Topics on System Analysis and Integrated Water Resource Management. Castelletti, A. & Sessa, R. S. (eds.). Great Britain: Pergamon Press, 27 p.

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

Bio-Logics

Mardare, R. I., 2007, Grigore C. Moisil and His Followers in the Field of Theoretical Computer Science. Romanian Academy of Science

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

computer science

Combining Data Warehouse and Data Mining Techniques for Web Log Analysis

Pedersen, T. B., Jespersen, S. & Thorhauge, J., 2007, Research and Trends in Data Mining Technologies and Applications: Advances in Data Warehousing and Mining. IGI global, p. 1-28

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

Design Verifikation Patterns

Knudsen, J., Ravn, A. P. & Skou, A., 2007, Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjørner and Zhou Chaochen on the Occasion of Their 70th Birthdays. Jones, C., Liu, Z. & Woodcock, J. (eds.). Berlin /Heidelberg: Springer, p. 399-413 (Lecture Notes in Computer Science, Vol. 4700).

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

Embedded software
Software engineering
Semantics
Formal specification

Effective Processing of XML-Extended OLAP Queries Based on a Physical Algebra

Yin, X. & Pedersen, T. B., 2007, Contemporary Issues in Database Design and Information Systems Development. Hershey, New York, USA: IGI global, p. 192-242

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

169 Citations (Scopus)
356 Downloads (Pure)

Modal I/O Automata for Interface and Product Line Theories

Larsen, K. G., Nyman, U. & Wasowski, A., 2007, Programming Languages and Systems: 16th European Symposium on Programming, ESOP 2007Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007Braga, Portugal, March/April 2007, Proceedings. De Nicola, R. (ed.). IEEE Computer Society Press, p. 64-79 16 p. (Lecture Notes in Computer Science; No. 4421).

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

Open Access
File
3 Citations (Scopus)
260 Downloads (Pure)

Multi-currency Influence Diagrams

Nielsen, S. H., Nielsen, T. D. & Jensen, F. V., 2007, Advances in Probabilistic Graphical Models. Lucas, P., Gamez, J. & Salmeron, A. (eds.). Springer, Vol. 213. p. 275-294 (Studies in Fuzziness and Soft Computing, Vol. 213).

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

File
45 Citations (Scopus)

Semantic Web Technologies for the Adaptive Web

Dolog, P. & Nejdl, W., 2007, The Adaptive Web: Methods and Strategies of Web Personalization. Brusilovsky, P., Kobsa, A. & Nejdl, W. (eds.). Berlin / Heidelberg: Springer, p. 697-719 (Lecture Notes in Computer Science (LNCS), Vol. 4321).

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

Semantic Web
Ontology
Metadata
Data structures

Technology and Government: Extending the Double Dance of Agency

Rose, J., 2007, Perspectives on e-Government: technology & infrastructure, politics & organisation, interaction & communication. Kanstrup, A. M., Nyvang, T. & Sørensen, E. M. (eds.). Aalborg: Aalborg Universitetsforlag, p. 73-98

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

2 Citations (Scopus)

Tracking of moving objects with accuracy Guarantees

Jensen, C. S., Civilis, A. & Pakalnis, S., 2007, Spatial data on the web: modeling and management. Belussi, A., Catania, B., Clementini, E. & Ferrari, E. (eds.). Springer, p. 285-309

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

Training Sequences and their Effects on Task Performance and User Outcomes

Sanford, C. C., 2007, Integrating Information & Communications Technologies Into the Classroom. Tomei, L. (ed.). Hershey, PA USA: Idea Group Publishing, p. 111-132 22 p.

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

information technology
performance
self-efficacy
assimilation
student

Windows Mobile Programming

Wind, R., Jensen, C. S. & Torp, K., 2007, Mobile Phone Programming: and its Application to Wireless Networking. H.P. Fitzek, F. & Reichert, F. (eds.). The Netherlands: IEEE Computer Society Press, p. 207-236 29 p.

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

2006

Building IT Risk Management Approaches: An Action Research Method

Iversen, J. H., Mathiassen, L. & Nielsen, P. A., 2006, Measuring Information Systems Delivery Quality. Duggan, E. W. & Reichgelt, H. (eds.). Hershey, PA: Idea Group Publishing

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

Formalization in Component Based Development

Holmegaard, J. P., Knudsen, J., Makowski, P. & Ravn, A. P., 2006, Mathematical Frameworks for Component Software. Liu, Z. & He, J. (eds.). World Scientific, p. 255-281 27 p. (Component-Based Software Development; No. 2).

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

Semantics
Concretes
Chemical analysis

IS Action Research and Its Criteria

Nielsen, P. A., 2006, Information Systems Action Research: An Applied View on Emerging Concepts and Methods. Kock, N. (ed.). New York: Springer, Vol. 13. p. 355-376

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

2005
2 Citations (Scopus)

Mapping social networks in software process improvement: An action research study

Tjørnehøj, G. & Nielsen, P. A., 2005, Business Agility and Information Technology Diffusion. Baskerville, R. L., Mathiassen, L., PriesHeje, J. & DeGross, J. I. (eds.). Springer, Vol. 180. p. 73-90 18 p. (International Federation for Information Processing).

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

Multidimensional Databases

Pedersen, T. B. & Jensen, C. S., 2005, Industrial Information Technology Handbook. Zurawski, R. (ed.). CRC Press

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

Report on the Icelandic Centre of Excellence in Theoretical Computer Science

Aceto, L., Halldorsson, M. M. & Ingolfsdottir, A., 2005, Bulletin of the EATCS volume 86 (June 2005). Sassone, V. (ed.). EATCS, Vol. 86. p. 262-263 2 p. (Bulletin of the EATCS).

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

Tools for Verification and Validation

Larsen, K. G. & Nielsen, B., 2005, Embedded Systems Design: The ARTIST Roadmap for Research and Development. Bouyssounouse, B. & Sifakis, J. (eds.). Berlin / Heidelberg: IEEE Computer Society Press, p. 72 (Lecture Notes in Computer Science, Vol. 3436).

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

2004

Advances in Decision Graphs

Nielsen, T. D. & Jensen, F. V., 2004, Advances in Bayesian Networks. Gaméz, J.A : Moral, S. : Salmerón, A. (eds.) (ed.). London: IEEE Computer Society Press, p. 137-159 (Studies in Fuzziness and Soft Computing; No. 146).

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

21 Citations (Scopus)

Database Aspects of Location-Based Services

Jensen, C. S., 2004, Location-Based Services. Schiller, J. & Voisard, A. (eds.). Morgan Kaufmann, p. 115-147 33 p.

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

infrastructure
management
travel

Introduction

Andersen, P. B. & Qvortrup, L., 2004, Virtual Applications : Applications with Virtual Inhabited 3d Worlds. Lars Qvortrup : Peter Bøgh Andersen (Eds.) (ed.). London: IEEE Computer Society Press

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

I takt med Tiden

Behrmann, G., Nielsen, B. & Mikucionis, M., 2004, Rundt om CISS. Larsen, K., Vestergaard, L. & Bang, N. (eds.).

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

Knowledge-As-Relation: an IT-Outlook at the Future of Academic Institutions

Mathiassen, L., 2004, The Past and Future of Information Systems: a tribute to Niels Bjørn-Andersen. Andersen, K. V. & Vendelbo, M. T. (eds.). Butterworth-Heinemann, p. 203-215 13 p.

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

230 Downloads (Pure)

Lessons from Being There: Interface Design for Mobile Augmented Reality

Kjeldskov, J., 2004, Virtual Applications : Applications With Virtual Inhabited 3D Worlds. Andersen P. B. and Qvortrup L. (eds.) (ed.). London: Springer

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

File

Modeling Moving Machines

Andersen, P. B. & Nowack, P., 2004, Virtual Applications : Applications with Virtual Inhabited 3d Worlds. Lars Qvortrup & Peter Bøgh Andersen (Eds.) (ed.). London: IEEE Computer Society Press

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