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 × 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 DBLP: Lombardy:Sylvain

Contributed to:

AFL 20142014
CIAA 20142014
CIAA 20132013
DLT 20132013
DLT 20132014
CIAA 20122012
DLT 20122012
ICALP (2) 20102010
CIAA 20052005
ICALP 20052005
CIAA 20032003
DLT 20032003
ICALP 20022002
Words, Languages & Combinatorics 20002000

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.
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.
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.
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.

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.