Omar Inverso

Identifiers

• name variant Omar Inverso 0.60 · backfill

Papers (2)

1. Towards formal models and languages for verifiable Multi-Robot Systems cs.PL · 2018 · author #3
2. On the Path-Width of Integer Linear Programming cs.LO · 2014 · author #3

Mentions

• 1408.5958 #3 · backfill · confidence 0.70 Omar Inverso

Frequent Coauthors

• Constantin Enea 1 shared papers
• Gennaro Parlato 1 shared papers
• Luca Di Stefano 1 shared papers
• Peter Habermehl 1 shared papers
• Rocco De Nicola 1 shared papers