Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Tidjani Négadi
Sergey Bezzateev
Daniel P. Kennedy
Barbara Aquilani
Yunzhi Luo
Maximilian Dürr
Jhonathan Pinzon
Liangliang Shang
Jason O. Hallstrom
Chen Ma
Home
/
Author
/
PHILIPP MEYER
Author Info
Open Visualization
Name
Affiliation
Papers
PHILIPP MEYER
Technische Universität München, Germany
12
Collaborators
Citations
PageRank
24
29
4.72
Referers
Referees
References
73
171
96
Search Limit
100
171
Publications (12 rows)
Collaborators (24 rows)
Referers (73 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Towards efficient verification of population protocols
0
0.34
2021
Peregrine 2.0: Explaining Correctness of Population Protocols through Stage Graphs
0
0.34
2020
Practical synthesis of reactive systems from LTL specifications via parity games: You can teach an old dog new tricks: making a classic approach structured, forward-explorative, and incremental
1
0.37
2020
Practical Synthesis of Reactive Systems from LTL Specifications via Parity Games.
0
0.34
2019
The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results.
0
0.34
2019
Strix: Explicit Reactive Synthesis Strikes Back!
3
0.44
2018
Computing the concurrency threshold of sound free-choice workflow nets.
1
0.38
2018
Computing the Expected Execution Time of Probabilistic Workflow Nets.
0
0.34
2018
Towards Efficient Verification of Population Protocols.
3
0.40
2017
Solving Mean-Payoff Games on the GPU.
4
0.42
2016
An SMT-based Approach to Fair Termination Analysis.
0
0.34
2015
An SMT-Based Approach to Coverability Analysis.
17
0.67
2014
1