• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer 1987 2019

Filter
Bog
3 Citationer (Scopus)

A Characterization of Finitary Bisimulation

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

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 s. (BRICS Report Series; Nr. RS-94-43).

Publikation: Bog/antologi/afhandling/rapportBogForskning

A Complete Equational Axiomatization for MPA with String Iteration

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

A Complete Equational Axiomatization for MPA with String Iteration

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

Publikation: Bog/antologi/afhandling/rapportBogFormidling

A Complete Equational Axiomatization for Prefix Iteration with Silent Steps

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

A Component-Based Conceptual Model for Spatiotemporal Application Design

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

A Conceptual Modeling Language for Spatiotemporal Applications

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

Actor Foundry: a QuickStart

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

Advanced Web Programming: JavaScript, PHP and SQL

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

A Foundation for Conventional and Temporal Query Optimization

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

A Lisp Abstracted Markup Language for WWW Authoring

Nørmark, K., 1998

Publikation: Bog/antologi/afhandling/rapportBogForskning

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 s. (BRICS Report Series; Nr. RS-96-23).

Publikation: Bog/antologi/afhandling/rapportBogForskning

An Algebra for TSQL2

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

527 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 s. (Technical Report; Nr. 00-5001).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Åben adgang
Fil
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 s. (BRICS Report Series; Nr. RS-96-22).

Publikation: Bog/antologi/afhandling/rapportBogForskning

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

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.

Publikation: Bog/antologi/afhandling/rapportBogForskning

An Introduction to Bayesian Networks

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

An Introduction to Web Design Using Adobe GoLive 5

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

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; Nr. R-01-5001).

Publikation: Bog/antologi/afhandling/rapportBogForskning

A Notation for Spatiotemporal Queries

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

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; Nr. RS-02-40).

Publikation: Bog/antologi/afhandling/rapportBogForskning

11 Citationer (Scopus)

A Performance Study of Distributed Timed Automata Reachability Analysis

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

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 flere, H. ROUX, O., 2008, Hermés Science Publications. 268 s.

Publikation: Bog/antologi/afhandling/rapportBogForskning

A Representation Theorem and Applications to Measure Selection and Noninformative Priors

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

A Stage Model of Intranet Technology Implementation and Management

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

9 Citationer (Scopus)

A Tool Architecture for the Next Generation of Uppaal

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

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 s. (BRICS Report Series; Nr. RS-95-56).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Bayesian Networks and Decision Diagrams

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

Bayesian Networks and Decision Graphs

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

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 s. (Information Science and Statistics).

Publikation: Bog/antologi/afhandling/rapportBogUndervisningpeer review

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

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

Publikation: Bog/antologi/afhandling/rapportBogUndervisningpeer 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; Nr. 98/04C).

Publikation: Bog/antologi/afhandling/rapportBogFormidling

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; Nr. 98/04TN).

Publikation: Bog/antologi/afhandling/rapportBogFormidling

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

Publikation: Bog/antologi/afhandling/rapportBogFormidling

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

Publikation: Bog/antologi/afhandling/rapportBogFormidling

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

Publikation: Bog/antologi/afhandling/rapportBogFormidling

Building Electronic Trading Infrastructure: a Private or Public Responsibility

Damsgaard, J. & Lyytinen, K., 2000

Publikation: Bog/antologi/afhandling/rapportBogForskning

863 Downloads (Pure)
Åben adgang
Fil
1627 Downloads (Pure)

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

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

Publikation: Bog/antologi/afhandling/rapportBogForskningpeer review

Åben adgang
Fil

Capturing and Querying Multiple Aspects of Semistructured Data

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

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; Nr. 98/09TN).

Publikation: Bog/antologi/afhandling/rapportBogForskning