Robert M. Kirby - Publications

Affiliations: 
School of Computing University of Utah, Salt Lake City, UT 
Area:
Applied Mathematics, Mathematics, Biomechanics Biophysics

124 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2020 Keshavarzzadeh V, Kirby RM, Narayan A. Generation of nested quadrature rules for generic weight functions via numerical optimization: Application to sparse grids Journal of Computational Physics. 400: 108979. DOI: 10.1016/J.Jcp.2019.108979  0.38
2020 Moxey D, Cantwell CD, Bao Y, Cassinelli A, Castiglioni G, Chun S, Juda E, Kazemi E, Lackhove K, Marcon J, Mengaldo G, Serson D, Turner M, Xu H, Peiró J, ... Kirby RM, et al. Nektar++: Enhancing the capability and application of high-fidelity spectral/hp element methods Computer Physics Communications. 249: 107110. DOI: 10.1016/J.Cpc.2019.107110  0.446
2020 Razi M, Narayan A, Kirby R, Bedrov D. Force-field coefficient optimization of coarse-grained molecular dynamics models with a small computational budget Computational Materials Science. 176: 109518. DOI: 10.1016/J.Commatsci.2020.109518  0.344
2020 Keshavarzzadeh V, Kirby RM, Narayan A. Stress-based topology optimization under uncertainty via simulation-based Gaussian process Computer Methods in Applied Mechanics and Engineering. 365: 112992. DOI: 10.1016/J.Cma.2020.112992  0.339
2019 Jallepalli A, Levine JA, Kirby RM. The Effect of Data Transformations on Scalar Field Topological Analysis of High-Order FEM Solutions. Ieee Transactions On Visualization and Computer Graphics. PMID 31425105 DOI: 10.1109/Tvcg.2019.2934338  0.38
2019 Keshavarzzadeh V, Kirby RM, Narayan A. Convergence Acceleration for Time-Dependent Parametric Multifidelity Models Siam Journal On Numerical Analysis. 57: 1344-1368. DOI: 10.1137/18M1170339  0.353
2019 Vymazal M, Moxey D, Cantwell CD, Sherwin SJ, Kirby RM. On weak Dirichlet boundary conditions for elliptic problems in the continuous Galerkin method Journal of Computational Physics. 394: 732-744. DOI: 10.1016/J.Jcp.2019.05.021  0.378
2019 Jallepalli A, Kirby RM. Efficient Algorithms for the Line-SIAC Filter Journal of Scientific Computing. 80: 743-761. DOI: 10.1007/S10915-019-00954-X  0.415
2019 Li X, Ryan JK, Kirby RM, Vuik K. Smoothness-Increasing Accuracy-Conserving (SIAC) Filtering for Discontinuous Galerkin Solutions over Nonuniform Meshes: Superconvergence and Optimal Accuracy Journal of Scientific Computing. 81: 1150-1180. DOI: 10.1007/S10915-019-00920-7  0.347
2019 Keshavarzzadeh V, Kirby RM, Narayan A. Parametric topology optimization with multiresolution finite element models International Journal For Numerical Methods in Engineering. 119: 567-589. DOI: 10.1002/Nme.6063  0.382
2018 Shankar V, Kirby RM, Fogelson AL. Robust Node Generation for Mesh-free Discretizations on Irregular Domains and Surfaces Siam Journal On Scientific Computing. 40: A2584-A2608. DOI: 10.1137/17M114090X  0.464
2018 Shankar V, Narayan A, Kirby RM. RBF-LOI: Augmenting Radial Basis Functions (RBFs) with Least Orthogonal Interpolation (LOI) for solving PDEs on surfaces Journal of Computational Physics. 373: 722-735. DOI: 10.1016/J.Jcp.2018.07.015  0.566
2018 Bhaduri A, He Y, Shields MD, Graham-Brady L, Kirby RM. Stochastic collocation approach with adaptive mesh refinement for parametric uncertainty analysis Journal of Computational Physics. 371: 732-750. DOI: 10.1016/J.Jcp.2018.06.003  0.4
2018 Razi M, Narayan A, Kirby R, Bedrov D. Fast predictive models based on multi-fidelity sampling of properties in molecular dynamics simulations Computational Materials Science. 152: 125-133. DOI: 10.1016/J.Commatsci.2018.05.029  0.356
2018 Moxey D, Sastry SP, Kirby RM. Interpolation Error Bounds for Curvilinear Finite Elements and Their Implications on Adaptive Mesh Refinement Journal of Scientific Computing. 78: 1045-1062. DOI: 10.1007/S10915-018-0795-6  0.362
2018 Zala V, Shankar V, Sastry SP, Kirby RM. Curvilinear Mesh Adaptation Using Radial Basis Function Interpolation and Smoothing Journal of Scientific Computing. 77: 397-418. DOI: 10.1007/S10915-018-0711-0  0.549
2017 Jallepalli A, Docampo-Sanchez J, Ryan JK, Haimes R, Kirby RM. On the Treatment of Field Quantities and Elemental Continuity in FEM Solutions. Ieee Transactions On Visualization and Computer Graphics. PMID 28866517 DOI: 10.1109/Tvcg.2017.2744058  0.408
2017 Docampo-Sánchez J, Ryan JK, Mirzargar M, Kirby RM. Multi-Dimensional Filtering: Reducing the Dimension Through Rotation Siam Journal On Scientific Computing. 39: A2179-A2200. DOI: 10.1137/16M1097845  0.344
2017 Mirzargar M, Jallepalli A, Ryan JK, Kirby RM. Hexagonal Smoothness-Increasing Accuracy-Conserving Filtering Journal of Scientific Computing. 73: 1072-1093. DOI: 10.1007/S10915-017-0517-5  0.366
2016 Shankar V, Wright GB, Kirby RM, Fogelson AL. A Radial Basis Function (RBF)-Finite Difference (FD) Method for Diffusion and Reaction-Diffusion Equations on Surfaces. Journal of Scientific Computing. 63: 745-768. PMID 25983388 DOI: 10.1007/S10915-014-9914-1  0.545
2016 Raj M, Mirzargar M, Ricci R, Kirby RM, Whitaker RT. Path Boxplots: A Method for Characterizing Uncertainty in Path Ensembles on a Graph Journal of Computational and Graphical Statistics. 26: 243-252. DOI: 10.1080/10618600.2016.1209115  0.309
2016 Moxey D, Cantwell CD, Kirby RM, Sherwin SJ. Optimising the performance of the spectral/hp element method with collective linear algebra operations Computer Methods in Applied Mechanics and Engineering. 310: 628-645. DOI: 10.1016/J.Cma.2016.07.001  0.398
2016 Li X, Ryan JK, Kirby RM, Vuik C. Smoothness-Increasing Accuracy-Conserving (SIAC) filters for derivative approximations of discontinuous Galerkin (DG) solutions over nonuniform meshes and near boundaries Journal of Computational and Applied Mathematics. 294: 275-296. DOI: 10.1016/J.Cam.2015.08.011  0.325
2016 Yakovlev S, Moxey D, Kirby RM, Sherwin SJ. To CG or to HDG: A Comparative Study in 3D Journal of Scientific Computing. 67: 192-220. DOI: 10.1007/S10915-015-0076-6  0.368
2015 Sastry SP, Zala V, Kirby RM. Thin-plate-spline curvilinear meshing on a calculus-of-variations framework Procedia Engineering. 124: 135-147. DOI: 10.1016/J.Proeng.2015.10.128  0.372
2015 Cantwell CD, Moxey D, Comerford A, Bolis A, Rocco G, Mengaldo G, De Grazia D, Yakovlev S, Lombard JE, Ekelschot D, Jordi B, Xu H, Mohamied Y, Eskilsson C, Nelson B, ... ... Kirby RM, et al. Nektar++: An open-source spectral/hp element framework Computer Physics Communications. 192: 205-219. DOI: 10.1016/J.Cpc.2015.02.008  0.68
2015 Mirzargar M, Ryan JK, Kirby RM. Smoothness-Increasing Accuracy-Conserving (SIAC) Filtering and Quasi-Interpolation: A Unified View Journal of Scientific Computing. DOI: 10.1007/S10915-015-0081-9  0.324
2015 Peiro J, Moxey D, Jordi B, Sherwin SJ, Nelson BW, Kirby RM, Haimes R. High-order visualization with ElVis Notes On Numerical Fluid Mechanics and Multidisciplinary Design. 128: 521-534. DOI: 10.1007/978-3-319-12886-3_24  0.617
2015 Shankar V, Wright GB, Kirby RM, Fogelson AL. Augmenting the immersed boundary method with Radial Basis Functions (RBFs) for the modeling of platelets in hemodynamic flows International Journal For Numerical Methods in Fluids. 79: 536-557. DOI: 10.1002/Fld.4061  0.544
2014 Mirzargar M, Whitaker RT, Kirby RM. Curve Boxplot: Generalization of Boxplot for Ensembles of Curves. Ieee Transactions On Visualization and Computer Graphics. 20: 2654-63. PMID 26356979 DOI: 10.1109/Tvcg.2014.2346455  0.377
2014 Bolis A, Cantwell CD, Kirby RM, Sherwin SJ. From h to p efficiently: optimal implementation strategies for explicit time-dependent problems using the spectral/hp element method. International Journal For Numerical Methods in Fluids. 75: 591-607. PMID 25892840 DOI: 10.1002/Fld.3909  0.385
2014 Fu Z, Lewis TJ, Kirby RM, Whitaker RT. Architecting the Finite Element Method Pipeline for the GPU. Journal of Computational and Applied Mathematics. 257: 195-211. PMID 25202164 DOI: 10.1016/J.Cam.2013.09.001  0.64
2014 Cantwell CD, Yakovlev S, Kirby RM, Peters NS, Sherwin SJ. High-order spectral/hp element discretisation for reaction-diffusion problems on surfaces: Application to cardiac electrophysiology. Journal of Computational Physics. 257: 813-829. PMID 24748685 DOI: 10.1016/J.Jcp.2013.10.019  0.39
2014 Etiene T, Jönsson D, Ropinski T, Scheidegger C, Comba JL, Nonato LG, Kirby RM, Ynnerman A, Silva CT. Verifying volume rendering using discretization error analysis. Ieee Transactions On Visualization and Computer Graphics. 20: 140-54. PMID 24201332 DOI: 10.1109/Tvcg.2013.90  0.32
2014 Nelson B, Kirby RM, Haimes R. GPU-based volume visualization from high-order finite element fields. Ieee Transactions On Visualization and Computer Graphics. 20: 70-83. PMID 24201327 DOI: 10.1109/Tvcg.2013.96  0.675
2014 Nelson B, Kirby RM, Parker S. Algorithm 940: Optimal accumulator-based expression evaluation through the use of expression templates Acm Transactions On Mathematical Software. 40. DOI: 10.1145/2591005  0.606
2014 Ryan JK, Li X, Kirby RM, Vuik K. One-Sided Position-Dependent Smoothness-Increasing Accuracy-Conserving (SIAC) Filtering Over Uniform and Non-uniform Meshes Journal of Scientific Computing. 64: 773-817. DOI: 10.1007/S10915-014-9946-6  0.374
2014 King J, Yakovlev S, Fu Z, Kirby RM, Sherwin SJ. Exploiting batch processing on streaming architectures to solve 2D elliptic finite element problems: A hybridized discontinuous Galerkin (HDG) case study Journal of Scientific Computing. 60: 457-482. DOI: 10.1007/S10915-013-9805-X  0.633
2014 Mirzaee H, Ryan JK, Kirby RM. Smoothness-increasing accuracy-conserving (SIAC) filters for discontinuous Galerkin solutions: Application to structured tetrahedral meshes Journal of Scientific Computing. 58: 690-704. DOI: 10.1007/S10915-013-9748-2  0.695
2014 Shankar V, Wright GB, Fogelson AL, Kirby RM. A radial basis function (RBF) finite difference method for the simulation of reaction-diffusion equations on stationary platelets within the augmented forcing method International Journal For Numerical Methods in Fluids. 75: 1-22. DOI: 10.1002/Fld.3880  0.532
2014 Fu Z, Yakovlev S, Kirby RM, Whitaker RT. Fast parallel solver for the levelset equations on unstructured meshes Concurrency Computation. 27: 1639-1657. DOI: 10.1002/Cpe.3320  0.604
2013 Fu Z, Kirby RM, Whitaker RT. A FAST ITERATIVE METHOD FOR SOLVING THE EIKONAL EQUATION ON TETRAHEDRAL DOMAINS. Siam Journal On Scientific Computing : a Publication of the Society For Industrial and Applied Mathematics. 35: c473-c494. PMID 25221418 DOI: 10.1137/120881956  0.622
2013 Whitaker RT, Mirzargar M, Kirby RM. Contour boxplots: a method for characterizing uncertainty in feature sets from simulation ensembles. Ieee Transactions On Visualization and Computer Graphics. 19: 2713-22. PMID 24051838 DOI: 10.1109/Tvcg.2013.143  0.381
2013 Wang D, Kirby RM, Macleod RS, Johnson CR. Inverse Electrocardiographic Source Localization of Ischemia: An Optimization Framework and Finite Element Solution. Journal of Computational Physics. 250: 403-424. PMID 23913980 DOI: 10.1016/J.Jcp.2013.05.027  0.335
2013 Shankar V, Wright GB, Fogelson AL, Kirby RM. A study of different modeling choices for simulating platelets within the immersed boundary method. Applied Numerical Mathematics : Transactions of Imacs. 63: 58-77. PMID 23585704 DOI: 10.1016/J.Apnum.2012.09.006  0.562
2013 Mirzaee H, King J, Ryan JK, Kirby RM. Smoothness-increasing accuracy-conserving filters for discontinuous Galerkin solutions over unstructured triangular meshes Siam Journal On Scientific Computing. 35. DOI: 10.1137/120874059  0.706
2013 Pätz T, Kirby RM, Preusser T. Ambrosio-tortorelli segmentation of stochastic images: Model extensions, theoretical investigations and numerical methods International Journal of Computer Vision. 103: 190-212. DOI: 10.1007/S11263-012-0578-8  0.339
2012 Nelson B, Liu E, Kirby RM, Haimes R. ElVis: A System for the Accurate and Interactive Visualization of High-Order Finite Element Solutions. Ieee Transactions On Visualization and Computer Graphics. 18: 2325-34. PMID 26357140 DOI: 10.1109/Tvcg.2012.218  0.671
2012 Potter K, Kirby RM, Xiu D, Johnson CR. INTERACTIVE VISUALIZATION OF PROBABILITY AND CUMULATIVE DENSITY FUNCTIONS. International Journal For Uncertainty Quantification. 2: 397-412. PMID 23543120 DOI: 10.1615/Int.J.Uncertaintyquantification.2012004074  0.304
2012 Etiene T, Nonato LG, Scheidegger C, Tierny J, Peters TJ, Pascucci V, Kirby RM, Silva CT. Topology verification for isosurface extraction. Ieee Transactions On Visualization and Computer Graphics. 18: 952-65. PMID 21690649 DOI: 10.1109/Tvcg.2011.109  0.321
2012 Tiesler H, Kirby RM, Xiu D, Preusser T. Stochastic collocation for optimal control problems with stochastic pde constraints Siam Journal On Control and Optimization. 50: 2659-2682. DOI: 10.1137/110835438  0.36
2012 Nelson B, Liu E, Kirby RM, Haimes R. ElVis: A system for the accurate and interactive visualization of high-order finite element solutions Ieee Transactions On Visualization and Computer Graphics. 18: 2325-2334. DOI: 10.1109/TVCG.2012.218  0.303
2012 Martin T, Cohen E, Kirby RM. Mixed-element volume completion from NURBS surfaces Computers and Graphics (Pergamon). 36: 548-554. DOI: 10.1016/J.Cag.2012.03.008  0.352
2012 King J, Mirzaee H, Ryan JK, Kirby RM. Smoothness-increasing accuracy-conserving (SIAC) filtering for discontinuous Galerkin solutions: Improved errors versus higher-order accuracy Journal of Scientific Computing. 53: 129-149. DOI: 10.1007/S10915-012-9593-8  0.686
2012 Mirzaee H, Ryan JK, Kirby RM. Efficient implementation of smoothness-increasing accuracy-conserving (SIAC) filters for discontinuous Galerkin solutions Journal of Scientific Computing. 52: 85-112. DOI: 10.1007/S10915-011-9535-X  0.717
2012 Kirby RM, Sherwin SJ, Cockburn B. To CG or to HDG: A comparative study Journal of Scientific Computing. 51: 183-212. DOI: 10.1007/S10915-011-9501-7  0.421
2011 Fu Z, Jeong WK, Pan Y, Kirby RM, Whitaker RT. A FAST ITERATIVE METHOD FOR SOLVING THE EIKONAL EQUATION ON TRIANGULATED SURFACES. Siam Journal On Scientific Computing : a Publication of the Society For Industrial and Applied Mathematics. 33: 2468-2488. PMID 22641200 DOI: 10.1137/100788951  0.61
2011 Nelson B, Haimes R, Kirby RM. GPU-based interactive cut-surface extraction from high-order finite element fields. Ieee Transactions On Visualization and Computer Graphics. 17: 1803-11. PMID 22034297 DOI: 10.1109/Tvcg.2011.206  0.669
2011 Wang D, Kirby RM, Johnson CR. Finite-element-based discretization and regularization strategies for 3-D inverse electrocardiography. Ieee Transactions On Bio-Medical Engineering. 58: 1827-38. PMID 21382763 DOI: 10.1109/Tbme.2011.2122305  0.393
2011 Gopalakrishnan G, Kirby RM, Siegel S, Thakur R, Gropp W, Lusk E, De Supinski BR, Schulz M, Bronevet G. Formal analysis of MPI-based parallel programs Communications of the Acm. 54: 82-91. DOI: 10.1145/2043174.2043194  0.338
2011 Mirzaee H, Ji L, Ryan JK, Kirby RM. Smoothness-increasing accuracy-conserving (SIAC) postprocessing for discontinuous galerkin solutions over structured triangular meshes Siam Journal On Numerical Analysis. 49: 1899-1920. DOI: 10.1137/110830678  0.702
2011 Vos PEJ, Eskilsson C, Bolis A, Chun S, Kirby RM, Sherwin SJ. A generic framework for time-stepping partial differential equations (PDEs): General linear methods, object-oriented implementation and application to fluid problems International Journal of Computational Fluid Dynamics. 25: 107-125. DOI: 10.1080/10618562.2011.575368  0.381
2011 Cantwell CD, Sherwin SJ, Kirby RM, Kelly PHJ. From h to p efficiently: Selecting the optimal spectral/hp discretisation in three dimensions Mathematical Modelling of Natural Phenomena. 6: 84-96. DOI: 10.1051/Mmnp/20116304  0.353
2011 Li G, Palmer R, Delisi M, Gopalakrishnan G, Kirby RM. Formal specification of MPI 2.0: Case study in specifying a practical concurrent programming API Science of Computer Programming. 76: 65-81. DOI: 10.1016/J.Scico.2010.03.007  0.33
2011 Cantwell CD, Sherwin SJ, Kirby RM, Kelly PHJ. From h to p efficiently: Strategy selection for operator evaluation on hexahedral and tetrahedral elements Computers and Fluids. 43: 23-28. DOI: 10.1016/J.Compfluid.2010.08.012  0.38
2011 Jimack PK, Kirby RM. Towards the development of an h-p-refinement strategy based upon error estimate sensitivity Computers and Fluids. 46: 277-281. DOI: 10.1016/J.Compfluid.2010.08.003  0.312
2011 Isaacson SA, Kirby RM. Numerical solution of linear Volterra integral equations of the second kind with sharp gradients Journal of Computational and Applied Mathematics. 235: 4283-4301. DOI: 10.1016/J.Cam.2011.03.029  0.396
2010 Wang D, Kirby RM, Johnson CR. Resolution strategies for the finite-element-based solution of the ECG inverse problem. Ieee Transactions On Bio-Medical Engineering. 57: 220-37. PMID 19535314 DOI: 10.1109/Tbme.2009.2024928  0.357
2010 Frazier JD, Jimack PK, Kirby RM. On the use of adjoint-based sensitivity estimates to control local mesh refinement Communications in Computational Physics. 7: 631-638. DOI: 10.4208/Cicp.2009.09.060  0.359
2010 Vos PEJ, Sherwin SJ, Kirby RM. From h to p efficiently: Implementing finite and spectral/hp element methods to achieve optimal performance for low- and high-order discretisations Journal of Computational Physics. 229: 5161-5181. DOI: 10.1016/J.Jcp.2010.03.031  0.412
2010 Cohen E, Martin T, Kirby RM, Lyche T, Riesenfeld RF. Analysis-aware modeling: Understanding quality considerations in modeling for isogeometric analysis Computer Methods in Applied Mechanics and Engineering. 199: 334-356. DOI: 10.1016/J.Cma.2009.09.010  0.322
2010 Mirzaee H, Ryan JK, Kirby RM. Quantification of errors introduced in the numerical approximation and implementation of smoothness-increasing accuracy conserving (SIAC) filtering of discontinuous Galerkin (DG) fields Journal of Scientific Computing. 45: 447-470. DOI: 10.1007/S10915-009-9342-9  0.704
2010 Yang Y, Chen X, Gopalakrishnan G, Kirby RM. Distributed dynamic partial order reduction International Journal On Software Tools For Technology Transfer. 12: 113-122. DOI: 10.1007/S10009-010-0144-Z  0.346
2010 Vakkalanka S, Vo A, Gopalakrishnan G, Kirby RM. Precise dynamic analysis for slack elasticity: Adding buffering without adding bugs Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6305: 152-159. DOI: 10.1007/978-3-642-15646-5_16  0.61
2010 Pervez S, Gopalakrishnan G, Kirby RM, Thakur R, Gropp W. Formal methods applied to high-performance computing software design: A case study of MPI one-sided communication-based locking Software - Practice and Experience. 40: 23-43. DOI: 10.1002/Spe.V40:1  0.375
2010 Steffen M, Kirby RM, Berzins M. Decoupling and balancing of space and time errors in the material point method (MPM) International Journal For Numerical Methods in Engineering. 82: 1207-1243. DOI: 10.1002/Nme.2787  0.358
2009 Etiene T, Scheidegger C, Nonato LG, Kirby RM, Silva CT. Verifiable visualization for isosurface extraction. Ieee Transactions On Visualization and Computer Graphics. 15: 1227-34. PMID 19834193 DOI: 10.1109/Tvcg.2009.194  0.318
2009 Vo A, Vakkalanka S, DeLisi M, Gopalakrishnan G, Kirby RM, Thakur R. Formal verification of practical MPI programs Acm Sigplan Notices. 44: 261-269. DOI: 10.1145/1504176.1504214  0.639
2009 Martin T, Cohen E, Kirby RM. Volumetric parameterization and trivariate B-spline fitting using harmonic functions Computer Aided Geometric Design. 26: 648-664. DOI: 10.1016/J.Cagd.2008.09.008  0.319
2009 Walfisch D, Ryan JK, Kirby RM, Haimes R. One-sided smoothness-increasing accuracy-conserving filtering for enhanced streamline integration through discontinuous fields Journal of Scientific Computing. 38: 164-184. DOI: 10.1007/S10915-008-9230-8  0.402
2009 Melatti I, Palmer R, Sawaya G, Yang Y, Kirby RM, Gopalakrishnan G. Parallel and distributed model checking in Eddy International Journal On Software Tools For Technology Transfer. 11: 13-25. DOI: 10.1007/S10009-008-0094-X  0.304
2009 Sanderson AR, Meyer MD, Kirby RM, Johnson CR. A framework for exploring numerical solutions of advection-reaction- diffusion equations using a GPU-based approach Computing and Visualization in Science. 12: 155-170. DOI: 10.1007/S00791-008-0086-0  0.382
2009 Vakkalanka S, Vo A, Gopalakrishnan G, Kirby RM. Reduced execution semantics of MPI: From theory to practice Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5850: 724-740. DOI: 10.1007/978-3-642-05089-3_46  0.611
2009 Vakkalanka S, Szubzda G, Vo A, Gopalakrishnan G, Kirby RM, Thakur R. Static-analysis assisted dynamic verification of MPI waitany programs (Poster Abstract) Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5759: 329-330. DOI: 10.1007/978-3-642-03770-2-43  0.653
2009 Vo A, Vakkalanka S, Williams J, Gopalakrishnan G, Kirby RM, Thakur R. Sound and efficient dynamic verification of MPI programs with probe non-determinism Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5759: 271-281. DOI: 10.1007/978-3-642-03770-2-33  0.65
2009 Aananthakrishnan S, Delisi M, Vakkalanka S, Vo A, Gopalakrishnan G, Kirby RM, Thakur R. How formal dynamic verification tools facilitate novel concurrency visualizations Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5759: 261-270. DOI: 10.1007/978-3-642-03770-2-32  0.65
2008 Meyer M, Whitaker R, Kirby RM, Ledergerber C, Pfister H. Particle-based sampling and meshing of surfaces in multimaterial volumes. Ieee Transactions On Visualization and Computer Graphics. 14: 1539-46. PMID 18989007 DOI: 10.1109/Tvcg.2008.154  0.318
2008 Steffen M, Curtis S, Kirby RM, Ryan JK. Investigation of smoothness-increasing accuracy-conserving filters for improving streamline integration through discontinuous fields. Ieee Transactions On Visualization and Computer Graphics. 14: 680-92. PMID 18369273 DOI: 10.1109/Tvcg.2008.9  0.401
2008 Geneser SE, Kirby RM, MacLeod RS. Application of stochastic finite element methods to study the sensitivity of ECG forward modeling to organ conductivity. Ieee Transactions On Bio-Medical Engineering. 55: 31-40. PMID 18232344 DOI: 10.1109/Tbme.2007.900563  0.396
2008 Steffen M, Wallstedt PC, Guilkey JE, Kirby RM, Berzins M. Examination and analysis of implementation choices within the Material Point Method (MPM) Cmes - Computer Modeling in Engineering and Sciences. 31: 107-127. DOI: 10.3970/Cmes.2008.031.107  0.378
2008 Vakkalanka S, DeLisi M, Gopalakrishnan G, Kirby RM. Scheduling considerations for building dynamic verification tools for MPI 2008 International Symposium On Software Testing and Analysis - Proceedings of the 6th Workshop On Parallel and Distributed Systems: Testing, Analysis, and Debugging 2008, Padtad'08. DOI: 10.1145/1390841.1390844  0.632
2008 Hesthaven JS, Kirby RM. Filtering in Legendre spectral methods Mathematics of Computation. 77: 1425-1452. DOI: 10.1090/S0025-5718-08-02110-8  0.334
2008 Newren EP, Fogelson AL, Guy RD, Kirby RM. A comparison of implicit solvers for the immersed boundary equations Computer Methods in Applied Mechanics and Engineering. 197: 2290-2304. DOI: 10.1016/J.Cma.2007.11.030  0.365
2008 Preusser T, Scharr H, Krajsek K, Kirby RM. Building blocks for computer vision with stochastic partial differential equations International Journal of Computer Vision. 80: 375-405. DOI: 10.1007/S11263-008-0145-5  0.364
2008 Sharma S, Vakkalanka S, Gopalakrishnan G, Kirby RM, Thakur R, Gropp W. A formal approach to detect functionally irrelevant barriers in MPI programs Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5205: 265-273. DOI: 10.1007/978-3-540-87475-1_36  0.68
2008 Vakkalanka S, Delisi M, Gopalakrishnan G, Kirby RM, Thakur R, Gropp W. Implementing efficient dynamic formal verification methods for MPI programs Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5205: 248-256. DOI: 10.1007/978-3-540-87475-1_34  0.685
2008 Vakkalanka S, Gopalakrishnan G, Kirby RM. Dynamic verification of MPI programs with reductions in presence of split operations and relaxed orderings Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5123: 66-79. DOI: 10.1007/978-3-540-70545-1_9  0.692
2008 Steffen M, Kirby RM, Berzins M. Analysis and reduction of quadrature errors in the material point method (MPM) International Journal For Numerical Methods in Engineering. 76: 922-948. DOI: 10.1002/Nme.2360  0.376
2008 Vakkalanka S, Sharma S, Gopalakrishnan G, Kirby RM. ISP: A tool for model checking MPI programs Proceedings of the Acm Sigplan Symposium On Principles and Practice of Parallel Programming, Ppopp. 285-286.  0.648
2007 Meyer M, Kirby RM, Whitaker R. Topology, accuracy, and quality of isosurface meshes using dynamic particles. Ieee Transactions On Visualization and Computer Graphics. 13: 1704-11. PMID 17968128 DOI: 10.1109/Tvcg.2007.70604  0.344
2007 Meyer M, Nelson B, Kirby R, Whitaker R. Particle systems for efficient and accurate high-order finite element visualization. Ieee Transactions On Visualization and Computer Graphics. 13: 1015-26. PMID 17622684 DOI: 10.1109/Tvcg.2007.1048  0.608
2007 Curtis S, Kirby RM, Ryan JK, Shu CW. Postprocessing for the discontinuous Galerkin method over nonuniform meshes Siam Journal On Scientific Computing. 30: 272-289. DOI: 10.1137/070681284  0.4
2007 Kirby RM, Yosibash Z, Karniadakis GE. Towards stable coupling methods for high-order discretization of fluid-structure interaction: Algorithms and observations Journal of Computational Physics. 223: 489-518. DOI: 10.1016/J.Jcp.2006.09.015  0.35
2007 Newren EP, Fogelson AL, Guy RD, Kirby RM. Unconditionally stable discretizations of the immersed boundary equations Journal of Computational Physics. 222: 702-719. DOI: 10.1016/J.Jcp.2006.08.004  0.356
2007 Gopalakrishnan G, Kirby RM. Formal Methods for MPI Programs Electronic Notes in Theoretical Computer Science. 193: 19-27. DOI: 10.1016/J.Entcs.2007.10.005  0.359
2007 Hamman CW, Kirby RM, Berzins M. Parallelization and scalability of a spectral element channel flow solver for incompressible Navier–Stokes equations: Research Articles Concurrency and Computation: Practice and Experience. 19: 1403-1422. DOI: 10.1002/Cpe.V19:10  0.338
2007 Hamman CW, Kirby RM, Berzins M. Parallelization and scalability of a spectral element channel flow solver for incompressible Navier-Stokes equations Concurrency Computation Practice and Experience. 19: 1403-1422. DOI: 10.1002/Cpe.1181  0.347
2006 Nelson B, Kirby RM. Ray-tracing polymorphic multidomain spectral/hp elements for isosurface rendering. Ieee Transactions On Visualization and Computer Graphics. 12: 114-25. PMID 16382613 DOI: 10.1109/Tvcg.2006.12  0.625
2006 Sherwin SJ, Kirby RM. Finite Elements and Fast Iterative Solvers: with Applications in Incompressible Fluid Dynamics. By H. C. E LMAN , D. J. S ILVESTER & A. J. W ATHEN . Oxford University Press, 2005. 413 pp. ISBN 019 852867 1, £70.00 (hardback) or ISBN 019 852868-X, £35.00 (paperback) Journal of Fluid Mechanics. 557: 474-475. DOI: 10.1017/S0022112006220561  0.301
2006 Palmer R, Barrus S, Yang Y, Gopalakrishnan G, Kirby RM. Gauss: A framework for verifying scientific computing software Electronic Notes in Theoretical Computer Science. 144: 95-106. DOI: 10.1016/J.Entcs.2006.01.007  0.377
2006 Kirby RM, Sherwin SJ. Stabilisation of spectral/hp element methods through spectral vanishing viscosity: Application to fluid mechanics modelling Computer Methods in Applied Mechanics and Engineering. 195: 3128-3144. DOI: 10.1016/J.Cma.2004.09.019  0.394
2006 Kirby RM, Sherwin SJ. Aliasing errors due to quadratic nonlinearities on triangular spectral/ hp element discretisations Journal of Engineering Mathematics. 56: 273-288. DOI: 10.1007/S10665-006-9079-5  0.335
2006 Pervez S, Gopalakrishnan G, Kirby RM, Thakur R, Gropp W. Formal verification of programs that use MPI one-sided communication Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4192: 30-39. DOI: 10.1007/11846802_13  0.348
2006 Sherwin SJ, Kirby RM, Peiró J, Taylor RL, Zienkiewicz OC. On 2D elliptic discontinuous Galerkin methods International Journal For Numerical Methods in Engineering. 65: 752-784. DOI: 10.1002/Nme.1466  0.415
2005 Laidlaw DH, Kirby RM, Jackson CD, Davidson JS, Miller TS, da Silva M, Warren WH, Tarr MJ. Comparing 2D vector field visualization methods: a user study. Ieee Transactions On Visualization and Computer Graphics. 11: 59-70. PMID 15631129 DOI: 10.1109/Tvcg.2005.4  0.326
2005 Yosibash Z, Kirby RM. Dynamic response of various von-Kármán non-linear plate models and their 3-D counterparts International Journal of Solids and Structures. 42: 2517-2531. DOI: 10.1016/J.Ijsolstr.2004.10.006  0.334
2005 Kirby RM, Em Karniadakis G. Selecting the numerical flux in discontinuous Galerkin methods for diffusion problems Journal of Scientific Computing. 22: 385-411. DOI: 10.1007/S10915-004-4145-5  0.34
2004 Yosibash Z, Kirby RM, Gottlieb D. Collocation methods for the solution of von-Kármán dynamic non-linear plate systems Journal of Computational Physics. 200: 432-461. DOI: 10.1016/J.Jcp.2004.03.018  0.365
2004 Kirby RM, Yosibash Z. Solution of von-Kármán dynamic non-linear plate equations using a pseudo-spectral method Computer Methods in Applied Mechanics and Engineering. 193: 575-599. DOI: 10.1016/J.Cma.2003.10.013  0.384
2003 Kirby RM, Karniadakis GE. De-aliasing on non-uniform grids: Algorithms and applications Journal of Computational Physics. 191: 249-264. DOI: 10.1016/S0021-9991(03)00314-0  0.355
2002 Kirby RM, Karniadakis GE. Coarse resolution turbulence simulations with spectral vanishing viscosity - Large-eddy simulations (SVV-LES) Journal of Fluids Engineering, Transactions of the Asme. 124: 886-891. DOI: 10.1115/1.1511321  0.307
2001 Kirby RM, Karniadakis GE, Mikulchenko O, Mayaram K. An integrated simulator for coupled domain problems in MEMS Journal of Microelectromechanical Systems. 10: 379-391. DOI: 10.1109/84.946788  0.307
2000 Kirby RM, Warburton TC, Lomtev I, Karniadakis GE. Discontinuous Galerkin spectral/hp method on hybrid grids Applied Numerical Mathematics. 33: 393-405. DOI: 10.1016/S0168-9274(99)00106-3  0.34
1999 Lomtev I, Kirby RM, Karniadakis GE. A Discontinuous Galerkin ALE Method for Compressible Viscous Flows in Moving Domains Journal of Computational Physics. 155: 128-159. DOI: 10.1006/Jcph.1999.6331  0.388
Show low-probability matches.