Concepedia
Statistics
Publications
17
Citations
437
H-Index
13
Active since
2001
Affiliations
RWTH Aachen University(Current)
Inform (Germany)
Laboratoire d'Informatique Algorithmique: Fondements et Applications
Université Paris Cité
Centre National de la Recherche Scientifique
Christof Löding is an author at RWTH Aachen University specializing in engineering, automated reasoning, and formal methods.
Top concepts
EngineeringFormal MethodsAutomated ReasoningComputer ScienceFormal VerificationComputational ComplexityCombinatorial OptimizationVerificationSoftware AnalysisDiscrete Mathematics
Publications per year
2001–2022
Efficient minimization of deterministic weak -automata
Christof Löding · Information Processing Letters · 2001 · 77 citations
Engineering, Formal Methods, Automaton Network +5
Transforming structures by set interpretations
Thomas Colcombet, Christof Löding · Logical Methods in Computer Science · 2007 · 55 citations · Full text
Mathematical Structure, Expressive Power, Finite Sets Interpretations +15
Regular Cost Functions over Finite Trees
Thomas Colcombet, Christof Löding · 2010 · 37 citations
Mathematical Programming, Tree Language, Regular Cost Functions +15
Propositional dynamic logic with recursive programs
Christof Löding, Carsten Lutz, Olivier Serre · The Journal of Logic and Algebraic Programming · 2007 · 30 citations · Full text
Engineering, Automated Reasoning, Propositional Logic +5
Synthesis of Open Reactive Systems from Scenario-Based Specifications
Yves Bontemps, Pierre‐Yves Schobbens, Christof Löding · Repository of the University of Namur · 2004 · 29 citations
1–5 of 17