Travelled to:
1 × Canada
1 × Germany
1 × Japan
1 × Spain
1 × Taiwan
1 × USA
2 × Hungary
2 × Portugal
3 × France
Collaborated with:
J.Sakarovitch V.Carnino M.Béal A.Amarni ∅ A.Demaille A.Duret-Lutz T.Colcombet D.Kuperberg R.Poss Y.Régis-Gianas I.Klimann J.Mairesse C.Prieur L.Saiu J.Champarnaud J.Dubernard H.Jeanne T.Claveirole S.O'Connor L.Pouchet
Talks about:
languag (6) automata (4) vaucanson (3) automaton (3) weight (3) ration (3) factor (3) univers (2) regular (2) revers (2)
Person: Sylvain Lombardy
DBLP: Lombardy:Sylvain
Contributed to:
Wrote 15 papers:
- AFL-2014-CarninoL #ambiguity #automaton #on the
- On Determinism and Unambiguity of Weighted Two-way Automata (VC, SL), pp. 188–200.
- CIAA-2014-DemailleDLSS #automaton #type system
- A Type System for Weighted Automata and Rational Expressions (AD, ADL, SL, LS, JS), pp. 162–175.
- CIAA-2013-DemailleDLS #concept #implementation
- Implementation Concepts in Vaucanson 2 (AD, ADL, SL, JS), pp. 122–133.
- DLT-2013-CarninoL #automaton
- Factorizations and Universal Automaton of ω Languages (VC, SL), pp. 338–349.
- DLT-J-2013-CarninoL14 #automaton
- Factorizations and Universal Automaton of ω-Languages (VC, SL), pp. 1111–1126.
- CIAA-2012-AmarniL #kernel #sequence
- Factor and Subsequence Kernels and Signatures of Rational Languages (AA, SL), pp. 313–320.
- CIAA-2012-LombardyS
- The Removal of Weighted ε-Transitions (SL, JS), pp. 345–352.
- DLT-2012-BealCDJL #decidability #geometry #regular expression
- Decidability of Geometricity of Regular Languages (MPB, JMC, JPD, HJ, SL), pp. 62–72.
- ICALP-v2-2010-ColcombetKL #cost analysis
- Regular Temporal Cost Functions (TC, DK, SL), pp. 563–574.
- CIAA-2005-ClaveiroleLOPS
- Inside Vaucanson (TC, SL, SO, LNP, JS), pp. 116–128.
- ICALP-2005-BealLS #equivalence #on the
- On the Equivalence of -Automata (MPB, SL, JS), pp. 397–409.
- CIAA-2003-LombardyPRS
- Introducing VAUCANSON (SL, RP, YRG, JS), pp. 96–107.
- DLT-2003-KlimannLMP #ambiguity #automaton
- Deciding the Sequentiality of a Finitely Ambiguous Max-Plus Automaton (IK, SL, JM, CP), pp. 373–385.
- ICALP-2002-Lombardy #automaton #on the
- On the Construction of Reversible Automata for Reversible Languages (SL), pp. 170–182.
- WLC-2000-LombardyS #on the
- On the Star Height of Rational Languages: A New Presentation for Two Old Results (SL, JS), pp. 266–285.