Publications
Export 490 results:
[ Author] Title Type Year Filters: First Letter Of Last Name is C [Clear All Filters]
1990. Testing equivalence as a bisimulation equivalence. Automatic Verification Methods for Finite State Systems. :11-23.
1996. Priorities for modeling and verifying distributed systems. Tools and Algorithms for the Construction and Analysis of Systems. :278-297.
2001. Equivalence and preorder checking for finite-state systems. Handbook of Process Algebra. :391-424.
1993. Analyzing concurrent systems using the Concurrency Workbench. Functional Programming, Concurrency, Simulation and Automated Reasoning. :129-144.
1990. On automatically distinguishing inequivalent processes. Workshop on Computer-Aided Verification.
1996. The Concurrency Factory: A development environment for concurrent systems. Computer Aided Verification. :398-401.
1997. Challenges in sending large radiology images over military communications channels. Proceedings of SPIE. 3035:230-230.
1998. Genetic nomenclature for Trypanosoma and Leishmania.. Molecular and biochemical parasitology. 97(1-2):221-221.
1993. Potentials and limitations of pen-based computers. Proceedings of the 1993 ACM conference on Computer science. :536-539.
2003. Interactive Visualization of Large Tetrahedral Meshes through Selective Refinement. IEEE Transactions on Visualization and Computer Graphics.
2004. Selective refinement queries for volume visualization of unstructured tetrahedral meshes. Visualization and Computer Graphics, IEEE Transactions on. 10(1):29-45.
2004. Multi-resolution modeling, visualization and streaming of volume meshes. Eurographics 2004, Tutorials 2: Multi-resolution Modeling, Visualization and Streaming of Volume Meshes.
2004. Automated cluster-based Web service performance tuning. 13th IEEE International Symposium on High performance Distributed Computing, 2004. Proceedings. :36-44.
2011. Windowed Spectral Regularization of Inverse Problems. SIAM Journal on Scientific Computing. 33(6)
2011. Designing Optimal Spectral Filters for Inverse Problems. SIAM Journal on Scientific Computing. 33(6)