Park |
Jun-cheol |
1998 |
Automatic Synthesis of Time Dependent Communication Protocols |
|
Song |
Junehwa |
1997 |
Structured multimedia documents :$esign and presentation in a distributed environment |
|
Arisha |
Khaled |
2001 |
Fault management in networks using passive testing |
|
Liu |
Hong |
1996 |
Automatic validation of multi-process communication protocols |
|
Nguyen |
Bao |
2013 |
Testing GUI-Based Software with Undetermined Input Spaces |
|
Brooks |
Penelope |
2009 |
Defining and Evaluating Test Suite Consolidation for Event-Sequence-Based Test Cases |
|
Robbins |
Bryan |
2016 |
A Binary Classifier for Test Case
Feasibility Applied to Automatically Generated Tests |
|
Strecker |
Jaymie |
2009 |
Accounting for Defect Characteristics in Emprical Studies of Software Testing |
|
Banerjee |
Ishan |
2016 |
Event-Code Interaction Directed Test Cases |
|
Gao |
Zebao |
2017 |
Quantifying Flakiness and Minimizing its Effects on Software Testing |
|
McMaster |
Scott |
2008 |
A Context-Sensitive Coverage Criterion for Test Suite
Reduction |
|
Elsaka |
Ethar |
2016 |
Automated Software Debugging Using Hybrid
Static/Dynamic Analysis |
|
Xie |
Qing |
2006 |
Developing Cost-Effective Model-Based Techniques for GUI Testing |
|
Eaton |
Cyntrica |
2007 |
A Framework for Detecting, Diagnosing, and Correcting Environment-Specific Faults in Web Applications |
|
Milton |
Leslie |
2016 |
User Behavioral Modeling of Web-based
Systems for Continuous User Authentication |
|
Yuan |
Xun |
2008 |
Feedback-Directed Model-Based GUI Test Case Generation |
|
Rappoport |
Kevin |
1993 |
Efficiency in parallel computation :!lgorithms, emulations, and VLSI pins |
Clyde Kruskal |
Sze |
Tsz Wo |
2007 |
On Solving Univariate Polynomial Equations over Finite Fields and Some Related Problems |
Clyde Kruskal |
Mukherjee |
Koyel |
2013 |
Algorithmic Approaches to Reducing Resource Costs in Data Centers |
Samir Khuller |
Purohit |
Manish |
2016 |
Data-Aware Scheduling in Datacenters |
Samir Khuller |
Wan |
Yung |
2005 |
Algorithms for Data Dissemination and Collection |
Samir Khuller |
Yang |
Sheng |
2020 |
ON SCHEDULING AND COMMUNICATION ISSUES IN DATA CENTERS |
Samir Khuller |
Sarpatwar |
Kanthi Kiran |
2015 |
Allocation Algorithms for Networks with Scarce
Resources |
Samir Khuller |
Kim |
Yoo |
2005 |
Algorithms for Data Migration |
Samir Khuller |
Saha |
Barna |
2011 |
Approximation Algorithms for Resources Allocation |
Samir Khuller |
Bhatia |
Randeep |
1998 |
Approximation Algorithms for Scheduling Problems |
Samir Khuller |
Roberts |
Michael |
2003 |
Detailed differential dynamic programming algorithm for bang-bang control problems |
Samir Khuller |
Sussmann |
Yoram |
1999 |
Approximation Algorithms for Facility Location Problems |
Samir Khuller |
Mestre |
Julian |
2007 |
Primal-Dual Algorithms for Combinatorial Optimization Problems |
Samir Khuller |
Ahmadi |
Saba |
2021 |
Social Aspects of Algorithms: Fairness, Diversity, and Resilience to Strategic Behavior |
Samir Khuller |
Gandhi |
Rajiv |
2003 |
Broadcast Scheduling |
Samir Khuller |
Alaei |
Saeed |
2012 |
Mechanism Design with General Utilities |
Samir Khuller |
Malekian |
Azarakhsh |
2009 |
Combinatorial Optimization and Electronic Commerce |
Samir Khuller |
Kashyap |
Srinivas |
2007 |
Algorithms for Data Placement, Reconfiguration and Monitoring in Storage Networks |
Samir Khuller |
Bercea |
Ioana |
2018 |
Approximation Algorithms for Geometric Clustering and Touring Problems |
Samir Khuller |
Cetintemel |
Ugur |
2001 |
Decentralized Data Consistency Protocols for Mobile and Wide-Area Environments |
Pete Keleher |
Bengfort |
Benjamin |
2019 |
Planetary Scale Data Storage |
Pete Keleher |
Thitikamol |
Kritchalach |
2000 |
Dynamic Software DSM Systems |
Pete Keleher |
Lekakis |
Vasileios |
2018 |
Decoupling Consistency Determination and Trust from Underlying Distributed Data Stores |
Pete Keleher |
Silaghi |
Bujor-Dorin |
2003 |
Replication Techniques for Peer-to-Peer Networks |
Pete Keleher |
Gordon |
Samuel |
2010 |
Fairness in Secure Computation |
Jonathan Katz |
Blum |
Erica |
2023 |
RESILIENT AND EFFICIENT CONSENSUS UNDER UNKNOWN NETWORK CONDITIONS |
Jonathan Katz |
Yerukhimovich |
Arkady |
2011 |
A Study of Separations in Cryptography:
New Results and New Models |
Jonathan Katz |
Apon |
Daniel |
2017 |
Frontiers In Lattice Cryptography And Program Obfuscation |
Jonathan Katz |
Koo |
Chiu Yuen |
2007 |
Studies on Fault-Tolerant Broadcast and Secure
Computation |
Jonathan Katz |
Thiruvengadam |
Aishwarya |
2017 |
Improving Round Complexity of Ideal-Cipher Constructions |
Jonathan Katz |
Nayak |
Kartik |
2018 |
Efficient Data-Oblivious Computation |
Jonathan Katz |
Morselli |
Ruggero |
2006 |
Lookup Protocols and Techniques for Anonymity |
Jonathan Katz |
Malozemoff |
Alexis |
2016 |
Efficient Secure Computation for Real-world Settings and
Security Models |
Jonathan Katz |
Kumaresan |
Ranjit |
2012 |
Broadcast and Verifiable Secret Sharing: New Security Models and Round
Optimal Constructions |
Jonathan Katz |