Search results for: Michael Lauer
American Journal of Hematology > 97 > 6 > 770 - 779
Journal of Software: Evolution and Process > 30 > 3 > n/a - n/a
IEEE Transactions on Industrial Informatics > 2017 > 13 > 5 > 2118 - 2129
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Worst-Case Traversal Time (WCTT) > 243-257
IEEE Transactions on Industrial Informatics > 2014 > 10 > 3 > 1684 - 1695
ETFA2011 > 1 - 8
Journal of Cardiovascular Computed Tomography > 2009 > 3 > 4 > 212-223
Journal of the American Society of Echocardiography > 2009 > 22 > 7 > 766-773
JACC: Cardiovascular Imaging > 2009 > 2 > 7 > 897-907
Cardiovascular Revascularization Medicine > 2007 > 8 > 4 > 230-235
The International Journal of Cardiovascular Imaging > 2006 > 22 > 3-4 > 517-531