Thorsten Tarrach

Identifiers

No identifiers captured yet.

Papers (3)

1. Optimizing Solution Quality in Synchronization Synthesis cs.PL · 2015 · author #7
2. From Non-preemptive to Preemptive Scheduling using Synchronization Synthesis cs.PL · 2015 · author #7
3. Regression-free Synthesis for Concurrency cs.PL · 2014 · author #5

Mentions

No mention provenance yet.

Frequent Coauthors

• Arjun Radhakrishna 3 shared papers
• Leonid Ryzhyk 3 shared papers
• Pavol \v{C}ern\'y 3 shared papers
• Thomas A. Henzinger 3 shared papers
• Edmund M. Clarke 2 shared papers
• Roopsha Samanta 2 shared papers