Search results for: Nicolas Tabareau
Distributed Computing > 2019 > 32 > 3 > 193-216
Lecture Notes in Computer Science > Automata, Languages and Programming > Track B: Contributed Papers > 247-260
Lecture Notes in Computer Science > Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems > Regular Papers > 68-83
Science of Computer Programming > 2016 > 119 > C > 3-30
Science of Computer Programming > 2014 > 80 > Part B > 311-342
Annals of Pure and Applied Logic > 2010 > 161 > 5 > 632-653
Electronic Notes in Theoretical Computer Science > 2009 > 249 > Complete > 377-405
Biological Cybernetics > 2007 > 97 > 4 > 279-292