Concepedia

Michael Benedikt

MB

70

Publications

2.8K

Citations

26

H-Index

1987

Active since

Affiliations

University of Oxford(Current)

Nokia (United States)

University of Edinburgh

University of Toronto

Institut national de recherche en sciences et technologies du numérique

Michael Benedikt is an author at University of Oxford specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationSemantic WebData ScienceVerificationComputational ComplexityInformation Retrieval

Publications per year

1987–2020

70

Publications

70

E-services

Richard Hull, Michael Benedikt, Vassilis Christophides et al. · 2003 · 277 citations

Web Service Specification, Composite Services, Engineering +15

Analysis of recursive state machines

Rajeev Alur, Michael Benedikt, Kousha Etessami et al. · ACM Transactions on Programming Languages and Systems · 2005 · 218 citations · Full text

Engineering, Reachability Problem, Verification +22

VeriWeb: Automatically Testing Dynamic Web Sites

Michael Benedikt, Juliana Freire, Patrice Godefroid · 2002 · 171 citations

Correct Behavior, E-commerce Sites, Engineering +15

XPath satisfiability in the presence of DTDs

Michael Benedikt, Wenfei Fan, Floris Geerts · Journal of the ACM · 2008 · 150 citations · Full text

Xml Library, Engineering, Automated Reasoning +14

Structural properties of XPath fragments

Michael Benedikt, Wenfei Fan, Gabriel M. Kuper · Theoretical Computer Science · 2004 · 116 citations · Full text

Xml Library, Xpath Fragments, Information Retrieval +3

Rows per page

1–5 of 70