output
19932026
most citedpandapower - an Open Source Python Tool for Convenient Modeling, Analysis and Optimization of Electric Power Systems

1.2k citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing 2012 · cs.LOShow all

3 papers · 2 filters

cs.LO2012★ 2 cited

The μ-Calculus Alternation Hierarchy Collapses over Structures with Restricted Connectivity

Julian Gutierrez, Felix Klaedtke, Martin Lange

It is known that the alternation hierarchy of least and greatest fixpoint operators in the mu-calculus is strict. However, the strictness of the alternation hierarchy does not nece…

cs.LO2012★ 1 cited

Model-Checking Process Equivalences

Martin Lange, Etienne Lozes, Manuel Vargas Guzmán

Process equivalences are formal methods that relate programs and system which, informally, behave in the same way. Since there is no unique notion of what it means for two dynamic…

cs.LO2012★ 5 cited

Model-Checking the Higher-Dimensional Modal mu-Calculus

Martin Lange, Etienne Lozes

The higher-dimensional modal mu-calculus is an extension of the mu-calculus in which formulas are interpreted in tuples of states of a labeled transition system. Every property tha…