L'institut
FEMTO-ST
Annuaire

Vous êtes ici

Gérard Cece

Publications de Gérard Cece

2017 (1)

  • inproceedings - Foundation for a series of efficient simulation algorithms
    32nd Symposium on Logic in Computer Science (LICS ) - ACM/IEEE / Reykjavik, Iceland (2017, Pages pages 12)
    Cece, Gérard
    pdf | doi | bibtex

2011 (1)

  • inproceedings - Simulations over Two-Dimensional On-Line Tessellation Automata
    DLT 2011, Developments in Language Theory / Milan, Italy (Volume 6795, Series Lecture Notes in Computer Science (LNCS), 2011, Pages pages 141--152)
    Cece, Gérard | Giorgetti, Alain
    pdf | doi | bibtex

2008 (2)

  • article - Efficiency of Automata in Semi-Commutation Verification Techniques
    RAIRO - Theoretical Informatics and Applications (Volume 42, Issue (2), mar 2008, Pages :197 - 215)
    Cece, Gérard | Heam, Pierre-Cyrille | Mainier, Yann
  • article - Clôtures transitives de semi-commutations et model-checking régulier
    Technique et Science Informatiques (TSI) (Volume 27, Issue (1-2), 2008, Pages :7 - 28)
    Heam, Pierre-Cyrille | Cece, Gérard | Mainier, Yann

2005 (1)

  • article - Verification of programs with half-duplex communication
    Information and Computation (Volume 202, Issue (2), nov 2005, Pages :166 - 190)
    Cece, Gérard | Finkel, Alain