Publications
Export 7148 results:
[ Author] Title Type Year Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is [Clear All Filters]
1996. Hybrid network management (communication systems). 16th AIAA International Communications Satellite Systems Conference.
2009. Distinguishing knowledge vs social capital in social media with roles and context. Proceedings of the ICWSM. 9
1999. Efficient perspective-accurate silhouette computation. Proceedings of the fifteenth annual symposium on Computational geometry. :417-418.
2002. ALLI: An Information Integration System Based on Active Logic Framework. Proceedings of the Third International Conference on Management Information Systems, Greece. :339-348.
1992. Constrained Matrix Sylvester Equations. SIAM Journal on Matrix Analysis and Applications. 13(1):1-9.
2009. Salient Clustering for View-dependent Multiresolution Rendering. Computer Graphics and Image Processing (SIBGRAPI), 2009 XXII Brazilian Symposium on. :56-63.
1987. Direct manipulation user interfaces for expert systems. Expert systems: the user interfaceExpert systems: the user interface. :99-125.
2001. Interpretation of Compound Nominals Using WordNet. Computational Linguistics and Intelligent Text ProcessingComputational Linguistics and Intelligent Text Processing. 2004:169-181.
2012. Optimizing epidemic protection for socially essential workers. Proceedings of the 2nd ACM SIGHIT International Health Informatics Symposium. :31-40.
2001. Experimental Analysis of Algorithms for Bilateral-Contract Clearing Mechanisms Arising in Deregulated Power Industry. Algorithm EngineeringAlgorithm Engineering. 2141:172-184.
2002. Trypanosoma cruzi: RNA structure and post-transcriptional control of tubulin gene expression. Experimental Parasitology. 102(3-4):123-133.
2004. Sequencing Strategies for Parasite Genomes. METHODS IN MOLECULAR BIOLOGY-CLIFTON THEN TOTOWA-. 270:1-16.
2015. Building Infectious Disease Research Programs to Promote Security and Enhance Collaborations with Countries of the Former Soviet Union. Frontiers in Public Health. 35361632
2001. An experience management system for a software engineering research organization. Software Engineering Workshop, 2001. Proceedings. 26th Annual NASA Goddard. :29-35.
2007. Empirical studies to build a science of computer science. Communications of the ACM. 50(11):33-37.
1978. Analyzing medium-scale software development. Proceedings of the 3rd international conference on Software engineering. :116-123.
2001. Implementing the Experience Factory concepts as a set of Experience Bases. Proc. 13th Int’l Conf. Software Eng. and Knowledge Eng. :102-109.
1979. Measuring software development characteristics in the local environment. Computers & Structures. 10(1–2):39-43.
2002. Lessons learned from 25 years of process improvement: the rise and fall of the NASA software engineering laboratory. Proceedings of the 24th International Conference on Software Engineering. :69-79.
1978. Operation of the Software Engineering Laboratory. Proceedings of the Second US Army/IEEE Software Life Cycle Management Workshop. New York: Computer Societies Press.
2008. Understanding the High-Performance-Computing Community: A Software Engineer's Perspective. Software, IEEE. 25(4):29-36.
2001. Building an Experience Base for Software Engineering: A report on the first CeBASE eWorkshop. Product Focused Software Process Improvement. :110-125.