Search results for: Richard Sharp
Geometriae Dedicata > 2019 > 198 > 1 > 57-70
Science of The Total Environment > 2018 > 610-611 > C > 666-677
Mathematische Zeitschrift > 2018 > 289 > 3-4 > 1311-1323
Science of The Total Environment > 2017 > 580 > C > 1381-1388
IEEE Transactions on Nuclear Science > 2017 > 64 > 1-1 > 582 - 586
Lecture Notes in Computer Science > Pervasive Computing > 238-253
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Hardware: Design and Verification > 236-251
Lecture Notes in Computer Science > Formal Methods in Computer-Aided Design > Hardware Description Languages > 324-341
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Invited Contributions > 13-39
Lecture Notes in Computational Science and Engineering > Multiscale Methods in Science and Engineering > 241-261