| Energy games in multiweighted automata U Fahrenberg, L Juhl, KG Larsen, J Srba Theoretical Aspects of Computing–ICTAC 2011: 8th International Colloquium …, 2011 | 93 | 2011 |
| Optimal bounds for multiweighted and parametrised energy games L Juhl, K Guldstrand Larsen, JF Raskin Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on …, 2013 | 35 | 2013 |
| Modal transition systems with weight intervals L Juhl, KG Larsen The Journal of Logic and Algebraic Programming 81 (4), 408-421, 2012 | 30 | 2012 |
| Extending modal transition systems with structured labels SS Bauer, L Juhl, KG Larsen, A Legay, J Srba Mathematical Structures in Computer Science 22 (4), 581-617, 2012 | 29 | 2012 |
| Weighted modal transition systems SS Bauer, U Fahrenberg, L Juhl, KG Larsen, A Legay, C Thrane Formal Methods in System Design 42, 193-220, 2013 | 28 | 2013 |
| Quantitative refinement for weighted modal transition systems SS Bauer, U Fahrenberg, L Juhl, KG Larsen, A Legay, C Thrane Mathematical Foundations of Computer Science 2011: 36th International …, 2011 | 27 | 2011 |
| Synchronizing words for weighted and timed automata L Doyen, L Juhl, KG Larsen, N Markey, M Shirmohammadi 34th International Conference on Foundation of Software Technology and …, 2014 | 26 | 2014 |
| A Logic for Accumulated-Weight Reasoning on Multiweighted Modal Automata S Bauer, L Juhl, KG Larsen, J Srba, A Legay | 14* | |
| Synchronizing words for timed and weighted automata L Doyen, L Juhl, KG Larsen, N Markey, M Shirmohammadi Research Report LSV-13-15, Laboratoire Spécification et Vérification, ENS …, 2013 | 5 | 2013 |
| Extending modal transition systems with structured labels. 2011 SS Bauer, L Juhl, KG Larsen, A Legay, J Srba Under submission, 0 | 4 | |
| Quantities in games and modal transition systems L Juhl Department of Computer Science, Aalborg University, 2013 | 1 | 2013 |
| Mentorship in a long-term PBL-based university academic development program in Denmark: Views of subject and pedagogy mentors X Du, J Chen, N Stegeager, TL Thomsen, PK Telléus, A Guerra, LB Juhl International Journal for Academic Development, 2024 | | 2024 |
| Quantities in Games and Modal Transition Systems: PH. D. Thesis L Juhl Department of Computer Science, The Faculties of Engineering, Science, and …, 2012 | | 2012 |
| Listefarvninger af planare grafer uden små kredse L Juhl, C Thomsen Aalborg Universitet. Institut for Matematiske Fag, 2007 | | 2007 |
| Introducing Modal Transition Systems with Weight Sets L Juhl NWPT 2009, 0 | | |
Kim G. LarsenDirector, Professor Aalborg University在 cs.aau.dk 的电子邮件经过验证
