BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × France
1 × Hungary
1 × Japan
1 × New Zealand
1 × USA
Collaborated with:
S.Varricchio A.Carpi A.Bertoni C.Choffrut G.Richomme Ö.Salehi A.C.C.Say
Talks about:
problem (4) languag (4) quasi (4) order (4) well (4) automata (3) quantum (2) context (2) finit (2) decid (2)

Person: Flavio D'Alessandro

DBLP DBLP: D'Alessandro:Flavio

Contributed to:

DLT 20132013
DLT 20132014
DLT 20102010
DLT 20082008
DLT 20062006
DLT 20042004
DLT 20032003
AFL 20172017

Wrote 9 papers:

DLT-2013-BertoniCD #automaton #context-free grammar #decidability #finite #linear #problem #quantum
Quantum Finite Automata and Linear Context-Free Languages: A Decidable Problem (AB, CC, FD), pp. 82–93.
DLT-J-2013-BertoniCD14 #automaton #context-free grammar #decidability #on the #problem #quantum
On the Decidability of the Intersection Problem for Quantum Automata and Context-Free Languages (AB, CC, FD), pp. 1065–1082.
DLT-2010-CarpiD #hybrid #on the #problem
On the Hybrid Cerný-Road Coloring Problem and Hamiltonian Paths (AC, FD), pp. 124–135.
DLT-2008-CarpiD #automaton #problem #transitive
The Synchronization Problem for Strongly Transitive Automata (AC, FD), pp. 240–251.
DLT-2008-DAlessandroV #formal method
Well Quasi-orders in Formal Language Theory (FD, SV), pp. 84–95.
DLT-2006-DAlessandroRV #finite #order #set
Well Quasi Orders and the Shuffle Closure of Finite Sets (FD, GR, SV), pp. 260–269.
DLT-2004-DAlessandroV #set
Avoidable Sets and Well Quasi-Orders (FD, SV), pp. 139–150.
DLT-2003-DAlessandroV #on the
On Well Quasi-orders on Languages (FD, SV), pp. 230–241.
AFL-2017-SalehiDS #memory management #monad
Generalized Results on Monoids as Memory (ÖS, FD, ACCS), pp. 234–247.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.