Pubblicazione in rivista scientifica

Faella, Marco (2009) Linear and Branching System Metrics. [Pubblicazione in rivista scientifica]

Faella, Marco (2009) Qualitative Logics and Equivalences for Probabilistic Systems. [Pubblicazione in rivista scientifica]

Contributo a Convegno o Workshop

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 and Murano, Aniello (2009) Balanced Paths in Colored Graph. In: Mathematical Foundations of Computer Science, August 24-28, 2009, Novy Smokovec, High Tatras, Slovakia.

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 (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).

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 (2006) Compositional Quantitative Reasoning. In: QEST'06, September, 2006, Riverside, USA.

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