Department of Computer Science

  • Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Denmark

Research Output 1987 2020

Filter
Book

Object-Oriented Analysis and Design

Mathiassen, L., Munk-Madsen, A., Nielsen, P. A. & Stage, J., 2000, Aalborg: Marko.

Research output: Book/ReportBookResearch

Object Oriented Bayesian Networks: a Framework for Top-Down Specification of Large Bayesian Networks with Repetitive Structures

Bangsø, O. & Wuillemin, P-H., 2000, Aalborg: Aalborg Universitetsforlag. (Technical Report : Department of Computer Science, Aalborg University).

Research output: Book/ReportBookResearch

Object-Oriented Multimedia System Development Documentation

Stage, J., 1999

Research output: Book/ReportBookResearch

Objektorienterad analys och design

Translated title of the contribution: Object-Oriented Analysis and DesignMathiassen, L., Munk-Madsen, A., Nielsen, P. A. & Stage, J., 1998, Lund: Studentlitteratur.

Research output: Book/ReportBookResearch

Objektorienterad Analys och Design

Mathiassen, L., Munk-Madsen, A., Nielsen, P. A. & Stage, J., 2001, Lund: Studentlitteratur.

Research output: Book/ReportBookResearch

Objektorienteret analyse & design

Mathiassen, L., Munk-Madsen, A., Nielsen, P. A. & Stage, J., 2001, 3 ed. Aalborg: Marko. 439 p.

Research output: Book/ReportBookResearch

Objektorienteret analyse og design

Translated title of the contribution: Object-Oriented Analysis and DesignMathiassen, L., Munk-Madsen, A., Nielsen, P. A. & Stage, J., 1997, Aalborg: Marko.

Research output: Book/ReportBookResearch

Objektorienteret design

Translated title of the contribution: Object-Oriented DesignMathiassen, L., Munk-Madsen, A., Nielsen, P. A. & Stage, J., 1995, Aalborg: Marko.

Research output: Book/ReportBookResearch

On a Question of A Salomaa: the Equational Theory of Regular Expressions over a Singleton Alphabet is not Finitely based

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

Research output: Book/ReportBookResearch

Online On-the-Fly Testing of Real-time Systems

Mikucionis, M., Larsen, K. G. & Nielsen, B., 2003, September ed. Århus University: BRICS. 14 p. (BRICS RS; No. RS-03-49).

Research output: Book/ReportBookResearch

On Quality of BATS Troubleshooter and Other Approximative Methods

Vomlel, J., 2000, Aalborg: Aalborg Universitetsforlag. (Technical Report : Department of Computer Science, Aalborg University).

Research output: Book/ReportBookResearch

On the Finitary Bisimulation

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

Research output: Book/ReportBookResearch

On the Ontological Expressiveness of Temporal Extensions to the Entity-Relationship Model

Gregersen, H. & Jensen, C. S., 2002, Aalborg: Aalborg Universitet. (TimeCenter Technical Report; No. TR-69).

Research output: Book/ReportBookResearch

On the Semantics of "Now" in Temporal Databases

Clifford, J., Dyreson, C. E., Isakowitz, T., Jensen, C. S. & Snodgrass, R. T., 1994, Aalborg: Aalborg Universitetsforlag. (R : Institut for Elektroniske Systemer, Aalborg Universitet; No. R94-2047).

Research output: Book/ReportBookResearch

Oplæg til Nykredit Center for Databaseforskning

Jensen, C. S., Mark, L. & Mathiassen, L., 1998, Aalborg: Aalborg Universitetsforlag. (IR : Institut for Elektroniske Systemer. Afdeling for Kommunikationsteknologi, Aalborg Universitet; No. IR98-5001).

Research output: Book/ReportBookResearch

Optimized Link State Routing Protocol

Jacquet, P., Muhlethaler, P., Qayyum, A., Laouiti, A., Viennot, L. & Clausen, T. H., 2000

Research output: Book/ReportBookResearch

Organizing for Networked Information Technologies: readings in process integration and transformation articles

Damsgaard, J. (ed.), Hørlück, J. (ed.), Jensen, P. K. (ed.) & Rose, J. (ed.), 2003, Ny ed. Aalborg: Aalborg Universitetsforlag. 158 p.

Research output: Book/ReportBookCommunication

Organizing for Networked Information Technologies: cases in process integration and transformation

Hørlück, J. (ed.), Jensen, P. K. (ed.), Rask, M. (ed.) & Rose, J. (ed.), 2001, Aalborg: Aalborg Universitetsforlag. 146 p.

Research output: Book/ReportBookCommunication

Out of Scandinavia: Facing Social Risks in IT Development in South Africa

Scheepers, H. & Mathiassen, L., 1998

Research output: Book/ReportBookResearch

Parallelization of Inference in Bayesian Networks

Madsen, A. L. & Jensen, F. V., 1999, Aalborg : Aalborg University: Department of Computer Science, Aalborg University. (R : Department of Computer Science, Aalborg University; No. R99-5002).

Research output: Book/ReportBookResearch

Parameter Estimation for Conditional Gaussian Bayesian Networks with Missing Data

Andersen, J. M., 1999, Aalborg: Aalborg Universitetsforlag. (Technical Report : Department of Computer Science, Aalborg University).

Research output: Book/ReportBookResearch

Persistent Views – A Mechanism for Managing Aging Data

Skyt, J. & Jensen, C. S., 2001, Aalborg: Aalborg Universitetsforlag. 27 p.

Research output: Book/ReportBookResearch

1148 Downloads (Pure)

Podcasting for Teaching and Learning in Higher Education

Gnaur, D. & Huttel, H., 2016, 1. edition - Open Access ed. Aalborg Universitetsforlag. 31 p. (Higher Education Practices Series; No. 2).

Research output: Book/ReportBookResearchpeer-review

Open Access
File
59 Citations (Scopus)

Point versus Interval-based Temporal Data Models

Böhlen, M., Busatto, R. & Jensen, C. S., 1998, Aalborg: Aalborg Universitetsforlag. (Technical Report; No. TR-21).

Research output: Book/ReportBookResearch

Preliminary Proceedings of the 7th International Workshop on Expressiveness in Concurrency, EXPRESS'00: State College, USA, August 21, 2000

Aceto, L. & Victor, B. E. ., 2000, (B R I C S Notes Series; No. 2000: NS-00-2).

Research output: Book/ReportBookResearch

Probabilistic Networks - An Introduction to Bayesian Networks and Influence Diagrams

Kjærulff, U. B. & Madsen, A. L., 2005, Aalborg University. 133 p.

Research output: Book/ReportBookEducation

16 Citations (Scopus)

Probabilistic Process Algebra

Jonsson, B., Larsen, K. G., Yi, W., Bergstrand, J. A., Ponse, A. & Smolka, S. A., 2001

Research output: Book/ReportBookResearch

ProbSy: a System for the Calculation of Probabilities in the Card Game Bridge

Madsen, A. L., Nielsen, L. M. & Jensen, F. V., 1997, Aalborg: Aalborg Universitetsforlag. (R : Institut for Elektroniske Systemer, Aalborg Universitet; No. R97-5010).

Research output: Book/ReportBookResearch

Proceedings of NWPER'96, Nordic Workshop on Programming Environment Research

Bendix, L. E. ., Nørmark, K. E. . & Østerbye, K. E. ., 1996, Aalborg: Aalborg Universitetsforlag. (R : Institut for Elektroniske Systemer, Aalborg Universitet; No. R96-2019).

Research output: Book/ReportBookResearch

4232 Downloads (Pure)

Proceedings of the 25th Australian Computer-Human Interaction Conference

Shen, H. (ed.), Smith, R. (ed.), Paay, J. (ed.), Calder, P. (ed.) & Wyeld, T. (ed.), 25 Nov 2013, Association for Computing Machinery. 586 p.

Research output: Book/ReportBookResearchpeer-review

Open Access
File

Proceedings of the 28th ACM Conference on Hypertext and Social Media, HT 2017, Prague, Czech Republic, July 4-7, 2017

Dolog, P. (ed.), Vojtás, P., Bonchi, F. & Helic, D., 2017, Association for Computing Machinery.

Research output: Book/ReportBookResearchpeer-review

Semantic Web
Data structures
Demonstrations

Proceedings of the 31st International Conference on Very Large Data Bases, August 30 - September 02 2005, Trondheim, Norway

Böhm, K. (ed.), Jensen, C. S. (ed.), Haas, L. M. (ed.), Kersten, M. L. (ed.), Larson, P. -Å. (ed.) & Ooi, B. C. (ed.), 2005, Association for Computing Machinery.

Research output: Book/ReportBookCommunication

Proceedings of the 5th International Conference on Communities and Technologies

Foth, M., Kjeldskov, J. & Paay, J., 2011, USA, NY: Association for Computing Machinery.

Research output: Book/ReportBookResearchpeer-review

Proceedings of the 6th Nordic Workshop on Programming Theory

Engberg, U. H. E. ., Larsen, K. G. & Mosses, D. E. ., 1994, (B R I C S Notes Series; No. NS-94-6).

Research output: Book/ReportBookResearch

Proceedings of the Fourth Danish Human-Computer Interaction Research Symposium

Kjeldskov, J., Skov, M. B. & Stage, J., 2004, Aalborg University: Department of Computer Science, Aalborg University. 92 p. (HCI Lab Technical Report; No. 2004/1).

Research output: Book/ReportBookResearch

Proceedings of the Nineteenth Conference on Uncertainty in Artificial Intelligence

Kjærulff, U. B. . . & Meek, C. . ., 2003, Morgan Kaufmann Publishers, San Francisco: California. (Proceedings of the Nineteenth Conference on Uncertainty in Artificial Intelligence 2003).

Research output: Book/ReportBookResearch

Proceedings of the Seventh European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ESCQARU)

Nielsen, T. D. . . & Zhang, N. . ., 2003, Berlin-Heidelberg: IEEE Computer Society Press. (Lecture Notes In Artificial Intelligence; No. 2711).

Research output: Book/ReportBookResearch

Proceedings of the Workshop on Improving the Interplay between Usability Evaluation and User Interface Design

Stage, J., 2004, Aalborg: Aalborg Universitetsforlag. (HCI-Lab Report; No. 2004-2).

Research output: Book/ReportBookResearch

Proceedings of the Workshop on Semantics of Objects as Processes: SOAP'98, July 18, 1998, Aalborg, Denmark

Hüttel, H. E. . & Nestmann, U. E. ., 1998, Århus: Department of Computer Science, Aarhus University. (B R I C S Notes Series; No. NS-98-5).

Research output: Book/ReportBookResearch

Proceedings of the Workshop on Tools and Algorithms for the Construction and Analysis of Systems

Engberg, U. H., Larsen, K. G. & Skou, A., 1995, Århus: Department of Computer Science, Aarhus University. (B R I C S Notes Series; No. NS-95-2).

Research output: Book/ReportBookResearch

Quality Software: Concepts and Tools

Stage, J. E. ., Nørmark, K. E. . & Larsen, K. G., 1994, Aalborg : The Software Engineering Programme, Institute of Electronic Systems: Aalborg Universitetsforlag.

Research output: Book/ReportBookResearch

18 Citations (Scopus)

Query Optimization for OLAP-XML Federations

Pedersen, D., Riis, K. & Pedersen, T. B., 2002, Aalborg: Aalborg Universitet. 23 p. (R / Technical report; No. R-02-5004).

Research output: Book/ReportBookResearch

Rapid Systems Modelling: The Soul of a New Methodology

Mathiassen, L., Munk-Madsen, A., Nielsen, P. A. & Stage, J., 1991, Aalborg: Aalborg Universitetsforlag. (Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport; No. R 91-16).

Research output: Book/ReportBookResearch

Reactive Systems: Modelling, Specification and Verification

Aceto, L., Ingolfsdottir, A., Larsen, K. G. & Srba, J., 2007, Cambridge: Cambridge University Press. 300 p.

Research output: Book/ReportBookEducation

Reflective Systems Development

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

Research output: Book/ReportBookResearch

Regular Languages Definable by Lindström Quantifiers (Preliminary Version)

Ésik, Z. & Larsen, K. G., 2002, Århus: BRICS. (B R I C S Report Series; No. RS-02-21).

Research output: Book/ReportBookResearch

Representing and Solving Asymmetric Bayesian Decision Problems

Nielsen, T. D. & Jensen, F. V., 1999, Aalborg : Aalborg University: Department of Computer Science, Aalborg University. (R : Department of Computer Science, Aalborg University; No. R99-5010).

Research output: Book/ReportBookResearch