Search results for: Christophe Joubert
Acta Neurochirurgica > 2019 > 161 > 1 > 139-145
Neurocritical Care > 2019 > 30 > 2 > 405-413
Empirical Software Engineering > 2018 > 23 > 6 > 3394-3441
World Neurosurgery > 2017 > 102 > C > 6-12
Neurocritical Care > 2017 > 27 > 2 > 187-198
World Neurosurgery > 2017 > 98 > C > 881.e9-881.e13
Lecture Notes in Computer Science > Formal Methods for Industrial Critical Systems > Research Papers > 215-231
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Tool Demonstrations > 445-449
Lecture Notes in Computer Science > Datalog Reloaded > Section 1: Theoretical Aspects of Datalog > 1-20
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Performance and Mobility > 425-430
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Tool Presentations > 581-585
Lecture Notes in Computer Science
Acta Neurochirurgica > 2016 > 158 > 8 > 1453-1463
World Neurosurgery > 2015 > 84 > 5 > 1412-1422