Department of Computer Science

  • Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Denmark

Research Output

Filter
Book

A Menagerie of Non-Finitely Based Process Semantics over BPA: From Ready Simulation to Completed Traces

Aceto, L., Fokkink, W. J. & Ingolfsdottir, A., 1996, Århus : Daimi: Department of Computer Science, Aarhus University. 38 p. (BRICS Report Series; No. RS-96-23).

Research output: Book/ReportBookResearch

A Lisp Abstracted Markup Language for WWW Authoring

Nørmark, K., 1998

Research output: Book/ReportBookResearch

A Foundation for Conventional and Temporal Query Optimization

Slivinskas, G., Jensen, C. S. & Snodgrass, R. T., 2000, Aalborg: Aalborg Universitetsforlag. (Technical Report; No. TR-49).

Research output: Book/ReportBookResearch

A Formalization of Linkage Analysis

Ingolfsdottir, A., Christensen, A. I., Hansen, J. A., Johnsen, J., Knudsen, J. & Rasmussen, J. I., 2002, Århus: BRICS - Aarhus University. (B R I C S Report Series; No. RS-02-7).

Research output: Book/ReportBookResearch

A Fault Tolerant Mutual Exclusion Algorithm Handling Dynamic Processes using Message Passing

Krogh, J. & Justesen, J., 1999, Aalborg: Aalborg Universitetsforlag. (Technical Report : Department of Computer Science, Aalborg University).

Research output: Book/ReportBookResearch

Advanced Web Programming: JavaScript, PHP and SQL

Kjeldskov, J., 2001, Aalborg University: Department of Computer Science, Aalborg University. 55 p. (HCI Lab Technical Report; No. 2001/1).

Research output: Book/ReportBookResearch

A Disciplined Approach to Change Management

Bendix, L. G., 1999, Aalborg : Aalborg University: Department of Computer Science, Aalborg University. (R : Department of Computer Science, Aalborg University; No. R99-5001).

Research output: Book/ReportBookResearch

Adding Valid Time to SQL/Temporal: ANSI Expert's Contribution

Snodgrass, R. T., Böhlen, M. H., Jensen, C. S. & Steiner, A., 1996, (ANSI X3H2-96-501rl, ISO/IEC JTC1/SC21/WG3 DBL MAD-146r2 : International Organization for Standardization).

Research output: Book/ReportBookResearch

Adding Transaction Time to SQL/Temporal

Snodgrass, R. T., Böhlen, M. H., Jensen, C. S. & Steiner, A., 1996, (ANSI X3H2-96-502r2, ISO/IEC JTC1/SC21/WG3 DBL MC1-147r2 : International Organization for Standardization).

Research output: Book/ReportBookResearch

Actor Foundry: a QuickStart

Clausen, T. H., 1998, Aalborg : Aalborg University: Department of Computer Science, Aalborg University.

Research output: Book/ReportBookResearch

A Conceptual Modeling Language for Spatiotemporal Applications

Price, R., Tryfona, N. & Jensen, C. S., 1999, Aalborg: Aalborg Universitetsforlag. (Chorochronos Technical Report; No. CH-99-20).

Research output: Book/ReportBookResearch

A Computational Architecture for N-Way Sensitivity Analysis of Bayesian Networks

Coupé, V. M. H., Jensen, F. V., Kjærulff, U. B. & Gaag, L. C. V. D., 2000, Aalborg: Aalborg Universitetsforlag. (Technical Report : Department of Computer Science, Aalborg University).

Research output: Book/ReportBookResearch

A Component-Based Conceptual Model for Spatiotemporal Application Design

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

Research output: Book/ReportBookResearch

A Complete Equational Axiomatization for Prefix Iteration with Silent Steps

Aceto, L. & Ingolfsdottir, A., 1995, Århus : Daimi: Department of Computer Science, Aarhus University. 27 p. (BRICS Report Series; No. RS-95-5).

Research output: Book/ReportBookResearch

A Complete Equational Axiomatization for MPA with String Iteration

Aceto, L. & Groote, J. F., 1997, Amsterdam: Centrum voor Wiskunde en Informatica. (Report; No. SEN-R9708).

Research output: Book/ReportBookCommunication

A Complete Equational Axiomatization for MPA with String Iteration

Aceto, L. & Groote, J. F., 1995, Århus : Daimi: Department of Computer Science, Aarhus University. 39 p. (BRICS Report Series; No. RS-95-28).

Research output: Book/ReportBookResearch

A Complete Axiomatization of Timed Bisimulation for a Class of Timed Regular Behaviours

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

Research output: Book/ReportBookResearch

A Characterization of Finitary Bisimulation

Aceto, L. & Ingolfsdottir, A., 1997, Århus: Department of Computer Science, Aarhus University. (BRICS Report Series; No. RS-97-26).

Research output: Book/ReportBookResearch

3 Citations (Scopus)