Publications

Export 1858 results:
Author Title Type [ Year(Desc)]
Filters: First Letter Of Last Name is C  [Clear All Filters]
1990
Cleaveland R, Hennessy M.  1990.  Testing equivalence as a bisimulation equivalence. Automatic Verification Methods for Finite State Systems. :11-23.
Cleaveland R, Steffen B.  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.
1991
Cole R, Vishkin U.  1991.  Approximate parallel scheduling. II. Applications to logarithmic-time optimal parallel graph algorithms. Information and Computation. 92(1):1-47.
Reggia JA, Sutton G, Cho S.  1991.  Competitive activation mechanisms in connectionist models. Advances in control networks and large-scale parallel distributed processing models. 1:119-119.
Cleaveland R, Steffen B.  1991.  Computing behavioural relations, logically. Automata, Languages and Programming. :127-138.
Myers BA, Cypher A, Maulsby D, Smith DC, Shneiderman B.  1991.  Demonstrational interfaces: Coming soon? Proceedings of the SIGCHI conference on Human factors in computing systems: Reaching through technology. :393-396.
Zweben S, Curtis B, Shneiderman B.  1991.  ESP'91 Panel on The Best of ESP. Empirical studies of programmers: fourth workshop. :1-1.
Stallmann M, Cleaveland R, Hebbar P.  1991.  Gdr: A visualization tool for graph algorithms.
Cardenas-Garcia S, Zelkowitz MV.  1991.  A management tool for evaluation of software design. Software Engineering, IEEE Transactions on. 17(9):961-971.
Clemens DT, Jacobs DW.  1991.  Model group indexing for recognition. Computer Vision and Pattern Recognition, 1991. Proceedings CVPR '91., IEEE Computer Society Conference on. :4-9.
JaJa JF, Chang S-C.  1991.  Parallel Algorithms for Channel Routing in the Knock-Knee Model. SIAM Journal on Computing. 20(2):228-245.
Cummings MP.  1991.  Review of Fundamentals of Molecular Evolution, by Li. W.-H. and D. Graur. Cladistics. 7:310-312.
Zelkowitz MV, Cardenas S.  1991.  The role for executable specifications in system maintenance. Information Sciences. 57–58:347-359.
Clemens DT, Jacobs DW.  1991.  Space and time bounds on indexing 3D models from 2D images. Pattern Analysis and Machine Intelligence, IEEE Transactions on. 13(10):1007-1017.
Konieczny A, Voytas DF, Cummings MP, Ausubel FM.  1991.  A superfamily of ıt Arabidopsis thaliana retrotransposons. Genetics. 127(4):801-809.
Cleaveland R, Zwarico AE.  1991.  A theory of testing for real-time. , Proceedings of Sixth Annual IEEE Symposium on Logic in Computer Science, 1991. LICS '91. :110-119.
Chakrabarti C, JaJa JF.  1991.  VLSI architectures for multidimensional transforms. Computers, IEEE Transactions on. 40(9):1053-1057.
Chakrabarti C, JaJa JF.  1991.  VLSI architectures for template matching and block matching. Parallel architectures and algorithms for image understanding. :3-27.
1992
Cárdenas SR, Tian J, Zelkowitz MV.  1992.  An application of decision theory for the evaluation of software prototypes. Journal of Systems and Software. 19(1):27-39.
Celikkan U, Cleaveland R.  1992.  Computing diagnostic tests for incorrect processes. Proc. IFIP WG6. 1 12th Intl. Symp. on Protocol Specification, Testing, and Verification. :263-278.
Celikkan U, Cleaveland R.  1992.  Computing diagnostic tests for incorrect processes. Proc. IFIP WG6. 1 12th Intl. Symp. on Protocol Specification, Testing, and Verification. :263-278.
Voytas DF, Cummings MP, Koniczny A, Ausubel FM, Rodermel SR.  1992.  copia-like retrotransposons are ubiquitous among plants. Proc Natl Acad Sci USA. 89(15):7124-7128.
Cummings MP.  1992.  Copia-like retrotransposons in plants: a brief introduction. The Plant Genetics Newsletter. 8(4):38-41.
Carr D, Hasegawa H, Lemmon D, Plaisant C.  1992.  The effects of time delays on a telepathology user interface.. Proceedings of the Annual Symposium on Computer Application in Medical CareProc Annu Symp Comput Appl Med Care. :256-260.
Chandrasekharan N, Hannenhalli S.  1992.  Efficient algorithms for computing matching and chromatic polynomials on series-parallel graphs. , Fourth International Conference on Computing and Information, 1992. Proceedings. ICCI '92. :42-45.

Pages