Michael Benedikt
Michael Benedikt
Professor of Computer Science, Oxford University
Verified email at cs.ox.ac.uk
TitleCited byYear
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
3262003
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
2252002
Safe constraint queries
M Benedikt, L Libkin
SIAM Journal on Computing 29 (5), 1652-1682, 2000
2152000
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
2062005
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
1761998
XPath satisfiability in the presence of DTDs
M Benedikt, W Fan, F Geerts
Journal of the ACM (JACM) 55 (2), 8, 2008
1692008
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
1612005
XPath leashed
M Benedikt, C Koch
ACM Computing Surveys (CSUR) 41 (1), 3, 2009
1382009
Structured voicemail messages
TJ Ball, MA Benedikt, PA Mataga, CM Puchol, KG Rehor, CD Tuckey
US Patent 6,459,774, 2002
1382002
Methods for reducing particulates in the air
CU NWACHUKWU, AE Sherry
US Patent 10,252,210, 2019
1362019
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
1322008
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
International Conference on Database Theory, 79-95, 2003
1142003
A decidable logic for describing linked data structures
M Benedikt, T Reps, M Sagiv
European Symposium on Programming, 2-19, 1999
991999
Structural properties of XPath fragments
M Benedikt, W Fan, G Kuper
Theoretical Computer Science 336 (1), 3-31, 2005
922005
Model checking of unrestricted hierarchical state machines
M Benedikt, P Godefroid, T Reps
International Colloquium on Automata, Languages, and Programming, 652-666, 2001
852001
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
722003
LTL model checking of interval Markov chains
M Benedikt, R Lenhardt, J Worrell
International Conference on Tools and Algorithms for the Construction and …, 2013
672013
Dtd
M Benedikt, CY Chan, W Fan, R Rastogi, S Zheng, A Zhou
directed publishing with attribute translation grammars. In VLDB, 2002
642002
The system can't perform the operation now. Try again later.
Articles 1–20