Adam Rogalewicz

Identifiers

• name variant Adam Rogalewicz 0.60 · backfill

Papers (4)

1. Abstraction Refinement for Trace Inclusion of Infinite State Systems cs.LO · 2014 · author #2
2. Deciding Entailments in Inductive Separation Logic with Tree Automata cs.LO · 2014 · author #2
3. Fully Automated Shape Analysis Based on Forest Automata cs.LO · 2013 · author #3
4. The Tree Width of Separation Logic with Recursive Definitions cs.LO · 2013 · author #2

Mentions

• 1410.5056 #2 · backfill · confidence 0.70 Adam Rogalewicz
• 1402.2127 #2 · backfill · confidence 0.70 Adam Rogalewicz
• 1304.5806 #3 · backfill · confidence 0.70 Adam Rogalewicz
• 1301.5139 #2 · backfill · confidence 0.70 Adam Rogalewicz

Frequent Coauthors

• Radu Iosif 3 shared papers
• Tomas Vojnar 3 shared papers
• Jiri Simacek 2 shared papers
• Lukas Holik 1 shared papers
• Ondrej Lengal 1 shared papers