Author Info
Name
Affiliation
Papers
GUTSFELD JENS OLIVER
University of Münster
2
Collaborators
Citations 
PageRank 
4
1
0.69
Referers 
Referees 
References 
3
0
0
Title
Citations
PageRank
Year
Temporal Logics with Language Parameters00.342021
Propositional Dynamic Logic for Hyperproperties10.352020