INTRIGILA, BENEDETTO
Dettaglio
INTRIGILA, BENEDETTO
Dipartimento di Ingegneria dell'Impresa "Mario Lucertini"
Pubblicazioni
Risultati 1 - 20 di 35 (tempo di esecuzione: 0.009 secondi).
Data di pubblicazione | Titolo | Autore(i) | Tipo | File | |
---|---|---|---|---|---|
301 | 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 | - |
302 | 2013 | A Lightweight Formalism for the Integration of BPMN Models with Domain Ontologies | Della Penna G, Del Sordo R, Intrigila B, Mezzopera N, Pazienza M | Intervento a convegno | riservati |
303 | 2005 | A Model Checking Technique for the Verification of Fuzzy Control Systems. | Intrigila, B ; Magazzeni, D ; Melatti, I ; Tronci, E | Intervento a convegno | - |
304 | 12-giu-2010 | A PDDL+ Benchmark Problem: The Batch Chemical Plant | Della-Penna, G; Intrigila, B; Magazzeni, D; Mercorio, F | Intervento a convegno | riservati |
305 | 2008 | An XML based methodology to model and use scenarios in the software development process | Della Penna, G; Laurenzi, AR; Orefice, S; Intrigila, B | Articolo su rivista | - |
306 | 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 | - |
307 | 2004 | Bounded Probabilistic Model Checking with the Murφ Verifier | Della Penna, G; Intrigila, B; Melatti, I; Tronci, E; Zilli, MV | Intervento a convegno | - |
308 | 2016 | A BPMN-based automated approach for the analysis of healthcare processes | Antonacci, G; Calabrese, A; D'Ambrogio, A; Giglio, A; Intrigila, B; Ghiron, Nl | Intervento a convegno | - |
309 | 2007 | Computational models of myocardial endomysial collagen arrangement | Intrigila, B ; Melatti, I ; Tofani, A ; Macchiarelli, G | Articolo su rivista | - |
310 | 29-gen-2019 | Degrees of extensionality in the theory of Böhm trees and sallé’s conjecture | Intrigila, B; Manzonetto, G; Polonsky, A | Articolo su rivista | - |
311 | ott-2018 | Engineering Complex Safety Critical Software Systems: Abstraction and Concreteness | Intrigila, B; Mazzucchelli, L | Intervento a convegno | - |
312 | 2009 | Evaluating fuzzy controller robustness using model checking | Della Penna, G ; Intrigila, B ; Magazzeni, D | Intervento a convegno | - |
313 | 2005 | Exploiting hub states in automatic verification | Della Penna, G; Melatti, I; Intrigila, B; Tronci, E | Intervento a convegno | - |
314 | 2004 | Exploiting transition locality in automatic verification of finite-state concurrent systems | Della Penna, G; Intrigila, B; Melatti, I; Tronci, E; Zilli, MV | Articolo su rivista | - |
315 | 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 | - |
316 | 2018 | Fixed points in lambda calculus. An eccentric survey of problems and solutions | Intrigila, B; Statman, R | Articolo su rivista | - |
317 | 2006 | Interoperability mapping from XML schemas to ER diagrams | Della Penna, G; Marco, AD; Intrigila, B; Melatti, I; Pierantonio, A | Articolo su rivista | - |
318 | 2015 | On the commutative equivalence of bounded context-free and regular languages: The code case | D'Alessandro, F; Intrigila, B | Articolo su rivista | riservati |
319 | 2015 | On the commutative equivalence of bounded context-free and regular languages: Thesemi-linear case | D'Alessandro, F; Intrigila, B | Articolo su rivista | riservati |
320 | 2015 | On the commutative equivalence of semi-linear sets of Nk | D'Alessandro, F; Intrigila, B | Articolo su rivista | riservati |