Personal information

France

Activities

Employment (1)

University of Lille: Lille, FR

2015-03-01 to present | Référent Science Ouverte (Service Commun de Documentation)
Employment
Source: Self-asserted source
Camille Vacher

Works (6)

Decidable classes of tree automata mixing local and global constraints modulo flat theories

Logical Methods in Computer Science
2013 | Journal article
EID:

2-s2.0-84875912901

Part of ISSN: 18605974
Contributors: Barguñó, L.; Creus, C.; Godoy, G.; Jacquemard, F.; Vacher, C.
Source: Self-asserted source
Camille Vacher via Scopus - Elsevier

Decidable Classes of Tree Automata Mixing Local and Global Constraints Modulo Flat Theories

Logical Methods in Computer Science
2013 | Journal article
Contributors: Luis Barguñó; Carlos Creus; Guillem Godoy; Florent Jacquemard; Camille Vacher
Source: Self-asserted source
Camille Vacher via HAL

Rigid tree automata and applications

Information and Computation
2011 | Journal article
EID:

2-s2.0-79751525108

Part of ISSN: 10902651 08905401
Contributors: Jacquemard, F.; Klay, F.; Vacher, C.
Source: Self-asserted source
Camille Vacher via Scopus - Elsevier

The emptiness problem for tree automata with global constraints

Proceedings - Symposium on Logic in Computer Science
2010 | Conference paper
EID:

2-s2.0-78449284690

Part of ISSN: 10436871
Contributors: Barguñó, L.; Creus, C.; Godoy, G.; Jacquemard, F.; Vacher, C.
Source: Self-asserted source
Camille Vacher via Scopus - Elsevier

Tree automata with global constraints for the verification of security properties

2010-12-07 | Dissertation/Thesis
Contributors: Camille Vacher
Source: Self-asserted source
Camille Vacher via HAL

Rigid tree automata

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2009 | Book
EID:

2-s2.0-67649964811

Part of ISSN: 03029743 16113349
Contributors: Jacquemard, F.; Klay, F.; Vacher, C.
Source: Self-asserted source
Camille Vacher via Scopus - Elsevier