The SCEAS System
| |||||||

## Search the dblp DataBase
Robert M. Kirby:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- M. Berzins, Robert M. Kirby, Cullen R. Johnson
**Integrating Teaching and Research in HPC: Experiences and Opportunities.**[Citation Graph (0, 0)][DBLP] International Conference on Computational Science (2), 2005, pp:36-43 [Conf] - Robert M. Kirby, Cullen R. Johnson, M. Berzins
**Involving Undergraduates in Computational Science and Engineering Research: Successes and Challenges.**[Citation Graph (0, 0)][DBLP] International Conference on Computational Science (2), 2006, pp:147-154 [Conf] - Ganesh Gopalakrishnan, Robert M. Kirby
**Toward reliable and efficient message passing software through formal analysis.**[Citation Graph (0, 0)][DBLP] IPDPS, 2006, pp:- [Conf] - Salman Pervez, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur, William D. Gropp
**Formal Verification of Programs That Use MPI One-Sided Communication.**[Citation Graph (0, 0)][DBLP] PVM/MPI, 2006, pp:30-39 [Conf] - Igor Melatti, Robert Palmer, Geoffrey Sawaya, Yu Yang, Robert M. Kirby, Ganesh Gopalakrishnan
**Parallel and Distributed Model Checking in Eddy.**[Citation Graph (0, 0)][DBLP] SPIN, 2006, pp:108-125 [Conf] - Andrew S. Forsberg, David H. Laidlaw, Andries van Dam, Robert M. Kirby, George E. Karniadakis, Jonathan L. Elion
**Immersive virtual reality for visualizing flow through an artery.**[Citation Graph (0, 0)][DBLP] IEEE Visualization, 2000, pp:457-460 [Conf] - David H. Laidlaw, Robert M. Kirby, J. Scott Davidson, Timothy S. Miller, Marco da Silva, William H. Warren, Michael J. Tarr
**Quantitative Comparative Evaluation of 2D Vector Field Visualization Methods.**[Citation Graph (0, 0)][DBLP] IEEE Visualization, 2001, pp:- [Conf] - Robert M. Kirby, H. Marmanis, David H. Laidlaw
**Visualizing Multivalued Data from 2D Incompressible Flows Using Concepts from Painting.**[Citation Graph (0, 0)][DBLP] IEEE Visualization, 1999, pp:333-340 [Conf] - Allen R. Sanderson, Chris R. Johnson, Robert M. Kirby
**Display of Vector Fields Using a Reaction-Diffusion Model.**[Citation Graph (0, 0)][DBLP] IEEE Visualization, 2004, pp:115-122 [Conf] - Robert Palmer, Steve Barrus, Yu Yang, Ganesh Gopalakrishnan, Robert M. Kirby
**Gauss: A Framework for Verifying Scientific Computing Software.**[Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:144, n:3, pp:95-106 [Journal] - Robert M. Kirby, George E. Karniadakis
**Selecting the Numerical Flux in Discontinuous Galerkin Methods for Diffusion Problems.**[Citation Graph (0, 0)][DBLP] J. Sci. Comput., 2005, v:22, n:1, pp:385-411 [Journal] - David H. Laidlaw, Robert M. Kirby, Cullen D. Jackson, J. Scott Davidson, Timothy S. Miller, Marco da Silva, William H. Warren, Michael J. Tarr
**Comparing 2D Vector Field Visualization Methods: A User Study.**[Citation Graph (0, 0)][DBLP] IEEE Trans. Vis. Comput. Graph., 2005, v:11, n:1, pp:59-70 [Journal] - Blake Nelson, Robert M. Kirby
**Ray-Tracing Polymorphic Multidomain Spectral/hp Elements for Isosurface Rendering.**[Citation Graph (0, 0)][DBLP] IEEE Trans. Vis. Comput. Graph., 2006, v:12, n:1, pp:114-125 [Journal] - Ganesh Gopalakrishnan, Robert M. Kirby
**Formal Analysis for Debugging and Performance Optimization of MPI.**[Citation Graph (0, 0)][DBLP] IPDPS, 2007, pp:1-6 [Conf] - Salman Pervez, Ganesh Gopalakrishnan, Robert M. Kirby, Robert Palmer, Rajeev Thakur, William Gropp
**Practical Model-Checking Method for Verifying Correctness of MPI Programs.**[Citation Graph (0, 0)][DBLP] PVM/MPI, 2007, pp:344-353 [Conf] - Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby
**Distributed Dynamic Partial Order Reduction Based Verification of Threaded Software.**[Citation Graph (0, 0)][DBLP] SPIN, 2007, pp:58-75 [Conf] - Miriah Meyer, Robert M. Kirby, Ross T. Whitaker
**Topology, Accuracy, and Quality of Isosurface Meshes Using Dynamic Particles.**[Citation Graph (0, 0)][DBLP] IEEE Trans. Vis. Comput. Graph., 2007, v:13, n:6, pp:1704-1711 [Journal] - Miriah Meyer, Blake Nelson, Robert M. Kirby, Ross T. Whitaker
**Particle Systems for Efficient and Accurate High-Order Finite Element Visualization.**[Citation Graph (0, 0)][DBLP] IEEE Trans. Vis. Comput. Graph., 2007, v:13, n:5, pp:1015-1026 [Journal] **Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings.**[Citation Graph (, )][DBLP]**Reduced Execution Semantics of MPI: From Theory to Practice.**[Citation Graph (, )][DBLP]**Incorporating Patient Breathing Variability into a Stochastic Model of Dose Deposition for Stereotactic Body Radiation Therapy.**[Citation Graph (, )][DBLP]**Runtime verification methods for MPI.**[Citation Graph (, )][DBLP]**Semantics driven dynamic partial-order reduction of MPI-based parallel programs.**[Citation Graph (, )][DBLP]**Scheduling considerations for building dynamic verification tools for MPI.**[Citation Graph (, )][DBLP]**Formal specification of the MPI-2.0 standard in TLA+.**[Citation Graph (, )][DBLP]**ISP: a tool for model checking MPI programs.**[Citation Graph (, )][DBLP]**A symbolic verifier for CUDA programs.**[Citation Graph (, )][DBLP]**Formal verification of practical MPI programs.**[Citation Graph (, )][DBLP]**A Formal Approach to Detect Functionally Irrelevant Barriers in MPI Programs.**[Citation Graph (, )][DBLP]**Implementing Efficient Dynamic Formal Verification Methods for MPI Programs.**[Citation Graph (, )][DBLP]**Sound and Efficient Dynamic Verification of MPI Programs with Probe Non-determinism.**[Citation Graph (, )][DBLP]**Practical Formal Verification of MPI and Thread Programs.**[Citation Graph (, )][DBLP]**How Formal Dynamic Verification Tools Facilitate Novel Concurrency Visualizations.**[Citation Graph (, )][DBLP]**Static-Analysis Assisted Dynamic Verification of MPI Waitany Programs (Poster Abstract).**[Citation Graph (, )][DBLP]**Estimation of Probability Density Functions for Parameter Sensitivity Analyses.**[Citation Graph (, )][DBLP]**Efficient Stateful Dynamic Partial Order Reduction.**[Citation Graph (, )][DBLP]**An Approach to Formalization and Analysis of Message Passing Libraries.**[Citation Graph (, )][DBLP]**The Need for Verifiable Visualization.**[Citation Graph (, )][DBLP]**Parallelization and scalability of a spectral element channel flow solver for incompressible Navier-Stokes equations.**[Citation Graph (, )][DBLP]**Formal Methods for MPI Programs.**[Citation Graph (, )][DBLP]
Search in 0.371secs, Finished in 0.372secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |