Publications
Export 490 results:
[ Author] Title Type Year Filters: First Letter Of Last Name is C [Clear All Filters]
1993. A linear-time model-checking algorithm for the alternation-free modal mu-calculus. Formal methods in system design. 2(2):121-147.
1994. An operational framework for value-passing processes. Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages. :326-338.
1990. Tableau-based model checking in the propositional mu-calculus. Acta Informatica. 27(8):725-747.
1995. A front-end generator for verification tools. Tools and Algorithms for the Construction and Analysis of Systems. :153-173.
2005. Probabilistic temporal logics via the modal mu-calculus. Theoretical Computer Science. 342(2-3):316-350.
1989. A semantics based verification tool for finite state systems. Proceedings of the IFIP WG6. 1:287-302.
1993. An operational semantics of value passing. Proceedings 2nd North American Process Algebra Workshop, Ithaca, New York.
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.
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)
2008. A Weighted GCV Method for Lanczos Hybrid Regularization. Electronic Transactions on Numerical Analysis. 28:149-167.