Follow
Michael Benedikt
Michael Benedikt
Professor of Computer Science, Oxford University
Verified email at cs.ox.ac.uk
Title
Cited by
Cited by
Year
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
3282003
VeriWeb: Automatically testing dynamic web sites
M Benedikt, J Freire, P Godefroid
World Wide Web Conference, 2002
2542002
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
2332005
XPath satisfiability in the presence of DTDs
M Benedikt, W Fan, F Geerts
Journal of the ACM (JACM) 55 (2), 1-79, 2008
1892008
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
1882001
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
1751998
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
1632005
XPath leashed
M Benedikt, C Koch
ACM Computing Surveys (CSUR) 41 (1), 1-54, 2009
1622009
Automatic exploration and testing of dynamic Web sites
MA Benedikt, JF Silva, PI Godefroid, A Vyas
US Patent 7,716,322, 2010
1582010
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
1532008
Structured voicemail messages
TJ Ball, MA Benedikt, PA Mataga, CM Puchol, KG Rehor, CD Tuckey
US Patent 6,459,774, 2002
1402002
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
1311999
Structural properties of XPath fragments
M Benedikt, W Fan, GM Kuper
Database Theory—ICDT 2003: 9th International Conference Siena, Italy …, 2003
1262003
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
1232017
Structural properties of XPath fragments
M Benedikt, W Fan, G Kuper
Theoretical Computer Science 336 (1), 3-31, 2005
1002005
A decidable logic for describing linked data structures
M Benedikt, T Reps, M Sagiv
ESOP 99, 2-19, 1999
971999
Model checking of unrestricted hierarchical state machines
M Benedikt, P Godefroid, T Reps
Automata, Languages and Programming: 28th International Colloquium, ICALP …, 2001
932001
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
892013
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
792003
Dtd
M Benedikt, CY Chan, W Fan, R Rastogi, S Zheng, A Zhou
directed publishing with attribute translation grammars. In VLDB, 2002
742002
The system can't perform the operation now. Try again later.
Articles 1–20