| E-services: a look behind the curtain R Hull, M Benedikt, V Christophides, J Su Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on …, 2003 | 321 | 2003 |
| VeriWeb: Automatically testing dynamic web sites M Benedikt, J Freire, P Godefroid In Proceedings of 11th International World Wide Web Conference (WW W’2002, 2002 | 252 | 2002 |
| Analysis of recursive state machines R Alur, M Benedikt, K Etessami, P Godefroid, T Reps, M Yannakakis ACM Transactions on Programming Languages and Systems (TOPLAS) 27 (4), 786-818, 2005 | 230 | 2005 |
| XPath satisfiability in the presence of DTDs M Benedikt, W Fan, F Geerts Journal of the ACM (JACM) 55 (2), 1-79, 2008 | 189 | 2008 |
| Method and apparatus for assembling and presenting structured voicemail messages TJ Ball, MA Benedikt, PA Mataga, CM Puchol, KG Rehor, CD Tuckey US Patent 6,240,391, 2001 | 188 | 2001 |
| Relational expressive power of constraint query languages M Benedikt, G Dong, L Libkin, L Wong Journal of the ACM (JACM) 45 (1), 1-34, 1998 | 173 | 1998 |
| XPath satisfiability in the presence of DTDs M Benedikt, W Fan, F Geerts Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on …, 2005 | 168 | 2005 |
| XPath leashed M Benedikt, C Koch ACM Computing Surveys (CSUR) 41 (1), 1-54, 2009 | 163 | 2009 |
| Automatic exploration and testing of dynamic Web sites MA Benedikt, JF Silva, PI Godefroid, A Vyas US Patent 7,716,322, 2010 | 156 | 2010 |
| Efficient network aware search in collaborative tagging sites SA Yahia, M Benedikt, LVS Lakshmanan, J Stoyanovich Proceedings of the VLDB Endowment 1 (1), 710-721, 2008 | 156 | 2008 |
| Structured voicemail messages TJ Ball, MA Benedikt, PA Mataga, CM Puchol, KG Rehor, CD Tuckey US Patent 6,459,774, 2002 | 140 | 2002 |
| Method and apparatus for generating program code for world wide web service applications MA Benedikt, DA Ladd, JC Ramming US Patent 5,966,535, 1999 | 132 | 1999 |
| Structural properties of XPath fragments M Benedikt, W Fan, GM Kuper International Conference on Database Theory, 79-95, 2003 | 124 | 2003 |
| Benchmarking the chase M Benedikt, G Konstantinidis, G Mecca, B Motik, P Papotti, D Santoro, ... Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of …, 2017 | 112 | 2017 |
| Structural properties of XPath fragments M Benedikt, W Fan, G Kuper Theoretical Computer Science 336 (1), 3-31, 2005 | 101 | 2005 |
| A decidable logic for describing linked data structures M Benedikt, T Reps, M Sagiv European Symposium on Programming, 2-19, 1999 | 95 | 1999 |
| LTL model checking of interval Markov chains M Benedikt, R Lenhardt, J Worrell International Conference on Tools and Algorithms for the Construction and …, 2013 | 88 | 2013 |
| Model checking of unrestricted hierarchical state machines M Benedikt, P Godefroid, T Reps International Colloquium on Automata, Languages, and Programming, 652-666, 2001 | 87 | 2001 |
| Capturing both types and constraints in data integration M Benedikt, CY Chan, W Fan, J Freire, R Rastogi Proceedings of the 2003 ACM SIGMOD international conference on Management of …, 2003 | 75 | 2003 |
| Dtd M Benedikt, CY Chan, W Fan, R Rastogi, S Zheng, A Zhou directed publishing with attribute translation grammars. In VLDB, 2002 | 73 | 2002 |
