Search results for: Jérôme Leroux
Sedimentology > 69 > 3 > 1179 - 1208
Fundamenta Informaticae > 2019 > Vol. 169, nr 1-2 > 123--150
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Automata Techniques > 576-590
Lecture Notes in Computer Science > Automated Deduction – CADE-22 > Session 13. Arithmetic > 469-484
Acta Informatica > 2017 > 54 > 2 > 191-215
Lecture Notes in Computer Science > Efficient Algorithms > Algorithm Engineering, Exactness, and Robustness > 422-437
Lecture Notes in Computer Science > Model Checking Software > Abstraction and Symbolic Methods > 182-197
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Verification > 267-281
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 489-503
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Infinite-State and Parameterized Systems > 474-488
Lecture Notes in Computer Science > FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 145-156
Lecture Notes in Computer Science > Language and Automata Theory and Applications > Invited Talks > 41-64
Lecture Notes in Computer Science > FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 520-531
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Papers > 93-107