Publikationer pr. år
Publikationer pr. år
Publikationer
- 27 resultater
Søgeresultater
-
2024
Advanced Control Strategies for Enhancing Energy Efficiency in Domestic Heating Systems
Riaz, I., 2024, Aalborg University Open Publishing.Publikation: Ph.d.-afhandling
Åben adgangFil50 Downloads (Pure) -
Energy-Efficient Cyber-Physical Systems: A Model-Based Approach
Naeem, M., 2024, Aalborg University Open Publishing. 152 s.Publikation: Ph.d.-afhandling
Åben adgangFil111 Downloads (Pure) -
2023
Efficient Model Checking: The Power of Randomness
Kiviriga, A., 2023, Aalborg Universitetsforlag. 153 s.Publikation: Ph.d.-afhandling
Åben adgangFil128 Downloads (Pure) -
Quantitative Verification and Synthesis of Resilient Networks
Schou, M. K., 2023, Aalborg Universitetsforlag. 227 s.Publikation: Ph.d.-afhandling
Åben adgangFil174 Downloads (Pure) -
Using Clinical Explainable Machine Learning Models for Early Identification of Patients at Risk of Hospital-Acquired Infections
Jakobsen, R. S., 2023, Aalborg Universitetsforlag. 123 s.Publikation: Ph.d.-afhandling
Åben adgangFil242 Downloads (Pure) -
2022
Abstract Dependency Graphs for Model Verification
Enevoldsen, S., 2022, Aalborg Universitetsforlag. 191 s.Publikation: Ph.d.-afhandling
Åben adgangFil213 Downloads (Pure) -
2021
Network Measurements and Security: Untangling the Web of Domain Names, Certificates, and Mobile Apps
Hageman, K. D., 2021, Aalborg Universitetsforlag. 209 s.Publikation: Ph.d.-afhandling
Åben adgangFil313 Downloads (Pure) -
Robustness of Defenses against Deception Attacks
Panum, T. K., 2021, Aalborg Universitetsforlag. 147 s.Publikation: Ph.d.-afhandling
Åben adgangFil318 Downloads (Pure) -
Time For Stubborn Game Reductions
Bønneland, F. M., 2021, Aalborg Universitetsforlag. 165 s.Publikation: Ph.d.-afhandling
Åben adgangFil180 Downloads (Pure) -
Towards Data-Efficient Mobility Analytics in Spatial Networks
Skovgaard Jepsen, T., 2021, Aalborg Universitetsforlag. 169 s.Publikation: Ph.d.-afhandling
Åben adgangFil96 Downloads (Pure) -
2020
Quantitative Systems: Efficient Reasoning Under Uncertainty
Mariegaard, A., 2020Publikation: Ph.d.-afhandling
-
2018
Behavioural Preorders on Stochastic Systems - Logical, Topological, and Computational Aspects
Pedersen, M. R., 2018, Aalborg Universitetsforlag. 264 s.Publikation: Ph.d.-afhandling
Åben adgangFil136 Downloads (Pure) -
Efficient Analysis and Synthesis of Complex Quantitative Systems
Jensen, P. G., 2018, Aalborg Universitetsforlag. 227 s.Publikation: Ph.d.-afhandling
Åben adgangFil563 Downloads (Pure) -
Smart Home Models - Analysis, Simulation and Synthesis
Pedersen, T., 2018Publikation: Ph.d.-afhandling
-
2014
Program Analysis as Model Checking
Bidragets oversatte titel :Program Analyse som Model Checking Publikation: Ph.d.-afhandling
Åben adgangFil325 Downloads (Pure) -
2013
Quantitative Models and Analysis for Reactive Systems
Thrane, C., 2013, Department of Computer Sciences. 170 s.Publikation: Ph.d.-afhandling
-
Quantities in Games and Modal Transition Systems
Bidragets oversatte titel :Kvantiteter i spil og modale transitionssystemer Publikation: Ph.d.-afhandling
Åben adgangFil677 Downloads (Pure) -
2012
Formal Analyses of Web Service Protocols
Vighio, S., mar. 2012, Aalborg. 224 s.Publikation: Ph.d.-afhandling
-
Åben adgangFil669 Downloads (Pure)
-
Java for Cost Effective Embedded Real-Time Software
Korsholm, S., aug. 2012, Department of Computer Science, Aalborg University. 75 s.Publikation: Ph.d.-afhandling
Fil628 Downloads (Pure) -
2011Fil1793 Downloads (Pure)
-
2010
Mapping Framework for Heterogeneous Reconfigurable Architectures: Combining Temporal Partitioning and Multiprocessor Scheduling
Popp, A., 2010, Department of Electronic Systems, Aalborg University. 126 s.Publikation: Ph.d.-afhandling
Åben adgangFil1609 Downloads (Pure) -
2009
Design Verification Patterns
Knudsen, J., 2009, Aalborg: Department of Computer Science, Aalborg University.Publikation: Ph.d.-afhandling
-
2008
Modal Transition Systems as the Basis for Interface Theories and Product Lines
Nyman, U., 2008, Aalborg: Aalborg Universitet.Publikation: Ph.d.-afhandling
Åben adgangFil596 Downloads (Pure) -
2003
Data Structures and Algorithms for the Analysis of Real Time Systems
Behrmann, G., 2003, Aalborg Universitet: Department of Computer Sciences. 179 s.Publikation: Ph.d.-afhandling
-
2000
Reasoning about objects using process calculus techniques
Kleist, J., 2000, Aalborg: Aalborg Universitetsforlag.Publikation: Ph.d.-afhandling
-
Specification and Test of Real-Time Systems
Nielsen, B., 2000, Aalborg: Aalborg Universitetsforlag.Publikation: Ph.d.-afhandling
Åben adgangFil551 Downloads (Pure)