Search results for: Yannick Chevalier
Journal of Symbolic Computation > 2017 > 80 > P1 > 4-26
Journal of Symbolic Computation > 2017 > 80 > P1 > 27-61
The Lancet Infectious Diseases > 2017 > 17 > 5 > 510-519
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 181-195
Lecture Notes in Computer Science > FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 121-132
Lecture Notes in Computer Science > Frontiers of Combining Systems > Section 2. Technical Papers > 133-147
Lecture Notes in Computer Science > Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues > ASIAN’2006 > 13-27
Lecture Notes in Computer Science > Automata, Languages and Programming > Security Protocols Logic > 639-651
Lecture Notes in Computer Science > FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 124-135
Lecture Notes in Computer Science > Artificial Intelligence: Methodology, Systems, and Applications > Knowledge Representation and Reasoning > 194-208
Lecture Notes in Computer Science > Term Rewriting and Applications > Session 3. System Verification > 108-122
Journal of Symbolic Computation > 2015 > 69 > Complete > 40-60
Journal of Network and Computer Applications > 2014 > 39 > C > 152-166
Journal of Automated Reasoning > 2012 > 48 > 2 > 263-292
Theoretical Computer Science > 2010 > 411 > 10 > 1261-1282
Information Processing Letters > 2010 > 110 > 3 > 116-122