Publications
Export 7148 results:
[ Author] Title Type Year Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is [Clear All Filters]
1999. Internet and Infosphere. Readings in information visualizationReadings in information visualization. :465-468.
1999. Departments-Book Preview-Readings in Information Visualization: Using Vision to Think. Interactions. 6(2):51-51.
1999. Overview+ detail. Readings in information visualizationReadings in information visualization. :285-286.
1999. Text in 1D. Readings in information visualizationReadings in information visualization. :411-412.
1999. Interactive analysis. Readings in information visualizationReadings in information visualization. :261-262.
1999. Focus+ context. Readings in information visualizationReadings in information visualization. :306-309.
1999. Interaction. Readings in information visualizationReadings in information visualization. :231-234.
1999. Text in 3D+ time. Readings in information visualizationReadings in information visualization. :451-451.
1990. Evaluation criteria for functional specifications. Proceedings of the 12th international conference on Software engineering. :26-33.
1992. An application of decision theory for the evaluation of software prototypes. Journal of Systems and Software. 19(1):27-39.
1991. A management tool for evaluation of software design. Software Engineering, IEEE Transactions on. 17(9):961-971.
2004. Identifying similar parts for assisting cost estimation of prismatic machined parts. ASME Design for Manufacturing Conference, Salt Lake City, Utah.
2013. Specific and Non-Specific Protein Association in Solution: Computation of Solvent Effects and Prediction of First-Encounter Modes for Efficient Configurational Bias Monte Carlo Simulations. The Journal of Physical Chemistry B. 117(41):12360-12374.
2015. Estimating Actin Fiber Orientation using Interpolation-Based Grey-Level Co-Occurrence Matrix Computation. BioImage Informatics Conference .
2016. Computational study of the inhibitory mechanism of the kinase CDK5 hyperactivity by peptide p5 and derivation of a pharmacophore. Journal of Computer-Aided Molecular Design. 30(6):513-521.
2010. Structural and dynamic determinants of ligand binding and regulation of cyclin-dependent kinase 5 by pathological activator p25 and inhibitory peptide CIP.. Journal of molecular biology. 401(3):478-92.