Department of Computer Science

  • Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Denmark

Research Output 1987 2020

Filter
Book

Experimental Batch Plant: VHS Case Study 1 using Timed Automata and UPPAAL

Kristoffersen, K., Larsen, K. G., Pettersson, P. & Weise, C., 1999

Research output: Book/ReportBook

Experiments with TCP/IP in ATM High-Speed Data Communications

Henriksen, K., Hillemann, R. J., Piatraszek, W., Skou, A. & Aaen, M., 1995, Aalborg: Aalborg Universitetsforlag. (R : Institut for Elektroniske Systemer, Aalborg Universitet; No. R95-2026).

Research output: Book/ReportBookResearch

Extending Existing Dependency Theory to Temporal Databases

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

Research output: Book/ReportBookResearch

123 Downloads (Pure)

Extending OLAP Querying to External Object

Pedersen, T. B., Shoshani, A., Gu, J. & Jensen, C. S., 2000, Department of Computer Science: Aalborg Universitetsforlag. 22 p. (Technical Report; No. 00-5002).

Research output: Book/ReportBookResearch

Open Access
File
Processing
Agglomeration
Data integration
Data structures
Semantics
223 Downloads (Pure)

Extending Practical Pre-Aggregation in On-Line Analytical Processing

Pedersen, T. B., Jensen, C. S. & Dyreson, C. E., 1999, Department of Computer Science: Aalborg Universitetsforlag. 33 p. (Technical Report; No. 99-5004).

Research output: Book/ReportBookResearch

Open Access
File
Agglomeration
Processing
Health care
Computational complexity
Costs

Fieldbook: Developing embedded systems & smart products in practice

Jensen, H. V., Agesen, M. K., Nyman, U. M. & Wolff, S., 1 Mar 2016, København V: Dansk industri. 83 p.

Research output: Book/ReportBookCommunication

Open Access

Fieldbook: Udvikling af embedded systemer & smarte produkter i praksis: Lav din virksomheds eget roadmap

Jensen, H. V., Agesen, M. K., Nyman, U. M. & Wolff, S., 10 Oct 2015, København V: Dansk industri. 80 p.

Research output: Book/ReportBookCommunication

Open Access

Formal Modeling and Analysis of Timed Systems

Larsen, K. G. & Niebert, P., 2004, Springer. 281 p. (Lecture Notes in Computer Science; No. 2791).

Research output: Book/ReportBook

Formal methods
Real time systems
Petri nets
Algebra

Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International Symposium, FTRTFT '98, Lyngby, Denmark, September 14-18, 1998

Ravn, A. P. & Rischel, H. E. ., 1998, Berlin: IEEE Computer Society Press. (Lecture Notes in Computer Science; No. 1486).

Research output: Book/ReportBook

Formelle teknikker til specifikation og verifikation af Modula-2 programmer

Translated title of the contribution: Formal Techniques for Specification and Verification of Modula-2 ProgramsStage, J., 1990, Aalborg: Aalborg Universitetsforlag. (Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport; No. R 90-40).

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

General Programs and Open Points

Nørmark, K., 1989, Aalborg: Institut for Elektroniske Systemer, Aalborg Universitet. (Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport; No. 1989 : R 89-3).

Research output: Book/ReportBookCommunication

Graph Abstractions as the basis of an Extensible Graph Editing Tool

Larsen, N. C., Molz, M. K. & Nørmark, K., 1998

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

Heuristics for Hierarchical Partitioning with Application to Model Checking

Möller, O. M. & Alur, R., 2000, Aahus : Department of Computer Science: University of Aarhus. (B R I C S Report Series; No. RS-00-21).

Research output: Book/ReportBookResearch

HLCL '98: High-Level Concurrent Languages, Nice, France, September 12, 1998

Nestmann, U. E. . & Pierce, B. C. E. ., 1998, Pergamon Press. (Electronic Notes in Theoretical Computer Science; No. Vol. 16.3).

Research output: Book/ReportBookResearch

Hooks and Supporting Tools in a LISP Environment

Nørmark, K., 1989, Aalborg: Institut for Elektroniske Systemer, Aalborg Universitet. (Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport; No. 1989 : R 89-4).

Research output: Book/ReportBookCommunication

How to introduce Maturity in Software Change Management

Bendix, L., 1998, Aalborg: Aalborg Universitetsforlag. (R : Institut for Elektroniske Systemer, Aalborg Universitet; No. R98-5012).

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

Incremental Join of Time-Oriented Data

Pfoser, D. & Jensen, C. S., 1998, Aalborg: Aalborg Universitetsforlag. (Technical Report; No. TR-34).

Research output: Book/ReportBookResearch

Indeterminacy and Spatiotemporal Data: the Moving Point Object Case

Pfoser, D., Tryfona, N. & Jensen, C. S., 2004, (Computer Technology Institute Technical Report; No. 2004/02/03).

Research output: Book/ReportBookResearch

Indexing the Past, Present and Anticipated Future Positions of Moving Objects

Pelanis, M., Saltenis, S. & Jensen, C. S., 2004, 30 p. (TimeCenter Technical Report; No. TR-78).

Research output: Book/ReportBook

Monitoring
Communication

Indexing Trajectories of Moving Point Objects

Pfoser, D., Theodoridis, Y. & Jensen, C. S., 1999, Aalborg: Aalborg Universitetsforlag. (Chorochronos Technical Report; No. CH-99-3).

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

572 Downloads (Pure)

Integration af XML Data i TARGIT OLAP Systemet

Pedersen, D., Pedersen, J. & Pedersen, T. B., 2004, Electrical Engineering/Electronics, Computer, Communications and Information Technology Association. 21 p. (Data Engineering; No. 8).

Research output: Book/ReportBook

Open Access
File

Intermediate Joint Action Plan, D4.2

Adrians, G., De Colvenaer, M., Murillo, C., Nielsen, P. A., Nøhr, B., Skou, A. J., Urtiaga, C., Thiel, C. & Aaen, I., 30 Apr 2015

Research output: Book/ReportBookResearch

Open Access

Internethåndbogen

Andersen, K. V., Kraft, B. & Damsgaard, J., 1998, Kbh.: Børsen.

Research output: Book/ReportBookResearch

114 Downloads (Pure)
Open Access
File

IRIS 18: Report of the 18th Information Systems Research Seminar in Scandinavia

Dahlbom, B. E. ., Kämmerer, F. E. ., Ljungberg, F. E. ., Stage, J. E. . & Sørensen, C. E. ., 1995, Gothenburg: Departments of Informatics. (Gothenburg Studies in Informatics; No. Report 7).

Research output: Book/ReportBook

IRIS 19: Report of the 19th Information Systems Research Seminar in Scandinavia

Dahlbom, B. E. ., Ljungberg, F. E. ., Nuldén, U. E. ., Simon, K. E. ., Stage, J. E. . & Sørensen, C. E. ., 1996, Gothenburg: Departments of Informatics. (Gothenburg Studies in Informatics; No. Report 8).

Research output: Book/ReportBook

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

Kvalitetsstyring i Systemudvikling

Bang, S., Mathiassen, L. & al., E., 1991, København: Nyt Teknisk Forlag.

Research output: Book/ReportBookResearch

Large-Scale Graph Processing Using Apache Giraph

Sakr, S., Orakzai, F. M., Abdelaziz, I. & Khayyat, Z., 2016, Springer Publishing Company. 197 p.

Research output: Book/ReportBook

Open Access

Lazy Propagation in Junction Trees

Madsen, A. L. & Jensen, F. V., 1998, Aalborg: Aalborg Universitetsforlag. (R : Institut for Elektroniske Systemer, Aalborg Universitet; No. R98-5001).

Research output: Book/ReportBookResearch

272 Downloads (Pure)

Learning and Using Methodologies in Information Systems Analysis and Design

Nielsen, P. A., 1990, : Dept. of Systems and Information Management: Lancaster University.

Research output: Book/ReportBook

Open Access
File

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

Mapping Temporal ER Diagrams to Relational Schemas

Gregersen, H., Mark, L. & Jensen, C. S., 1998, Aalborg: Aalborg Universitetsforlag. (Technical Report; No. TR-39).

Research output: Book/ReportBookResearch

9 Citations (Scopus)

Minimizing Detail Data in Data Warehouses

Akinde, M., Jensen, O. G. & Böhlen, M., 1998, Aalborg: Aalborg Universitetsforlag. (R : Institut for Elektroniske Systemer, Aalborg Universitet; No. R98-5002).

Research output: Book/ReportBook

Mobile interactions in context: a designerly way toward digital ecology

Kjeldskov, J., 2014, Morgan & Claypool Publishers. 119 p. (Synthesis Lectures on Human-Centered Informatics).

Research output: Book/ReportBook

Model Checking via Reachability Testing for Timed Automata

Aceto, L., Burgueño, A. & Larsen, K. G., 1997, Århus : Daimi: Department of Computer Science, Aarhus University. (BRICS Report Series; No. RS-97-29).

Research output: Book/ReportBook

Modification of Now-Relative Databases

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

Research output: Book/ReportBookResearch

Multidimensional Databases and Data Warehousing

Jensen, C. S., Pedersen, T. B. & Thomsen, C., 2010, Morgan & Claypool Publishers. 112 p. (Synthesis Lectures on Data Management; No. 9).

Research output: Book/ReportBookResearchpeer-review

Data base
Data warehousing
Join
Data modeling
Materialized views

Multidimensional Data Modeling for Complex Data

Pedersen, T. B. & Jensen, C. S., 1998, Aalborg: Aalborg Universitetsforlag. (Technical Report; No. TR-37).

Research output: Book/ReportBookResearch

Novel Approaches in Query Processing for Moving Objects

Pfoser, D., Jensen, C. S. & Theodoridis, Y., 2000, Aalborg: Aalborg Universitetsforlag. (Chorochronos Technical Report; No. CH-00-03).

Research output: Book/ReportBookResearch