Publications
Export 490 results:
[ Author] Title Type Year Filters: First Letter Of Last Name is C [Clear All Filters]
2009. The Story of One: Humanity scholarship with visualization and text analysis. Relation. 10(1.43):8485-8485.
1991. Space and time bounds on indexing 3D models from 2D images. Pattern Analysis and Machine Intelligence, IEEE Transactions on. 13(10):1007-1017.
1991. Model group indexing for recognition. Computer Vision and Pattern Recognition, 1991. Proceedings CVPR '91., IEEE Computer Society Conference on. :4-9.
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.
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.
1996. Modeling and verifying distributed systems using priorities: A case study. Software - Concepts and Tools. 17(2):50-62.
2000. GCCS: A graphical coordination language for system specification. Coordination Languages and Models. :207-212.
2008. An instrumentation-based approach to controller model validation. Model-Driven Development of Reliable Automotive Services. :84-97.
1990. When is `partial' adequate? A logic-based proof technique using partial specifications Logic in Computer Science, 1990. LICS '90, Proceedings., Fifth Annual IEEE Symposium on e. :440-449.
1990. A preorder for partial process specifications. CONCUR'90 Theories of Concurrency: Unification and Extension. :141-151.
1991. A theory of testing for real-time. , Proceedings of Sixth Annual IEEE Symposium on Logic in Computer Science, 1991. LICS '91. :110-119.