Vous êtes ici

Gérard Cece

Département DISC
équipe VESONTIO

UFC

Courriel :: gcece [at] femto-st.fr
Adresse :: DISC - NUMERICA (Campus Montbéliard)
Portes du Jura
2 cours Louis Leprince Ringuet
25200 MONTBELIARD

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@inproceedings{2ec008c3-57bc-4488-bda8-9d8ac7f3af34, title = {Foundation for a series of efficient simulation algorithms}, author = {Cece, G\'erard}, year = {2017}, address = {Reykjavik, Iceland}, booktitle = {32nd Symposium on Logic in Computer Science (LICS ) - ACM/IEEE}, month = {jun}, pages = {12}, url = {https://publiweb.femto-st.fr/tntnet/entries/14162/documents/author/data}, doi = {10.1109/LICS.2017.8005069} }

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@inproceedings{cg11:ip, title = {Simulations over Two-Dimensional On-Line Tessellation Automata}, author = {C\'ec\'e, G\'erard and Giorgetti, Alain}, year = {2011}, address = {Milan, Italy}, booktitle = {DLT 2011, Developments in Language Theory}, editor = {Mauri, Giancarlo and Leporati, Alberto}, month = {jul}, pages = {141--152}, url = {http://dx.doi.org/10.1007/978-3-642-22321-1_13}, volume = {6795}, doi = {10.1007/978-3-642-22321-1_13}, series = {Lecture Notes in Computer Science (LNCS)} }

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
pdf | doi
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
doi

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
doi