Department of Computer Science

  • Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Denmark

Research Output 1987 2020

Filter
Book

R-Tree Based Indexing of General Spatio-Temporal Data

Saltenis, S. & Jensen, C. S., 1999, Aalborg: Aalborg Universitetsforlag. (Technical Report; No. TR-45).

Research output: Book/ReportBookResearch

R-tree Based Indexing of Now-Relative Bitemporal Data

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

Research output: Book/ReportBookResearch

3 Citations (Scopus)

Semantics of Time-Varying Attributes and Their use for Temporal Database Design

Jensen, C. S. & Snodgrass, R. T., 1995, Aalborg: Aalborg Universitetsforlag. (R : Institut for Elektroniske Systemer, Aalborg Universitet; No. R95-2012).

Research output: Book/ReportBookResearch

66 Citations (Scopus)

Semantics of Time-Varying Information

Jensen, C. S. & Snodgrass, R. T., 1996, Aalborg: Aalborg Universitetsforlag. (R : Institut for Elektroniske Systemer, Aalborg Universitet; No. R96-2008).

Research output: Book/ReportBookResearch

Sensitivity Analysis in Bayesian Troubleshooting Models

Kjærulff, U. B. & Sochorovà, M., 2000, Aalborg: Aalborg Universitetsforlag. (Technical Report : Department of Computer Science, Aalborg University).

Research output: Book/ReportBookResearch

Sensitivity Analysis in Gaussian Networks

Castillo, E., Kjærulff, U. B. & Gaag, L. C. V. D., 2000, Aalborg: Aalborg Universitetsforlag.

Research output: Book/ReportBookResearch

Simulation of Object-Oriented Concept and Mechanisms in Scheme

Nørmark, K., 1990, Aalborg: Institut for Elektroniske Systemer, Aalborg Universitet. (Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport; No. 1990 : R 90-01).

Research output: Book/ReportBookCommunication

Soft Evidential Update for Probabilistic Multi-Agent Systems

Valtorta, M., Kim, Y. G. & Vomlel, J., 2000

Research output: Book/ReportBookResearch

5710 Downloads (Pure)

Software Innovation: Eight work-style heuristics for creative system developers

Rose, J., 2010, Aalborg: Software Innovation, Aalborg University. 153 p.

Research output: Book/ReportBookCommunication

Open Access
File
Innovation
Application programs
Education
Engineers

Spatio-Temporal Database Management: International Workshop STDBM'99, Edinburgh, Scotland, September 10-11, 1999

Böhlen, M. H. E. ., Jensen, C. S. & Scholl, M. E. ., 1999, Berlin: IEEE Computer Society Press. (Lecture Notes in Computer Science; No. 1678).

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

Spatio-Temporal Database Support for Legacy Applications

Böhlen, M., Jensen, C. S. & Skjellaug, B., 1997, Aalborg: Aalborg Universitetsforlag. (Technical Report; No. TR-20).

Research output: Book/ReportBookResearch

Special issue: best papers of VLDB 2005

Haas, L. M., Jensen, C. S. & Kersten, M. L., 2007, Association for Computing Machinery. 164 p.

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 Journal of Logic and Algebraic Programming on Structural Operational Semantics

Aceto, L. & Fokkink, W., 2004, Pergamon Press. 463 p. (Journal of Logic and Algebraic Programming; No. vols. 60-61).

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

Specification and Automated Verification of Real-Time Behaviour: A Case Study

Andersen, J. H., Kristensen, C. H. & Skou, A., 1995, Århus: Department of Computer Science, Aarhus University. (BRICS Report Series; No. RS-95-60).

Research output: Book/ReportBookCommunication

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

866 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

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

Structural Operational Semantics

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

Research output: Book/ReportBookResearch

Struggling with Quality - a Philosophy for Computer Professionals

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

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

342 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

Synthesis of Program Outlines from Dynamic Models in DYNAMO

Nørmark, K., 1997

Research output: Book/ReportBookResearch

Synthesis of Program Outlines from Scenarios in DYNAMO

Nørmark, K., 1997

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

Temporal Data Management

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

Research output: Book/ReportBookResearch

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

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

Testing Probabilistic and Nondeterministic Processes

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

Research output: Book/ReportBookResearch

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

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

32 Citations (Scopus)

The Software Factory: Contributions and Illusions

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

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

TimeCenter Prospectus

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

Research output: Book/ReportBookResearch

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

Tool Supported Validation of Timed and Hybrid Systems

Larsen, K. G., 2000

Research output: Book/ReportBookCommunication

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

Transforming a Method Department: From Technology Supplier to Service Provider

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

Research output: Book/ReportBookResearch

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

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