• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer 1987 2020

Filter
Bog

R-Tree Based Indexing of General Spatio-Temporal Data

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

R-tree Based Indexing of Now-Relative Bitemporal Data

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

3 Citationer (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; Nr. R95-2012).

Publikation: Bog/antologi/afhandling/rapportBogForskning

66 Citationer (Scopus)

Semantics of Time-Varying Information

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

Sensitivity Analysis in Bayesian Troubleshooting Models

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

Sensitivity Analysis in Gaussian Networks

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

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; Nr. 1990 : R 90-01).

Publikation: Bog/antologi/afhandling/rapportBogFormidling

Soft Evidential Update for Probabilistic Multi-Agent Systems

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

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

Rose, J., 2011, Software Innovation, Aalborg University.

Publikation: Bog/antologi/afhandling/rapportBogForskning

5677 Downloads (Pure)

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

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

Publikation: Bog/antologi/afhandling/rapportBogFormidling

Åben adgang
Fil
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; Nr. 1678).

Publikation: Bog/antologi/afhandling/rapportBogForskning

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; Nr. 2520).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Spatio-Temporal Database Support for Legacy Applications

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

Special issue: best papers of VLDB 2005

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

Special Issue of Information Systems With Best Papers from EDBT

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

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

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

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

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

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

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

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; Nr. RS-95-60).

Publikation: Bog/antologi/afhandling/rapportBogFormidling

Specification-Based Data Reduction in Dimensional Data Warehouses

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

863 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 s. (Technical Report; Nr. 01-5003).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Åben adgang
Fil
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; Nr. TR-5).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Structural Operational Semantics

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

Struggling with Quality - a Philosophy for Computer Professionals

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

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 s. (1DB Technical Report; Nr. TR-6).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Information management
Throughput
Hardware
Data storage equipment
Sensors
31 Citationer (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; Nr. R99-5003).

Publikation: Bog/antologi/afhandling/rapportBogForskning

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

338 Downloads (Pure)

Synkromisering af XPath Views

Bidragets oversatte titel: Synchronizing XPath ViewsPedersen, D. & Pedersen, T. B., 2004, 22 s. (DB Tech Report; Nr. 7).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Åben adgang
Fil

Synthesis of Program Outlines from Dynamic Models in DYNAMO

Nørmark, K., 1997

Publikation: Bog/antologi/afhandling/rapportBogForskning

Synthesis of Program Outlines from Scenarios in DYNAMO

Nørmark, K., 1997

Publikation: Bog/antologi/afhandling/rapportBogForskning

Systematic Change Management in Dimensional Data Warehousing

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

Temporal Data Management

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

Temporal Entity-Relationship Models: a Survey

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

Test af Software: Test af indlejret og teknisk software

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

Publikation: Bog/antologi/afhandling/rapportBogFormidling

Testing Probabilistic and Nondeterministic Processes

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

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; Nr. R98-5011).

Publikation: Bog/antologi/afhandling/rapportBogForskning

The INFATI Data

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

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; Nr. RS-99-33).

Publikation: Bog/antologi/afhandling/rapportBogForskning

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

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

Publikation: Bog/antologi/afhandling/rapportBogFormidling

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

32 Citationer (Scopus)

The Software Factory: Contributions and Illusions

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

The TSQL2 Data Model

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

TimeCenter Prospectus

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

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; Nr. 1019).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Tool Supported Validation of Timed and Hybrid Systems

Larsen, K. G., 2000

Publikation: Bog/antologi/afhandling/rapportBogFormidling

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; Nr. 98/14C).

Publikation: Bog/antologi/afhandling/rapportBogFormidling

Transforming a Method Department: From Technology Supplier to Service Provider

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

Transitioning Temporal Support in TSQL2 to SQL3

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

2 Citationer (Scopus)

Transitions and Trees: An Introduction to Structural Operational Semantics

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

Publikation: Bog/antologi/afhandling/rapportBogUndervisningpeer review

Programming Languages
Semantic Equivalence
Induction
Undergraduate
Procedural