Travelled to:
1 × France
1 × Italy
1 × Russia
Collaborated with:
A.Yakaryilmaz U.Küçük N.Tasdemir H.G.Demirci Ö.Salehi F.D'Alessandro
Talks about:
automata (4) quantum (2) finit (2) advic (2) tape (2) transpar (1) pushdown (1) general (1) counter (1) verifi (1)
Person: A. C. Cem Say
DBLP: Say:A=_C=_Cem
Contributed to:
Wrote 6 papers:
- DLT-2014-YakaryilmazSD #quantum #verification
- Debates with Small Transparent Quantum Verifiers (AY, ACCS, HGD), pp. 327–338.
- DLT-2013-KucukSY #automaton #finite
- Finite Automata with Advice Tapes (UK, ACCS, AY), pp. 301–312.
- DLT-J-2013-KucukSY14 #automaton #finite
- Finite Automata with Advice Tapes (UK, ACCS, AY), pp. 987–1000.
- DLT-2011-TasdemirS #automaton #modelling
- Models of Pushdown Automata with Reset (NT, ACCS), pp. 417–428.
- DLT-J-2011-SayY12 #automaton #quantum
- Quantum Counter Automata (ACCS, AY), pp. 1099–1116.
- AFL-2017-SalehiDS #memory management #monad
- Generalized Results on Monoids as Memory (ÖS, FD, ACCS), pp. 234–247.