Department of Computer Science

  • Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Denmark

Research Output 1987 2020

Filter
Ph.D. thesis
Ph.D. thesis

Abstraction-based verification of distributed systems

Jensen, H. E., 1999, Aalborg: Aalborg Universitetsforlag. (R : Department of Computer Science, Aalborg University; No. 99-5005).

Research output: Book/ReportPh.D. thesisResearch

128 Downloads (Pure)

A Frame-Based Approach for Integrating Heterogeneous Knowledge Sources

Rouces, J., 2016, Aalborg Universitetsforlag. (Ph.d.-serien for Det Teknisk-Naturvidenskabelige Fakultet, Aalborg Universitet).

Research output: Book/ReportPh.D. thesisResearch

Open Access
File
95 Downloads (Pure)

Aggregation Techniques for Energy Flexibility

Valsomatzis, E., 2017, Aalborg Universitetsforlag. 151 p. (Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet).

Research output: Book/ReportPh.D. thesisResearch

Open Access
File
3261 Downloads (Pure)

Analysis and Verification of Service Contracts

Okika, J., 2010, Aalborg: Department of Computer Science, Aalborg University. 238 p.

Research output: Book/ReportPh.D. thesisResearch

Open Access
File
372 Downloads (Pure)

Analytics on Indoor Moving Objects with Applications in Airport Baggage Tracking

Ahmed, T., 2016, Aalborg Universitetsforlag. 191 p. (Ph.d.-serien for Det Teknisk-Naturvidenskabelige Fakultet, Aalborg Universitet).

Research output: Book/ReportPh.D. thesisResearch

Open Access
File
897 Downloads (Pure)

Approximate Matching of Hierarchial Data

Augsten, N., 2008, Aalborg Universitet. 125 p. (Ph.D. thesis; No. 43).

Research output: Book/ReportPh.D. thesisResearch

Open Access
File
Public administration
Sorting
Experiments
1283 Downloads (Pure)

Aspects of data modeling and query processing for complex multidimensional data

Pedersen, T. B., 2000, Aalborg: Aalborg Universitetsforlag. (Publication : Department of Computer Science, Aalborg University; No. 4).

Research output: Book/ReportPh.D. thesisResearch

Open Access
File
Query processing
Data structures
Processing
Agglomeration
Data warehouses
2573 Downloads (Pure)

Aspects of Data Warehouse Technologies for Complex Web Data

Thomsen, C., 2008, Aalborg Universitet. 164 p. (Ph.D. thesis; No. 42).

Research output: Book/ReportPh.D. thesisResearch

Open Access
File
Data warehouses
Competitive intelligence
Observatories
XML
Mathematical transformations

Aspects of Efficiency Improvement in Bayesian Networks

Kjærulff, U. B., 1993, Aalborg University. 205 p.

Research output: Book/ReportPh.D. thesisResearch

165 Downloads (Pure)

Batteries in Space: Designing Energy-Optimal Satellites with Statistical Model Checking

Wognsen, E. R., 2016, Aalborg Universitetsforlag. (Ph.d.-serien for Det Teknisk-Naturvidenskabelige Fakultet, Aalborg Universitet).

Research output: Book/ReportPh.D. thesisResearch

Open Access
File
14 Downloads (Pure)

Behavioural Preorders on Stochastic Systems - Logical, Topological, and Computational Aspects

Pedersen, M. R., 2018, Aalborg Universitetsforlag. 264 p. (Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet).

Research output: Book/ReportPh.D. thesisResearch

Open Access
File
2639 Downloads (Pure)

Bridging the Digital Divide: Sustainable Supply and Demand of Internet Access in Developing Countries

Furuholt, B., 2009, 1 ed. Aalborg University: Department of Computer Science, Aalborg University. 70 p. (Ph.D. thesis; No. 49, Vol. 1).

Research output: Book/ReportPh.D. thesisResearch

Open Access
File

Building knowledge to prevent failure in IT development and use

Scheepers, H., 1999, Aalborg: Aalborg Universitetsforlag. (Publication : Department of Computer Science, Aalborg University; No. 2).

Research output: Book/ReportPh.D. thesisResearch

483 Downloads (Pure)

Capturing Behavioral Requirements and Testing Against Them by Means of Live Sequence Charts

Pusinskas, S., 2010, Aalborg: Department of Computer Science, Aalborg University. 201 p.

Research output: Book/ReportPh.D. thesisResearch

Open Access
File
769 Downloads (Pure)

Classification schemes for collection mediation: work centered design and cognitive work analysis

Albrechtsen, H., 2003, Aalborg Universitet. 162 p.

Research output: Book/ReportPh.D. thesisResearch

Open Access
File
186 Downloads (Pure)

Cleansing Indoor RFID Tracking Data

Baba, A. I., 2016, Aalborg Universitetsforlag. 169 p. (Ph.d.-serien for Det Teknisk-Naturvidenskabelige Fakultet, Aalborg Universitet).

Research output: Book/ReportPh.D. thesisResearch

Open Access
File
119 Downloads (Pure)

Combining a System-Centred and a User-Centred Approach in the Development of Public Self-Service Applications

Billestrup, J., 2018, Aalborg Universitetsforlag. 199 p. (Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet).

Research output: Book/ReportPh.D. thesisResearch

Open Access
File
420 Downloads (Pure)

Competence, methods and practice in information systems development

Omland, H. O., Oct 2013, Department of Computer Science, Aalborg University. 196 p. (Publication : Department of Computer Science, The Faculty of Engineering and Science, Aalborg University).

Research output: Book/ReportPh.D. thesisResearch

File
1029 Downloads (Pure)

Concepts and Techniques for Flexible and Effective Music Data Management

Deliege, F., 25 Sep 2009, Aalborg: Department of Computer Science, Aalborg University. (Ph.D. thesis; No. 51).

Research output: Book/ReportPh.D. thesisResearch

Open Access
File

Coordinating cooperative work: a framework for the design of flexible computer-based support

Divitini, M., 1999, Aalborg: Aalborg Universitetsforlag. (Publication : Department of Computer Science, Aalborg University; No. 3).

Research output: Book/ReportPh.D. thesisResearch

Data-driven intervention in software process improvement

Iversen, J. H., 2000, Aalborg: Aalborg Universitetsforlag. (Publication : Department of Computer Science, Aalborg University; No. 8).

Research output: Book/ReportPh.D. thesisResearch

Data Structures and Algorithms for the Analysis of Real Time Systems

Behrmann, G., 2003, Aalborg Universitet: Department of Computer Sciences. 179 p. (Ph.D. Thesis).

Research output: Book/ReportPh.D. thesisResearch

2908 Downloads (Pure)

Data warehousing technologies for large-scale and right-time data

Xiufeng, L., Aug 2012, Department of Computer Science, Aalborg University. 196 p. (Ph.D. thesis).

Research output: Book/ReportPh.D. thesisResearch

Open Access
File
Data warehouses
Mathematical transformations
Warehouses
Processing
Semantic Web
599 Downloads (Pure)

Designing the E-Democracy Forum: Genres and Models of E-Democracy

Sæbø, Ø., 2006, Aalborg: Department of Computer Science, Aalborg University. (Ph.D Thesis; No. 35).

Research output: Book/ReportPh.D. thesisResearch

Open Access
File

Design of Interactive Narratives: Concepts, Methods and Architectures

Skov, M., 2002, Aalborg : Department of Computer Science: Aalborg Universitetsforlag. 140 p.

Research output: Book/ReportPh.D. thesisResearch

Design Verification Patterns

Knudsen, J., 2009, Aalborg: Department of Computer Science, Aalborg University. (Ph.D. thesis; No. 52).

Research output: Book/ReportPh.D. thesisResearch

459 Downloads (Pure)

Developer Driven and User Driven Usability Evaluations

Bruun, A., Jan 2013, 94 p.

Research output: Book/ReportPh.D. thesisResearch

Open Access
File
344 Downloads (Pure)

Drifting Software Process Improvement: Studying Practice

Tjørnehøj, G., 2009, Department of Computer Science, Aalborg University.

Research output: Book/ReportPh.D. thesisResearch

Open Access
File

Efficient adaptive retrieval and mining in large multimedia databases

Assent, I., 2008, Aalborg: Aalborg Universitet.

Research output: Book/ReportPh.D. thesisResearch

Time series
Query processing
Magnetic resonance
Sales
Textures
185 Downloads (Pure)

Efficient Analysis and Synthesis of Complex Quantitative Systems

Jensen, P. G., 2018, Aalborg Universitetsforlag. 227 p. (Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet).

Research output: Book/ReportPh.D. thesisResearch

Open Access
File

Enabling Location-Related Privacy in Geo-Social Mobile Internet Services

Ruiz Vicente, C., Aug 2011, Aalborg. 153 p. (Ph.D. thesis; No. 65).

Research output: Book/ReportPh.D. thesisResearch

Exploiting Tag-Based Personalization for Recommendation on Social Web

Durao, F., Feb 2012, Aalborg. 196 p. (Ph.D. thesis; No. 68).

Research output: Book/ReportPh.D. thesisResearch

Flexible and Effective Aggregation and Exchange of Farming-related Data

Iftikhar, N., Aug 2011, Aalborg. 161 p. (Ph.D. thesis; No. 66).

Research output: Book/ReportPh.D. thesisResearch

Formal Analyses of Web Service Protocols

Vighio, S., Mar 2012, Aalborg. 224 p. (Ph.D. thesis; No. 70).

Research output: Book/ReportPh.D. thesisResearch

589 Downloads (Pure)

Formal Verification of Continuous Systems

Sloth, C., 2012, 225 p.

Research output: Book/ReportPh.D. thesisResearch

Open Access
File
Dynamical systems
Specifications
Formal verification
Large scale systems
Control systems

Games and Scenarios for Real-Time System Validation

Li, S., 19 Apr 2010, Aalborg: Institut for Datalogi, Aalborg Universitet. 224 p.

Research output: Book/ReportPh.D. thesisResearch

Real time systems
Observability
Model checking
Testing
Systems analysis

GPS Data Management with Applications in Collective Transport

Tiesyte, D., 2009, Department of Computer Science, Aalborg University.

Research output: Book/ReportPh.D. thesisResearch

Graphical Models for Partially Sequential Decision problems

Nielsen, T. D., 2001, Aalborg: Department of Computer Science, Aalborg University. (Publication : Department of Computer Science, The Faculty of Engineering and Science, Aalborg University; No. 18).

Research output: Book/ReportPh.D. thesisResearch

537 Downloads (Pure)

Hard Real-Time Java: Profiles and Schedulability Analysis

Bøgholm, T., 2012, 193 p.

Research output: Book/ReportPh.D. thesisResearch

File

HUGIN and MUNIN - Past, Present and Future

Olesen, K. G., 1992, Aalborg: Aalborg Universitet.

Research output: Book/ReportPh.D. thesisResearch

Open Access
381 Downloads (Pure)

IMAGINATION FROM EVALUATION: A DESIGN THEORY FOR CREATIVITY ENHANCING SYSTEMS

Ulrich, F., 2016, Aalborg Universitetsforlag. (Ph.d.-serien for Det Teknisk-Naturvidenskabelige Fakultet, Aalborg Universitet).

Research output: Book/ReportPh.D. thesisResearch

Open Access
File
1369 Downloads (Pure)

Implementing an Enterprise System: A dialectic perspective

Nordheim, S., 2009, 1 ed. Aalborg University: Department of Computer Science, Aalborg University. (Ph.D. thesis; No. 48, Vol. 1).

Research output: Book/ReportPh.D. thesisResearch

Open Access
File

Information systems development as action research - soft systems methodology and structuration theory

Rose, J., 2000, Lancaster, England: Lancaster University. 233 p.

Research output: Book/ReportPh.D. thesisResearch

6 Downloads (Pure)

In-Memory Trajectory Indexing for On-The-Fly Travel-Time Estimation

Waury, R., 2019, Aalborg Universitetsforlag. 141 p. (Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet).

Research output: Book/ReportPh.D. thesisResearch

Open Access
File
503 Downloads (Pure)
Open Access
File
296 Downloads (Pure)

Interaction Design for Sustainable Energy Consumption in the Smart Home

Jensen, R. H., 2018, Aalborg Universitetsforlag. 209 p. (Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet).

Research output: Book/ReportPh.D. thesisResearch

Open Access
File
6 Downloads (Pure)

Interaction in Digital Ecologies with Connected and Non-Connected Cars

Svangren, M. K., 2019, Aalborg Universitetsforlag. 134 p. (Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet).

Research output: Book/ReportPh.D. thesisResearch

Open Access
File