CINECA IRIS Institutional Research Information System
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
ItalianoINTRIGILA, BENEDETTO
Pubblicazioni
Risultati 1 - 20 di 35 (tempo di esecuzione: 0.001 secondi).
| Data di pubblicazione | Titolo | Autore(i) | Tipo | File | |
|---|---|---|---|---|---|
| 1 | 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 | - |
| 2 | 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 |
| 3 | 2005 | A Model Checking Technique for the Verification of Fuzzy Control Systems. | Intrigila, B ; Magazzeni, D ; Melatti, I ; Tronci, E | Intervento a convegno | - |
| 4 | 12-giu-2010 | A PDDL+ Benchmark Problem: The Batch Chemical Plant | Della-Penna, G; Intrigila, B; Magazzeni, D; Mercorio, F | Intervento a convegno | riservati |
| 5 | 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 | - |
| 6 | 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 | - |
| 7 | 2004 | Bounded Probabilistic Model Checking with the Murφ Verifier | Della Penna, G; Intrigila, B; Melatti, I; Tronci, E; Zilli, MV | Intervento a convegno | - |
| 8 | 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 | - |
| 9 | 2007 | Computational models of myocardial endomysial collagen arrangement | Intrigila, B ; Melatti, I ; Tofani, A ; Macchiarelli, G | Articolo su rivista | - |
| 10 | 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 | - |
| 11 | ott-2018 | Engineering Complex Safety Critical Software Systems: Abstraction and Concreteness | Intrigila, B; Mazzucchelli, L | Intervento a convegno | - |
| 12 | 2009 | Evaluating fuzzy controller robustness using model checking | Della Penna, G ; Intrigila, B ; Magazzeni, D | Intervento a convegno | - |
| 13 | 2005 | Exploiting hub states in automatic verification | Della Penna, G; Melatti, I; Intrigila, B; Tronci, E | Intervento a convegno | - |
| 14 | 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 | - |
| 15 | 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 | - |
| 16 | 2018 | Fixed points in lambda calculus. An eccentric survey of problems and solutions | Intrigila, B; Statman, R | Articolo su rivista | - |
| 17 | 2006 | Interoperability mapping from XML schemas to ER diagrams | Della Penna, G; Marco, AD; Intrigila, B; Melatti, I; Pierantonio, A | Articolo su rivista | - |
| 18 | 2015 | On the commutative equivalence of bounded context-free and regular languages: The code case | D'Alessandro, F; Intrigila, B | Articolo su rivista | riservati |
| 19 | 2015 | On the commutative equivalence of bounded context-free and regular languages: Thesemi-linear case | D'Alessandro, F; Intrigila, B | Articolo su rivista | riservati |
| 20 | 2015 | On the commutative equivalence of semi-linear sets of Nk | D'Alessandro, F; Intrigila, B | Articolo su rivista | riservati |
Dettaglio
INTRIGILA, BENEDETTO
Dipartimento di Ingegneria dell'Impresa "Mario Lucertini"
Copyright © 2020