IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 38
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 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-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-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 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-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 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-2009 THE OMEGA RULE IS Pi(1)(1)-COMPLETE IN THE lambda beta-CALCULUS Intrigila, B; Statman, R Articolo su rivista
1-gen-2009 Evaluating fuzzy controller robustness using model checking Della Penna, G; Intrigila, B; Magazzeni, D Intervento a convegno
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
Mostrati risultati da 1 a 20 di 38
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