| Reasoning about bounds in weighted transition systems M Hansen, KG Larsen, R Mardare, MR Pedersen Logical Methods in Computer Science 14, 2018 | 14* | 2018 |
| Parametric verification of weighted systems P Christoffersen, M Hansen, A Mariegaard, JT Ringsmose, KG Larsen, ... 2nd International Workshop on Synthesis of Complex Parameters, SynCoP 2015 …, 2015 | 14 | 2015 |
| Model checking constrained Markov reward models with uncertainties G Bacci, M Hansen, KG Larsen Quantitative Evaluation of Systems: 16th International Conference, QEST 2019 …, 2019 | 8 | 2019 |
| On the verification of weighted kripke structures under uncertainty G Bacci, M Hansen, KG Larsen Quantitative Evaluation of Systems: 15th International Conference, QEST 2018 …, 2018 | 5 | 2018 |
| Optimering af signalstyring i realtid: Intelligent styring af signalregulerede kryds ved anvendelse af maskinlæring og objektdetektering MF Hansen, AB Eriksen, JH Taankvist, KG Larsen, H Lahrmann Danish Journal of Transportation Research-Dansk tidskrift for …, 2017 | 1 | 2017 |
| Using machine learning and object detection for signal-controlled intersections HS Lahrmann, AB Eriksen, JH Taankvist, MF Hansen, KG Larsen 25th ITS World Congress-Quality of Life, EU-TP1618, 2018 | | 2018 |
| Weighted Transition Systems: From Boolean to Parametric Analysis SV Birch, P Christoffersen, M Hansen, A Mariegaard, J Ringsmose | | 2014 |
| Games for Programmers K Jepsen, MH Sørensen, ML Pedersen, M Nørtoft, M Hansen | | 2012 |
| Evanescent-wave fluorescence excitation in aqueous solutions using symmetric planar waveguides K Leosson, MH Sørensen, T Nikolajsen, M Hansen, SI Bozhevolnyi | | |
| Mobile løsninger til danske el-producenter Tema: Developing applications-from users to data, algorithms and tests-and back again KM Jepsen, LGB Nielsen, ML Pedersen, M Sørensen, M Hansen, ... | | |
Kim G. LarsenDirector, Professor Aalborg UniversityEmail verificata su cs.aau.dk
