Search results for: Ralf Wimmer
Hepatology > 75 > 2 > 322 - 337
Cellular Oncology > 2019 > 42 > 5 > 705-715
Data in Brief > 2017 > 15 > C > 163-169
Formal Aspects of Computing > 2017 > 29 > 4 > 629-649
Lecture Notes in Computer Science > Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance > Full Papers > 287-301
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Submitted Papers > 366-380
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 477-492
Lecture Notes in Computer Science > Stabilization, Safety, and Security of Distributed Systems > Regular Papers > 238-253
Lecture Notes in Computer Science > Experimental and Efficient Algorithms > Contributed Regular Papers > 452-463
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Short Papers > 443-452
IEEE Transactions on Reliability > 2015 > 64 > 4 > 1254 - 1275
Biochemical and Biophysical Research Communications > 2015 > 459 > 2 > 227-233
Hepatology Research > 44 > 13 > 1286 - 1298
Theoretical Computer Science > 2014 > 549 > Complete > 61-100
Liver International > 34 > 8 > 1224 - 1231
BBA - Biomembranes > 2013 > 1828 > 9 > 2121-2133