Department of Computer Science

  • Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Denmark

Research Output 1987 2020

Filter
Book
2004

Supporting Intimacy: Mediating Strong-Tie Relationships

Kjeldskov, J., Howard, S., Vetere, F., Gibbs, M., Pedell, S. & Mecoles, K., 2004, University of Melbourne: Department of Information Systems. 130 p.

Research output: Book/ReportBookResearch

343 Downloads (Pure)

Synkromisering af XPath Views

Pedersen, D. & Pedersen, T. B., 2004, 22 p. (DB Tech Report; No. 7).

Research output: Book/ReportBookResearch

Open Access
File

The INFATI Data

Jensen, C. S., Lahrmann, H. S., Palalnis, S. & Runge, J., 2004, 10 p. (TimeCenter Technical Report; No. TR-79).

Research output: Book/ReportBookResearch

Query processing
Global positioning system
Railroad cars
2003

A Representation Theorem and Applications to Measure Selection and Noninformative Priors

Jaeger, M., 2003, 2003 ed. Max-Planck-Institut für Informatik. (MPI-I; No. MPI-I-2003-2-002).

Research output: Book/ReportBookResearch

9 Citations (Scopus)

A Tool Architecture for the Next Generation of Uppaal

Behrmann, G., David, A., Larsen, K. G. & Wang, Y., 2003, Uppsala University. (Reports; No. 2003-011).

Research output: Book/ReportBookResearch

Danfoss {EKC} Trial Project Deliverables

Larsen, K. G., Larsen, U., Nielsen, B., Skou, A. & Wasowski, A., 2003, December ed. Århus University: BRICS. 53 p. (BRICS RS; No. RS-03-48).

Research output: Book/ReportBookResearch

Longitudinal Usability Evaluation of IBM IPJ 2.3 Electronic Patient Record

Kjeldskov, J., Skov, M. & Stage, J., 2003, Aalborg: Aalborg Universitetsforlag. 60 p. (Usability Reports; No. U3).

Research output: Book/ReportBookResearch

Online On-the-Fly Testing of Real-time Systems

Mikucionis, M., Larsen, K. G. & Nielsen, B., 2003, September ed. Århus University: BRICS. 14 p. (BRICS RS; No. RS-03-49).

Research output: Book/ReportBookResearch

Organizing for Networked Information Technologies: readings in process integration and transformation articles

Damsgaard, J. (ed.), Hørlück, J. (ed.), Jensen, P. K. (ed.) & Rose, J. (ed.), 2003, Ny ed. Aalborg: Aalborg Universitetsforlag. 158 p.

Research output: Book/ReportBookCommunication

Proceedings of the Nineteenth Conference on Uncertainty in Artificial Intelligence

Kjærulff, U. B. . . & Meek, C. . ., 2003, Morgan Kaufmann Publishers, San Francisco: California. (Proceedings of the Nineteenth Conference on Uncertainty in Artificial Intelligence 2003).

Research output: Book/ReportBookResearch

Proceedings of the Seventh European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ESCQARU)

Nielsen, T. D. . . & Zhang, N. . ., 2003, Berlin-Heidelberg: IEEE Computer Society Press. (Lecture Notes In Artificial Intelligence; No. 2711).

Research output: Book/ReportBookResearch

Spatiotemporal Databases: The Chorochronos Approach

Sellis, T., Koubarakis, M., Frank, A., Grumbach, S., Güting, R. H., Jensen, C. S., Lorentzos, N., Manolopoulos, Y., Nardelli, E., Pernici, B., Schek, H. J., Scholl, M., Theodoulidis, B. & Tryfona, N. . ., 2003, Springer. (Lecture Notes in Computer Science; No. 2520).

Research output: Book/ReportBookResearch

Special Issue of Information Systems With Best Papers from EDBT

Jensen, C. S., 2003, 157 p. (Information Systems; No. 28, 1-2).

Research output: Book/ReportBookResearch

Special Issue of the IEEE Data Engineering Bulletin on Infrastructure for Research in Spatio-Temporal Query Processing

Jensen, C. S., 2003, 54 p. (IEEE Data Engineering Bulletin; No. 26, 2).

Research output: Book/ReportBookResearch

Special issue of the Journal on Logic and Algebraic Programming on Structural Operational Semantics

Aceto, L. & Fokkink, W. J., 2003, Pergamon Press.

Research output: Book/ReportBookResearch

Usability Evaluation of B-Data's Booking System for the Hospital of Frederikshavn

Translated title of the contribution: Usability Evaluation of B-Data's Booking System for the Hospital of Frederikshavn (in Danish),Kjeldskov, J., Skov, M. B. & Stage, J., 2003, Aalborg Universitetsforlag.

Research output: Book/ReportBookResearch

2002

A Formalization of Linkage Analysis

Ingolfsdottir, A., Christensen, A. I., Hansen, J. A., Johnsen, J., Knudsen, J. & Rasmussen, J. I., 2002, Århus: BRICS - Aarhus University. (B R I C S Report Series; No. RS-02-7).

Research output: Book/ReportBookResearch

A Note on an Expressiveness Hierarchy for Multi-exit Iteration

Aceto, L., Fokkink, W. J. & Ingolfsdottir, A., 2002, Århus: BRICS - Aarhus University. (B R I C S Report Series; No. RS-02-40).

Research output: Book/ReportBookResearch

11 Citations (Scopus)

A Performance Study of Distributed Timed Automata Reachability Analysis

Behrmann, G., 2002, Pergamon Press. (Electronical notes in theoretical computer science; No. 68).

Research output: Book/ReportBookResearch

Checking Consistency of Pedigree Information is NP-complete

Aceto, L., Hansen, J. A., Ingolfsdottir, A., Johnsen, J. & Knudsen, J., 2002, Århus: BRICS - Aarhus University. (B R I C S Report Series; No. RS-02-42).

Research output: Book/ReportBookResearch

Classification using Hierarchical Naive Bayes models

Langseth, H. & Nielsen, T. D., 2002, Aalborg: Aalborg Universitetsforlag. (Technical Report / Department of Computer Science; No. TR-02-004).

Research output: Book/ReportBookResearch

Computer Aided Verification: Proceding of the 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31 2002

Brinksma, E. & Larsen, K. G., 2002, Berlin: IEEE Computer Society Press. 626 p. (Lecture Notes in Computer Science; No. 2404).

Research output: Book/ReportBookResearch

8 Citations (Scopus)

Cost Modeling and Estimation for OLAP-XML Federations

Pedersen, D., K., R. & Pedersen, T. B., 2002, Aalborg: Aalborg Universitetsforlag. 19 p. (Technical Report / Department of Computer Science; No. R-02-5003).

Research output: Book/ReportBookResearch

Deciding Framed Bisimilarity

Huttel, H., 2002, Århus: BRICS - Aarhus University. (BRICS Research Report; No. RS-02-25).

Research output: Book/ReportBookResearch

Enhancing an Extensible Query Optimizer with Support for Multiple Equivalence Types

Slivinskas, G. & Jensen, C. S., 2002, Aalborg: Aalborg Universitet. 21 p. (TimeCenter Technical Report; No. TR-70).

Research output: Book/ReportBookResearch

21 Citations (Scopus)

Exact Acceleration of Real-Time Model Checking

Hendriks, M. & Larsen, K. G., 2002, Pergamon Press. (Electronic notes in theoretical science; No. 65).

Research output: Book/ReportBookResearch

Heuristic Inspection of DIASnet: an Interactive Simulation System for Diabetics

Kjeldskov, J., Skov, M. & Stage, J., 2002, Aalborg: Aalborg Universitet. (Internal Report of the Information Systems group).

Research output: Book/ReportBookResearch

Improving Software Organizations:From Principles to Practice

Mathiassen, L., Pries-Heje, J. & Ngwenyama, O., 2002, Boston: Addison-Wesley. 338 p. (The agile software development series).

Research output: Book/ReportBookResearch

On the Ontological Expressiveness of Temporal Extensions to the Entity-Relationship Model

Gregersen, H. & Jensen, C. S., 2002, Aalborg: Aalborg Universitet. (TimeCenter Technical Report; No. TR-69).

Research output: Book/ReportBookResearch

18 Citations (Scopus)

Query Optimization for OLAP-XML Federations

Pedersen, D., Riis, K. & Pedersen, T. B., 2002, Aalborg: Aalborg Universitet. 23 p. (R / Technical report; No. R-02-5004).

Research output: Book/ReportBookResearch

Regular Languages Definable by Lindström Quantifiers (Preliminary Version)

Ésik, Z. & Larsen, K. G., 2002, Århus: BRICS. (B R I C S Report Series; No. RS-02-21).

Research output: Book/ReportBookResearch

Usability Evaluation of Electronic Patient Journal IBM IPJ 2.3

Kjeldskov, J., Skov, M. & Stage, J., 2002, Aalborg: Aalborg Universitet. (Internal Reports of the Information Systems group).

Research output: Book/ReportBookResearch

Usability Evaluation of the WAP Service AutoLocate

Kjeldskov, J., Skov, M. & Stage, J., 2002, Aalborg: Aalborg Universitet. (Internal Report of the Information Systems group).

Research output: Book/ReportBookResearch

42 Citations (Scopus)

XML-Extended OLAP Querying

Pedersen, D., Riis, K. & Pedersen, T. B., 2002, Aalborg: Aalborg Universitetsforlag. 23 p. (Technical Report / Department of Computer Science; No. R-02-5001).

Research output: Book/ReportBookResearch

2001

Advanced Web Programming: JavaScript, PHP and SQL

Kjeldskov, J., 2001, Aalborg University: Department of Computer Science, Aalborg University. 55 p. (HCI Lab Technical Report; No. 2001/1).

Research output: Book/ReportBookResearch

An Introduction to Web Design Using Adobe GoLive 5

Kjeldskov, J. & Nyvang, T., 2001, Aalborg University: Department of Communication. 32 p.

Research output: Book/ReportBookResearch

An Operational Approach to Rational Decision making based on Rank Dependent Utility

Nielsen, T. D. & Jaffray, J-Y., 2001, Aalborg: Aalborg Universitetsforlag. (Research Report : Department of Computer Science, The Faculty of Engineering and Science, Aalborg University; No. R-01-5001).

Research output: Book/ReportBookResearch

Bayesian Networks and Decision Graphs

Jensen, F. V., 2001, New York: IEEE Computer Society Press. (Statistics for Engineering and Information Science).

Research output: Book/ReportBookResearch

CONCUR 2001 - Concurrency Theory: 12th International Conference Aalborg, Denmark, August 20 - 25, 2001

Larsen, K. G. & Nielsen, M. E. ., 2001, Berlin: IEEE Computer Society Press. (Lecture Notes in Computer Science; No. 2154).

Research output: Book/ReportBookResearch

Creating Interactive Web Content Using Macromedia Shockwave and Flash

Kjeldskov, J., 2001, Aalborg University: Department of Computer Science, Aalborg University. 64 p. (HCI Lab Technical Report; No. 2001/2).

Research output: Book/ReportBookResearch

Designing Interactive Websites Using Macromedia Dreamweaver 4

Kjeldskov, J., 2001, Aalborg University: Department of Computer Science, Aalborg University. 63 p. (HCI Lab Technical Report; No. 2001/3).

Research output: Book/ReportBookResearch

Designing Multimedia Applications Using Macromedia Director 8 Shockwave Studio

Kjeldskov, J., 2001, Aalborg University: Department of Computer Science, Aalborg University. 72 p. (HCI Lab Technical Report; No. 2001/4).

Research output: Book/ReportBookResearch

Efficient Verification of Real-Time Systems: Compact Data Structure and State-Space Reduction

Larsen, K. G., Larsson, F., Pettersson, P. & Yi, W., 2001

Research output: Book/ReportBookResearch

Fusion of Domain Knowledge with Data for Structural Learning in Object Oriented Domains

Langseth, H. & Nielsem, T. D., 2001

Research output: Book/ReportBookResearch

Information, Organisation and Technology: Studies in Organisational Semiotics

Liu, K. E. ., Clarke, R. J. E. ., Stamper, R. K. E. . & Andersen, P. B., 2001, Boston: Kluwer Academic Publishers.

Research output: Book/ReportBookResearch

Is your Model Checker on Time? On the Complexity of Model Checking for Timed Modal Logics

Aceto, L. & Laroussinie, F., 2001, Aalborg: Aalborg Universitetsforlag.

Research output: Book/ReportBookResearch

Knowledge Management in a Software Process Improvement Unit

Mathiassen, L. & Pourkomeylian, P. ., 2001, Aalborg: Aalborg Universitetsforlag.

Research output: Book/ReportBookResearch