Jiri Simacek

Identifiers

• name variant Jiri Simacek 0.60 · backfill

Papers (2)

1. Fully Automated Shape Analysis Based on Forest Automata cs.LO · 2013 · author #4
2. The Tree Width of Separation Logic with Recursive Definitions cs.LO · 2013 · author #3

Mentions

• 1304.5806 #4 · backfill · confidence 0.70 Jiri Simacek
• 1301.5139 #3 · backfill · confidence 0.70 Jiri Simacek

Frequent Coauthors

• Adam Rogalewicz 2 shared papers
• Lukas Holik 1 shared papers
• Ondrej Lengal 1 shared papers
• Radu Iosif 1 shared papers
• Tomas Vojnar 1 shared papers