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
International Colloquium on Theoretical Aspects of Computing, 95-115, 2011
762011
Modal transition systems with weight intervals
L Juhl, KG Larsen
The Journal of Logic and Algebraic Programming 81 (4), 408-421, 2012
312012
Optimal bounds for multiweighted and parametrised energy games
L Juhl, KG Larsen, JF Raskin
Theories of Programming and Formal Methods, 244-255, 2013
292013
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 (2), 193-220, 2013
272013
Quantitative refinement for weighted modal transition systems
SS Bauer, U Fahrenberg, L Juhl, KG Larsen, A Legay, C Thrane
International Symposium on Mathematical Foundations of Computer Science, 60-71, 2011
262011
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
202014
A Logic for Accumulated-Weight Reasoning on Multiweighted Modal Automata
S Bauer, L Juhl, KG Larsen, J Srba, A Legay
11*
Extending modal transition systems with structured labels. 2011
SS Bauer, L Juhl, KG Larsen, A Legay, J Srba
Under submission, 0
5
Synchronizing words for timed and weighted automata
L Doyen, L Juhl, KG Larsen, N Markey, M Shirmohammadi
42014
Genetic Privacy: Autonomy or Solidarity?
LB Juhl
Nordic Health Law in a European Context: Welfare State Perspectives on …, 2011
22011
Potential problems in obtaining insurance concern patients referred for genetic counseling
BR Diness, LB Juhl
Ugeskrift for laeger 176 (13), 2014
12014
Quantities in games and modal transition systems
L Juhl
Department of Computer Science, Aalborg University, 2013
12013
Fælles forældremyndighed og skolevalg: forældreansvarslovens regler
M Holdgaard, LB Juhl, HM Motzfeldt
Tidsskrift for Familie-og Arveret 2011 (6), 513-524, 2011
12011
LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS, LIPICS
RR Williams, KK Dabrowski, D Paulusma, PA Golovach, P Van't Hof, ...
2014
Quantities in Games and Modal Transition Systems: PH. D. Thesis
L Juhl
Department of Computer Science, The Faculties of Engineering, Science, and …, 2012
2012
Interesseafvejninger i sundhedsretten: med særligt fokus på håndtering af genetiske oplysninger om slægtninge
LB Juhl
2009
Listefarvninger af planare grafer uden små kredse
L Juhl, C Thomsen
Aalborg Universitet. Institut for Matematiske Fag, 2007
2007
Guest Editor’s foreword MR Hansen 355 Three-valued abstraction for probabilistic systems J.-P. Katoen, D. Klink, M. Leucker and V. Wolf 356 Automated debugging based on a …
F Wotawa, M Nica, I Moraru, L Juhl, KG Larsen, J Srba, A Rutle, A Rossini, ...
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–20