Prof. James Worrell — Research Profile
University of Oxford · Department of Computer Science
About
Prof. James Worrell at University of Oxford Department of Computer Science lists Automated Verification as their registered research area.
Research keywords
Recent papers
- Approximate Polynomial Satisfiability is in the Counting HierarchyPreprintarXiv (Cornell University) · Sep 30
- On Periodic and Aperiodic Optimal Strategies in Solvency GamesPreprintarXiv (Cornell University) · Sep 16
From OpenAlex · papers whose author affiliation matches this university
Labs doing related research
Labs that recently published on topics this lab's recent papers share
Anuj Dawar 교수 연구실
University of Cambridge · Department of Computer Science and Technology
Lower Bounds for Symmetric Circuits for the DeterminantACM Transactions on Computation Theory · Aug 20Shared topic: Complexity and Algorithms in Graphs
Iddo Tzameret 교수 연구실
Imperial College London · Department of Computing
The Weak Rank Principle: Lower Bounds and ApplicationsPreprintarXiv (Cornell University) · Aug 9Shared topic: Complexity and Algorithms in Graphs
Tobias Grosser 교수 연구실
University of Cambridge · Department of Computer Science and Technology
Sound and Complete Solving for Multi-width Parametric Bitvectors via Principled ReductionsProceedings of the ACM on Programming Languages · Oct 1Shared topic: Formal Methods in Verification
Other labs in this department
- Aleks Kissinger 교수 연구실
Quantum Computing
- Alessandro Abate 교수 연구실
Automated Verification, Control
- Alex Rogers 교수 연구실
Systems
- Alfonso Bueno-Orovio 교수 연구실
Computational Biology, Health Informatics
- Ana Namburete 교수 연구실
Computational Biology, Health Informatics
- Andreas Galanis 교수 연구실
Algorithms and Complexity Theory