Department of Computer Science

  • Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Denmark

Research Output

Filter
Book
Book

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

Clock Difference Diagrams

Larsen, K. G., Weise, C., Yi, W. & Pearson, J., 1998, Aalborg: Aalborg Universitetsforlag.

Research output: Book/ReportBookResearch

CMC: A Tool for Compositional Model-Checking of Real-Time Systems

Larsen, K. G. & Laroussinie, F., 1998, Aalborg: Aalborg Universitetsforlag.

Research output: Book/ReportBookResearch

Communication and Work on Maritime Bridges

Andersen, P. B., 2000, Aalborg: Aalborg Universitetsforlag.

Research output: Book/ReportBookResearch

Compositional and Symbolic Model: Checking of Real Time Systems

Larsen, K. G., Pettersson, P. & Yi, W., 1995

Research output: Book/ReportBookResearch

94 Citations (Scopus)

Compositional Safety Logics

Larsen, K. G. & Andersen, J. H., 1997, Århus : Daimi: Department of Computer Science, Aarhus University. (BRICS Report Series; No. RS-97-13).

Research output: Book/ReportBookResearch

Computer Aided Verification: 3rd International Workshop, CAV'91

Larsen, K. G. & Skou, A., 1992, Berlin: IEEE Computer Society Press.

Research output: Book/ReportBookCommunication

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

Computer-assisted Learning for Land Information Systems

Stubkjær, E., Dresling, A. & Höhle, J., 1988, Oslo: Norwegian Computing Centre.

Research output: Book/ReportBookCommunication

Conceptual Modeling of Time-Varying Information

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

Research output: Book/ReportBookResearch

Conceptual Modeling Spatiotemporal Applications

Tryfona, N. & Jensen, C. S., 1998, Aalborg: Aalborg Universitetsforlag. (Chorochronos Technical Report; No. CH-98-8).

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

Conditional Cost in the SACSO Troubleshooter

Langseth, H., 2000, Aalborg: Aalborg Universitetsforlag. (Technical Report : Department of Computer Science, Aalborg University).

Research output: Book/ReportBookResearch

Conditional for the SACSO Data to be Missing at Random

Langseth, H., 2000, Aalborg: Aalborg Universitetsforlag. (Technical Report : Department of Computer Science, Aalborg University).

Research output: Book/ReportBookResearch

Context Dependent Minimization of State/Event Systems

Behrmann, G., Kristoffersen, K. J. & Larsen, K. G., 1997, Aalborg: Aalborg Universitetsforlag.

Research output: Book/ReportBookResearch

Contracts for System Design

Benveniste, A., Caillaud, B., Nicovic, D., Passerone, R., Raclet, J-B., Reinkemeier, P., Sangiovanni-Vincentelli, A., Damm, W., Henzinger, T. & Larsen, K. G., 2018, Now Foundations and Trends. 293 p.

Research output: Book/ReportBookResearchpeer-review

Open Access
22 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

8 Citations (Scopus)

CPO Models for GSOS Languages, Part 1: Compact GSOS Languages

Aceto, L. & Ingolfsdottir, A., 1994, Århus : Daimi: Department of Computer Science, Aarhus University. 70 p. (BRICS Report Series; No. RS-94-40).

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

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

Data Exploration using Example-based Methods

Lissandrini, M., Mottin, D., Palpanas, T. & Velegrakis, Y., 2018, Morgan & Claypool Publishers. 164 p. (Synthesis Lectures on Data Management; No. 53).

Research output: Book/ReportBookResearchpeer-review

Data Managenent Technologies in Telcos

Böhlen, M. H., Jonker, W. & Revett, M., 2000, (EURESCOM Booklet).

Research output: Book/ReportBookResearch

Data Warehousing and Knowledge Discovery. 11th International Conference, DaWaK 2009 Linz, Austria, August 31-September 2, 2009 Proceedings

Pedersen, T. B., Mohania, M. & Tjoa, A. M., 2009, Springer. 478 p. (Lecture Notes in Computer Science; No. 5691).

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

Design and Implementation of an Efficient, Layered Video Codec for Heterogeneous Networks

Jensen, M. V. & Nielsen, B., 1998, Aalborg: Aalborg Universitetsforlag. (R : Institut for Elektroniske Systemer, Aalborg Universitet; No. R98-5008).

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

Designing www.LEGO.com/shop: Business Issues and Concerns

Damsgaard, J. & Hørlyck, J., 2000, Aarhus: Department of Management. (Teaching Case).

Research output: Book/ReportBookCommunication

Designing www.LEGO.com/shop: Business Issues and Concerns

Damsgaard, J. & Hørlyck, J., 1999, Aarhus: Department of Management. (Teaching Note).

Research output: Book/ReportBookCommunication

Design og implementation baseret på en generel grundstruktur for EDB-systemer: Dagbog fra et systemudviklingseksperiment

Translated title of the contribution: Design and Implementation based on a Generic Structure for Computer SystemsStage, J., 1990, Aalborg: Aalborg Universitetsforlag. (Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport; No. R 90-20).

Research output: Book/ReportBookResearch

Det begynder i skolen - En ATV-rapport om naturfagenes vilkår og fremtidige udviklingsmuligheder i grundskolen

Translated title of the contribution: Det begynder i skolen - En ATV-rapport om naturfagenes vilkår og fremtidige udviklingsmuligheder i grundskolenBohm, M., Bonnerup, E., Elberling, C., Jensen, C. S., Knudsen, C. P., Leffland, L., Lund, H. H., Olsen, N., Pallesen, L. & Sørensen, K., 2004, Akademiet for de Tekniske Videnskaber. 81 p.

Research output: Book/ReportBookResearch

Developing the Prototype Approach in Rapid Systems Modelling

Baskerville, R. L. & Stage, J., 1991, Aalborg: Aalborg Universitetsforlag. (Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport; No. R 91-35).

Research output: Book/ReportBookResearch

Diagnosing Metrics Practices in a Software Organization

Frederiksen, H. D. & Mathiasen, L. ., 2000, Aalborg: Aalborg Universitetsforlag.

Research output: Book/ReportBookResearch

Downward Causation: Minds, Bodies and Matter

Andersen, P. B., Emmeche, C. E. ., Finnemann, N. O. E. . & Christiansen, P. V. E. ., 2000, Aarhus: Aarhus Universitetsforlag.

Research output: Book/ReportBookResearch

Dynamic Modelling with Dynamo

Nørmark, K., 1996

Research output: Book/ReportBookResearch

Dynamic Models in Object-Oriented Design

Nørmark, K., 1996, Aalborg: Aalborg Universitetsforlag. (R : Institut for Elektroniske Systemer, Aalborg Universitet; No. R96-2005).

Research output: Book/ReportBookResearch

DYNAMO - A Set of Tools for Dynamic Modelling

Nørmark, K., 1996

Research output: Book/ReportBookResearch

Efficient Differential Timeslice Computation

Torp, K., Mark, K. L. & Jensen, C. S., 1994, Aalborg: Aalborg Universitetsforlag. (R : Institut for Elektroniske Systemer, Aalborg Universitet; No. R94-2055).

Research output: Book/ReportBookResearch

Efficient Tracking of Moving Objects with Precision Guarantees

Civilis, A., Jensen, C. S., Nenortaite, J. & Palalnis, S., 2004, 23 p. (1DB Technical Report; No. TR-5).

Research output: Book/ReportBookResearch

74 Citations (Scopus)

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

Engineering Adaptive Applications: A Domain Engineering Framework

Dolog, P., 2008, VDM Verlag.

Research output: Book/ReportBookResearch

Engineering Web Applications

Casteleyn, S., Daniel, F., Dolog, P. & Matera, M., 2009, XIII ed. Springer. 349 p. (Data Centric Systems and Applications; No. XIII).

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

Erfaringer med udvikling af undervisningsprogrammer om landinformationssystemer

Translated title of the contribution: Expierences at the Development of Educational Programs about Land Informations SystemsHöhle, J., Stubkjær, E. & Dresling, A., 1989, 135 p.

Research output: Book/ReportBookCommunication

Evaluating and Enhancing the Completeness of TSQL2

Böhlen, M., Jensen, C. S. & Snodgrass, R. T., 1995, USA: University of Arizona. (R-95-5).

Research output: Book/ReportBookResearch

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

21 Citations (Scopus)

Experience from Implementing Software Metrics for Benchmarking

Bøttcher, P. & Frederiksen, H. D., 2000, Aalborg: Aalborg Universitetsforlag.

Research output: Book/ReportBookResearch