Search results for: Marc Spielmann
Lecture Notes in Computer Science > Computer Aided Verification > Automata-Theoretic Methods > 431-442
Lecture Notes in Computer Science > FM’99 — Formal Methods > Abstract State Machines (ASM) and Algebraic Methods in Software Technology (AMAST) > 1738-1757
Lecture Notes in Computer Science > Abstract State Machines - Theory and Applications > Automatic Verication and Model Checking > 323-340
Supportive Care in Cancer > 2015 > 23 > 12 > 3581-3588
2014 IEEE Military Communications Conference > 1293 - 1298
European Journal of Cancer > 2014 > 50 > 3 > 506-516
Breast Cancer Research and Treatment > 2013 > 139 > 3 > 789-800
Radiotherapy and Oncology > 2012 > 103 > 2 > 193-198
International Journal of Radiation Oncology, Biology, Physics > 2012 > 82 > 2 > 690-695
European Journal of Cancer > 2012 > 48 > 1 > 101-107
Theory of Computing Systems > 2012 > 50 > 2 > 213-240
Breast Cancer Research and Treatment > 2012 > 132 > 3 > 895-915
European Journal of Cancer > 2011 > 47 > 4 > 515-519
Breast Cancer Research and Treatment > 2010 > 122 > 2 > 429-437
Critical Reviews in Oncology / Hematology > 2009 > 71 > 1 > 12-21
The Lancet Oncology > 2009 > 10 > 4 > 381-390
Radiation Oncology > 2009 > 4 > 1 > 1-8