Robert M. Kirby OR R.M. Kirby
Robert M. Kirby OR R.M. Kirby
School of Computing, University of Utah
Vahvistettu sähköpostiosoite verkkotunnuksessa - Kotisivu
The MEMS handbook
M Gad-el-Hak
CRC press, 2001
Parallel scientific computing in C++ and MPI: a seamless approach to parallel algorithms and their implementation
G Karniadakis, GE Karniadakis, RM Kirby II
Cambridge University Press, 2003
Nektar++: An open-source spectral/hp element framework
CD Cantwell, D Moxey, A Comerford, A Bolis, G Rocco, G Mengaldo, ...
Computer physics communications 192, 205-219, 2015
Volumetric parameterization and trivariate B-spline fitting using harmonic functions
T Martin, E Cohen, RM Kirby
Computer aided geometric design 26 (6), 648-664, 2009
Visualizing multivalued data from 2D incompressible flows using concepts from painting
RM Kirby, H Marmanis, DH Laidlaw
Proceedings Visualization'99 (Cat. No. 99CB37067), 333-540, 1999
MEMS: introduction and fundamentals
M Gad-el-Hak
CRC press, 2005
Analysis-aware modeling: Understanding quality considerations in modeling for isogeometric analysis
E Cohen, T Martin, RM Kirby, T Lyche, RF Riesenfeld
Computer Methods in Applied Mechanics and Engineering 199 (5-8), 334-356, 2010
Comparing 2D vector field visualization methods: A user study
DH Laidlaw, RM Kirby, CD Jackson, JS Davidson, TS Miller, M Da Silva, ...
IEEE Transactions on Visualization and Computer Graphics 11 (1), 59-70, 2005
To CG or to HDG: a comparative study
RM Kirby, SJ Sherwin, B Cockburn
Journal of Scientific Computing 51 (1), 183-212, 2012
Analysis and reduction of quadrature errors in the material point method (MPM)
M Steffen, RM Kirby, M Berzins
International journal for numerical methods in engineering 76 (6), 922-948, 2008
From h to p efficiently: Implementing finite and spectral/hp element methods to achieve optimal performance for low-and high-order discretisations
PEJ Vos, SJ Sherwin, RM Kirby
Journal of Computational Physics 229 (13), 5161-5181, 2010
Contour boxplots: A method for characterizing uncertainty in feature sets from simulation ensembles
RT Whitaker, M Mirzargar, RM Kirby
IEEE Transactions on Visualization and Computer Graphics 19 (12), 2713-2722, 2013
De-aliasing on non-uniform grids: algorithms and applications
RM Kirby, GE Karniadakis
Journal of Computational Physics 191 (1), 249-264, 2003
Unconditionally stable discretizations of the immersed boundary equations
EP Newren, AL Fogelson, RD Guy, RM Kirby
Journal of Computational Physics 222 (2), 702-719, 2007
Curve boxplot: Generalization of boxplot for ensembles of curves
M Mirzargar, RT Whitaker, RM Kirby
IEEE transactions on visualization and computer graphics 20 (12), 2654-2663, 2014
A discontinuous Galerkin ALE method for compressible viscous flows in moving domains
I Lomtev, RM Kirby, GE Karniadakis
Journal of Computational Physics 155 (1), 128-159, 1999
Formal verification of practical MPI programs
A Vo, S Vakkalanka, M DeLisi, G Gopalakrishnan, RM Kirby, R Thakur
ACM Sigplan Notices 44 (4), 261-270, 2009
Bidding algorithms for simultaneous auctions
A Greenwald, J Boyan
Proceedings of the 3rd ACM Conference on Electronic Commerce, 115-124, 2001
ISP: a tool for model checking MPI programs
SS Vakkalanka, S Sharma, G Gopalakrishnan, RM Kirby
Proceedings of the 13th ACM SIGPLAN Symposium on Principles and practice of …, 2008
Efficient stateful dynamic partial order reduction
Y Yang, X Chen, G Gopalakrishnan, RM Kirby
International SPIN Workshop on Model Checking of Software, 288-305, 2008
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20