• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Denmark

Research Output 1987 2019

Filter
Ph.D. thesis
2019

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

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

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

102 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
2018
11 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
113 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
172 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
274 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
118 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

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

114 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

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

2017
94 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
62 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
118 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
281 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
2016
126 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
364 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
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
376 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
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
139 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
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
121 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

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
2015
149 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
540 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
2014
502 Downloads (Pure)
Open Access
File
183 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
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
Open Access
Planning
Software agents
Cyber Physical System
Graphical user interfaces
Information management
2013
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
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

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

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

Formal Analyses of Web Service Protocols

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

Research output: Book/ReportPh.D. thesisResearch

588 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
524 Downloads (Pure)

Hard Real-Time Java: Profiles and Schedulability Analysis

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

Research output: Book/ReportPh.D. thesisResearch

File
522 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
1918 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
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

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

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

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

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

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

1729 Downloads (Pure)

Specification theories for probabilistic systems

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

Research output: Book/ReportPh.D. thesisResearch

File