Search results for: Robert M. Kirby
International Journal for Numerical Methods in Engineering > 119 > 7 > 567 - 589
Journal of Scientific Computing > 2019 > 80 > 2 > 743-761
Journal of Scientific Computing > 2019 > 81 > 3 > 1150-1180
Journal of Scientific Computing > 2019 > 79 > 1 > 542-563
Journal of Computational Physics > 2018 > 371 > C > 732-750
Journal of Scientific Computing > 2019 > 78 > 2 > 1045-1062
Plasmonics > 2019 > 14 > 1 > 253-261
Journal of Scientific Computing > 2018 > 77 > 1 > 397-418
IEEE Transactions on Visualization and Computer Graphics > 2018 > 24 > 1 > 903 - 912
Journal of Scientific Computing > 2017 > 73 > 2-3 > 1072-1093
Lecture Notes in Computer Science > Recent Advances in Parallel Virtual Machine and Message Passing Interface > Outstanding Papers > 30-39
IEEE Computer Graphics and Applications > 2016 > 36 > 3 > 60 - 71
Lecture Notes in Computer Science > Recent Advances in Parallel Virtual Machine and Message Passing Interface > Verification of MPI Programs > 271-281
Lecture Notes in Computer Science > FM 2009: Formal Methods > Special Track: Tools and Industrial Applications II > 724-740
Lecture Notes in Computer Science > Formal Methods for Industrial Critical Systems > Research Papers > 164-181
Lecture Notes in Computer Science > Recent Advances in Parallel Virtual Machine and Message Passing Interface > Tutorial > 8-8