dblp.uni-trier.dewww.uni-trier.de

Robert M. Kirby Vis

Mike Kirby

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
46EESarah E. Geneser, Robert M. Kirby, Brian Wang, Bill Salter, Sarang Joshi: Incorporating Patient Breathing Variability into a Stochastic Model of Dose Deposition for Stereotactic Body Radiation Therapy. IPMI 2009: 688-700
45EEAnh Vo, Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur: Formal verification of practical MPI programs. PPOPP 2009: 261-270
44EESriram Aananthakrishnan, Michael Delisi, Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur: How Formal Dynamic Verification Tools Facilitate Novel Concurrency Visualizations. PVM/MPI 2009: 261-270
43EEAnh Vo, Sarvani S. Vakkalanka, Jason Williams, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur: Sound and Efficient Dynamic Verification of MPI Programs with Probe Non-determinism. PVM/MPI 2009: 271-281
42EESarvani S. Vakkalanka, Grzegorz Szubzda, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur: Static-Analysis Assisted Dynamic Verification of MPI Waitany Programs (Poster Abstract). PVM/MPI 2009: 329-330
41EEGanesh Gopalakrishnan, Robert M. Kirby: Practical Formal Verification of MPI and Thread Programs. PVM/MPI 2009: 8
40EEDavid Walfisch, Jennifer K. Ryan, Robert M. Kirby, Robert Haimes: One-Sided Smoothness-Increasing Accuracy-Conserving Filtering for Enhanced Streamline Integration through Discontinuous Fields. J. Sci. Comput. 38(2): 164-184 (2009)
39EEIgor Melatti, Robert Palmer, Geoffrey Sawaya, Yu Yang, Robert M. Kirby, Ganesh Gopalakrishnan: Parallel and distributed model checking in Eddy. STTT 11(1): 13-25 (2009)
2008
38EESarvani S. Vakkalanka, Ganesh Gopalakrishnan, Robert M. Kirby: Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings. CAV 2008: 66-79
37EEGanesh Gopalakrishnan, Robert M. Kirby: Runtime verification methods for MPI. IPDPS 2008: 1-5
36EESarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby: Scheduling considerations for building dynamic verification tools for MPI. PADTAD 2008: 3
35EEGuodong Li, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby: Formal specification of the MPI-2.0 standard in TLA+. PPOPP 2008: 283-284
34EESarvani S. Vakkalanka, Subodh Sharma, Ganesh Gopalakrishnan, Robert M. Kirby: ISP: a tool for model checking MPI programs. PPOPP 2008: 285-286
33EESarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur, William Gropp: Implementing Efficient Dynamic Formal Verification Methods for MPI Programs. PVM/MPI 2008: 248-256
32EESubodh Sharma, Sarvani S. Vakkalanka, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur, William Gropp: A Formal Approach to Detect Functionally Irrelevant Barriers in MPI Programs. PVM/MPI 2008: 265-273
31EEYu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby: Efficient Stateful Dynamic Partial Order Reduction. SPIN 2008: 288-305
30EETim Kröger, Inga Altrogge, Olaf Konrad, Robert M. Kirby, Tobias Preusser: Estimation of Probability Density Functions for Parameter Sensitivity Analyses. SimVis 2008: 61-74
29EETobias Martin, Elaine Cohen, Mike Kirby: Volumetric parameterization and trivariate b-spline fitting using harmonic functions. Symposium on Solid and Physical Modeling 2008: 269-280
28EERobert M. Kirby, Cláudio T. Silva: The Need for Verifiable Visualization. IEEE Computer Graphics and Applications 28(5): 78-83 (2008)
27EEMichael Steffen, Sean Curtis, Robert M. Kirby, Jennifer K. Ryan: Investigation of Smoothness-Increasing Accuracy-Conserving Filters for Improving Streamline Integration through Discontinuous Fields. IEEE Trans. Vis. Comput. Graph. 14(3): 680-692 (2008)
26EEMiriah D. Meyer, Ross T. Whitaker, Robert M. Kirby, Christian Ledergerber, Hanspeter Pfister: Particle-based Sampling and Meshing of Surfaces in Multimaterial Volumes. IEEE Trans. Vis. Comput. Graph. 14(6): 1539-1546 (2008)
25EETobias Preusser, Hanno Scharr, Kai Krajsek, Robert M. Kirby: Building Blocks for Computer Vision with Stochastic Partial Differential Equations. International Journal of Computer Vision 80(3): 375-405 (2008)
2007
24EERobert Palmer, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby: An Approach to Formalization and Analysis of Message Passing Libraries. FMICS 2007: 164-181
23EEGanesh Gopalakrishnan, Robert M. Kirby: Formal Analysis for Debugging and Performance Optimization of MPI. IPDPS 2007: 1-6
22EERobert Palmer, Ganesh Gopalakrishnan, Robert M. Kirby: Semantics driven dynamic partial-order reduction of MPI-based parallel programs. PADTAD 2007: 43-53
21EESalman Pervez, Ganesh Gopalakrishnan, Robert M. Kirby, Robert Palmer, Rajeev Thakur, William Gropp: Practical Model-Checking Method for Verifying Correctness of MPI Programs. PVM/MPI 2007: 344-353
20EEYu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby: Distributed Dynamic Partial Order Reduction Based Verification of Threaded Software. SPIN 2007: 58-75
19EEC. W. Hamman, Robert M. Kirby, Martin Berzins: Parallelization and scalability of a spectral element channel flow solver for incompressible Navier-Stokes equations. Concurrency and Computation: Practice and Experience 19(10): 1403-1422 (2007)
18EEGanesh Gopalakrishnan, Robert M. Kirby: Formal Methods for MPI Programs. Electr. Notes Theor. Comput. Sci. 193: 19-27 (2007)
17EEMiriah D. Meyer, Blake Nelson, Robert M. Kirby, Ross T. Whitaker: Particle Systems for Efficient and Accurate High-Order Finite Element Visualization. IEEE Trans. Vis. Comput. Graph. 13(5): 1015-1026 (2007)
16EEMiriah D. Meyer, Robert M. Kirby, Ross T. Whitaker: Topology, Accuracy, and Quality of Isosurface Meshes Using Dynamic Particles. IEEE Trans. Vis. Comput. Graph. 13(6): 1704-1711 (2007)
15EESean Curtis, Robert M. Kirby, Jennifer K. Ryan, Chi-Wang Shu: Postprocessing for the Discontinuous Galerkin Method over Nonuniform Meshes. SIAM J. Scientific Computing 30(1): 272-289 (2007)
2006
14EEGanesh Gopalakrishnan, Robert M. Kirby: Toward reliable and efficient message passing software through formal analysis. IPDPS 2006
13EERobert M. Kirby, Cullen R. Johnson, Martin Berzins: Involving Undergraduates in Computational Science and Engineering Research: Successes and Challenges. International Conference on Computational Science (2) 2006: 147-154
12EESalman Pervez, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur, William D. Gropp: Formal Verification of Programs That Use MPI One-Sided Communication. PVM/MPI 2006: 30-39
11EEIgor Melatti, Robert Palmer, Geoffrey Sawaya, Yu Yang, Robert M. Kirby, Ganesh Gopalakrishnan: Parallel and Distributed Model Checking in Eddy. SPIN 2006: 108-125
10EERobert Palmer, Steve Barrus, Yu Yang, Ganesh Gopalakrishnan, Robert M. Kirby: Gauss: A Framework for Verifying Scientific Computing Software. Electr. Notes Theor. Comput. Sci. 144(3): 95-106 (2006)
9EEBlake Nelson, Robert M. Kirby: Ray-Tracing Polymorphic Multidomain Spectral/hp Elements for Isosurface Rendering. IEEE Trans. Vis. Comput. Graph. 12(1): 114-125 (2006)
2005
8EEDavid E. Breen, Mike Kirby, Aaron E. Lefohn, Ken Museth, Tobias Preusser, Guillermo Sapiro, Ross T. Whitaker: Level Set and PDE Methods for Visualization. IEEE Visualization 2005: 125
7EEMartin Berzins, Robert M. Kirby, Cullen R. Johnson: Integrating Teaching and Research in HPC: Experiences and Opportunities. International Conference on Computational Science (2) 2005: 36-43
6EEDavid 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. IEEE Trans. Vis. Comput. Graph. 11(1): 59-70 (2005)
5EERobert M. Kirby, George E. Karniadakis: Selecting the Numerical Flux in Discontinuous Galerkin Methods for Diffusion Problems. J. Sci. Comput. 22(1): 385-411 (2005)
2004
4EEAllen R. Sanderson, Chris R. Johnson, Robert M. Kirby: Display of Vector Fields Using a Reaction-Diffusion Model. IEEE Visualization 2004: 115-122
2001
3EEDavid 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. IEEE Visualization 2001
2000
2EEAndrew 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. IEEE Visualization 2000: 457-460
1999
1 Robert M. Kirby, H. Marmanis, David H. Laidlaw: Visualizing Multivalued Data from 2D Incompressible Flows Using Concepts from Painting. IEEE Visualization 1999: 333-340

Coauthor Index

1Sriram Aananthakrishnan [44]
2Inga Altrogge [30]
3Steve Barrus [10]
4Martin Berzins [7] [13] [19]
5David E. Breen [8]
6Xiaofang Chen [20] [31]
7Elaine Cohen [29]
8Sean Curtis [15] [27]
9Andries van Dam [2]
10J. Scott Davidson [3] [6]
11Michael Delisi [24] [33] [35] [36] [44] [45]
12Jonathan L. Elion [2]
13Andrew S. Forsberg [2]
14Sarah E. Geneser [46]
15Ganesh Gopalakrishnan [10] [11] [12] [14] [18] [20] [21] [22] [23] [24] [31] [32] [33] [34] [35] [36] [37] [38] [39] [41] [42] [43] [44] [45]
16William Gropp (William D. Gropp, Bill Gropp) [12] [21] [32] [33]
17Robert Haimes [40]
18C. W. Hamman [19]
19Cullen D. Jackson [6]
20Chris R. Johnson [4]
21Cullen R. Johnson [7] [13]
22Sarang Joshi [46]
23George E. Karniadakis [2] [5]
24Olaf Konrad [30]
25Kai Krajsek [25]
26Tim Kröger [30]
27David H. Laidlaw [1] [2] [3] [6]
28Christian Ledergerber [26]
29Aaron E. Lefohn [8]
30Guodong Li [35]
31H. Marmanis [1]
32Tobias Martin [29]
33Igor Melatti [11] [39]
34Miriah D. Meyer [16] [17] [26]
35Timothy S. Miller [3] [6]
36Ken Museth [8]
37Blake Nelson [9] [17]
38Robert Palmer [10] [11] [21] [22] [24] [39]
39Salman Pervez [12] [21]
40Hanspeter Pfister [26]
41Tobias Preusser [8] [25] [30]
42Jennifer K. Ryan [15] [27] [40]
43Bill Salter [46]
44Allen R. Sanderson [4]
45Guillermo Sapiro [8]
46Geoffrey Sawaya [11] [39]
47Hanno Scharr [25]
48Subodh Sharma [32] [34]
49Chi-Wang Shu [15]
50Cláudio T. Silva [28]
51Marco da Silva [3] [6]
52Michael Steffen [27]
53Grzegorz Szubzda [42]
54Michael J. Tarr [3] [6]
55Rajeev Thakur [12] [21] [32] [33] [42] [43] [44] [45]
56Sarvani S. Vakkalanka [32] [33] [34] [36] [38] [42] [43] [44] [45]
57Anh Vo [42] [43] [44] [45]
58David Walfisch [40]
59Brian Wang [46]
60William H. Warren [3] [6]
61Ross T. Whitaker [8] [16] [17] [26]
62Jason Williams [43]
63Yu Yang [10] [11] [20] [31] [39]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)