Department of Computer Science

  • Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Denmark

Research Output 1987 2020

Filter
Ph.D. thesis
Ph.D. thesis

Intranet implementation: influences, challenges and role players

Scheepers, R., 1999, Aalborg: Aalborg Universitetsforlag. (R : Department of Computer Science, Aalborg University; No. 99-5011).

Research output: Book/ReportPh.D. thesisResearch

524 Downloads (Pure)

Java for Cost Effective Embedded Real-Time Software

Korsholm, S., Aug 2012, Department of Computer Science, Aalborg University. 75 p.

Research output: Book/ReportPh.D. thesisResearch

File
1923 Downloads (Pure)

Knowledge Management in Software Development

Jahn, K., 29 Nov 2012, Department of Computer Science, Aalborg University. 198 p. (Ph.D. thesis).

Research output: Book/ReportPh.D. thesisResearch

File
3 Citations (Scopus)
372 Downloads (Pure)
Open Access
File
135 Downloads (Pure)

Location Analytics for Location-Based Social Networks

Saleem, M. A., 2018, Aalborg Universitetsforlag. 213 p. (Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet).

Research output: Book/ReportPh.D. thesisResearch

Open Access
File
157 Downloads (Pure)

Managing and Analyzing Big Traffic Data-An Uncertain Time Series Approach

Hu, J., 7 May 2019, Aalborg Universitetsforlag. 149 p. (Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet).

Research output: Book/ReportPh.D. thesisResearch

Open Access
File
3407 Downloads (Pure)

Managing Distributed Software Projects

Persson, J. S., 2010, Department of Computer Science, Aalborg University. 138 p.

Research output: Book/ReportPh.D. thesisResearch

Open Access
File
Communication
Risk management
Industry
1546 Downloads (Pure)
Open Access
File

Matching methods and problems: object-oriented analysis methods for coordination problems

Krogh, B., 2000, Aalborg: Aalborg Universitetsforlag. (Publication : Department of Computer Science, Aalborg University; No. 5).

Research output: Book/ReportPh.D. thesisResearch

1862 Downloads (Pure)

Meshing Agile and Documentation-Driven Methods in Practice

Heeager, L. T., Jun 2012, Aalborg: Department of Computer Science, Aalborg University. 159 p. (Ph.D. thesis).

Research output: Book/ReportPh.D. thesisResearch

Open Access
File
491 Downloads (Pure)

Modal Transition Systems as the Basis for Interface Theories and Product Lines

Nyman, U., 2008, Aalborg: Aalborg Universitet. (Ph.D. thesis; No. 45).

Research output: Book/ReportPh.D. thesisResearch

Open Access
File
Specifications
Hardness
Color vision
Embedded software
Interfaces (computer)
16 Downloads (Pure)

Model-Based Time Series Management at Scale

Jensen, S. K., 2019, Aalborg Universitetsforlag. 201 p. (Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet).

Research output: Book/ReportPh.D. thesisResearch

Open Access
File
140 Downloads (Pure)

Model Driven Development of Data Sensitive Systems

Olsen, P., 29 Aug 2014, 146 p.

Research output: Book/ReportPh.D. thesisResearch

Open Access
File
Error detection
Model checking
Testing
Explosions
Network protocols

Movement Pattern Miningover Large-Scale Datasets

Orakzai, F. M., 2019, (Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet).

Research output: Book/ReportPh.D. thesisResearch

1 Downloads (Pure)

Moving Observer Support for Databases

Bukauskas, L., 2004, Aalborg, Danmark: Department of Computer Science, Aalborg University. 138 p. (Ph.D. thesis; No. 27).

Research output: Book/ReportPh.D. thesisResearch

Visualization
Data storage equipment
Electronic data interchange
Resource allocation
Program processors
86 Downloads (Pure)

Multi-Schema-Version Data Management

Herrmann, K., 2017, Aalborg Universitetsforlag. 180 p. (Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet).

Research output: Book/ReportPh.D. thesisResearch

Open Access
File
147 Downloads (Pure)

Multi-view Latent Factor Models for Recommender Systems

Da Costa, F. S., Jun 2019, Aalborg Universitetsforlag. 173 p. (PhD Series, Technical Faculty of IT and Design, Aalborg University).

Research output: Book/ReportPh.D. thesisResearch

Open Access
File
128 Downloads (Pure)

Optimizing Analytical Queries over Semantic Web Sources

Ibragimov, D., 2017, Aalborg Universitetsforlag. 121 p. (Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet).

Research output: Book/ReportPh.D. thesisResearch

Open Access
File
303 Downloads (Pure)

Predictive Data Analytics for Energy Demand Flexibility

Neupane, B., 2017, Aalborg Universitetsforlag. 143 p. (Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet).

Research output: Book/ReportPh.D. thesisResearch

Open Access
File

Probabilistic Modeling and Reasoning in Multi-Agent Decision Systems

Zeng, Y., 2006, National University of Singapore. 230 p.

Research output: Book/ReportPh.D. thesisResearch

Processing Massive Update and Query Workloads in Main Memory

Sidlauskas, D., Jun 2012, Aalborg. 145 p. (Ph.D. thesis; No. 74).

Research output: Book/ReportPh.D. thesisResearch

4 Citations (Scopus)
185 Downloads (Pure)

Program Analysis as Model Checking

Olesen, M. C., 1 Sep 2014, Institut for Datalogi, Aalborg Universitet. 159 p. (Publication : Department of Computer Science, The Faculty of Engineering and Science, Aalborg University; No. 85).

Research output: Book/ReportPh.D. thesisResearch

Open Access
File
Model checking
Semantics
Hardware
Embedded software
Finite automata

Quantitative Models and Analysis for Reactive Systems

Thrane, C., 2013, Department of Computer Sciences. 170 p. (Publication : Department of Computer Science, The Faculty of Engineering and Science, Aalborg University).

Research output: Book/ReportPh.D. thesisResearch

Systems analysis
Specifications
Mobile phones
Embedded systems
Websites
587 Downloads (Pure)

Quantities in Games and Modal Transition Systems

Juhl, L., 2013, Department of Computer Science, Aalborg University. 172 p. (Publication : Department of Computer Science, The Faculty of Engineering and Science, Aalborg University).

Research output: Book/ReportPh.D. thesisResearch

Open Access
File

Reasoning about objects using process calculus techniques

Kleist, J., 2000, Aalborg: Aalborg Universitetsforlag. (Publication : Department of Computer Science, Aalborg University; No. 7).

Research output: Book/ReportPh.D. thesisResearch

Reasoning and Decision Making with Multiple Autonomous Agents

Nielsen, S. H., 2007, Aalborg: Department of Computer Science, Aalborg University. 296 p.

Research output: Book/ReportPh.D. thesisResearch

113 Downloads (Pure)

Semantic Metadata for Supporting Exploratory OLAP

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

Research output: Book/ReportPh.D. thesisResearch

Open Access
File
1097 Downloads (Pure)

Sentinel Mining

Middelfart, M., 2010, Aalborg: Department of Computer Science, Aalborg University. 184 p.

Research output: Book/ReportPh.D. thesisResearch

Open Access
File
Laptop computers
Program processors
Websites
Industry
Concretes

Smart Home Models - Analysis, Simulation and Synthesis

Pedersen, T., 2018, (Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet).

Research output: Book/ReportPh.D. thesisResearch

12423 Downloads (Pure)

Social Context in Usability Evaluations: Concepts, Processes and Products

Jensen, J. J., 9 Sep 2009, 1 ed. Aalborg: Department of Computer Science, Aalborg University. 138 p. (Ph.D. thesis, Vol. 50).

Research output: Book/ReportPh.D. thesisResearch

Open Access
File
evaluation
leader
environmental psychology
spectator
laboratory experiment
3505 Downloads (Pure)

Solutions and Heuristics for Troubleshooting with Dependent Actions and Conditional Costs

Ottosen, T. J., 8 Mar 2012, Aalborg. 198 p.

Research output: Book/ReportPh.D. thesisResearch

Open Access
File
121 Downloads (Pure)

Spatial Keyword Querying: Ranking Evaluation and Efficient Query Processing

Keles, I., 2018, Aalborg Universitetsforlag. 195 p. (Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet).

Research output: Book/ReportPh.D. thesisResearch

Open Access
File

Spatial Keyword Query Processing

Wu, D., Dec 2011, Department of Computer Science, Aalborg University. 197 p. (Ph.d. theses; No. 61).

Research output: Book/ReportPh.D. thesisResearch

Spatio-Temporal Data Mining for Location-Based Services

Gidofalvi, G., 2008, Aalborg Universitet. 198 p. (Ph.D. thesis; No. 44).

Research output: Book/ReportPh.D. thesisResearch

Location based services
Data mining
449 Downloads (Pure)

Specification and Test of Real-Time Systems

Nielsen, B., 2000, Aalborg: Aalborg Universitetsforlag. (Publication : Department of Computer Science, The Faculty of Engineering and Science, Aalborg University; No. 12).

Research output: Book/ReportPh.D. thesisResearch

Open Access
File

Specification-Based Techniques for the Reduction of Temporal and Multidimensional Data

Skyt, J., 2001, Aalborg: Aalborg Universitetsforlag. (Publication : Department of Computer Science, The Faculty of Engineering and Science, Aalborg University; No. 17).

Research output: Book/ReportPh.D. thesisResearch

1734 Downloads (Pure)

Specification theories for probabilistic systems

Pedersen, M. L., 2011, (Ph.d. theses; No. 67).

Research output: Book/ReportPh.D. thesisResearch

File
157 Downloads (Pure)

Statistical Model Checking of Rich Models and Properties

Poulsen, D. B., 2015, Aalborg: Aalborg Universitetsforlag. 204 p. (Ph.d.-serien for Det Teknisk-Naturvidenskabelige Fakultet, Aalborg Universitet).

Research output: Book/ReportPh.D. thesisResearch

Open Access
File
99 Downloads (Pure)

Synchronization and Control of Quantitative Systems

Laursen, S., 2016, Aalborg Universitetsforlag. 156 p. (Ph.d.-serien for Det Teknisk-Naturvidenskabelige Fakultet, Aalborg Universitet).

Research output: Book/ReportPh.D. thesisResearch

Open Access
File

Taiga – A Distributed Grid Storage System

Jensen, H. T., 2009, Aalborg: Department of Computer Science, Aalborg University. (Ph.D. thesis; No. 47).

Research output: Book/ReportPh.D. thesisResearch

Techniques for the Efficient Management of Non-Uniform Data and Workloads

Tzoumas, K., Jun 2011, Aalborg. 180 p. (Ph.D. thesis; No. 62).

Research output: Book/ReportPh.D. thesisResearch

The Diffusion of Electronic Data Interchange: an Institutional and Organizational Analysis of Alternative Diffusion Patterns

Damsgaard, J., 1996, Aalborg: Aalborg Universitetsforlag. (R : Institut for Elektroniske Systemer, Aalborg Universitet; No. R96-2041).

Research output: Book/ReportPh.D. thesisResearch

136 Downloads (Pure)

Time and Cost Optimization of Cyber-Physical Systems by Distributed Reachability Analysis

Zhang, Z., 2016, Aalborg Universitetsforlag. 146 p. (Ph.d.-serien for Det Teknisk-Naturvidenskabelige Fakultet, Aalborg Universitet).

Research output: Book/ReportPh.D. thesisResearch

Open Access
File

Tools and Techniques for Advanced Traffic Analytics

Andersen, O., 2018, (Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet).

Research output: Book/ReportPh.D. thesisResearch

Towards Automated eGovernment Monitoring

Goodwin, M., Sep 2011, Department of Computer Science, Aalborg University. 316 p. (Ph.D. thesis; No. 64).

Research output: Book/ReportPh.D. thesisResearch

Towards Efficient Music Similarity Search, Ranking, and Recommendation

Ruxanda, M. M., 2009, Aalborg: Department of Computer Science, Aalborg University. (Ph.D. thesis; No. 46).

Research output: Book/ReportPh.D. thesisResearch

Open Access
Planning
Software agents
Cyber Physical System
Graphical user interfaces
Information management
542 Downloads (Pure)

User Experience of Mobile Devices: Physical Form, Usability and Coolness

Raptis, D., 30 Jan 2015, Department of Computer Science, Aalborg University. 140 p. (Ph.D Thesis).

Research output: Book/ReportPh.D. thesisResearch

Open Access
File
Mobile devices

Verification of Safety Critical Systems using Program Analysis and Model Checking

Dalsgaard, A. E., 2016, 197 p. (Ph.d.-serien for Det Teknisk-Naturvidenskabelige Fakultet, Aalborg Universitet).

Research output: Book/ReportPh.D. thesisResearch

Open Access