Department of Computer Science

  • Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Denmark

Research Output 1987 2020

Filter
Book
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

Writing Internal Documentation

Vestdam, T., 2001

Research output: Book/ReportBookResearch

What is Theoretical Computer Science? (Preliminary Version)

Aceto, L. & Ingolfsdottir, A., 2005, Århus: BRICS. 13 p. (B R I C S Notes Series; No. NS-05-1).

Research output: Book/ReportBookCommunication

Well-Defined Decision Scenarios

Nielsen, T. D. & Jensen, F. V., 2001, Aalborg: Aalborg Universitetsforlag. (Research Report : Department of Computer Science, The Faculty of Engineering and Science, Aalborg University; No. R-01-5002).

Research output: Book/ReportBookResearch

Web Mining and Social Networking: Techniques and Applications

Xu, G., Zhang, Y. & Li, L., Jun 2011, 1 ed. New York: Springer Science+Business Media. 210 p. (Web Information Systems Engineering and Internet Technologies Book Series, Vol. 2011/6).

Research output: Book/ReportBookResearch

Recommender systems
Electric network analysis
Information management
Data mining
Industry

Web Engineering - 13th International Conference, ICWE 2013, Aalborg, Denmark, July 8-12, 2013. Proceedings

Daniel, F. (ed.), Dolog, P. (ed.) & Li, Q. (ed.), 1 Jul 2013, Springer VS. (Lecture Notes in Computer Science, Vol. 7977).

Research output: Book/ReportBookResearchpeer-review

Verification of Timed and Hybrid Systems

Larsen, K. G., 2000, Springer. 3 p.

Research output: Book/ReportBookResearch

Verification of State/Event Systems by Quotienting

Bodentien, N. O., Vestergaard, J., Friis, J., Kristoffersen, K. & Larsen, K. G., 1999, (B R I C S Report Series; No. RS-99-41).

Research output: Book/ReportBookResearch

Valid-Time Selection and Projection in TSQL2

Hsu, S., Jensen, C. S. & Snodgrass, R. T., 1994, Aalborg: Aalborg Universitetsforlag. (R : Institut for Elektroniske Systemer, Aalborg Universitet; No. R94-2052).

Research output: Book/ReportBookResearch

Validation of Concurrent Processes with Emphasis on Testing

Skou, A., 1989, Aalborg: Institut for Elektroniske Systemer, Aalborg Universitet. (Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport; No. 1989 : R 89-46).

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

Vacuuming in TSQL2

Jensen, C. S., 1994, Aalborg: Aalborg Universitetsforlag. (R : Institut for Elektroniske Systemer, Aalborg Universitet; No. R94-2049).

Research output: Book/ReportBookResearch

Using Web Data in the Medical Domain: Proceedings of the First International Workshop on Web Science and Information Exchange in the Medical Web, MedEx 2010

Denecke, K. (ed.), Dolog, P. (ed.), Smrz, P. (ed.), Linge, J. (ed.), Nejdl, W. (ed.) & Stewart, A. (ed.), 8 Apr 2010, CEUR Workshop Proceedings.

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

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 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

Understanding eParticipation: Contemporary PhD eParticipation Research in Europe

Avdic, A., Hedström, K., Rose, J. & Grönlund, Å., 2007, Örebro: Örebro University Library.

Research output: Book/ReportBookResearch

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

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

2 Citations (Scopus)

Transitions and Trees: An Introduction to Structural Operational Semantics

Hüttel, H., 2010, Cambridge University Press. 290 p.

Research output: Book/ReportBookEducationpeer-review

Programming Languages
Semantic Equivalence
Induction
Undergraduate
Procedural

Transitioning Temporal Support in TSQL2 to SQL3

Snodgrass, R. T., Böhlen, M., Jensen, C. S. & Steiner, A., 1997, Aalborg: Aalborg Universitetsforlag. (Technical Report; No. TR-8).

Research output: Book/ReportBookResearch

Transforming a Method Department: From Technology Supplier to Service Provider

Andersson, I., Mathiassen, L. & Nielsson, K. ., 2001, Aalborg: Aalborg Universitetsforlag.

Research output: Book/ReportBookResearch

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

Tool Supported Validation of Timed and Hybrid Systems

Larsen, K. G., 2000

Research output: Book/ReportBookCommunication

Tools and Algorithms for the Construction and Analysis of Systems

Brinksma, E. E. ., Cleaveland, W. R. E. ., Larsen, K. G., Margari, T. E. ., Skou, A. E. . & Steffen, B. E. ., 1995, Berlin: IEEE Computer Society Press. (Lecture Notes in Computer Science; No. 1019).

Research output: Book/ReportBookResearch

TimeCenter Prospectus

Jensen, C. S. & Snodgrass, R. T., 1997, Aalborg: Aalborg Universitetsforlag. (Technical Report).

Research output: Book/ReportBookResearch

The TSQL2 Data Model

Jensen, C. S., Snodgrass, R. T. & Soo, M. D., 1994, Aalborg: Aalborg Universitetsforlag. (R : Institut for Elektroniske Systemer, Aalborg Universitet; No. R94-2051).

Research output: Book/ReportBookResearch

32 Citations (Scopus)

The Software Factory: Contributions and Illusions

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

Research output: Book/ReportBookResearch

The SACSO System for troubleshooting of Printing Systems

Jensen, F. V., Jensen, C. S. & Kjærulff, U. B., 2000, Aalborg: Aalborg Universitetsforlag. (Technical Report : Department of Computer Science, Aalborg University).

Research output: Book/ReportBookResearch

The Quest for Equational Axiomatizations of Parallel Composition: Status and Open Problems

Aceto, L. & Fokkink, W., 2005, Århus. 6 p. (B R I C S Notes Series; No. NS-05-3).

Research output: Book/ReportBookCommunication

Parallel Composition
Formal Languages
Composition Operator
Axiomatization
Open Problems

The Max-Plus Algebra of the Natural Numbers has no Finite Equational Basis

Aceto, L., Ésik, Z. & Ingolfsdottir, A., 1999, (B R I C S Report Series; No. RS-99-33).

Research output: Book/ReportBookResearch

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

The Design and Implementation of ZCRP Zero Copying Reliable Protocol

Christiansen, M., Hagen, J. L., Nielsen, B., Skou, A. & Skov, K. Q., 1998, Aalborg : Aalborg University: Department of Computer Science, Aalborg University. (R : Department of Computer Science, Aalborg University; No. R98-5011).

Research output: Book/ReportBookResearch

Testing Probabilistic and Nondeterministic Processes

Yi, W. & Larsen, K. G., 1992, North-Holland.

Research output: Book/ReportBookResearch

Test af Software: Test af indlejret og teknisk software

Skou, A. (ed.), Nielsen, B. (ed.) & Biegel, J. (ed.), 2009, Aalborg: CISS, Aalborg Universitet. 85 p.

Research output: Book/ReportBookCommunication

Temporal Entity-Relationship Models: a Survey

Gregersen, H. & Jensen, C. S., 1996, Aalborg: Aalborg Universitetsforlag. (R : Institut for Elektroniske Systemer, Aalborg Universitet; No. R96-2039).

Research output: Book/ReportBookResearch

Temporal Data Management

Jensen, C. S. & Snodgrass, R. T., 1997, Aalborg: Aalborg Universitetsforlag. (Technical Report; No. TR-17).

Research output: Book/ReportBookResearch

Systematic Change Management in Dimensional Data Warehousing

Bliujute, R., Saltenis, S., Slivinskas, G. & Jensen, C. S., 1998, Aalborg: Aalborg Universitetsforlag. (Technical Report; No. TR-23).

Research output: Book/ReportBookResearch

Synthesis of Program Outlines from Scenarios in DYNAMO

Nørmark, K., 1997

Research output: Book/ReportBookResearch

Synthesis of Program Outlines from Dynamic Models in DYNAMO

Nørmark, K., 1997

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

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

31 Citations (Scopus)

Supporting Imprecision in Multidimensional Databases using Granularities

Pedersen, T. B., Jensen, C. S. & Dyreson, C. E., 1999, Aalborg : Aalborg University: Department of Computer Science, Aalborg University. (R : Department of Computer Science, Aalborg University; No. R99-5003).

Research output: Book/ReportBookResearch

Supporting Frequent Updates in R-Trees: A Bottom-Up Approach

Lee, M. L., Hsu, W., Jensen, C. S., Cui, B. & Teo, K. L., 2004, 23 p. (1DB Technical Report; No. TR-6).

Research output: Book/ReportBookResearch

Information management
Throughput
Hardware
Data storage equipment
Sensors

Struggling with Quality - a Philosophy for Computer Professionals

Dahlbom, B. & Mathiassen, L., 1992, Göteborg: Chalmers tekniska högskola.

Research output: Book/ReportBookResearch

Structural Operational Semantics

Aceto, L., Fokkink, W. & Verhoef, C., 2000, Aalborg: Aalborg Universitetsforlag.

Research output: Book/ReportBookResearch

Stratum Approaches to Temporal DBMS Implementation

Torp, K., Jensen, C. S. & Snodgrass, R. T., 1997, Aalborg: Aalborg Universitetsforlag. (Technical Report; No. TR-5).

Research output: Book/ReportBookResearch

871 Downloads (Pure)

Specifying OLAP Cubes On XML Data

Jensen, M. R., Møller, T. H. & Pedersen, T. B., 2001, Department of Computer Science: Aalborg Universitetsforlag. 22 p. (Technical Report; No. 01-5003).

Research output: Book/ReportBookResearch

Open Access
File
XML
Processing
Data integration
Industry
Data warehouses

Specification-Based Data Reduction in Dimensional Data Warehouses

Skyt, J., Jensen, C. S. & Pedersen, T. B., 2001, Aalborg: Aalborg Universitetsforlag. 31 p.

Research output: Book/ReportBookResearch