Irek Ulidowski (University of Leicester)

Identifiers

• name variant Irek Ulidowski (University of Leicester) 0.60 · backfill

Papers (4)

1. Reversing Parallel Programs with Blocks and Procedures cs.PL · 2018 · author #2
2. Reversing Imperative Parallel Programs cs.PL · 2017 · author #2
3. A Logic with Reverse Modalities for History-preserving Bisimulations cs.LO · 2011 · author #2
4. Reverse Bisimulations on Stable Configuration Structures cs.LO · 2010 · author #2

Mentions

• 1108.4470 #2 · backfill · confidence 0.70 Irek Ulidowski (University of Leicester)
• 1002.2871 #2 · backfill · confidence 0.70 Irek Ulidowski (University of Leicester)

Frequent Coauthors

• Iain Phillips (Imperial College London) 2 shared papers
• James Hoey (University of Leicester) 2 shared papers
• Shoji Yuen (Nagoya University) 2 shared papers