| 2009 | ||
|---|---|---|
| 4 | Philippe Balbiani, Fahima Cheikh, Guillaume Feuillade: Algorithms and Complexity of Automata Synthesis by Asynhcronous Orchestration With Applications to Web Services Composition. Electr. Notes Theor. Comput. Sci. 229(3): 3-18 (2009) | |
| 2007 | ||
| 3 | Guillaume Feuillade, Sophie Pinchinat: Modal Specifications for the Control Theory of Discrete Event Systems. Discrete Event Dynamic Systems 17(2): 211-232 (2007) | |
| 2004 | ||
| 2 | Guillaume Feuillade, Thomas Genet, Valérie Viet Triem Tong: Reachability Analysis over Term Rewriting Systems. J. Autom. Reasoning 33(3-4): 341-383 (2004) | |
| 2003 | ||
| 1 | Guillaume Feuillade, Thomas Genet: Reachability in Conditional Term Rewriting Systems. Electr. Notes Theor. Comput. Sci. 86(1): (2003) | |
| 1 | Philippe Balbiani | [4] |
| 2 | Fahima Cheikh | [4] |
| 3 | Thomas Genet | [1] [2] |
| 4 | Sophie Pinchinat | [3] |
| 5 | Valérie Viet Triem Tong | [2] |