Thorsten Tarrach

Identifiers

• name variant Thorsten Tarrach 0.60 · backfill

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

• 1511.07163 #7 · backfill · confidence 0.70 Thorsten Tarrach
• 1505.04533 #7 · backfill · confidence 0.70 Thorsten Tarrach
• 1407.3681 #5 · backfill · confidence 0.70 Thorsten Tarrach

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