Department of Computer Science

  • Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Denmark

Research Output 1987 2020

Filter
Book
3 Citations (Scopus)

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

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

Actor Foundry: a QuickStart

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

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

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

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

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

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 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 Lisp Abstracted Markup Language for WWW Authoring

Nørmark, K., 1998

Research output: Book/ReportBookResearch

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

An Algebra for TSQL2

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

Research output: Book/ReportBookResearch

537 Downloads (Pure)

Analyzing Clickstreams

Andersen, J., Giversen, A., Jensen, A. H., Larsen, R. S., Pedersen, T. B. & Skyt, J., 2000, Department of Computer Science: Aalborg Universitetsforlag. 19 p. (Technical Report; No. 00-5001).

Research output: Book/ReportBookResearch

Open Access
File
XML
Processing
Data integration
Industry
Data warehouses

An Equational Axiomatization for Multi-Exit Iteration

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

Research output: Book/ReportBookResearch

An Evaluation of Eiffel as the first Object-Oriented Programming Language in the CS Curriculum

Nørmark, K., 1995, Aalborg: Aalborg Universitetsforlag. (R : Institut for Elektroniske Systemer, Aalborg Universitet; No. R95-2017).

Research output: Book/ReportBookResearch

An Evaluation of TSQL2

Snodgrass, R. T., Ahn, I., Ariav, G., Bayer, P., Clifford, J., Dyreson, C. E., Grandi, F., Hermosilla, L., Jensen, C. S., Käfer, W., Kline, N., Kulkarni, K., Leung, T. Y. C., Lorentzos, N., Mitsopoulos, Y., Roddick, J. F., Soo, M. D. & Sripada, S. M., 1994, Aalborg: Aalborg Universitetsforlag.

Research output: Book/ReportBookResearch

An Introduction to Bayesian Networks

Jensen, F. V., 1996, London: UCL Press.

Research output: Book/ReportBookResearch

An Introduction to Web Design Using Adobe GoLive 5

Kjeldskov, J. & Nyvang, T., 2001, Aalborg University: Department of Communication. 32 p.

Research output: Book/ReportBookResearch

An Operational Approach to Rational Decision making based on Rank Dependent Utility

Nielsen, T. D. & Jaffray, J-Y., 2001, Aalborg: Aalborg Universitetsforlag. (Research Report : Department of Computer Science, The Faculty of Engineering and Science, Aalborg University; No. R-01-5001).

Research output: Book/ReportBookResearch

A Notation for Spatiotemporal Queries

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

Research output: Book/ReportBookResearch

A Note on an Expressiveness Hierarchy for Multi-exit Iteration

Aceto, L., Fokkink, W. J. & Ingolfsdottir, A., 2002, Århus: BRICS - Aarhus University. (B R I C S Report Series; No. RS-02-40).

Research output: Book/ReportBookResearch

11 Citations (Scopus)

A Performance Study of Distributed Timed Automata Reachability Analysis

Behrmann, G., 2002, Pergamon Press. (Electronical notes in theoretical computer science; No. 68).

Research output: Book/ReportBookResearch

Approches formelles des systèmes embarqués communicants

David, A., Behrmann, G., Larsen, K. G., Rasmussen, J. I., BÉRARD, B., GIRARD, A., HADDAD, S., CASSEZ, F., JARD, C., DANG, T., LE GERNIC, C., DONATELLI, S., LIME, D., ELLOY, J-P., MAGNIN, M., FREHSE, G., MARKEY, N., PETTERSSON, P., TRIPAKIS, S., Yi, W. & 1 others, H. ROUX, O., 2008, Hermés Science Publications. 268 p.

Research output: Book/ReportBookResearch

A Representation Theorem and Applications to Measure Selection and Noninformative Priors

Jaeger, M., 2003, 2003 ed. Max-Planck-Institut für Informatik. (MPI-I; No. MPI-I-2003-2-002).

Research output: Book/ReportBookResearch

A Stage Model of Intranet Technology Implementation and Management

Damsgaard, J. & Scheepers, R., 1998, Aalborg: Aalborg Universitetsforlag. (R : Institut for Elektroniske Systemer, Aalborg Universitet; No. R98-5002).

Research output: Book/ReportBookResearch

9 Citations (Scopus)

A Tool Architecture for the Next Generation of Uppaal

Behrmann, G., David, A., Larsen, K. G. & Wang, Y., 2003, Uppsala University. (Reports; No. 2003-011).

Research output: Book/ReportBookResearch

Automata, Languages and Programming: Proceedings of the 25th International Colloquium, ICALP'98, Aalborg, Denmark, July 13-17 1998

Larsen, K. G., Skyum, S. E. . & Winskel, G. E. ., 1998, Berlin: IEEE Computer Society Press. (Lecture Notes in Computer Science; No. 1443).

Research output: Book/ReportBookResearch

Axiomatizing Prefix Iteration with Silent Steps

Aceto, L., Fokkink, W. J., Glabeek, R. J. V. & Ingolfsdottir, A., 1995, Århus : Daimi: Department of Computer Science, Aarhus University. 25 p. (BRICS Report Series; No. RS-95-56).

Research output: Book/ReportBookResearch

Bayesian Networks and Decision Diagrams

Jensen, F. V. & Nielsen, T. D., 2007, 2. ed. New York: IEEE Computer Society Press. 463 p. (Information Science and Statistics).

Research output: Book/ReportBookResearch

Bayesian Networks and Decision Graphs

Jensen, F. V., 2001, New York: IEEE Computer Society Press. (Statistics for Engineering and Information Science).

Research output: Book/ReportBookResearch

Bayesian Networks and Influence Diagrams: A Guide to Construction and Analysis

Kjærulff, U. B. & Madsen, A. L., 2013, 2. ed. New York: Springer VS. (Information Science and Statistics, Vol. 22).

Research output: Book/ReportBookEducationpeer-review

Bayesian Networks and Influence Diagrams: A Guide to Construction and Analysis

Kjærulff, U. B. & Madsen, A. L., 2008, New York: Springer Publishing Company. 300 p. (Information Science and Statistics).

Research output: Book/ReportBookEducationpeer-review

Building Electronic Commerce Infrastructure: the Hong Kong Retail Sector (B)

Damsgaard, J. & Farhoomand, A. F., 1998, Hong Kong : Centre for Asian Business Cases, School of Business: The University og Hong Kong. (Teaching Case; No. 98/04C).

Research output: Book/ReportBookCommunication

Building Electronic Commerce Infrastructure: the Hong Kong Retail Sector (A)

Damsgaard, J. & Farhoomand, A. F., 1998, Hong Kong : Centre for Asian Business Cases, School of Business: The University og Hong Kong. (Teaching Case; No. 98/03C).

Research output: Book/ReportBookCommunication

Building Electronic Commerce Infrastructure: Hong Kong Consumer Goods Distribution (A)

Damsgaard, J. & Farhoomand, A. F., 1998, Hong Kong : Centre for Asian Business Cases, School of Business: Hong Kong University and Harvard Business School Publishing and European Case Clearing House. (Teaching Case; No. 98/03C).

Research output: Book/ReportBookCommunication

Building Electronic Commerce Infrastructure: Hong Kong Consumer Goods Distribution (A+B)

Damsgaard, J. & Farhoomand, A. F., 1998, Hong Kong : Centre for Asian Business Cases, School of Business: Hong Kong University and Harvard Business School Publishing and European Case Clearing House. (Teaching Note; No. 98/04TN).

Research output: Book/ReportBookCommunication

Building Electronic Commerce Infrastructure: Hong Kong Consumer Goods Distribution (B)

Damsgaard, J. & Farhoomand, A. F., 1998, Hong Kong : Centre for Asian Business Cases, School of Business: Hong Kong University and Harvard Business School Publishing and European Case Clearing House. (Teaching Case; No. 98/04C).

Research output: Book/ReportBookCommunication

Building Electronic Trading Infrastructure: a Private or Public Responsibility

Damsgaard, J. & Lyytinen, K., 2000

Research output: Book/ReportBookResearch

865 Downloads (Pure)

Business-case metode for kommunale IT-investeringer: Version 1.0

Translated title of the contribution: Business case method for municipal IT investments: Version 1.0Nielsen, P. A. & Persson, J. S., 2011, Department of Computer Science, Aalborg University. 23 p.

Research output: Book/ReportBookResearch

Open Access
File
1635 Downloads (Pure)

Business-case metode for kommunale IT-investeringer, version 2.0

Nielsen, P. A. & Persson, J. S., 2013, Software Innovation Publisher. 24 p.

Research output: Book/ReportBookResearchpeer-review

Open Access
File

Capturing and Querying Multiple Aspects of Semistructured Data

Dyreson, C. E., Böhlen, M. H. & Jensen, C. S., 1998, Aalborg: Aalborg Universitetsforlag. (Technical Report; No. TR-36).

Research output: Book/ReportBookResearch

CargoNet: Transportation Community Network Limited

Damsgaard, J., 1998, Hong Kong : Centre for Asian Business Cases, School of Business: Hong Kong University and Harvard Business School Publishing and European Case Clearing House. (Teaching Note; No. 98/09TN).

Research output: Book/ReportBookResearch