| XPath satisfiability in the presence of DTDs M Benedikt, W Fan, F Geerts Journal of the ACM (JACM) 55 (2), 1-79, 2008 | 335 | 2008 |
| 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 | 327 | 2003 |
| VeriWeb: Automatically testing dynamic web sites M Benedikt, J Freire, P Godefroid World Wide Web Conference, 2002 | 259 | 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 | 246 | 2005 |
| 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 | 180 | 1998 |
| Automatic exploration and testing of dynamic Web sites MA Benedikt, JF Silva, PI Godefroid, A Vyas US Patent 7,716,322, 2010 | 169 | 2010 |
| XPath leashed M Benedikt, C Koch ACM Computing Surveys (CSUR) 41 (1), 1-54, 2009 | 159 | 2009 |
| 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 | 152 | 2008 |
| 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 | 142 | 2017 |
| 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 | 131 | 1999 |
| Structural properties of XPath fragments M Benedikt, W Fan, GM Kuper International Conference on Database Theory, 79-95, 2002 | 128 | 2002 |
| LTL model checking of interval Markov chains M Benedikt, R Lenhardt, J Worrell Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013 | 101 | 2013 |
| A decidable logic for describing linked data structures M Benedikt, T Reps, M Sagiv Programming Languages and Systems: 8th European Symposium on Programming …, 1999 | 100 | 1999 |
| Structural properties of XPath fragments M Benedikt, W Fan, G Kuper Theoretical Computer Science 336 (1), 3-31, 2005 | 97 | 2005 |
| Model checking of unrestricted hierarchical state machines M Benedikt, P Godefroid, T Reps Automata, Languages and Programming: 28th International Colloquium, ICALP …, 2001 | 93 | 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 | 81 | 2003 |
| Dtd M Benedikt, CY Chan, W Fan, R Rastogi, S Zheng, A Zhou directed publishing with attribute translation grammars. In VLDB, 2002 | 74 | 2002 |
| Stability theory, permutations of indiscernibles, and embedded finite models J Baldwin, M Benedikt Transactions of the American Mathematical Society 352 (11), 4937-4969, 2000 | 73 | 2000 |
