Travelled to:1 × Austria
1 × Germany
1 × Hungary
1 × Italy
1 × Japan
1 × New Zealand
1 × USA
2 × Spain
Collaborated with:∅ N.Rampersad J.Shallit M.Daley A.Roche-Lima B.Fristensky S.Yu E.Charlier T.Harju
Talks about:languag (4) oper (3) trajectori (2) automata (2) abelian (2) primit (2) formal (2) finit (2) word (2) dna (2)
Person: Michael Domaratzki
DBLP: Domaratzki:Michael
Facilitated 3 volumes:
EdEdEdContributed to:
2014
20112012
2011200820062004200320022001Wrote 11 papers:
- CIAA-2014-Roche-LimaDF #automaton #kernel
- Pairwise Rational Kernels Obtained by Automaton Operations (ARL, MD, BF), pp. 332–345.
- DLT-2011-DomaratzkiR #word
- Abelian Primitive Words (MD, NR), pp. 204–215.
- DLT-J-2011-DomaratzkiR12 #word
- Abelian Primitive Words (MD, NR), pp. 1021–1034.
- LATA-2011-CharlierDHS #finite
- Finite Orbits of Language Operations (EC, MD, TH, JS), pp. 204–215.
- LATA-2008-Domaratzki #formal method #tool support
- Formal Language Tools for Template-Guided DNA Recombination (MD), pp. 3–5.
- DLT-2006-Domaratzki #using
- Characterizing DNA Bond Shapes Using Trajectories (MD), pp. 180–191.
- DLT-2004-DaleyD #on the
- On Codes Defined by Bio-Operations (MD, MD), pp. 127–138.
- DLT-2004-Domaratzki #semantics
- Semantic Shuffle on and Deletion Along Trajectories (MD), pp. 163–174.
- DLT-2003-Domaratzki #automaton #on the
- On Enumeration of Müller Automata (MD), pp. 254–265.
- DLT-2002-Domaratzki #automaton #bound #finite
- Improved Bounds on the Number of Automata Accepting Finite Languages (MD), pp. 209–219.
- DLT-2001-DomaratzkiSY #formal method
- Minimal Covers of Formal Languages (MD, JS, SY), pp. 319–329.