Search results for: Éric Thierry
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Worst-Case Traversal Time (WCTT) > 122-136
Lecture Notes in Computer Science > STACS 2000 > 529-541
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 2005 > Papers > 316-327
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 2007 > Automata > 320-332
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Worst-Case Traversal Time (WCTT) > 121-121
Lecture Notes in Computer Science > ECOOP 2001 — Object-Oriented Programming > Implementation Techniques > 165-180
Lecture Notes in Computer Science > Language and Automata Theory and Applications > Contributed Papers > 452-463
Lecture Notes in Computer Science > LATIN 2006: Theoretical Informatics > Regular Contributions > 455-466
Molecular Cell > 2016 > 61 > 1 > 125-137
Discrete Event Dynamic Systems > 2016 > 26 > 3 > 383-411
Discrete Mathematics > 2015 > 338 > 12 > 2393-2407
Virus Genes > 2015 > 51 > 2 > 171-181
Journal of Economic Dynamics and Control > 2014 > 41 > Complete > 38-49
Swarm Intelligence > 2014 > 8 > 2 > 113-138
Theoretical Computer Science > 2011 > 412 > 30 > 3947-3963
2010 Proceedings IEEE INFOCOM > 1 - 9
Journal of the American Society for Mass Spectrometry > 2010 > 21 > 1 > 76-79
Journal of The American Society for Mass Spectrometry > 2010 > 21 > 1 > 76-79