Robert M. Kirby

238 papers A* 10A 19B 6C 4Misc 2Journal 163Unranked 30

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A Streaming Sparse Cholesky Method for Derivative-Informed Gaussian Process Surrogates Within Digital Twin Applications. CoRR Krishna Prasath Logakannan, Shridhar Vashishtha, Jacob D. Hochhalter, Shandian Zhe, Robert M. Kirby
2025	J	`jnl`	A geometrically informed algebraic multigrid preconditioned iterative approach for solving high-order finite element systems. CoRR Songzhe Xu, Majid Rasouli, Robert M. Kirby, David Moxey, Hari Sundar
2025	J	`jnl`	Diffusion-Based Symbolic Regression. CoRR Zachary Bastiani, Robert M. Kirby, Jacob D. Hochhalter, Shandian Zhe
2025	J	`jnl`	SIFBench: An Extensive Benchmark for Fatigue Analysis. CoRR Tushar Gautam, Robert M. Kirby, Jacob D. Hochhalter, Shandian Zhe
2024	J	`jnl`	Algorithm 1041: HiPPIS - A High-order Positivity-preserving Mapping Software for Structured Meshes. ACM Trans. Math. Softw. Timbwoga A. J. Ouermi, Robert M. Kirby, Martin Berzins
2024	J	`jnl`	Complexity-Aware Deep Symbolic Regression with Robust Risk-Seeking Policy Gradients. CoRR Zachary Bastiani, Robert M. Kirby, Jacob D. Hochhalter, Shandian Zhe
2024	J	`jnl`	Deep neural operators as accurate surrogates for shape optimization. Eng. Appl. Artif. Intell. Khemraj Shukla, Vivek Oommen, Ahmad Peyvan, Michael Penwarden, Nicholas Plewacki, Luis Bravo, Anindya Ghoshal, Robert M. Kirby, George Em Karniadakis
2024	A	`conf`	Equation Discovery with Bayesian Spike-and-Slab Priors and Efficient Kernels. AISTATS Da Long, Wei W. Xing, Aditi S. Krishnapriyan, Robert M. Kirby, Shandian Zhe, Michael W. Mahoney
2024	J	`jnl`	Fourier PINNs: From Strong Boundary Conditions to Adaptive Fourier Bases. CoRR Madison Cooley, Varun Shankar, Robert M. Kirby, Shandian Zhe
2024	J	`jnl`	HyResPINNs: Adaptive Hybrid Residual Networks for Learning Optimal Combinations of Neural and RBF Components for Physics-Informed Modeling. CoRR Madison Cooley, Robert M. Kirby, Shandian Zhe, Varun Shankar
2024	J	`jnl`	Inherently interpretable machine learning solutions to differential equations. Eng. Comput. Hongsup Oh, Roman Amici, Geoffrey F. Bomarito, Shandian Zhe, Robert M. Kirby, Jacob D. Hochhalter
2024	J	`jnl`	Kolmogorov n-Widths for Multitask Physics-Informed Machine Learning (PIML) Methods: Towards Robust Metrics. CoRR Michael Penwarden, Houman Owhadi, Robert M. Kirby
2024	J	`jnl`	Kolmogorov n-widths for multitask physics-informed machine learning (PIML) methods: Towards robust metrics. Neural Networks Michael Penwarden, Houman Owhadi, Robert M. Kirby
2024	A	`conf`	Multi-Resolution Active Learning of Fourier Neural Operators. AISTATS Shibo Li, Xin Yu, Wei W. Xing, Robert M. Kirby, Akil Narayan, Shandian Zhe
2024	J	`jnl`	Non-uniform knot (NUK) SIAC post-processing of flow fields produced through unstructured grid adaptation and optimization. J. Comput. Phys. Ashok Jallepalli, Marshall C. Galbraith, Robert Haimes, Robert M. Kirby
2024	J	`jnl`	Polynomial-Augmented Neural Networks (PANNs) with Weak Orthogonality Constraints for Enhanced Function and PDE Approximation. CoRR Madison Cooley, Shandian Zhe, Robert M. Kirby, Varun Shankar
2023	J	`jnl`	A metalearning approach for Physics-Informed Neural Networks (PINNs): Application to parameterized PDEs. J. Comput. Phys. Michael Penwarden, Shandian Zhe, Akil Narayan, Robert M. Kirby
2023	J	`jnl`	A unified scalable framework for causal sweeping strategies for Physics-Informed Neural Networks (PINNs) and their temporal decompositions. CoRR Michael Penwarden, Ameya D. Jagtap, Shandian Zhe, George Em Karniadakis, Robert M. Kirby
2023	J	`jnl`	A unified scalable framework for causal sweeping strategies for Physics-Informed Neural Networks (PINNs) and their temporal decompositions. J. Comput. Phys. Michael Penwarden, Ameya D. Jagtap, Shandian Zhe, George Em Karniadakis, Robert M. Kirby
2023	A	`conf`	Adaptive Self-Supervision Algorithms for Physics-Informed Neural Networks. ECAI Shashank Subramanian, Robert M. Kirby, Michael W. Mahoney, Amir Gholami
2023	J	`jnl`	Algorithm xxxx: HiPPIS A High-Order Positivity-Preserving Mapping Software for Structured Meshes. CoRR Timbwaoga A. J. Ouermi, Robert M. Kirby, Martin Berzins
2023	J	`jnl`	Computer Science Abstractions to Help Reason About Decentralized Stablecoin Design. IEEE Access Ben Charoenwong, Robert M. Kirby, Jonathan Reiter
2023	J	`jnl`	Convex optimization-based structure-preserving filter for multidimensional finite element simulations. J. Comput. Phys. Vidhi Zala, Akil Narayan, Robert M. Kirby
2023	J	`jnl`	Deep neural operators can serve as accurate surrogates for shape optimization: A case study for airfoils. CoRR Khemraj Shukla, Vivek Oommen, Ahmad Peyvan, Michael Penwarden, Luis Bravo, Anindya Ghoshal, Robert M. Kirby, George Em Karniadakis
2023	J	`jnl`	ENO-based high-order data-bounded and constrained positivity-preserving interpolation. Numer. Algorithms T. A. J. Ouermi, Robert M. Kirby, Martin Berzins
2023	J	`jnl`	Equation Discovery with Bayesian Spike-and-Slab Priors and Efficient Kernels. CoRR Da Long, Wei W. Xing, Aditi S. Krishnapriyan, Robert M. Kirby, Shandian Zhe, Michael W. Mahoney
2023	J	`jnl`	Genetic Programming Based Symbolic Regression for Analytical Solutions to Differential Equations. CoRR Hongsup Oh, Roman Amici, Geoffrey F. Bomarito, Shandian Zhe, Robert M. Kirby, Jacob D. Hochhalter
2023	A	`conf`	Meta-Learning with Adjoint Methods. AISTATS Shibo Li, Zheng Wang, Akil Narayan, Robert M. Kirby, Shandian Zhe
2023	J	`jnl`	Neural Operator Learning for Ultrasound Tomography Inversion. CoRR Haocheng Dai, Michael Penwarden, Robert M. Kirby, Sarang C. Joshi
2023	—	`conf`	Risk-Free Interest Rates in Decentralized Finance. BCCA Ben Charoenwong, Robert M. Kirby, Jonathan Reiter
2023	J	`jnl`	Solving High Frequency and Multi-Scale PDEs with Gaussian Processes. CoRR Shikai Fang, Madison Cooley, Da Long, Shibo Li, Robert M. Kirby, Shandian Zhe
2023	J	`jnl`	Streaming Factor Trajectory Learning for Temporal Tensor Decomposition. CoRR Shikai Fang, Xin Yu, Shibo Li, Zheng Wang, Robert M. Kirby, Shandian Zhe
2022	J	`jnl`	A Bandit-Learning Approach to Multifidelity Approximation. SIAM J. Sci. Comput. Yiming Xu, Vahid Keshavarzzadeh, Robert M. Kirby, Akil Narayan
2022	A	`conf`	A scalable adaptive-matrix SPMV for heterogeneous architectures. IPDPS Han D. Tran, Milinda Fernando, Kumar Saurabh, Baskar Ganapathysubramanian, Robert M. Kirby, Hari Sundar
2022	J	`jnl`	Adaptive Self-supervision Algorithms for Physics-informed Neural Networks. CoRR Shashank Subramanian, Robert M. Kirby, Michael W. Mahoney, Amir Gholami
2022	A*	`conf`	AutoIP: A United Framework to Integrate Physics into Gaussian Processes. ICML Da Long, Zheng Wang, Aditi S. Krishnapriyan, Robert M. Kirby, Shandian Zhe, Michael W. Mahoney
2022	J	`jnl`	AutoIP: A United Framework to Integrate Physics into Gaussian Processes. CoRR Da Long, Zheng Wang, Aditi S. Krishnapriyan, Robert M. Kirby, Shandian Zhe, Michael W. Mahoney
2022	A*	`conf`	Batch Multi-Fidelity Active Learning with Budget Constraints. NeurIPS Shibo Li, Jeff M. Phillips, Xin Yu, Robert M. Kirby, Shandian Zhe
2022	J	`jnl`	Batch Multi-Fidelity Active Learning with Budget Constraints. CoRR Shibo Li, Jeff M. Phillips, Xin Yu, Robert M. Kirby, Shandian Zhe
2022	A*	`conf`	Bayesian Continuous-Time Tucker Decomposition. ICML Shikai Fang, Akil Narayan, Robert M. Kirby, Shandian Zhe
2022	J	`jnl`	Convex Optimization-Based Structure-Preserving Filter For Multidimensional Finite Element Simulations. CoRR Vidhi Zala, Akil Narayan, Robert M. Kirby
2022	A*	`conf`	Decomposing Temporal High-Order Interactions via Latent ODEs. ICML Shibo Li, Robert M. Kirby, Shandian Zhe
2022	A	`conf`	Deep Multi-Fidelity Active Learning of High-Dimensional Outputs. AISTATS Shibo Li, Zheng Wang, Robert M. Kirby, Shandian Zhe
2022	J	`jnl`	Dimensionality Reduction in Deep Learning via Kronecker Multi-layer Architectures. CoRR Jarom D. Hogue, Robert M. Kirby, Akil Narayan
2022	J	`jnl`	ENO-Based High-Order Data-Bounded and Constrained Positivity-Preserving Interpolation. CoRR Timbwaoga A. J. Ouermi, Robert M. Kirby, Martin Berzins
2022	J	`jnl`	Fast Barycentric-Based Evaluation Over Spectral/hp Elements. J. Sci. Comput. Edward Laughton, Vidhi Zala, Akil Narayan, Robert M. Kirby, David Moxey
2022	J	`jnl`	GP-HMAT: Scalable, O(n log(n)) Gaussian Process Regression with Hierarchical Low-Rank Matrices. CoRR Vahid Keshavarzzadeh, Shandian Zhe, Robert M. Kirby, Akil Narayan
2022	A*	`conf`	Infinite-Fidelity Coregionalization for Physical Simulation. NeurIPS Shibo Li, Zheng Wang, Robert M. Kirby, Shandian Zhe
2022	J	`jnl`	Infinite-Fidelity Coregionalization for Physical Simulation. CoRR Shibo Li, Zheng Wang, Robert M. Kirby, Shandian Zhe
2022	J	`jnl`	Machine Learning in Heterogeneous Porous Materials. CoRR Marta D'Elia, Hang Deng, Cedric G. Fraces, Krishna C. Garikipati, Lori Graham-Brady, Amanda A. Howard, George Em Karniadakis, Vahid Keshavarzzadeh, Robert M. Kirby, J. Nathan Kutz, Chunhui Li, Xing Liu, Hannah Lu, Pania Newell, Daniel O'Malley, Masa Prodanovic, Gowri Srinivasan, Alexandre M. Tartakovsky, Daniel M. Tartakovsky, Hamdi A. Tchelepi, Bozo Vazic, Hari S. Viswanathan, Hongkyu Yoon, Piotr Zarzycki
2022	J	`jnl`	Meta Learning of Interface Conditions for Multi-Domain Physics-Informed Neural Networks. CoRR Shibo Li, Michael Penwarden, Robert M. Kirby, Shandian Zhe
2022	—	`conf`	Momentum Transformer: Closing the Performance Gap Between Self-attention and Its Linearization. MSML Tan Minh Nguyen, Richard G. Baraniuk, Robert M. Kirby, Stanley J. Osher, Bao Wang
2022	J	`jnl`	Momentum Transformer: Closing the Performance Gap Between Self-attention and Its Linearization. CoRR Tan M. Nguyen, Richard G. Baraniuk, Robert M. Kirby, Stanley J. Osher, Bao Wang
2022	J	`jnl`	Multifidelity modeling for Physics-Informed Neural Networks (PINNs). J. Comput. Phys. Michael Penwarden, Shandian Zhe, Akil Narayan, Robert M. Kirby
2022	J	`jnl`	Particle Merging-and-Splitting. IEEE Trans. Vis. Comput. Graph. Nghia Truong, Cem Yuksel, Chakrit Watcharopas, Joshua A. Levine, Robert M. Kirby
2022	A	`conf`	Physics Informed Deep Kernel Learning. AISTATS Zheng Wang, Wei W. Xing, Robert M. Kirby, Shandian Zhe
2021	C	`conf`	A Compressed, Divide and Conquer Algorithm for Scalable Distributed Matrix-Matrix Multiplication. HPC Asia Majid Rasouli, Robert M. Kirby, Hari Sundar
2021	J	`jnl`	A bandit-learning approach to multifidelity approximation. CoRR Yiming Xu, Vahid Keshavarzzadeh, Robert M. Kirby, Akil Narayan
2021	J	`jnl`	An open-source parallel code for computing the spectral fractional Laplacian on 3D complex geometry domains. Comput. Phys. Commun. Max Carlson, Xiaoning Zheng, Hari Sundar, George Em Karniadakis, Robert M. Kirby
2021	A*	`conf`	Batch Multi-Fidelity Bayesian Optimization with Deep Auto-Regressive Networks. NeurIPS Shibo Li, Robert M. Kirby, Shandian Zhe
2021	J	`jnl`	Batch Multi-Fidelity Bayesian Optimization with Deep Auto-Regressive Networks. CoRR Shibo Li, Robert M. Kirby, Shandian Zhe
2021	A	`conf`	Bayesian streaming sparse Tucker decomposition. UAI Shikai Fang, Robert M. Kirby, Shandian Zhe
2021	A*	`conf`	Characterizing possible failure modes in physics-informed neural networks. NeurIPS Aditi S. Krishnapriyan, Amir Gholami, Shandian Zhe, Robert M. Kirby, Michael W. Mahoney
2021	J	`jnl`	Characterizing possible failure modes in physics-informed neural networks. CoRR Aditi S. Krishnapriyan, Amir Gholami, Shandian Zhe, Robert M. Kirby, Michael W. Mahoney
2021	—	`conf`	Data-Driven Estimation of Temporal-Sampling Errors in Unsteady Flows. ISVC (1) Harsh Bhatia, Steve Petruzza, Rushil Anirudh, Attila Gyulassy, Robert M. Kirby, Valerio Pascucci, Peer-Timo Bremer
2021	J	`jnl`	Deep coregionalization for the emulation of simulation-based spatial-temporal fields. J. Comput. Phys. Wei W. Xing, Robert M. Kirby, Shandian Zhe
2021	J	`jnl`	Fast Barycentric-Based Evaluation Over Spectral/hp Elements. CoRR Edward Laughton, Vidhi Zala, Akil Narayan, Robert M. Kirby, David Moxey
2021	J	`jnl`	Image-Based Multiresolution Topology Optimization Using Deep Disjunctive Normal Shape Model. Comput. Aided Des. Vahid Keshavarzzadeh, Mitra Alirezaei, Tolga Tasdizen, Robert M. Kirby
2021	J	`jnl`	Kernel optimization for Low-Rank Multi-Fidelity Algorithms. CoRR Mani Razi, Robert M. Kirby, Akil Narayan
2021	J	`jnl`	Multifidelity Modeling for Physics-Informed Neural Networks (PINNs). CoRR Michael Penwarden, Shandian Zhe, Akil Narayan, Robert M. Kirby
2021	J	`jnl`	Multilevel Designed Quadrature for Partial Differential Equations with Random Inputs. SIAM J. Sci. Comput. Vahid Keshavarzzadeh, Robert M. Kirby, Akil Narayan
2021	J	`jnl`	Particle Merging-and-Splitting. CoRR Nghia Truong, Cem Yuksel, Chakrit Watcharopas, Joshua A. Levine, Robert M. Kirby
2021	J	`jnl`	Physics-Informed Neural Networks (PINNs) for Parameterized PDEs: A Metalearning Approach. CoRR Michael Penwarden, Shandian Zhe, Akil Narayan, Robert M. Kirby
2021	J	`jnl`	Residual Gaussian Process: A Tractable Nonparametric Bayesian Emulator for Multi-fidelity Simulations. CoRR Wei W. Xing, Akeel A. Shah, Peng Wang, Shandian Zhe, Qian Fu, Robert M. Kirby
2021	J	`jnl`	Structure-Preserving Nonlinear Filtering for Continuous and Discontinuous Galerkin Spectral/hp Element Methods. SIAM J. Sci. Comput. Vidhi Zala, Robert M. Kirby, Akil Narayan
2021	J	`jnl`	Structure-preserving Nonlinear Filtering for Continuous and Discontinuous Galerkin Spectral/hp Element Methods. CoRR Vidhi Zala, Robert M. Kirby, Akil Narayan
2021	J	`jnl`	Towards an Extrinsic, CG-XFEM Approach Based on Hierarchical Enrichments for Modeling Progressive Fracture. CoRR M. Keith Ballard, Roman Amici, Varun Shankar, Lauren A. Ferguson, Michael Braginsky, Robert M. Kirby
2021	J	`jnl`	Vector Field Decompositions Using Multiscale Poisson Kernel. IEEE Trans. Vis. Comput. Graph. Harsh Bhatia, Robert M. Kirby, Valerio Pascucci, Peer-Timo Bremer
2020	A	`conf`	A scalable framework for solving fractional diffusion equations. ICS Max Carlson, Robert M. Kirby, Hari Sundar
2020	J	`jnl`	Deep Multi-Fidelity Active Learning of High-dimensional Outputs. CoRR Shibo Li, Robert M. Kirby, Shandian Zhe
2020	J	`jnl`	Generation of nested quadrature rules for generic weight functions via numerical optimization: Application to sparse grids. J. Comput. Phys. Vahid Keshavarzzadeh, Robert M. Kirby, Akil Narayan
2020	A*	`conf`	Multi-Fidelity Bayesian Optimization via Deep Neural Networks. NeurIPS Shibo Li, Wei W. Xing, Robert M. Kirby, Shandian Zhe
2020	J	`jnl`	Numerical Testing of a New Positivity-Preserving Interpolation Algorithm. CoRR T. A. J. Ouermi, Robert M. Kirby, Martin Berzins
2020	A*	`conf`	Scalable Gaussian Process Regression Networks. IJCAI Shibo Li, Wei W. Xing, Robert M. Kirby, Shandian Zhe
2020	J	`jnl`	Structure-preserving function approximation via convex optimization. CoRR Vidhi Zala, Robert M. Kirby, Akil Narayan
2020	J	`jnl`	The Effect of Data Transformations on Scalar Field Topological Analysis of High-Order FEM Solutions. IEEE Trans. Vis. Comput. Graph. Ashok Jallepalli, Joshua A. Levine, Robert M. Kirby
2020	J	`jnl`	Visualization of topology optimization designs with representative subset selection. CoRR Daniel J. Perry, Vahid Keshavarzzadeh, Shireen Y. Elhabian, Robert M. Kirby, Michael Gleicher, Ross T. Whitaker
2019	J	`jnl`	A Scalable Framework for Solving Fractional Diffusion Equations. CoRR Max Carlson, Robert M. Kirby, Hari Sundar
2019	J	`jnl`	Adaptive Characteristic Length for L-SIAC Filtering of FEM Data. J. Sci. Comput. Ashok Jallepalli, Robert Haimes, Robert M. Kirby
2019	J	`jnl`	Allocation Strategies for High Fidelity Models in the Multifidelity Regime. SIAM/ASA J. Uncertain. Quantification Daniel J. Perry, Robert M. Kirby, Akil Narayan, Ross T. Whitaker
2019	J	`jnl`	Convergence Acceleration for Time-Dependent Parametric Multifidelity Models. SIAM J. Numer. Anal. Vahid Keshavarzzadeh, Robert M. Kirby, Akil Narayan
2019	—	`conf`	Data-Driven Model Order Reduction for Diffeomorphic Image Registration. IPMI Jian Wang, Wei W. Xing, Robert M. Kirby, Miaomiao Zhang
2019	J	`jnl`	Deep Coregionalization for the Emulation of Spatial-Temporal Fields. CoRR Wei W. Xing, Robert M. Kirby, Shandian Zhe
2019	J	`jnl`	Efficient Algorithms for the Line-SIAC Filter. J. Sci. Comput. Ashok Jallepalli, Robert M. Kirby
2019	J	`jnl`	Fast predictive multi-fidelity prediction with models of quantized fidelity levels. J. Comput. Phys. Mani Razi, Robert M. Kirby, Akil Narayan
2019	J	`jnl`	Interpolation Error Bounds for Curvilinear Finite Elements and Their Implications on Adaptive Mesh Refinement. J. Sci. Comput. David Moxey, Shankar P. Sastry, Robert M. Kirby
2019	J	`jnl`	Nektar++: enhancing the capability and application of high-fidelity spectral/hp element methods. CoRR David Moxey, Chris D. Cantwell, Yan Bao, Andrea Cassinelli, Giacomo Castiglioni, Sehun Chun, Emilia Juda, Ehsan Kazemi, Kilian Lackhove, Julian Marcon, Gianmarco Mengaldo, Douglas Serson, Michael Turner, Hui Xu, Joaquim Peiró, Robert M. Kirby, Spencer J. Sherwin
2019	J	`jnl`	On weak Dirichlet boundary conditions for elliptic problems in the continuous Galerkin method. J. Comput. Phys. Martin Vymazal, David Moxey, Chris D. Cantwell, Spencer J. Sherwin, Robert M. Kirby
2019	A	`conf`	Scalable High-Order Gaussian Process Regression. AISTATS Shandian Zhe, Wei W. Xing, Robert M. Kirby
2019	—	`conf`	Scalable Lazy-update Multigrid Preconditioners. HPEC Majid Rasouli, Vidhi Zala, Robert M. Kirby, Hari Sundar
2019	J	`jnl`	Smoothness-Increasing Accuracy-Conserving (SIAC) Filtering for Discontinuous Galerkin Solutions over Nonuniform Meshes: Superconvergence and Optimal Accuracy. J. Sci. Comput. Xiaozhou Li, Jennifer K. Ryan, Robert M. Kirby, Kees Vuik
2019	J	`jnl`	The Effect of Data Transformations on Scalar Field Topological Analysis of High-Order FEM Solutions. CoRR Ashok Jallepalli, Joshua A. Levine, Robert M. Kirby
2018	J	`jnl`	Allocation strategies for high fidelity models in the multifidelity regime. CoRR Daniel J. Perry, Robert M. Kirby, Akil Narayan, Ross T. Whitaker
2018	J	`jnl`	Curvilinear Mesh Adaptation Using Radial Basis Function Interpolation and Smoothing. J. Sci. Comput. Vidhi Zala, Varun Shankar, Shankar P. Sastry, Robert M. Kirby
2018	J	`jnl`	Curvilinear Mesh Adaptation using Radial Basis Function Interpolation and Smoothing. CoRR Vidhi Zala, Varun Shankar, Shankar P. Sastry, Robert M. Kirby
2018	J	`jnl`	Hypersliceplorer: Interactive visualization of shapes in multiple dimensions. Comput. Graph. Forum Thomas Torsney-Weir, Torsten Möller, Michael Sedlmair, Robert M. Kirby
2018	—	`conf`	Improving Performance and Scalability of Algebraic Multigrid through a Specialized MATVEC. HPEC Majid Rasouli, Vidhi Zala, Robert M. Kirby, Hari Sundar
2018	J	`jnl`	Numerical Integration in Multiple Dimensions with Designed Quadrature. CoRR Vahid Keshavarzzadeh, Robert M. Kirby, Akil Narayan
2018	J	`jnl`	Numerical Integration in Multiple Dimensions with Designed Quadrature. SIAM J. Sci. Comput. Vahid Keshavarzzadeh, Robert M. Kirby, Akil Narayan
2018	J	`jnl`	On the Treatment of Field Quantities and Elemental Continuity in FEM Solutions. IEEE Trans. Vis. Comput. Graph. Ashok Jallepalli, Julia Docampo-Sánchez, Jennifer K. Ryan, Robert Haimes, Robert M. Kirby
2018	J	`jnl`	Parametric Topology Optimization with Multi-Resolution Finite Element Models. CoRR Vahid Keshavarzzadeh, Robert M. Kirby, Akil Narayan
2018	J	`jnl`	Performance Optimization Strategies for WRF Physics Schemes Used in Weather Modeling. Int. J. Netw. Comput. T. A. J. Ouermi, Robert M. Kirby, Martin Berzins
2018	J	`jnl`	RBF-LOI: Augmenting Radial Basis Functions (RBFs) with Least Orthogonal Interpolation (LOI) for Solving PDEs on Surfaces. CoRR Varun Shankar, Akil Narayan, Robert M. Kirby
2018	J	`jnl`	RBF-LOI: Augmenting Radial Basis Functions (RBFs) with Least Orthogonal Interpolation (LOI) for solving PDEs on surfaces. J. Comput. Phys. Varun Shankar, Akil Narayan, Robert M. Kirby
2018	J	`jnl`	Robust Node Generation for Mesh-free Discretizations on Irregular Domains and Surfaces. SIAM J. Sci. Comput. Varun Shankar, Robert M. Kirby, Aaron L. Fogelson
2018	J	`jnl`	Robust Node Generation for Meshfree Discretizations on Irregular Domains and Surfaces. CoRR Varun Shankar, Robert M. Kirby, Aaron L. Fogelson
2018	J	`jnl`	Stochastic collocation approach with adaptive mesh refinement for parametric uncertainty analysis. J. Comput. Phys. Anindya Bhaduri, Yanyan He, Michael D. Shields, Lori Graham-Brady, Robert M. Kirby
2018	J	`jnl`	Visualization in Meteorology - A Survey of Techniques and Tools for Data Analysis Tasks. IEEE Trans. Vis. Comput. Graph. Marc Rautenhaus, Michael Böttinger, Stephan Siemen, Robert Hoffman, Robert M. Kirby, Mahsa Mirzargar, Niklas Röber, Rüdiger Westermann
2017	J	`jnl`	Exploration of Heterogeneous Data Using Robust Similarity. CoRR Mahsa Mirzargar, Ross T. Whitaker, Robert M. Kirby
2017	J	`jnl`	Hexagonal Smoothness-Increasing Accuracy-Conserving Filtering. J. Sci. Comput. Mahsa Mirzargar, Ashok Jallepalli, Jennifer K. Ryan, Robert M. Kirby
2017	J	`jnl`	Multi-Dimensional Filtering: Reducing the Dimension Through Rotation. SIAM J. Sci. Comput. Julia Docampo-Sánchez, Jennifer K. Ryan, Mahsa Mirzargar, Robert M. Kirby
2017	—	`conf`	OpenMP 4 Fortran Modernization of WSM6 for KNL. PEARC T. A. J. Ouermi, Aaron Knoll, Robert M. Kirby, Martin Berzins
2017	—	`conf`	Optimization Strategies for WRF Single-Moment 6-Class Microphysics Scheme (WSM6) on Intel Microarchitectures. CANDAR T. A. J. Ouermi, Aaron Knoll, Robert M. Kirby, Martin Berzins
2017	J	`jnl`	Preface. IEEE Trans. Vis. Comput. Graph. Gennady L. Andrienko, Shixia Liu, John T. Stasko, Niklas Elmqvist, Bongshin Lee, Kwan-Liu Ma, James P. Ahrens, Robert M. Kirby, Jos B. T. M. Roerdink
2017	—	`book`	Stochastic Partial Differential Equations for Computer Vision with Uncertain Data Tobias Preusser, Robert M. Kirby, Torben Pätz
2016	C	`conf`	Dynamic Sparse-Matrix Allocation on GPUs. ISC James King, Thomas Gilray, Robert M. Kirby, Matthew Might
2016	J	`jnl`	Evaluating Shape Alignment via Ensemble Visualization. IEEE Computer Graphics and Applications Mukund Raj, Mahsa Mirzargar, J. Samuel Preston, Robert M. Kirby, Ross T. Whitaker
2016	J	`jnl`	Smoothness-Increasing Accuracy-Conserving (SIAC) Filtering and Quasi-Interpolation: A Unified View. J. Sci. Comput. Mahsa Mirzargar, Jennifer K. Ryan, Robert M. Kirby
2016	J	`jnl`	To CG or to HDG: A Comparative Study in 3D. J. Sci. Comput. Sergey Yakovlev, David Moxey, Robert M. Kirby, Spencer J. Sherwin
2015	J	`jnl`	A Radial Basis Function (RBF)-Finite Difference (FD) Method for Diffusion and Reaction-Diffusion Equations on Surfaces. J. Sci. Comput. Varun Shankar, Grady B. Wright, Robert M. Kirby, Aaron L. Fogelson
2015	—	`book`	An Introduction to Verification of Visualization Techniques Tiago Etiene, Robert M. Kirby, Cláudio T. Silva
2015	J	`jnl`	Mixed aleatory and epistemic uncertainty quantification using fuzzy set theory. Int. J. Approx. Reason. Yanyan He, Mahsa Mirzargar, Robert M. Kirby
2015	J	`jnl`	One-Sided Position-Dependent Smoothness-Increasing Accuracy-Conserving (SIAC) Filtering Over Uniform and Non-uniform Meshes. J. Sci. Comput. Jennifer K. Ryan, Xiaozhou Li, Robert M. Kirby, Kees Vuik
2015	J	`jnl`	Visualizing Time-Specific Hurricane Predictions, with Uncertainty, from Storm Path Ensembles. Comput. Graph. Forum Le Liu, Mahsa Mirzargar, Robert M. Kirby, Ross T. Whitaker, Donald H. House
2014	—	`conf`	A Bayesian Approach to Quantifying Uncertainty in Tikhonov Solutions for the Inverse Problem of Electrocardiography. CinC Jessie France, Yaniv Gur, Robert M. Kirby, Chris R. Johnson
2014	J	`jnl`	A Radial Basis Function (RBF)-Finite Difference (FD) Method for Diffusion and Reaction-Diffusion Equations on Surfaces. CoRR Varun Shankar, Grady B. Wright, Robert M. Kirby, Aaron L. Fogelson
2014	J	`jnl`	Algorithm 940: Optimal Accumulator-Based Expression Evaluation through the Use of Expression Templates. ACM Trans. Math. Softw. Blake Nelson, Robert M. Kirby, Steven G. Parker
2014	J	`jnl`	Architecting the finite element method pipeline for the GPU. J. Comput. Appl. Math. Zhisong Fu, T. James Lewis, Robert M. Kirby, Ross T. Whitaker
2014	J	`jnl`	Curve Boxplot: Generalization of Boxplot for Ensembles of Curves. IEEE Trans. Vis. Comput. Graph. Mahsa Mirzargar, Ross T. Whitaker, Robert M. Kirby
2014	J	`jnl`	Exploiting Batch Processing on Streaming Architectures to Solve 2D Elliptic Finite Element Problems: A Hybridized Discontinuous Galerkin (HDG) Case Study. J. Sci. Comput. James King, Sergey Yakovlev, Zhisong Fu, Robert M. Kirby, Spencer J. Sherwin
2014	J	`jnl`	Extracting Features from Time-Dependent Vector Fields Using Internal Reference Frames. Comput. Graph. Forum Harsh Bhatia, Valerio Pascucci, Robert M. Kirby, Peer-Timo Bremer
2014	J	`jnl`	GPU-Based Volume Visualization from High-Order Finite Element Fields. IEEE Trans. Vis. Comput. Graph. Blake Nelson, Robert M. Kirby, Robert Haimes
2014	J	`jnl`	High-order spectral/hp element discretisation for reaction-diffusion problems on surfaces: Application to cardiac electrophysiology. J. Comput. Phys. Chris D. Cantwell, Sergey Yakovlev, Robert M. Kirby, Nicholas S. Peters, Spencer J. Sherwin
2014	J	`jnl`	Smoothness-Increasing Accuracy-Conserving (SIAC) Filters for Discontinuous Galerkin Solutions: Application to Structured Tetrahedral Meshes. J. Sci. Comput. Hanieh Mirzaee, Jennifer K. Ryan, Robert M. Kirby
2014	J	`jnl`	Verifying Volume Rendering Using Discretization Error Analysis. IEEE Trans. Vis. Comput. Graph. Tiago Etiene, Daniel Jönsson, Timo Ropinski, Carlos Eduardo Scheidegger, João Luiz Dihl Comba, Luis Gustavo Nonato, Robert M. Kirby, Anders Ynnerman, Cláudio T. Silva
2013	J	`jnl`	A Fast Iterative Method for Solving the Eikonal Equation on Tetrahedral Domains. SIAM J. Sci. Comput. Zhisong Fu, Robert M. Kirby, Ross T. Whitaker
2013	J	`jnl`	A Radial Basis Function (RBF)-Finite Difference Method for the Simulation of Reaction-Diffusion Equations on Stationary Platelets within the Augmented Forcing Method. CoRR Varun Shankar, Grady B. Wright, Aaron L. Fogelson, Robert M. Kirby
2013	—	`conf`	A Study Of Discretization Errors In Volume Rendering Integral Approximations. EuroRV³@EuroVis Tiago Etiene, Robert M. Kirby, Cláudio T. Silva
2013	A	`conf`	A scalable, efficient scheme for evaluation of stencil computations over unstructured meshes. SC James King, Robert M. Kirby
2013	J	`jnl`	Ambrosio-Tortorelli Segmentation of Stochastic Images: Model Extensions, Theoretical Investigations and Numerical Methods. Int. J. Comput. Vis. Torben Pätz, Robert M. Kirby, Tobias Preusser
2013	J	`jnl`	Augmenting the Immersed Boundary Method with Radial Basis Functions (RBFs) for the Modeling of Platelets in Hemodynamic Flows CoRR Varun Shankar, Grady B. Wright, Robert M. Kirby, Aaron L. Fogelson
2013	J	`jnl`	Contour Boxplots: A Method for Characterizing Uncertainty in Feature Sets from Simulation Ensembles. IEEE Trans. Vis. Comput. Graph. Ross T. Whitaker, Mahsa Mirzargar, Robert M. Kirby
2013	J	`jnl`	Inverse electrocardiographic source localization of ischemia: An optimization framework and finite element solution. J. Comput. Phys. Dafang Wang, Robert M. Kirby, Robert S. MacLeod, Chris R. Johnson
2013	—	`conf`	On Interpolation Errors over Quadratic Nodal Triangular Finite Elements. IMR Shankar P. Sastry, Robert M. Kirby
2013	J	`jnl`	Rethinking Abstractions for Big Data: Why, Where, How, and What. CoRR Mary W. Hall, Robert M. Kirby, Feifei Li, Miriah D. Meyer, Valerio Pascucci, Jeff M. Phillips, Robert Ricci, Jacobus E. van der Merwe, Suresh Venkatasubramanian
2013	J	`jnl`	Smoothness-Increasing Accuracy-Conserving Filters for Discontinuous Galerkin Solutions over Unstructured Triangular Meshes. SIAM J. Sci. Comput. Hanieh Mirzaee, James King, Jennifer K. Ryan, Robert M. Kirby
2013	J	`jnl`	Visualization Collaborations: What Works and Why. IEEE Computer Graphics and Applications Robert M. Kirby, Miriah D. Meyer
2012	J	`jnl`	A Study of Different Modeling Choices For Simulating Platelets Within the Immersed Boundary Method CoRR Varun Shankar, Grady B. Wright, Aaron L. Fogelson, Robert M. Kirby
2012	J	`jnl`	Efficient Implementation of Smoothness-Increasing Accuracy-Conserving (SIAC) Filters for Discontinuous Galerkin Solutions. J. Sci. Comput. Hanieh Mirzaee, Jennifer K. Ryan, Robert M. Kirby
2012	J	`jnl`	ElVis: A System for the Accurate and Interactive Visualization of High-Order Finite Element Solutions. IEEE Trans. Vis. Comput. Graph. Blake Nelson, Eric Liu, Robert M. Kirby, Robert Haimes
2012	J	`jnl`	Mixed-element volume completion from NURBS surfaces. Comput. Graph. Tobias Martin, Elaine Cohen, Robert M. Kirby
2012	J	`jnl`	Smoothness-Increasing Accuracy-Conserving (SIAC) Filtering for Discontinuous Galerkin Solutions: Improved Errors Versus Higher-Order Accuracy. J. Sci. Comput. James King, Hanieh Mirzaee, Jennifer K. Ryan, Robert M. Kirby
2012	J	`jnl`	Stochastic Collocation for Optimal Control Problems with Stochastic PDE Constraints. SIAM J. Control. Optim. Hanne Tiesler, Robert M. Kirby, Dongbin Xiu, Tobias Preusser
2012	J	`jnl`	To CG or to HDG: A Comparative Study. J. Sci. Comput. Robert M. Kirby, Spencer J. Sherwin, Bernardo Cockburn
2012	J	`jnl`	Topology Verification for Isosurface Extraction. IEEE Trans. Vis. Comput. Graph. Tiago Etiene, Luis Gustavo Nonato, Carlos Eduardo Scheidegger, Julien Tierny, Thomas J. Peters, Valerio Pascucci, Robert M. Kirby, Cláudio T. Silva
2011	J	`jnl`	A Fast Iterative Method for Solving the Eikonal Equation on Triangulated Surfaces. SIAM J. Sci. Comput. Zhisong Fu, Won-Ki Jeong, Yongsheng Pan, Robert M. Kirby, Ross T. Whitaker
2011	—	`conf`	An optimization framework for inversely estimating myocardial transmembrane potentials and localizing ischemia. EMBC Dafang Wang, Robert M. Kirby, Rob S. MacLeod, Chris R. Johnson
2011	J	`jnl`	Finite-Element-Based Discretization and Regularization Strategies for 3-D Inverse Electrocardiography. IEEE Trans. Biomed. Eng. Dafang Wang, Robert M. Kirby, Chris R. Johnson
2011	J	`jnl`	Formal analysis of MPI-based parallel programs. Commun. ACM Ganesh Gopalakrishnan, Robert M. Kirby, Stephen F. Siegel, Rajeev Thakur, William Gropp, Ewing L. Lusk, Bronis R. de Supinski, Martin Schulz, Greg Bronevetsky
2011	J	`jnl`	Formal specification of MPI 2.0: Case study in specifying a practical concurrent programming API. Sci. Comput. Program. Guodong Li, Robert Palmer, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby
2011	J	`jnl`	GPU-Based Interactive Cut-Surface Extraction From High-Order Finite Element Fields. IEEE Trans. Vis. Comput. Graph. Blake Nelson, Robert M. Kirby, Robert Haimes
2011	B	`conf`	Large Scale Verification of MPI Programs Using Lamport Clocks with Lazy Update. PACT Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby, Bronis R. de Supinski, Martin Schulz, Greg Bronevetsky
2011	J	`jnl`	Numerical solution of linear Volterra integral equations of the second kind with sharp gradients. J. Comput. Appl. Math. Samuel A. Isaacson, Robert M. Kirby
2011	J	`jnl`	Quantifying variability in radiation dose due to respiratory-induced tumor motion. Medical Image Anal. Sarah E. Geneser, Jacob D. Hinkle, Robert M. Kirby, Brian Wang, Bill Salter, Sarang C. Joshi
2011	J	`jnl`	Smoothness-Increasing Accuracy-Conserving (SIAC) Postprocessing for Discontinuous Galerkin Solutions over Structured Triangular Meshes. SIAM J. Numer. Anal. Hanieh Mirzaee, Liangyue Ji, Jennifer K. Ryan, Robert M. Kirby
2010	B	`conf`	A symbolic verifier for CUDA programs. PPoPP Guodong Li, Ganesh Gopalakrishnan, Robert M. Kirby, Daniel J. Quinlan
2010	J	`jnl`	Distributed dynamic partial order reduction. Int. J. Softw. Tools Technol. Transf. Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby
2010	J	`jnl`	Formal methods applied to high-performance computing software design: a case study of MPI one-sided communication-based locking. Softw. Pract. Exp. Salman Pervez, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur, William Gropp
2010	J	`jnl`	From h to p efficiently: Implementing finite and spectral/hp element methods to achieve optimal performance for low- and high-order discretisations. J. Comput. Phys. Peter E. J. Vos, Spencer J. Sherwin, Robert M. Kirby
2010	C	`conf`	Precise Dynamic Analysis for Slack Elasticity: Adding Buffering without Adding Bugs. EuroMPI Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby
2010	J	`jnl`	Quantification of Errors Introduced in the Numerical Approximation and Implementation of Smoothness-Increasing Accuracy Conserving (SIAC) Filtering of Discontinuous Galerkin (DG) Fields. J. Sci. Comput. Hanieh Mirzaee, Jennifer K. Ryan, Robert M. Kirby
2010	J	`jnl`	Resolution Strategies for the Finite-Element-Based Solution of the ECG Inverse Problem. IEEE Trans. Biomed. Eng. Dafang Wang, Robert M. Kirby, Chris R. Johnson
2010	—	`conf`	Top ten ways to make formal methods for HPC practical. FoSER Ganesh Gopalakrishnan, Robert M. Kirby
2009	B	`conf`	Formal verification of practical MPI programs. PPoPP Anh Vo, Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur
2009	—	`conf`	How Formal Dynamic Verification Tools Facilitate Novel Concurrency Visualizations. PVM/MPI Sriram Aananthakrishnan, Michael Delisi, Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur
2009	—	`conf`	Incorporating Patient Breathing Variability into a Stochastic Model of Dose Deposition for Stereotactic Body Radiation Therapy. IPMI Sarah E. Geneser, Robert M. Kirby, Brian Wang, Bill Salter, Sarang C. Joshi
2009	J	`jnl`	One-Sided Smoothness-Increasing Accuracy-Conserving Filtering for Enhanced Streamline Integration through Discontinuous Fields. J. Sci. Comput. David Walfisch, Jennifer K. Ryan, Robert M. Kirby, Robert Haimes
2009	J	`jnl`	Parallel and distributed model checking in Eddy. Int. J. Softw. Tools Technol. Transf. Igor Melatti, Robert Palmer, Geoffrey Sawaya, Yu Yang, Robert M. Kirby, Ganesh Gopalakrishnan
2009	—	`conf`	Practical Formal Verification of MPI and Thread Programs. PVM/MPI Ganesh Gopalakrishnan, Robert M. Kirby
2009	B	`conf`	Reduced Execution Semantics of MPI: From Theory to Practice. FM Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby
2009	—	`conf`	Sound and Efficient Dynamic Verification of MPI Programs with Probe Non-determinism. PVM/MPI Anh Vo, Sarvani S. Vakkalanka, Jason Williams, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur
2009	—	`conf`	Static-Analysis Assisted Dynamic Verification of MPI Waitany Programs (Poster Abstract). PVM/MPI Sarvani S. Vakkalanka, Grzegorz Szubzda, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur
2009	J	`jnl`	Using the Stochastic Collocation Method for the Uncertainty Quantification of Drug Concentration Due to Depot Shape Variability. IEEE Trans. Biomed. Eng. J. Samuel Preston, Tolga Tasdizen, Christi M. Terry, Alfred K. Cheung, Robert M. Kirby
2009	J	`jnl`	Verifiable Visualization for Isosurface Extraction. IEEE Trans. Vis. Comput. Graph. Tiago Etiene, Carlos Eduardo Scheidegger, Luis Gustavo Nonato, Robert M. Kirby, Cláudio T. Silva
2008	—	`conf`	A Formal Approach to Detect Functionally Irrelevant Barriers in MPI Programs. PVM/MPI Subodh Sharma, Sarvani S. Vakkalanka, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur, William Gropp
2008	J	`jnl`	Application of Stochastic Finite Element Methods to Study the Sensitivity of ECG Forward Modeling to Organ Conductivity. IEEE Trans. Biomed. Eng. Sarah E. Geneser, Robert M. Kirby, Robert S. MacLeod
2008	J	`jnl`	Building Blocks for Computer Vision with Stochastic Partial Differential Equations. Int. J. Comput. Vis. Tobias Preusser, Hanno Scharr, Kai Krajsek, Robert M. Kirby
2008	A*	`conf`	Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings. CAV Sarvani S. Vakkalanka, Ganesh Gopalakrishnan, Robert M. Kirby
2008	—	`conf`	Efficient Stateful Dynamic Partial Order Reduction. SPIN Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby
2008	—	`conf`	Estimation of Probability Density Functions for Parameter Sensitivity Analyses. SimVis Tim Kröger, Inga Altrogge, Olaf Konrad, Robert M. Kirby, Tobias Preusser
2008	J	`jnl`	Filtering in Legendre spectral methods. Math. Comput. Jan S. Hesthaven, Robert M. Kirby
2008	B	`conf`	Formal specification of the MPI-2.0 standard in TLA+. PPoPP Guodong Li, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby
2008	B	`conf`	ISP: a tool for model checking MPI programs. PPoPP Sarvani S. Vakkalanka, Subodh Sharma, Ganesh Gopalakrishnan, Robert M. Kirby
2008	—	`conf`	Implementing Efficient Dynamic Formal Verification Methods for MPI Programs. PVM/MPI Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur, William Gropp
2008	J	`jnl`	Investigation of Smoothness-Increasing Accuracy-Conserving Filters for Improving Streamline Integration through Discontinuous Fields. IEEE Trans. Vis. Comput. Graph. Michael Steffen, Sean Curtis, Robert M. Kirby, Jennifer K. Ryan
2008	J	`jnl`	Particle-based Sampling and Meshing of Surfaces in Multimaterial Volumes. IEEE Trans. Vis. Comput. Graph. Miriah D. Meyer, Ross T. Whitaker, Robert M. Kirby, Christian Ledergerber, Hanspeter Pfister
2008	A	`conf`	Runtime verification methods for MPI. IPDPS Ganesh Gopalakrishnan, Robert M. Kirby
2008	—	`conf`	Scheduling considerations for building dynamic verification tools for MPI. PADTAD Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby
2008	J	`jnl`	The Need for Verifiable Visualization. IEEE Computer Graphics and Applications Robert M. Kirby, Cláudio T. Silva
2007	C	`conf`	An Approach to Formalization and Analysis of Message Passing Libraries. FMICS Robert Palmer, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby
2007	—	`conf`	Distributed Dynamic Partial Order Reduction Based Verification of Threaded Software. SPIN Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby
2007	A	`conf`	Formal Analysis for Debugging and Performance Optimization of MPI. IPDPS Ganesh Gopalakrishnan, Robert M. Kirby
2007	—	`conf`	Formal Methods for MPI Programs. Festschrift honoring Gary Lindstrom Ganesh Gopalakrishnan, Robert M. Kirby
2007	J	`jnl`	Parallelization and scalability of a spectral element channel flow solver for incompressible Navier-Stokes equations. Concurr. Comput. Pract. Exp. C. W. Hamman, Robert M. Kirby, Martin Berzins
2007	J	`jnl`	Particle Systems for Efficient and Accurate High-Order Finite Element Visualization. IEEE Trans. Vis. Comput. Graph. Miriah D. Meyer, Blake Nelson, Robert M. Kirby, Ross T. Whitaker
2007	J	`jnl`	Postprocessing for the Discontinuous Galerkin Method over Nonuniform Meshes. SIAM J. Sci. Comput. Sean Curtis, Robert M. Kirby, Jennifer K. Ryan, Chi-Wang Shu
2007	—	`conf`	Practical Model-Checking Method for Verifying Correctness of MPI Programs. PVM/MPI Salman Pervez, Ganesh Gopalakrishnan, Robert M. Kirby, Robert Palmer, Rajeev Thakur, William Gropp
2007	—	`conf`	Semantics driven dynamic partial-order reduction of MPI-based parallel programs. PADTAD Robert Palmer, Ganesh Gopalakrishnan, Robert M. Kirby
2007	J	`jnl`	Topology, Accuracy, and Quality of Isosurface Meshes Using Dynamic Particles. IEEE Trans. Vis. Comput. Graph. Miriah D. Meyer, Robert M. Kirby, Ross T. Whitaker
2007	J	`jnl`	Towards stable coupling methods for high-order discretization of fluid-structure interaction: Algorithms and observations. J. Comput. Phys. Robert M. Kirby, Zohar Yosibash, George E. Karniadakis
2007	J	`jnl`	Unconditionally stable discretizations of the immersed boundary equations. J. Comput. Phys. Elijah P. Newren, Aaron L. Fogelson, Robert D. Guy, Robert M. Kirby
2006	J	`jnl`	Advanced Reaction-Diffusion Models for Texture Synthesis. J. Graph. Tools Allen R. Sanderson, Robert M. Kirby, Chris R. Johnson, Lingfa Yang
2006	—	`conf`	Formal Verification of Programs That Use MPI One-Sided Communication. PVM/MPI Salman Pervez, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur, William D. Gropp
2006	Misc	`conf`	Involving Undergraduates in Computational Science and Engineering Research: Successes and Challenges. International Conference on Computational Science (2) Robert M. Kirby, Cullen R. Johnson, Martin Berzins
2006	—	`conf`	Parallel and Distributed Model Checking in Eddy. SPIN Igor Melatti, Robert Palmer, Geoffrey Sawaya, Yu Yang, Robert M. Kirby, Ganesh Gopalakrishnan
2006	J	`jnl`	Ray-Tracing Polymorphic Multidomain Spectral/hp Elements for Isosurface Rendering. IEEE Trans. Vis. Comput. Graph. Blake Nelson, Robert M. Kirby
2006	A	`conf`	Toward reliable and efficient message passing software through formal analysis. IPDPS Ganesh Gopalakrishnan, Robert M. Kirby
2005	J	`jnl`	Comparing 2D Vector Field Visualization Methods: A User Study. IEEE Trans. Vis. Comput. Graph. David H. Laidlaw, Robert M. Kirby, Cullen D. Jackson, J. Scott Davidson, Timothy S. Miller, Marco da Silva, William H. Warren, Michael J. Tarr
2005	—	`conf`	Gauss: A Framework for Verifying Scientific Computing Software. SoftMC@CAV Robert Palmer, Steve Barrus, Yu Yang, Ganesh Gopalakrishnan, Robert M. Kirby
2005	Misc	`conf`	Integrating Teaching and Research in HPC: Experiences and Opportunities. International Conference on Computational Science (2) Martin Berzins, Robert M. Kirby, Cullen R. Johnson
2005	—	`ch.`	Painting and Visualization. The Visualization Handbook Robert M. Kirby, Daniel F. Keefe, David H. Laidlaw
2005	J	`jnl`	Selecting the Numerical Flux in Discontinuous Galerkin Methods for Diffusion Problems. J. Sci. Comput. Robert M. Kirby, George E. Karniadakis
2004	A	`conf`	Display of Vector Fields Using a Reaction-Diffusion Model. IEEE Visualization Allen R. Sanderson, Chris R. Johnson, Robert M. Kirby
2003	—	`book`	Parallel Scientific Computing in C++ and MPI - A Seamless Approach to Parallel Algorithms and their Implementation. George E. Karniadakis, Robert M. Kirby
2001	A	`conf`	Quantitative Comparative Evaluation of 2D Vector Field Visualization Methods. IEEE Visualization David H. Laidlaw, Robert M. Kirby, J. Scott Davidson, Timothy S. Miller, Marco da Silva, William H. Warren, Michael J. Tarr
2000	A	`conf`	Immersive virtual reality for visualizing flow through an artery. IEEE Visualization Andrew S. Forsberg, David H. Laidlaw, Andries van Dam, Robert M. Kirby, George E. Karniadakis, Jonathan L. Elion
1999	A	`conf`	Direct Numerical Simulation of Turbulence with a PC/Linux Cluster: Fact or Fiction? SC George-Sosei Karamanos, Constantinos Evangelinos, Richard C. Boes, Robert M. Kirby, George E. Karniadakis
1999	A	`conf`	Visualizing Multivalued Data from 2D Incompressible Flows Using Concepts from Painting. IEEE Visualization Robert M. Kirby, H. Marmanis, David H. Laidlaw