Levi Lucio
Identifiers
No identifiers captured yet.
Papers (3)
- Tractable Verification of Model Transformations: A Cutoff-Theorem Approach for DSLTrans cs.SE · 2026 · author #1
- Towards Controlling Refinements of Statecharts cs.SE · 2015 · author #3
- Next-Generation EU DataGrid Data Management Services physics.data-an · 2003 · author #8
Mentions
No mention provenance yet.
Frequent Coauthors
- Akos Frohner 1 shared papers
- Conner Hansen 1 shared papers
- David Cameron 1 shared papers
- Diana Bosio 1 shared papers
- Erwin Laure 1 shared papers
- Eugene Syriani 1 shared papers
- Gavin McCance 1 shared papers
- Gian-Luca Volpato 1 shared papers
- Giuseppe Andronico 1 shared papers
- Heinz Stockinger 1 shared papers
- James Casey 1 shared papers
- Joni Hahkala 1 shared papers
- Kurt Stockinger 1 shared papers
- Leanne Guy 1 shared papers
- Mika Silander 1 shared papers
- Niklas Karlsson 1 shared papers
- Olle Mulmo 1 shared papers
- Paul Millar 1 shared papers
- Peter Kunszt 1 shared papers
- Sophie Lemaitre 1 shared papers