Rosser |
Evan |
1998 |
Fine-Grained Analysis for Generating Better Communication and Synchronization |
William Pugh |
Kelly |
Wayne |
1996 |
Optimization within a Unified Transformation Framework |
William Pugh |
Manson |
Jeremy |
2004 |
The Java Memory Model |
William Pugh |
Ayewah |
Nathaniel |
2010 |
Static Analysis in Practice |
William Pugh |
Wonnacott |
David |
1995 |
Constraint-based array dependence analysis |
William Pugh |
Duggan |
Dominic |
1990 |
A programming language and environment based on types as specifications |
William Pugh |
Hovemeyer |
David |
2005 |
Simple and Effective Static Analysis to Find Bugs |
William Pugh |
Spacco |
Jaime |
2006 |
Marmoset: a Programming Project Assignment Framework to Improve the Feedback Cycle for Students, Faculty and Researchers |
William Pugh |
Shpeisman |
Tatiana |
1999 |
|
William Pugh |
Siy |
Harvey |
1996 |
Identifying the mechanisms driving code inspection costs and benefits |
Adam Porter |
Koc |
Ugur |
2019 |
Improving the Usability of Static Analysis Tools Using Machine Learning |
Adam Porter |
Fouche |
Sandro |
2010 |
Large Scale Automated Test Scheduling and Execution |
Adam Porter |
Yilmaz |
Cemal |
2005 |
Distributed Continuous Quality Assurance |
Adam Porter |
Kim |
Jung-Min |
2001 |
Mechanisms Driving Costs and Benefits of Regression Test Selection Techniques |
Adam Porter |
Song |
Charles |
2011 |
Understanding, Discovering and Leveraging a Software System’s Effective
Configuration Space |
Adam Porter |
Shah |
Nidhi |
2021 |
Data-driven algorithms for characterizing microbial communities |
Mihai Pop |
Ghodsi |
Mohammadreza |
2012 |
Searching, Clustering and Evaluating Biological Sequences |
Mihai Pop |
Liu |
Bo |
2012 |
Computational Metagenomics: Network, Classification and Assembly |
Mihai Pop |
Koren |
Sergey |
2012 |
Genome Assembly: Novel Applications by Harnessing Emerging Sequencing Technologies and Graph Algorithms |
Mihai Pop |
Hill |
Christopher |
2015 |
Novel Methods for Comparing and
Evaluating Single and Metagenomic Assemblies |
Mihai Pop |
Brubach |
Brian |
2020 |
Markets, Elections, and Microbes: Data-driven Algorithms from Theory to Practice |
Aravind Srinivasan, Mihai Pop |
Cepeda Espinoza |
Victoria |
2020 |
|
Mihai Pop |
Wood |
Derrick |
2014 |
Comparative and Computational Methods for Microbial Genomics |
Mihai Pop |
Javkar |
Kiran Gajanan |
2022 |
Algorithms for scalable and efficient population genomics and metagenomics |
Mihai Pop |
Haidarian Shahri |
Hamid |
2011 |
On the Foundations of Data Interoperability and
Semantic
Search on the Web |
Don Perlis |
Gordon |
Diana |
1990 |
Active bias adjustment for incremental, supervised concept learning |
Don Perlis |
Josyula |
Darsana |
2005 |
A Unified Theory of Acting and Agency for A Universal Interfacing Agent |
Don Perlis |
Wilson |
Shomir |
2011 |
A Computational Theory of the Use-Mention Distinction in
Natural Language |
Don Perlis |
Drapkin |
Jennifer |
1988 |
Step-logic :2easoning situated in time |
Don Perlis |
Chong |
Wai-Yian |
2006 |
Reflection Reasoning |
Don Perlis |
Thomas |
Scott |
2007 |
On an Apparent Limit to Verb Idiosyncrasy, given a Mapping between Argument Realization and Polysemy (or Argument Optionality) |
Don Perlis |
Goldberg |
Matthew David |
2022 |
Time-Situated Metacognitive Agency and Other Aspects of Commonsense Reasoning |
Don Perlis |
Miller |
Michael |
1993 |
A view of one's past and other aspects of reasoned change in belief |
Don Perlis |
Purang |
Khemdut |
2001 |
Systems that detect and repair their own mistakes |
Don Perlis |
Elsayed |
Tamer |
2009 |
Identity Resolution in Email Collections |
Doug Oard |
Barrow |
Joseph Dacosta Albert |
2023 |
Structural Scaffolding for Sensemaking in Document Collections |
Philip Resnik, Doug Oard |
Sayed |
Mahmoud |
2021 |
Search Among Sensitive Content |
Doug Oard |
Nair |
Suraj Rajappan |
2023 |
Effective and Efficient Search Across Languages |
Doug Oard |
Bagdouri |
Mossaab |
2017 |
Cross-Platform Question Answering in Social Networking Services |
Doug Oard |
Demner-Fushman |
Dina |
2006 |
Complex Question Answering Based on Semantic Domain Model of Clinical Medicine |
Doug Oard |
Jung |
Jin Hyuk |
2008 |
Adaptive Constraint Reduction for Convex Quadratic
Programming and Training Support Vector Machine |
Dianne O'Leary |
Berlin |
Konstantin |
2010 |
Protein-Protein Docking Using Long Range
Nuclear Magnetic
Resonance Constraints |
Dianne O'Leary |
Zotenko |
Elena |
2007 |
Computational Methods in Protein Structure Comparison and Analysis of Protein Interaction Networks |
Dianne O'Leary |
Huang |
Chiou-Ming |
1992 |
Preconditioning parallel multisplittings for solving systems of equations |
Dianne O'Leary |
Park |
Sungwoo |
2011 |
Matrix Reduction in Numerical Optimization |
Dianne O'Leary |
Yousefzadeh |
Roozbeh |
2019 |
Interpreting Machine Learning Models and Application of Homotopy Methods |
Dianne O'Leary |
Cheng |
Kan Leung |
2014 |
Agent Modeling in Repeated Stochastic Games |
Dana Nau |
Au |
Tsz-Chiu |
2008 |
Synthesis of Strategies for Non-Zero-Sum Repeated Games |
Dana Nau |
Kuter |
Uger |
2006 |
Planning Under Uncertainty: Moving Forward |
Dana Nau |
Chi |
Ping-Chung |
1988 |
In Search of Better Decision Making in Computer Game Playing |
Dana Nau |