The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Robert M. Kirby: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. Ganesh Gopalakrishnan, Robert M. Kirby
    Toward reliable and efficient message passing software through formal analysis. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2006, pp:- [Conf]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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]

  19. Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings. [Citation Graph (, )][DBLP]


  20. Reduced Execution Semantics of MPI: From Theory to Practice. [Citation Graph (, )][DBLP]


  21. Incorporating Patient Breathing Variability into a Stochastic Model of Dose Deposition for Stereotactic Body Radiation Therapy. [Citation Graph (, )][DBLP]


  22. Runtime verification methods for MPI. [Citation Graph (, )][DBLP]


  23. Semantics driven dynamic partial-order reduction of MPI-based parallel programs. [Citation Graph (, )][DBLP]


  24. Scheduling considerations for building dynamic verification tools for MPI. [Citation Graph (, )][DBLP]


  25. Formal specification of the MPI-2.0 standard in TLA+. [Citation Graph (, )][DBLP]


  26. ISP: a tool for model checking MPI programs. [Citation Graph (, )][DBLP]


  27. A symbolic verifier for CUDA programs. [Citation Graph (, )][DBLP]


  28. Formal verification of practical MPI programs. [Citation Graph (, )][DBLP]


  29. A Formal Approach to Detect Functionally Irrelevant Barriers in MPI Programs. [Citation Graph (, )][DBLP]


  30. Implementing Efficient Dynamic Formal Verification Methods for MPI Programs. [Citation Graph (, )][DBLP]


  31. Sound and Efficient Dynamic Verification of MPI Programs with Probe Non-determinism. [Citation Graph (, )][DBLP]


  32. Practical Formal Verification of MPI and Thread Programs. [Citation Graph (, )][DBLP]


  33. How Formal Dynamic Verification Tools Facilitate Novel Concurrency Visualizations. [Citation Graph (, )][DBLP]


  34. Static-Analysis Assisted Dynamic Verification of MPI Waitany Programs (Poster Abstract). [Citation Graph (, )][DBLP]


  35. Estimation of Probability Density Functions for Parameter Sensitivity Analyses. [Citation Graph (, )][DBLP]


  36. Efficient Stateful Dynamic Partial Order Reduction. [Citation Graph (, )][DBLP]


  37. An Approach to Formalization and Analysis of Message Passing Libraries. [Citation Graph (, )][DBLP]


  38. The Need for Verifiable Visualization. [Citation Graph (, )][DBLP]


  39. Parallelization and scalability of a spectral element channel flow solver for incompressible Navier-Stokes equations. [Citation Graph (, )][DBLP]


  40. Formal Methods for MPI Programs. [Citation Graph (, )][DBLP]


Search in 0.371secs, Finished in 0.372secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002