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 
T
Cleaveland R.  1990.  Tableau-based model checking in the propositional mu-calculus. Acta Informatica. 27(8):725-747.
Chuang W-H, Swaminathan A, M. Wu.  2009.  Tampering identification using Empirical Frequency Response. Acoustics, Speech and Signal Processing, 2009. ICASSP 2009. IEEE International Conference on. :1517-1520.
Colwell RR.  2004.  A Tangled Bank: Reflections on the Tree of Life and Human Health. Assembling the Tree of LifeAssembling the Tree of Life. :18-18.
Cevher V, Sankaranarayanan AC, McClellan JH, Chellappa R.  2007.  Target Tracking Using a Joint Acoustic Video System. Multimedia, IEEE Transactions on. 9(4):715-727.
Cevher V, Sankaranarayanan AC, McClellan JH, Chellappa R.  2007.  Target Tracking Using a Joint Acoustic Video System. Multimedia, IEEE Transactions on. 9(4):715-727.
Hutchinson H, Mackay W, Westerlund B, Bederson BB, Druin A, Plaisant C, Beaudouin-Lafon M, Conversy S, Evans H, Hansen H et al..  2003.  Technology probes: inspiring design for and with families. Proceedings of the SIGCHI conference on Human factors in computing systems. :17-24.
Krishnamurthy S, Chandrasekaran S, Cooper O, Deshpande A, Franklin MJ, Hellerstein JM, Hong W, Madden S, Reiss F, Shah MA.  2003.  TelegraphCQ: An architectural status report. IEEE Data Engineering Bulletin. 26(1):11-18.
Krishnamurthy S, Chandrasekaran S, Cooper O, Deshpande A, Franklin MJ, Hellerstein JM, Hong W, Madden S, Reiss F, Shah MA.  2003.  TelegraphCQ: An architectural status report. IEEE Data Engineering Bulletin. 26(1):11-18.
Chandrasekaran S, Cooper O, Deshpande A, Franklin MJ, Hellerstein JM, Hong W, Krishnamurthy S, Madden SR, Reiss F, Shah MA.  2003.  TelegraphCQ: continuous dataflow processing. Proceedings of the 2003 ACM SIGMOD international conference on Management of data. :668-668.
Chandrasekaran S, Cooper O, Deshpande A, Franklin MJ, Hellerstein JM, Hong W, Krishnamurthy S, Madden SR, Reiss F, Shah MA.  2003.  TelegraphCQ: continuous dataflow processing. Proceedings of the 2003 ACM SIGMOD international conference on Management of data. :668-668.
Kimes NE, Grim CJ, Johnson WR, Hasan NA, Tall BD, Kothary MH, Kiss H, Munk CA, Tapia R, Green L et al..  2011.  Temperature regulation of virulence factors in the pathogen Vibrio coralliilyticus. The ISME Journal. 6(4):835-846.
Louis VR, Gillespie IA, O'Brien SJ, Russek-Cohen E, Pearson AD, Colwell RR.  2005.  Temperature-Driven Campylobacter Seasonality in England and Wales. Applied and Environmental MicrobiologyAppl. Environ. Microbiol.. 71(1):85-92.
Banakar V, Constantin de Magny G, Jacobs J, Murtugudde R, Huq A, J. Wood R, Colwell RR.  2012.  Temporal and Spatial Variability in the Distribution of Vibrio vulnificus in the Chesapeake Bay: A Hindcast Study. EcoHealth. :1-12.
Banakar V, Constantin de Magny G, Jacobs J, Murtugudde R, Huq A, J. Wood R, Colwell RR.  2012.  Temporal and Spatial Variability in the Distribution of Vibrio vulnificus in the Chesapeake Bay: A Hindcast Study. EcoHealth. :1-12.
Chen Y, Reggia JA.  2000.  The temporal correlation hypothesis for self-organizing feature maps. International Journal of Systems Science. 31(7):911-921.
Ahn J-wook, Taieb-Maimon M, Sopan A, Plaisant C, Shneiderman B.  2011.  Temporal Visualization of Social Network Dynamics: Prototypes for Nation of Neighbors. Social Computing, Behavioral-Cultural Modeling and PredictionSocial Computing, Behavioral-Cultural Modeling and Prediction. 6589:309-316.
Cleaveland R, Hennessy M.  1990.  Testing equivalence as a bisimulation equivalence. Automatic Verification Methods for Finite State Systems. :11-23.
Cleaveland R, Smolka S, Zwarico A.  1992.  Testing preorders for probabilistic processes. Automata, Languages and Programming. :708-719.
Card SK, Mackinlay JD, Shneiderman B.  1999.  Text in 1D. Readings in information visualizationReadings in information visualization. :411-412.
Card SK, Mackinlay JD, Shneiderman B.  1999.  Text in 2D. Readings in information visualizationReadings in information visualization. :431-431.
Card SK, Mackinlay JD, Shneiderman B.  1999.  Text in 3D. Readings in information visualizationReadings in information visualization. :440-441.
Card SK, Mackinlay JD, Shneiderman B.  1999.  Text in 3D+ time. Readings in information visualizationReadings in information visualization. :451-451.
Guha ML, Druin A, Montemayor J, Chipman G, Farber A.  2007.  A theoretical model of children's storytelling using physically-oriented technologies (SPOT). Journal of Educational Multimedia and Hypermedia. 16(4):389-389.
Bernardo M, Cleaveland R.  1999.  A Theory of Efficiency for Markovian Processes. University of Bologna.
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.

Pages