IRIS

FAELLA, MARCO

FAELLA, MARCO  

DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE  

Mostra records
Risultati 1 - 20 di 67 (tempo di esecuzione: 0.051 secondi).
Titolo Tipologia Data di pubblicazione Autore(i) File
Decidability of Circumscribed Description Logics Revisited 4.1 Articoli in Atti di convegno 2014 Bonatti, PIERO ANDREA; Faella, Marco; Carsten, Lutz; Sauro, Luigi; Frank, Wolter
Compositional Quantitative Reasoning 4.1 Articoli in Atti di convegno 2006 K., Chatterjee; L., de Alfaro; Faella, Marco; T. A., Henzinger; R., Majumdar; M., Stoelinga
Proceedings of Third International Symposium onGames, Automata, Logics and Formal Verification (GandALF 2012) 7.1 Curatore o Editor di Libri Scientifici 2012 Faella, Marco; Murano, Aniello
Adding default attributes to EL++ 4.1 Articoli in Atti di convegno 2011 Bonatti, PIERO ANDREA; Faella, Marco; Sauro, Luigi
On the complexity of EL with defeasible inclusions 4.1 Articoli in Atti di convegno 2011 Bonatti, PIERO ANDREA; Faella, Marco; Sauro, Luigi
Balanced Paths in Colored Graph 4.1 Articoli in Atti di convegno 2009 A., Bianco; Faella, Marco; Murano, Aniello; Mogavero, Fabio
Defeasible inclusions in low-complexity DLs 1.1 Articolo in rivista 2011 Bonatti, PIERO ANDREA; Faella, Marco; Sauro, Luigi
Quantitative Fairness Games 4.1 Articoli in Atti di convegno 2010 Bianco, Alessandro; Faella, Marco; Mogavero, Fabio; Murano, Aniello
Qualitative Logics and Equivalences for Probabilistic Systems 1.1 Articolo in rivista 2009 L., de Alfaro; K., Chatterjee; Faella, Marco; A., Legay
Defeasible inclusions in low-complexity DLs: preliminary notes 2.1 Contributo in volume (Capitolo o Saggio) 2009 Bonatti, PIERO ANDREA; Faella, Marco; Sauro, Luigi
TICC: A Tool for Interface Compatibility and Composition 4.1 Articoli in Atti di convegno 2006 B. T., Adler; L., de Alfaro; L., Dias Da Silva; Faella, Marco; A., Legay; V., Raman; P., Roy
Model Checking Discounted Temporal Properties 4.1 Articoli in Atti di convegno 2004 L., de Alfaro; Faella, Marco; T. A., Henzinger; R., Majumdar; M., Stoelinga
Sociable Interfaces 4.1 Articoli in Atti di convegno 2005 L., de Alfaro; L., Dias da Silva; Faella, Marco; A., Legay; P., Roy; M., Sorea
The Element of Surprise in Timed Games 4.1 Articoli in Atti di convegno 2003 L., DE ALFARO; Faella, Marco; T. A., Henzinger; R., Majumdar; M., Stoelinga
Assigning trust to Wikipedia content 4.1 Articoli in Atti di convegno 2008 B. T., Adler; K., Chatterjee; L., de Alfaro; Faella, Marco; I., Pye; V., Raman
Linear and Branching Metrics for Quantitative Transition Systems 4.1 Articoli in Atti di convegno 2004 L., de Alfaro; Faella, Marco; M., Stoelinga
Model checking quantitative linear time logic 1.1 Articolo in rivista 2008 Faella, Marco; A., Legay; M., Stoelinga
An Integrated Formal Approach to Usage Control 4.1 Articoli in Atti di convegno 2013 Bonatti, PIERO ANDREA; Sauro, Luigi; Faella, Marco; Galdi, Clemente
Average Reward Timed Games 4.1 Articoli in Atti di convegno 2005 L., de Alfaro; Faella, Marco; B., Adler
Code Aware Resource Management 4.1 Articoli in Atti di convegno 2005 L., DE ALFARO; Faella, Marco; R., Majumdar; V., Raman