Fabio Mogavero Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Mogavero, Aniello Murano: Branching-Time Temporal Logics with Minimal Model Quantifiers. Developments in Language Theory 2009: 396-409
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Bianco, Fabio Mogavero, Aniello Murano: Graded Computation Tree Logic. LICS 2009: 342-351
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano: Balanced Paths in Colored Graphs. MFCS 2009: 149-161
2008
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPiero A. Bonatti, Fabio Mogavero: Comparing Rule-Based Policies. POLICY 2008: 11-18

Coauthor Index

1Alessandro Bianco [2] [3]
2Piero A. Bonatti [1]
3Marco Faella [2]
4Aniello Murano [2] [3] [4]

Copyright © Mon Nov 30 15:58:31 2009 by Michael Ley (ley@uni-trier.de)