Department of Computer Science

The Technical Faculty of IT and Design

Phone9940 9940
Email[email protected]
Websitehttp://www.cs.aau.dk

Postal addressShow on map
Selma Lagerlöfs Vej 300
9220 Aalborg Ø
Denmark

50 - 100 out of 141 results

Filter

2018

Smart Home Models - Analysis, Simulation and Synthesis
Pedersen, T., 2018
Research output: PhD thesis
Spatial Keyword Querying: Ranking Evaluation and Efficient Query Processing
Keles, I., 2018, Aalborg Universitetsforlag. 195 p.
Research output: PhD thesis

Open Access
File

380 Downloads (Pure)
Tools and Techniques for Advanced Traffic Analytics
Andersen, O., 2018
Research output: PhD thesis

Open Access
File

39 Downloads (Pure)
2017

Aggregation Techniques for Energy Flexibility
Valsomatzis, E., 2017, Aalborg Universitetsforlag. 151 p.
Research output: PhD thesis

Open Access
File

225 Downloads (Pure)
Algorithms for Reconstruction of Undersampled Atomic Force Microscopy Images
Oxvig, C. S., 2017, Aalborg Universitetsforlag. 222 p.
Research output: PhD thesis

Open Access
File

558 Downloads (Pure)
Multi-Schema-Version Data Management
Herrmann, K., 2017, Aalborg Universitetsforlag. 180 p.
Research output: PhD thesis

Open Access
File

438 Downloads (Pure)
Optimizing Analytical Queries over Semantic Web Sources
Ibragimov, D., 2017, Aalborg Universitetsforlag. 121 p.
Research output: PhD thesis

Open Access
File

354 Downloads (Pure)
Predictive Data Analytics for Energy Demand Flexibility
Neupane, B., 2017, Aalborg Universitetsforlag. 143 p.
Research output: PhD thesis

Open Access
File

791 Downloads (Pure)
2016

A Frame-Based Approach for Integrating Heterogeneous Knowledge Sources
Rouces, J., 2016, Aalborg Universitetsforlag.
Research output: PhD thesis

Open Access
File

214 Downloads (Pure)
Analytics on Indoor Moving Objects with Applications in Airport Baggage Tracking
Ahmed, T., 2016, Aalborg Universitetsforlag. 191 p.
Research output: PhD thesis

Open Access
File

538 Downloads (Pure)
Batteries in Space: Designing Energy-Optimal Satellites with Statistical Model Checking
Wognsen, E. R., 2016, Aalborg Universitetsforlag.
Research output: PhD thesis

Open Access
File

246 Downloads (Pure)
Cleansing Indoor RFID Tracking Data
Baba, A. I., 2016, Aalborg Universitetsforlag. 169 p.
Research output: PhD thesis

Open Access
File

559 Downloads (Pure)
IMAGINATION FROM EVALUATION: A DESIGN THEORY FOR CREATIVITY ENHANCING SYSTEMS
Ulrich, F., 2016, Aalborg Universitetsforlag.
Research output: PhD thesis

Open Access
File

651 Downloads (Pure)
Semantic Metadata for Supporting Exploratory OLAP
Varga, J., 2016, Aalborg Universitetsforlag.
Research output: PhD thesis

Open Access
File

221 Downloads (Pure)
Synchronization and Control of Quantitative Systems
Laursen, S., 2016, Aalborg Universitetsforlag. 156 p.
Research output: PhD thesis

Open Access
File

178 Downloads (Pure)
Time and Cost Optimization of Cyber-Physical Systems by Distributed Reachability Analysis
Zhang, Z., 2016, Aalborg Universitetsforlag. 146 p.
Research output: PhD thesis

Open Access
File

339 Downloads (Pure)
Verification of Safety Critical Systems using Program Analysis and Model Checking
Dalsgaard, A. E., 2016, 197 p.
Research output: PhD thesis

Open Access
2015

Statistical Model Checking of Rich Models and Properties
Poulsen, D. B., 2015, Aalborg: Aalborg Universitetsforlag. 204 p.
Research output: PhD thesis

Open Access
File

296 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.
Research output: PhD thesis

Open Access
File
690 Downloads (Pure)
2014

Integrating Usability Evaluations into the Software Development Process: Concepts for, and Experiences from, Remote Usability Testing
Lizano, F., 2014, Institut for Datalogi, Aalborg Universitet. 107 p.
Research output: PhD thesis

Open Access
File

641 Downloads (Pure)
Model Driven Development of Data Sensitive Systems
Olsen, P., 29 Aug 2014, 146 p.
Research output: PhD thesis

Open Access
File
211 Downloads (Pure)
Platforms and Model-Based Analyses for Real-Time Java
Luckow, K. S., 2014, Department of Computer Science, Aalborg University.
Research output: PhD thesis
Program Analysis as Model Checking
Olesen, M. C., 1 Sept 2014, Institut for Datalogi, Aalborg Universitet. 159 p.
Research output: PhD thesis

Open Access
File
339 Downloads (Pure)
Towards Prescriptive Analytics in Cyber-Physical Systems
Siksnys, L., 2014, Department of Computer Science, Aalborg University. 208 p.
Research output: PhD thesis

Open Access
2013

Competence, methods and practice in information systems development
Omland, H. O., Oct 2013, Department of Computer Science, Aalborg University. 196 p.
Research output: PhD thesis

File

501 Downloads (Pure)
Developer Driven and User Driven Usability Evaluations
Bruun, A., Jan 2013, 94 p.
Research output: PhD thesis

Open Access
File

553 Downloads (Pure)
Quantitative Models and Analysis for Reactive Systems
Thrane, C., 2013, Department of Computer Sciences. 170 p.
Research output: PhD thesis
Quantities in Games and Modal Transition Systems
Juhl, L., 2013, Department of Computer Science, Aalborg University. 172 p.
Research output: PhD thesis

Open Access
File

686 Downloads (Pure)
2012
Data warehousing technologies for large-scale and right-time data
Xiufeng, L., Aug 2012, Department of Computer Science, Aalborg University. 196 p.
Research output: PhD thesis

Open Access
File
2978 Downloads (Pure)
Exploiting Tag-Based Personalization for Recommendation on Social Web
Durao, F., Feb 2012, Aalborg. 196 p.
Research output: PhD thesis
Formal Analyses of Web Service Protocols
Vighio, S., Mar 2012, Aalborg. 224 p.
Research output: PhD thesis
Formal Verification of Continuous Systems
Sloth, C., 2012, 225 p.
Research output: PhD thesis

Open Access
File
674 Downloads (Pure)
Hard Real-Time Java: Profiles and Schedulability Analysis
Bøgholm, T., 2012, 193 p.
Research output: PhD thesis

File

815 Downloads (Pure)
Java for Cost Effective Embedded Real-Time Software
Korsholm, S., Aug 2012, Department of Computer Science, Aalborg University. 75 p.
Research output: PhD thesis

File

647 Downloads (Pure)
Knowledge Management in Software Development
Jahn, K., 29 Nov 2012, Department of Computer Science, Aalborg University. 198 p.
Research output: PhD thesis

File

2125 Downloads (Pure)
Meshing Agile and Documentation-Driven Methods in Practice
Heeager, L. T., Jun 2012, Aalborg: Department of Computer Science, Aalborg University. 159 p.
Research output: PhD thesis

Open Access
File

2010 Downloads (Pure)
Processing Massive Update and Query Workloads in Main Memory
Sidlauskas, D., Jun 2012, Aalborg. 145 p.
Research output: PhD thesis
Solutions and Heuristics for Troubleshooting with Dependent Actions and Conditional Costs
Ottosen, T. J., 8 Mar 2012, Aalborg. 198 p.
Research output: PhD thesis

Open Access
File

3719 Downloads (Pure)
2011

Enabling Location-Related Privacy in Geo-Social Mobile Internet Services
Ruiz Vicente, C., Aug 2011, Aalborg. 153 p.
Research output: PhD thesis
Flexible and Effective Aggregation and Exchange of Farming-related Data
Iftikhar, N., Aug 2011, Aalborg. 161 p.
Research output: PhD thesis
Spatial Keyword Query Processing
Wu, D., Dec 2011, Department of Computer Science, Aalborg University. 197 p.
Research output: PhD thesis
Specification theories for probabilistic systems
Pedersen, M. L., 2011
Research output: PhD thesis

File

1796 Downloads (Pure)
Techniques for the Efficient Management of Non-Uniform Data and Workloads
Tzoumas, K., Jun 2011, Aalborg. 180 p.
Research output: PhD thesis
Towards Automated eGovernment Monitoring
Goodwin, M., Sept 2011, Department of Computer Science, Aalborg University. 316 p.
Research output: PhD thesis
2010

Analysis and Verification of Service Contracts
Okika, J., 2010, Aalborg: Department of Computer Science, Aalborg University. 238 p.
Research output: PhD thesis

Open Access
File

3529 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: PhD thesis

Open Access
File

774 Downloads (Pure)
Games and Scenarios for Real-Time System Validation
Li, S., 19 Apr 2010, Aalborg: Institut for Datalogi, Aalborg Universitet. 224 p.
Research output: PhD thesis
Managing Distributed Software Projects
Persson, J. S., 2010, Department of Computer Science, Aalborg University. 138 p.
Research output: PhD thesis

Open Access
File
3543 Downloads (Pure)
Mapping Framework for Heterogeneous Reconfigurable Architectures: Combining Temporal Partitioning and Multiprocessor Scheduling
Popp, A., 2010, Department of Electronic Systems, Aalborg University. 126 p.
Research output: PhD thesis

Open Access
File

1613 Downloads (Pure)
Sentinel Mining
Middelfart, M., 2010, Aalborg: Department of Computer Science, Aalborg University. 184 p.
Research output: PhD thesis

Open Access
File
1327 Downloads (Pure)