Publications
Export 1858 results:
Author [ Title] Type Year Filters: First Letter Of Last Name is C [Clear All Filters]
1994. Tool support for tailored software prototyping. Assessment of Quality Software Development Tools, 1994, Proceedings., Third Symposium on. :171-181.
2009. Together, Rpn10 and Dsk2 Can Serve as a Polyubiquitin Chain-Length Sensor. Molecular Cell. 36(6):1018-1033.
1997. Titan: a High-Performance Remote-sensing Database. In Proceedings of the 1997 International Conference on Data Engineering.
1983. Timing Requirements for Time-Driven Systems Using Augmented Petri Nets. IEEE Transactions on Software Engineering. SE-9(5):603-616.
1985. A timed petri net methodolgoy for specifying real-time system timing requirements. International Workshop on Timed Petri Nets. :24-31.
2009. Three genomes from the phylum Acidobacteria provide insight into the lifestyles of these microorganisms in soils.. Appl Environ Microbiol. 75(7):2046-56.
2009. Three genomes from the phylum Acidobacteria provide insight into the lifestyles of these microorganisms in soils.. Appl Environ Microbiol. 75(7):2046-56.
2009. Three genomes from the phylum Acidobacteria provide insight into the lifestyles of these microorganisms in soils.. Appl Environ Microbiol. 75(7):2046-56.
1991. A theory of testing for real-time. , Proceedings of Sixth Annual IEEE Symposium on Logic in Computer Science, 1991. LICS '91. :110-119.
2007. A theoretical model of children's storytelling using physically-oriented technologies (SPOT). Journal of Educational Multimedia and Hypermedia. 16(4):389-389.
1999. Text in 3D+ time. Readings in information visualizationReadings in information visualization. :451-451.
1999. Text in 3D. Readings in information visualizationReadings in information visualization. :440-441.
1999. Text in 2D. Readings in information visualizationReadings in information visualization. :431-431.
1999. Text in 1D. Readings in information visualizationReadings in information visualization. :411-412.
1990. Testing equivalence as a bisimulation equivalence. Automatic Verification Methods for Finite State Systems. :11-23.
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.
2000. The temporal correlation hypothesis for self-organizing feature maps. International Journal of Systems Science. 31(7):911-921.
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.
2005. Temperature-Driven Campylobacter Seasonality in England and Wales. Applied and Environmental MicrobiologyAppl. Environ. Microbiol.. 71(1):85-92.
2011. Temperature regulation of virulence factors in the pathogen Vibrio coralliilyticus. The ISME Journal. 6(4):835-846.
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.