Autore/Creatore: FAELLA, MARCO

FAELLA, MARCO (2009) Admissible Strategies in Infinite Games over Graphs. In: Mathematical Foundations of Computer Science, August 24-28, 2009, Novy Smokovec, High Tatras, Slovakia.

FAELLA, MARCO (2007) An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games. In: CAV (19th International Conference on Computer Aided Verification), August, 2007, Berlin (Germany).

FAELLA, MARCO and MURANO, ANIELLO (2009) Balanced Paths in Colored Graph. In: Mathematical Foundations of Computer Science, August 24-28, 2009, Novy Smokovec, High Tatras, Slovakia.

FAELLA, MARCO (2006) Compositional Quantitative Reasoning. In: QEST'06, September, 2006, Riverside, USA.

BONATTI, PIERO ANDREA and FAELLA, MARCO and SAURO, LUIGI (2009) Defeasible inclusions in low-complexity DLs: preliminary notes. In: International Joint Conference on Artificial Intelligence, July 11-17, 2009, Pasadena, California.

FAELLA, MARCO (2009) Linear and Branching System Metrics. [Pubblicazione su rivista scientifica]

BONATTI, PIERO ANDREA and FAELLA, MARCO (2007) On interoperable trust negotiation strategies. In: POLICY'07, June, 2007, Bologna, Italy.

FAELLA, MARCO (2007) Qualitative Logics and Equivalences for Probabilistic Systems. In: QEST'07, September, 2007, Edimburgh, UK.

FAELLA, MARCO (2009) Qualitative Logics and Equivalences for Probabilistic Systems. [Pubblicazione su rivista scientifica]

FAELLA, MARCO (2006) TICC: A Tool for Interface Compatibility and Composition. In: 18th International Conference on Computer Aided Verification (CAV), August, 2006, Seattle, USA.