Follow
Line Juhl
Line Juhl
Department of Computer Science, Aalborg University
No verified email
Title
Cited by
Cited by
Year
Energy games in multiweighted automata
U Fahrenberg, L Juhl, KG Larsen, J Srba
Theoretical Aspects of Computing–ICTAC 2011: 8th International Colloquium …, 2011
902011
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
352013
Modal transition systems with weight intervals
L Juhl, KG Larsen
The Journal of Logic and Algebraic Programming 81 (4), 408-421, 2012
312012
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
292012
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
282013
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
282011
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
262014
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
52013
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
12013
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
The system can't perform the operation now. Try again later.
Articles 1–15