Sfoglia per Autore
A constructive object oriented modeling language for information systems
2006 M. Ornaghi, M. Benini, M. Ferrari, C. Fiorentini, A. Momigliano
Mobile resource guarantees (evaluation paper)
2007 D. Sannella, M. Hofmann, D. Aspinall, S. Gilmore, I. Stark, L. Beringer, H.W. Loidl, K. Mackenzie, A. Momigliano, O. Shkaravska
Mechanized metatheory model-checking
2007 J. Cheney, A. Momigliano
Preface
2007 A. Momigliano, B. Pientka
Optimisation Validation
2007 D. Aspinall, L. Beringer, A. Momigliano
A program logic for resources
2007 D. Aspinall, L. Beringer, M. Hofmann, H. -W. Loidl, A. Momigliano
Snapshot generation in a constructive object-oriented modeling language
2008 M. Ferrari, C. Fiorentini, A. Momigliano, M. Ornaghi
Two-level hybrid : a system for reasoning using higher-order abstract syntax
2008 A. Momigliano, A.J. Martin, A.P. Felty
Applying ASP to UML model validation
2009 M. Ornaghi, C. Fiorentini, A. Momigliano, F. Pagano
Reasoning with hypothetical judgments and open terms in hybrid
2009 A.P. Felty, A. Momigliano
Towards a type discipline for answer set programming
2009 C. Fiorentini, A. Momigliano, M. Ornaghi
A constructive approach to testing model transformations
2010 C. Fiorentini, A. Momigliano, M. Ornaghi, I. Poernomo
Proof-Theoretic and Higher-Order Extensions of Logic Programming
2010 A. Momigliano, M. Ornaghi
A supposedly fun thing i may have to do again : a HOAS encoding of Howe's method
2012 A. Momigliano
Hybrid - a definitional two-level approach to reasoning with higher-order abstract syntax
2012 A. P. Felty, A. Momigliano
Cut elimination for a logic with induction and co-induction
2012 A. Tiu, A. Momigliano
Focusing on contraction
2013 A. Avellone, C. Fiorentini, A. Momigliano
Preface
2013 A. Momigliano, B. Pientka, R. Pollack
An Open Challenge Problem Repository for Systems Supporting Binders
2015 A. Felty, A. Momigliano, B. Pientka
A Semantical Analysis of Focusing and Contraction in Intuitionistic Logic
2015 A. Avellone, C. Fiorentini, A. Momigliano
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile