Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Tidjani Négadi
Daniel P. Kennedy
Barbara Aquilani
Tomasz Kornuta
Keita Maehara
S. Murakami
Maximilian Dürr
Jhonathan Pinzon
Liangliang Shang
Chen Ma
Home
/
Author
/
MARTIN LANGE
Author Info
Open Visualization
Name
Affiliation
Papers
MARTIN LANGE
Ludwig—Maximilian University of Munich
11
Collaborators
Citations
PageRank
10
13
4.00
Referers
Referees
References
23
76
61
Publications (11 rows)
Collaborators (10 rows)
Referers (23 rows)
Referees (76 rows)
Title
Citations
PageRank
Year
Model Checking Timed Recursive CTL.
0
0.34
2021
Temporal Logic with Recursion.
0
0.34
2020
22nd International Symposium on Temporal Representation and Reasoning (TIME 2015)
0
0.34
2018
Space-Efficient Fragments of Higher-Order Fixpoint Logic.
0
0.34
2017
Model Checking CTL over Restricted Classes of Automatic Structures.
0
0.34
2017
Model Checking for the Full Hybrid Computation Tree Logic
1
0.35
2016
The Sequent Calculus Trainer - Helping Students to Correctly Construct Proofs
3
0.45
2015
The Arity Hierarchy in the Polyadic μ-Calculus.
0
0.34
2015
A Note on the Relation between Inflationary Fixpoints and Least Fixpoints of Higher Order.
0
0.34
2009
Non-regular fixed-point logics and games
2
0.36
2008
Local Model Checking Games for Fixed Point Logic with Chop
7
0.46
2002
1