Publications

Export 1858 results:
Author [ Title(Desc)] Type Year
Filters: First Letter Of Last Name is C  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
E
Bhat G, Cleaveland R.  1996.  Efficient local model-checking for fragments of the modal $\mu$-calculus. Tools and Algorithms for the Construction and Analysis of Systems. :107-126.
Beynon MD, Sussman A, Kurc T, Catalyurek U, Saltz J.  2002.  Efficient Manipulation of Large Datasets on Heterogeneous Storage Systems. Parallel and Distributed Processing Symposium, International. 2:0084-0084.
Bhat GS, Cleaveland R, Groce A.  2001.  Efficient Model Checking Via Buchi Tableau Automata⋆. Computer aided verification: 13th International conference, CAV 2001, Paris, France, July 18-22, 2001: proceedings. 2102:38-38.
Bhat G, Cleaveland R.  1996.  Efficient model checking via the equational μ-calculus. , Eleventh Annual IEEE Symposium on Logic in Computer Science, 1996. LICS '96. Proceedings. :304-312.
Bhat G, Cleaveland R, Grumberg O.  1995.  Efficient on-the-fly model checking for CTL. , Tenth Annual IEEE Symposium on Logic in Computer Science, 1995. LICS '95. Proceedings. :388-397.
Canetti R, Dachman-Soled D, Vaikuntanathan V, Wee H.  2012.  Efficient Password Authenticated Key Exchange via Oblivious Transfer. Public Key Cryptography – PKC 2012. :449-466.
Gopalakrishnan V, Bhattacharjee B, Chawathe S, Keleher P.  2004.  Efficient peer-to-peer namespace searches. University of Maryland, College Park, MD, Tech. Rep. CSTR-4568.
Bhattacharjee B, Chawathe S, Gopalakrishnan V, Keleher P, Silaghi B.  2003.  Efficient peer-to-peer searches using result-caching. Peer-to-Peer Systems II. :225-236.
Cranston CB, Samet H.  2006.  Efficient position-independent iconic search using an R-theta index. Proceedings of the 14th annual ACM international symposium on Advances in geographic information systems. :27-34.
Zhang D, Cleaveland R.  2005.  Efficient temporal-logic query checking for presburger systems. Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering. :24-33.
Agrawal AK, Chellappa R.  2005.  Ego-Motion Estimation and 3D Model Refinement in Scenes with Varying Illumination. Application of Computer Vision, 2005. WACV/MOTIONS '05 Volume 1. Seventh IEEE Workshops on. 2:140-146.
Reifer DJ, Basili VR, Boehm BW, Clark B.  2003.  Eight lessons learned during COTS-based systems maintenance. Software, IEEE. 20(5):94-96.
Cho M, Mount D.  2008.  Embedding and similarity search for point sets under translation. Proceedings of the twenty-fourth annual symposium on Computational geometry. :320-327.
Faruque SM, Sack DA, Sack BR, Colwell RR, Takeda Y, Nair BG.  2003.  Emergence and Evolution of Vibrio Cholerae O139. Proceedings of the National Academy of SciencesPNAS. 100(3):1304-1309.
Cheng K-L, Zuckerman I, Kuter U, Nau DS.  2010.  Emergence of cooperative societies in evolutionary games. :1793-1800.
Reggia JA, Chou HH.  1997.  Emergence of self-replicating structures in cellular automata space. Physica D. 110:252-276.
Callahan J, Hopkins D, Weiser M, Shneiderman B.  1988.  An empirical comparison of pie vs. linear menus. Proceedings of the SIGCHI conference on Human factors in computing systems. :95-100.
Lindvall M, Basili VR, Boehm B, Costa P, Dangle K, Shull F, Tesoriero R, Williams L, Zelkowitz MV.  2002.  Empirical findings in agile methods. Extreme Programming and Agile Methods—XP/Agile Universe 2002. :81-92.
Lam H, Bertini E, Isenberg P, Plaisant C, Carpendale S.  2011.  Empirical Studies in Information Visualization: Seven Scenarios. Visualization and Computer Graphics, IEEE Transactions on. PP(99):1-1.
Molina J, Gordon J, Chorin X, Cukier M.  2007.  An empirical study of filesystem activity following a SSH compromise. :1-5.
Molina J, Gordon J, Chorin X, Cukier M.  2007.  An empirical study of filesystem activity following a SSH compromise. :1-5.
Asgari S, Basili VR, Costa P, Donzelli P, Hochstein L, Lindvall M, Rus I, Shull F, Tvedt R, Zelkowitz MV.  2004.  Empirical-based estimation of the effect on software dependability of a technique for architecture conformance verification. Proceedings of the ICSE 2004 Workshop on Architecting Dependable Systems, Edinburgh, UK.
Varshney A, El-Sana J, Evans F, Darsa L, Costa B, Skiena S.  1997.  Enabling virtual reality for large-scale mechanical CAD datasets. Proceedings of ASME Design Engineering Technical Conferences, Sept. 14:17-17.
Weinberg M, Candler R, Chandorkar S, Varsanik J, Kenny T, Duwel A.  2009.  Energy loss in MEMS resonators and the impact on inertial and RF devices. :688-695.
Weinberg M, Candler R, Chandorkar S, Varsanik J, Kenny T, Duwel A.  2009.  Energy loss in MEMS resonators and the impact on inertial and RF devices. :688-695.

Pages