Pavol \v{C}ern\'y

Identifiers

• name variant Pavol \v{C}ern\'y 0.60 · backfill

Papers (5)

1. Conflict-Aware Replicated Data Types cs.DC · 2018 · author #4
2. DroidStar: Callback Typestates for Android Classes cs.LO · 2017 · author #8
3. Optimizing Solution Quality in Synchronization Synthesis cs.PL · 2015 · author #1
4. From Non-preemptive to Preemptive Scheduling using Synchronization Synthesis cs.PL · 2015 · author #1
5. Regression-free Synthesis for Concurrency cs.PL · 2014 · author #1

Mentions

• 1511.07163 #1 · backfill · confidence 0.70 Pavol \v{C}ern\'y
• 1505.04533 #1 · backfill · confidence 0.70 Pavol \v{C}ern\'y
• 1407.3681 #1 · backfill · confidence 0.70 Pavol \v{C}ern\'y

Frequent Coauthors

• Arjun Radhakrishna 5 shared papers
• Leonid Ryzhyk 3 shared papers
• Thomas A. Henzinger 3 shared papers
• Thorsten Tarrach 3 shared papers
• Edmund M. Clarke 2 shared papers
• Nicholas V. Lewchenko 2 shared papers
• Roopsha Samanta 2 shared papers
• Akash Gaonkar 1 shared papers
• Bor-Yuh Evan Chang 1 shared papers
• Damien Zufferey 1 shared papers
• Krishna Chaitanya Sripada 1 shared papers
• Sergio Mover 1 shared papers
• Shawn Meier 1 shared papers