Search results for: Nathalie Bertrand
Oxidation of Metals > 2017 > 87 > 3-4 > 393-402
Lecture Notes in Computer Science > SOFSEM 2009: Theory and Practice of Computer Science > Invited Talks > 19-33
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 347-361
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > Contributed Papers > 120-135
Lecture Notes in Computer Science > Automata, Languages and Programming > Track B: Contributed Papers > 43-54
Lecture Notes in Computer Science > FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 179-191
Lecture Notes in Computer Science > Language and Automata Theory and Applications > Regular Papers > 152-163
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Timed and Probabilistic Systems > 96-111
Lecture Notes in Computer Science > Automata, Languages and Programming > Session B3: Model Checking > 246-257
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > 287-301
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Real-Time Systems > 679-697
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Automata Theory > 245-259
Environmental Modelling & Software > 2016 > 77 > C > 183-195
Acta Informatica > 2017 > 54 > 6 > 545-587
Formal Methods in System Design > 2015 > 46 > 1 > 42-80
European Journal of Neuroscience > 37 > 7 > 1193 - 1202
Science of Computer Programming > 2012 > 77 > 12 > 1212-1234
Neurochemistry International > 2011 > 58 > 1 > 102-111