Publications
Export 7148 results:
[ Author] Title Type Year Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is [Clear All Filters]
2011. NSF/IEEE-TCPP curriculum initiative on parallel and distributed computing: core topics for undergraduates. Proceedings of the 42nd ACM technical symposium on Computer science education. :617-618.
2006. Edge affinity for pose-contour matching. Computer Vision and Image Understanding. 104(1):36-47.
2007. Classifying Computer Generated Charts. Content-Based Multimedia Indexing, 2007. CBMI '07. International Workshop on. :85-92.
1996. Using priorities to combine knowledge bases. International Journal of Cooperative Information Systems. 5(2):333-333.
1995. Combining databases with prioritized information. Journal of Intelligent Information Systems. 4(3):231-260.
1984. An experimental comparison of tabular and graphic data presentation. International Journal of Man-Machine Studies. 20(6):545-566.
1996. On stratified sampling for high coverage estimations. Dependable Computing — EDCC-2. 1150:35-54.
2009. Block-diagonal preconditioning for spectral stochastic finite-element systems. IMA Journal of Numerical Analysis. 29(2):350-350.
1993. Improving the accuracy of touchscreens: an experimental evaluation of three strategies. Sparks of innovation in human-computer interaction. :161-161.
1989. An experimental evaluation of three touch screen strategies within a hypertext database. International Journal of Human-Computer Interaction. 1(1):41-52.
1999. Pixel Data Access for End-User Programming and Graphical Macros. Technical Reports from UMIACS.
1992. Delaunay triangulation and computational fluid dynamics meshes. Proceedings of the 4th Canadian Conference on Computational Geometry. :316-321.
1990. Evaluating techniques for generating metric-based classification trees. Journal of Systems and Software. 12(3):209-218.
1997. An experiment to assess the cost-benefits of code inspections in large scale software development. IEEE Transactions on Software Engineering. 23(6):329-346.
1990. Empirically guided software development using metric-based classification trees. IEEE Software. 7(2):46-54.
1995. Comparing detection methods for software requirements inspections: a replicated experiment. IEEE Transactions on Software Engineering. 21(6):563-575.
1994. An experiment to assess different defect detection methods for software requirements inspections. Proceedings of the 16th international conference on Software engineering. :103-112.
1993. Using measurement-driven modeling to provide empirical feedback to software developers. Journal of Systems and Software. 20(3):237-243.
2007. Skoll: A Process and Infrastructure for Distributed Continuous Quality Assurance. Software Engineering, IEEE Transactions on. 33(8):510-525.
1997. Assessing software review meetings: results of a comparative analysis of two experimental studies. IEEE Transactions on Software Engineering. 23(3):129-145.
1997. Fundamental laws and assumptions of software maintenance. Empirical Software Engineering. 2(2):119-131.
1998. Comparing detection methods for software requirements inspections: A replication using professional subjects. Empirical Software Engineering. 3(4):355-379.
2006. Techniques and processes for improving the quality and performance of open-source software. Software Process: Improvement and Practice. 11(2):163-176.