Sfoglia per Autore
On the generalization of Higman and Kruskal's theorems to regular languages and rational trees
2000-01-01 Intrigila, B; Varricchio, S
Bounded Probabilistic Model Checking with the Murφ Verifier
2004-01-01 Della Penna, G; Intrigila, B; Melatti, I; Tronci, E; Zilli, M
Exploiting transition locality in automatic verification of finite-state concurrent systems
2004-01-01 Della Penna, G; Intrigila, B; Melatti, I; Tronci, E; Zilli, M
Some results on extensionality in lambda calculus
2005-01-01 Intrigila, B; Statman, R
A Model Checking Technique for the Verification of Fuzzy Control Systems.
2005-01-01 Intrigila, B; Magazzeni, D; Melatti, I; Tronci, E
Exploiting hub states in automatic verification
2005-01-01 Della Penna, G; Melatti, I; Intrigila, B; Tronci, E
Interoperability mapping from XML schemas to ER diagrams
2006-01-01 Della Penna, G; Marco, A; Intrigila, B; Melatti, I; Pierantonio, A
On the structure of the counting function of sparse context-free languages
2006-01-01 D'Alessandro, F; Intrigila, B; Varricchio, S
Finite horizon analysis of Markov Chains with the Murphi verifier
2006-01-01 Della_penna, G; Intrigila, B; Melatti, I; Tronci, E; Venturini_zilli, M
Computational models of myocardial endomysial collagen arrangement
2007-01-01 Intrigila, B; Melatti, I; Tofani, A; Macchiarelli, G
The omega rule is \Pi^1_1-complete in the lambda-calculus
2007-01-01 Intrigila, B; Statman, R
A genetic approach to the automatic generation of fuzzy control systems from numerical controllers
2007-01-01 Della Penna, G; Fallucchi, F; Intrigila, B; Magazzeni, D
Robustness and Interoperability Problems in Security Devices
2008-01-01 Talamo, M; Arcieri, F; Della Penna, G; Dimitri, A; Intrigila, B; Magazzeni, D
An XML based methodology to model and use scenarios in the software development process
2008-01-01 Della Penna, G; Laurenzi, A; Orefice, S; Intrigila, B
Verifying extended criteria for the interoperability of security devices
2008-01-01 Talamo, M; Arcieri, F; Della Penna, G; Dimitri, A; Intrigila, B; Magazzeni, D
Automated Generation of Optimal Controllers through Model Checking Techniques
2008-01-01 Della Penna, G; Intrigila, B; Magazzeni, D; Tofani, A; Melatti, I; Tronci, E
THE OMEGA RULE IS Pi(1)(1)-COMPLETE IN THE lambda beta-CALCULUS
2009-01-01 Intrigila, B; Statman, R
UPMurphi: A Tool for Universal Planning on PDDL+ Problems
2009-01-01 Della Penna, G; Intrigila, B; Magazzeni, D; Mercorio, F
The Parikh counting functions of sparse context-free languages are quasi-polynomials
2009-01-01 D’Alessandro, F; Intrigila, B; Varricchio, S
Evaluating fuzzy controller robustness using model checking
2009-01-01 Della Penna, G; Intrigila, B; Magazzeni, D
Data di pubblicazione | Titolo | Autore(i) | Tipo | File |
---|---|---|---|---|
1-gen-2000 | On the generalization of Higman and Kruskal's theorems to regular languages and rational trees | Intrigila, B; Varricchio, S | Articolo su rivista | |
1-gen-2004 | Bounded Probabilistic Model Checking with the Murφ Verifier | Della Penna, G; Intrigila, B; Melatti, I; Tronci, E; Zilli, M | Intervento a convegno | |
1-gen-2004 | Exploiting transition locality in automatic verification of finite-state concurrent systems | Della Penna, G; Intrigila, B; Melatti, I; Tronci, E; Zilli, M | Articolo su rivista | |
1-gen-2005 | Some results on extensionality in lambda calculus | Intrigila, B; Statman, R | Articolo su rivista | |
1-gen-2005 | A Model Checking Technique for the Verification of Fuzzy Control Systems. | Intrigila, B; Magazzeni, D; Melatti, I; Tronci, E | Intervento a convegno | |
1-gen-2005 | Exploiting hub states in automatic verification | Della Penna, G; Melatti, I; Intrigila, B; Tronci, E | Intervento a convegno | |
1-gen-2006 | Interoperability mapping from XML schemas to ER diagrams | Della Penna, G; Marco, A; Intrigila, B; Melatti, I; Pierantonio, A | Articolo su rivista | |
1-gen-2006 | On the structure of the counting function of sparse context-free languages | D'Alessandro, F; Intrigila, B; Varricchio, S | Articolo su rivista | |
1-gen-2006 | Finite horizon analysis of Markov Chains with the Murphi verifier | Della_penna, G; Intrigila, B; Melatti, I; Tronci, E; Venturini_zilli, M | Articolo su rivista | |
1-gen-2007 | Computational models of myocardial endomysial collagen arrangement | Intrigila, B; Melatti, I; Tofani, A; Macchiarelli, G | Articolo su rivista | |
1-gen-2007 | The omega rule is \Pi^1_1-complete in the lambda-calculus | Intrigila, B; Statman, R | Intervento a convegno | |
1-gen-2007 | A genetic approach to the automatic generation of fuzzy control systems from numerical controllers | Della Penna, G; Fallucchi, F; Intrigila, B; Magazzeni, D | Intervento a convegno | |
1-gen-2008 | Robustness and Interoperability Problems in Security Devices | Talamo, M; Arcieri, F; Della Penna, G; Dimitri, A; Intrigila, B; Magazzeni, D | Intervento a convegno | |
1-gen-2008 | An XML based methodology to model and use scenarios in the software development process | Della Penna, G; Laurenzi, A; Orefice, S; Intrigila, B | Articolo su rivista | |
1-gen-2008 | Verifying extended criteria for the interoperability of security devices | Talamo, M; Arcieri, F; Della Penna, G; Dimitri, A; Intrigila, B; Magazzeni, D | Intervento a convegno | |
1-gen-2008 | Automated Generation of Optimal Controllers through Model Checking Techniques | Della Penna, G; Intrigila, B; Magazzeni, D; Tofani, A; Melatti, I; Tronci, E | Contributo in libro | |
1-gen-2009 | THE OMEGA RULE IS Pi(1)(1)-COMPLETE IN THE lambda beta-CALCULUS | Intrigila, B; Statman, R | Articolo su rivista | |
1-gen-2009 | UPMurphi: A Tool for Universal Planning on PDDL+ Problems | Della Penna, G; Intrigila, B; Magazzeni, D; Mercorio, F | Intervento a convegno | |
1-gen-2009 | The Parikh counting functions of sparse context-free languages are quasi-polynomials | D’Alessandro, F; Intrigila, B; Varricchio, S | Articolo su rivista | |
1-gen-2009 | Evaluating fuzzy controller robustness using model checking | Della Penna, G; Intrigila, B; Magazzeni, D | Intervento a convegno |
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