Philipp J. Meyer

Identifiers

• name variant Philipp J. Meyer 0.60 · backfill

Papers (5)

1. The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results cs.LO · 2019 · author #9
2. Computing the Expected Execution Time of Probabilistic Workflow Nets cs.LO · 2018 · author #1
3. Computing the concurrency threshold of sound free-choice workflow nets cs.LO · 2018 · author #1
4. Quantitative Implementation Strategies for Safety Controllers cs.SY · 2017 · author #1
5. Towards Efficient Verification of Population Protocols cs.LO · 2017 · author #4

Mentions

• 1712.05278 #1 · arxiv_oai · confidence 0.70 Philipp J. Meyer

Frequent Coauthors

• Javier Esparza 4 shared papers
• Michael Luttenberger 2 shared papers
• Adam Walker 1 shared papers
• Ayrat Khalimov 1 shared papers
• Bernd Finkbeiner 1 shared papers
• Felix Klein 1 shared papers
• Hagen V\"olzer 1 shared papers
• Leander Tentrup 1 shared papers
• Majid Zamani 1 shared papers
• Matthias Rungger 1 shared papers
• Maximilien Colange 1 shared papers
• Michael Blondin 1 shared papers
• Mouhammad Sakr 1 shared papers
• Peter Faymonville 1 shared papers
• Philip Offtermatt 1 shared papers
• Roderick Bloem 1 shared papers
• Salomon Sickert 1 shared papers
• Stefan Jaax 1 shared papers
• Swen Jacobs 1 shared papers
• Thibaud Michaud 1 shared papers