( en | de | ru )

 

Disambiguation of "Duret-Lutz, Alexandre"

Author of the publication

copydeleteadd this publication to your clipboard
A Type System for Weighted Automata and Rational Expressions.

, , , , and . CIAA, volume 8587 of Lecture Notes in Computer Science, page 162-175. Springer, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Alain Duret

Sabine Düreth-Joneck

Gabriele Göttelmann-Duret

Claudie Jacquier-Duret

Alexandre Alexeev

 

Other publications of authors with the same name

Seminator: A Tool for Semi-Determinization of Omega-Automata., , , , and . LPAR, volume 46 of EPiC Series in Computing, page 356-367. EasyChair, (2017)Practical Applications of the Alternating Cycle Decomposition., , , , and . TACAS (2), volume 13244 of Lecture Notes in Computer Science, page 99-117. Springer, (2022)Implementation Concepts in Vaucanson 2., , , and . CIAA, volume 7982 of Lecture Notes in Computer Science, page 122-133. Springer, (2013)Obtaining Genericity for Image Processing and Pattern Recognition Algorithms., , and . ICPR, page 4816-4819. IEEE Computer Society, (2000)The Reactive Synthesis Competition (SYNTCOMP): 2018-2021., , , , , , , , , and 15 other author(s). Int. J. Softw. Tools Technol. Transf., 26 (5): 551-567 (October 2024)Self-Loop Aggregation Product - A New Hybrid Approach to On-the-Fly LTL Model Checking., , , and . ATVA, volume 6996 of Lecture Notes in Computer Science, page 336-350. Springer, (2011)Symbolic Model Checking of Stutter-Invariant Properties Using Generalized Testing Automata., , , and . TACAS, volume 8413 of Lecture Notes in Computer Science, page 440-454. Springer, (2014)On Refinement of Büchi Automata for Explicit Model Checking., , , and . SPIN, volume 9232 of Lecture Notes in Computer Science, page 66-83. Springer, (2015)Generic Programming Redesign of Patterns., and . EuroPLoP, page 283-294. UVK - Universitaetsverlag Konstanz, (2000)From Spot 2.0 to Spot 2.10: What's New?, , , , , , , , , and 1 other author(s). CAV (2), volume 13372 of Lecture Notes in Computer Science, page 174-187. Springer, (2022)