Publications
Export 1858 results:
Author [ Title] Type Year Filters: First Letter Of Last Name is C [Clear All Filters]
1990. Tableau-based model checking in the propositional mu-calculus. Acta Informatica. 27(8):725-747.
2009. Tampering identification using Empirical Frequency Response. Acoustics, Speech and Signal Processing, 2009. ICASSP 2009. IEEE International Conference on. :1517-1520.
2004. A Tangled Bank: Reflections on the Tree of Life and Human Health. Assembling the Tree of LifeAssembling the Tree of Life. :18-18.
2007. Target Tracking Using a Joint Acoustic Video System. Multimedia, IEEE Transactions on. 9(4):715-727.
2007. Target Tracking Using a Joint Acoustic Video System. Multimedia, IEEE Transactions on. 9(4):715-727.
2003. Technology probes: inspiring design for and with families. Proceedings of the SIGCHI conference on Human factors in computing systems. :17-24.
2003. TelegraphCQ: continuous dataflow processing. Proceedings of the 2003 ACM SIGMOD international conference on Management of data. :668-668.
2003. TelegraphCQ: continuous dataflow processing. Proceedings of the 2003 ACM SIGMOD international conference on Management of data. :668-668.
2011. Temperature regulation of virulence factors in the pathogen Vibrio coralliilyticus. The ISME Journal. 6(4):835-846.
2005. Temperature-Driven Campylobacter Seasonality in England and Wales. Applied and Environmental MicrobiologyAppl. Environ. Microbiol.. 71(1):85-92.
2012. Temporal and Spatial Variability in the Distribution of Vibrio vulnificus in the Chesapeake Bay: A Hindcast Study. EcoHealth. :1-12.
2012. Temporal and Spatial Variability in the Distribution of Vibrio vulnificus in the Chesapeake Bay: A Hindcast Study. EcoHealth. :1-12.
2000. The temporal correlation hypothesis for self-organizing feature maps. International Journal of Systems Science. 31(7):911-921.
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.
1990. Testing equivalence as a bisimulation equivalence. Automatic Verification Methods for Finite State Systems. :11-23.
1999. Text in 1D. Readings in information visualizationReadings in information visualization. :411-412.
1999. Text in 2D. Readings in information visualizationReadings in information visualization. :431-431.
1999. Text in 3D. Readings in information visualizationReadings in information visualization. :440-441.
1999. Text in 3D+ time. Readings in information visualizationReadings in information visualization. :451-451.
2007. A theoretical model of children's storytelling using physically-oriented technologies (SPOT). Journal of Educational Multimedia and Hypermedia. 16(4):389-389.
1991. A theory of testing for real-time. , Proceedings of Sixth Annual IEEE Symposium on Logic in Computer Science, 1991. LICS '91. :110-119.