Line Juhl

Publications

100

Citations

H-Index

2012

Active since

Affiliations

Ludwig-Maximilians-Universität München(Current)

Aalborg University

Institut de Recherche en Informatique et Systèmes Aléatoires

Institut national de recherche en sciences et technologies du numérique

Embedded Systems (United States)

Line Juhl is an author at Ludwig-Maximilians-Universität München specializing in language studies, computational linguistics, and automated reasoning.

Top concepts

LanguageEngineeringVerificationFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationSystems EngineeringComputational LinguisticsSemantics

Publications per year

2012–2014

Publications

Extending modal transition systems with structured labels

Sebastian Bauer, Line Juhl, Kim G. Larsen et al. · Mathematical Structures in Computer Science · 2012 · 28 citations

Engineering, Complex Label Refinement, Verification +17

Modal transition systems with weight intervals

Line Juhl, Kim G. Larsen, Jiřı́ Srba · The Journal of Logic and Algebraic Programming · 2012 · 27 citations

Discrete Dynamical System, Modal Transition Systems, Mathematical Modelling

Weighted modal transition systems

Sebastian Bauer, Uli Fahrenberg, Line Juhl et al. · Formal Methods in System Design · 2012 · 20 citations

Weighted Automaton, Discrete Dynamical System, Modal Transition Systems +1

Synchronizing Words for Weighted and Timed Automata

Laurent Doyen, Line Juhl, Kim G. Larsen et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2014 · 14 citations · Full text

Engineering, Verification, Synchronization Problem +20

A Logic for Accumulated-Weight Reasoning on Multiweighted Modal Automata

Sebastian Bauer, Line Juhl, Kim G. Larsen et al. · 2012 · 11 citations

Rows per page

1–5 of 5