Search results for: A. Hillebrand
Acta Obstetricia et Gynecologica Scandinavica > 98 > 6 > 795 - 804
Clinical Neurophysiology > 2017 > 128 > 11 > 2258-2267
Clinical Neurophysiology > 2017 > 128 > 8 > 1426-1437
NeuroImage > 2017 > 152 > C > 639-646
NeuroImage: Clinical > 2017 > 15 > C > 673-681
Discrete Applied Mathematics > 2016 > 209 > C > 144-152
Epilepsy Research > 2016 > 124 > C > 23-33
International Journal of Psychophysiology > 2016 > 103 > C > 149-160
Lecture Notes in Computer Science > Verified Software: Theories, Tools, Experiments > Verisoft > 225-239
Lecture Notes in Computer Science > Hardware and Software: Verification and Testing > Formal Verification for Software > 153-168
Lecture Notes in Computer Science > Verified Software: Theories, Tools, Experiments > Verisoft > 209-224
Lecture Notes in Computer Science > Verified Software: Theories, Tools, Experiments > Verification Techniques > 40-54
NeuroImage > 2016 > 130 > C > 273-292
Clinical Neurophysiology > 2016 > 127 > 3 > e70-e71
Clinical Neurophysiology > 2015 > 126 > 8 > 1468-1481
NeuroImage > 2015 > 104 > Complete > 177-188
NeuroImage > 2014 > 97 > C > 296-307