Travelled to:2 × Spain
Collaborated with:T.Schwentick T.Tan B.Bollig A.Cyriac L.Hélouët
Talks about:automata (2) successor (1) communic (1) variabl (1) feasibl (1) branch (1) logic (1) level (1) dynam (1) word (1)
Person: Ahmet Kara
DBLP: Kara:Ahmet
Contributed to:
20132012Wrote 2 papers:
- LATA-2013-BolligCHKS #automaton #branch #communication
- Dynamic Communicating Automata and Branching High-Level MSCs (BB, AC, LH, AK, TS), pp. 177–189.
- LATA-2012-KaraST #automaton #logic #word
- Feasible Automata for Two-Variable Logic with Successor on Data Words (AK, TS, TT), pp. 351–362.