Travelled to:1 × Italy
1 × United Kingdom
Collaborated with:T.Masopust J.Baget M.Mugnier S.Rudolph
Talks about:existenti (1) algorithm (1) piecewis (1) automata (1) testabl (1) generic (1) complex (1) greedi (1) queri (1) depth (1)
Person: Michaël Thomazo
DBLP: Thomazo:Micha=euml=l
Contributed to:
2015
2012Wrote 2 papers:
- DLT-2015-MasopustT #automaton #complexity #on the #testing
- On the Complexity of k-Piecewise Testability and the Depth of Automata (TM, MT), pp. 364–376.
- KR-2012-ThomazoBMR #algorithm #query #set
- A Generic Querying Algorithm for Greedy Sets of Existential Rules (MT, JFB, MLM, SR).