Prof. Stefan Kiefer — Research Profile
University of Oxford · Department of Computer Science
About
Prof. Stefan Kiefer at University of Oxford Department of Computer Science lists Automated Verification as their registered research area.
Research keywords
Recent papers
- Stronger bounds on the degree of ambiguity of finite automataPreprintarXiv (Cornell University) · Oct 6
- Spectral and combinatorial methods for efficiently computing the rank of unambiguous finite automataLogical Methods in Computer Science · Sep 25
- Perturbation equivalence in labelled Markov chainsPreprintarXiv (Cornell University) · Sep 11
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
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
Francesco Belardinelli 교수 연구실
Imperial College London · Department of Computing
Learning Rational Strategies for Temporal Objectives in Multi-Agent SystemsNewPreprintarXiv (Cornell University) · Oct 15Shared topic: Formal Methods in Verification
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
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