• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer 1987 2020

Filter
Ph.d.-afhandling
2011
1732 Downloads (Pure)

Specification theories for probabilistic systems

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

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandling

Fil

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

Tzoumas, K., jun. 2011, Aalborg. 180 s. (Ph.D. thesis; Nr. 62).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Towards Automated eGovernment Monitoring

Goodwin, M., sep. 2011, Department of Computer Science, Aalborg University. 316 s. (Ph.D. thesis; Nr. 64).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

2012
2910 Downloads (Pure)

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

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

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Åben adgang
Fil
Data warehouses
Mathematical transformations
Warehouses
Processing
Semantic Web

Exploiting Tag-Based Personalization for Recommendation on Social Web

Durao, F., feb. 2012, Aalborg. 196 s. (Ph.D. thesis; Nr. 68).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Formal Analyses of Web Service Protocols

Vighio, S., mar. 2012, Aalborg. 224 s. (Ph.D. thesis; Nr. 70).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

589 Downloads (Pure)

Formal Verification of Continuous Systems

Sloth, C., 2012, 225 s.

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Åben adgang
Fil
Dynamical systems
Specifications
Formal verification
Large scale systems
Control systems
541 Downloads (Pure)

Hard Real-Time Java: Profiles and Schedulability Analysis

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

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Fil
524 Downloads (Pure)

Java for Cost Effective Embedded Real-Time Software

Korsholm, S., aug. 2012, Department of Computer Science, Aalborg University. 75 s.

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Fil
1923 Downloads (Pure)

Knowledge Management in Software Development

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

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandling

Fil
1862 Downloads (Pure)

Meshing Agile and Documentation-Driven Methods in Practice

Bidragets oversatte titel: Kombination af de agile og dokumentationsdrevner metoder i praksisHeeager, L. T., jun. 2012, Aalborg: Department of Computer Science, Aalborg University. 159 s. (Ph.D. thesis).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Åben adgang
Fil

Processing Massive Update and Query Workloads in Main Memory

Sidlauskas, D., jun. 2012, Aalborg. 145 s. (Ph.D. thesis; Nr. 74).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

3502 Downloads (Pure)

Solutions and Heuristics for Troubleshooting with Dependent Actions and Conditional Costs

Ottosen, T. J., 8 mar. 2012, Aalborg. 198 s.

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandling

Åben adgang
Fil
2013
420 Downloads (Pure)

Competence, methods and practice in information systems development

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

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandling

Fil
459 Downloads (Pure)

Developer Driven and User Driven Usability Evaluations

Bruun, A., jan. 2013, 94 s.

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Åben adgang
Fil

Quantitative Models and Analysis for Reactive Systems

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

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandling

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

Quantities in Games and Modal Transition Systems

Bidragets oversatte titel: Kvantiteter i spil og modale transitionssystemerJuhl, L., 2013, Department of Computer Science, Aalborg University. 172 s. (Publication : Department of Computer Science, The Faculty of Engineering and Science, Aalborg University).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Åben adgang
Fil
2014
504 Downloads (Pure)
Åben adgang
Fil
139 Downloads (Pure)

Model Driven Development of Data Sensitive Systems

Olsen, P., 29 aug. 2014, 146 s.

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandling

Åben adgang
Fil
Error detection
Model checking
Testing
Explosions
Network protocols
4 Citationer (Scopus)
185 Downloads (Pure)

Program Analysis as Model Checking

Bidragets oversatte titel: Program Analyse som Model CheckingOlesen, M. C., 1 sep. 2014, Institut for Datalogi, Aalborg Universitet. 159 s. (Publication : Department of Computer Science, The Faculty of Engineering and Science, Aalborg University; Nr. 85).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandling

Åben adgang
Fil
Model checking
Semantics
Hardware
Embedded software
Finite automata

Towards Prescriptive Analytics in Cyber-Physical Systems

Siksnys, L., 2014, Department of Computer Science, Aalborg University. 208 s.

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Åben adgang
Planning
Software agents
Cyber Physical System
Graphical user interfaces
Information management
2015
156 Downloads (Pure)

Statistical Model Checking of Rich Models and Properties

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

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Åben adgang
Fil
541 Downloads (Pure)

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

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

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Åben adgang
Fil
Mobile devices
2016
129 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).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Åben adgang
Fil
375 Downloads (Pure)

Analytics on Indoor Moving Objects with Applications in Airport Baggage Tracking

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

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Åben adgang
Fil
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).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandling

Åben adgang
Fil
187 Downloads (Pure)

Cleansing Indoor RFID Tracking Data

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

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Åben adgang
Fil
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).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Åben adgang
Fil
113 Downloads (Pure)

Semantic Metadata for Supporting Exploratory OLAP

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

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandling

Åben adgang
Fil
99 Downloads (Pure)

Synchronization and Control of Quantitative Systems

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

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandling

Åben adgang
Fil
133 Downloads (Pure)

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

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

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandling

Åben adgang
Fil

Verification of Safety Critical Systems using Program Analysis and Model Checking

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

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Åben adgang
2017
95 Downloads (Pure)

Aggregation Techniques for Energy Flexibility

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

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Åben adgang
Fil
84 Downloads (Pure)

Multi-Schema-Version Data Management

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

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandling

Åben adgang
Fil
127 Downloads (Pure)

Optimizing Analytical Queries over Semantic Web Sources

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

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandling

Åben adgang
Fil
302 Downloads (Pure)

Predictive Data Analytics for Energy Demand Flexibility

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

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Åben adgang
Fil
2018
15 Downloads (Pure)

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

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

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Åben adgang
Fil
120 Downloads (Pure)

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

Bidragets oversatte titel: Kombinering af en systemcentreret og en brugercentreret tilgang i udviklingen af offentlige selvbetjeningsløsningerBillestrup, J., 2018, Aalborg Universitetsforlag. 199 s. (Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandling

Åben adgang
Fil
197 Downloads (Pure)

Efficient Analysis and Synthesis of Complex Quantitative Systems

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

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Åben adgang
Fil
308 Downloads (Pure)

Interaction Design for Sustainable Energy Consumption in the Smart Home

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

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandling

Åben adgang
Fil
134 Downloads (Pure)

Location Analytics for Location-Based Social Networks

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

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandling

Åben adgang
Fil

Smart Home Models - Analysis, Simulation and Synthesis

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

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

121 Downloads (Pure)

Spatial Keyword Querying: Ranking Evaluation and Efficient Query Processing

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

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Åben adgang
Fil

Tools and Techniques for Advanced Traffic Analytics

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

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

2019
8 Downloads (Pure)

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

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

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandling

Åben adgang
Fil
19 Downloads (Pure)

Interaction in Digital Ecologies with Connected and Non-Connected Cars

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

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandling

Åben adgang
Fil
157 Downloads (Pure)

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

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

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Åben adgang
Fil
16 Downloads (Pure)

Model-Based Time Series Management at Scale

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

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Åben adgang
Fil

Movement Pattern Miningover Large-Scale Datasets

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

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandling

141 Downloads (Pure)

Multi-view Latent Factor Models for Recommender Systems

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

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandling

Åben adgang
Fil