Sven Schewe

Cited by

	All	Since 2018
Citations	2911	1513
h-index	27	21
i10-index	62	42

340

170

255

2006200720082009201020112012201320142015201620172018201920202021202220239 30 38 52 73 94 105 147 203 184 222 208 217 189 224 281 323 278

Public access

View all

77 articles

3 articles

available

not available

Based on funding mandates

Co-authors

Dominik WojtczakDepartment of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
Ernst Moritz HahnUniversity of TwenteVerified email at utwente.nl
Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityVerified email at cispa.de
Ashutosh TrivediAssociate Professor, University of Colorado at BoulderVerified email at colorado.edu
Fabio SomenziProfessor, University of Colorado BoulderVerified email at colorado.edu
Mateo PerezUniversity of Colorado BoulderVerified email at colorado.edu
John FearnleyUniversity of LiverpoolVerified email at liverpool.ac.uk
Doron A. PeledProfessor Of Computer Science, Bar Ilan UniversityVerified email at cs.biu.ac.il
Xiaowei HuangProfessor of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
Andrea TurriniInstitute of Software, Chinese Academy of SciencesVerified email at ios.ac.cn
Markus N RabeStartupVerified email at augmentcode.com
Russell MartinUniversity of LiverpoolVerified email at liverpool.ac.uk
Michael FisherProfessor of Computer Science, University of ManchesterVerified email at manchester.ac.uk
Ioannis LamprouHuawei Technologies FranceVerified email at di.uoa.gr
Lijun ZhangFull Professor, State Key Laboratory of Computer Science, Institute of Software ChineseVerified email at ios.ac.cn
Patrick TotzkeUniversity of LiverpoolVerified email at liverpool.ac.uk
Philip D. GraySchool of Computing Science, University of GlasgowVerified email at glasgow.ac.uk
Mark D. RyanProfessor of Computer Security, University of BirminghamVerified email at cs.bham.ac.uk
Rehana YasminDoctoral Research Student, University of Birmingham, UKVerified email at cs.bham.ac.uk
Eike RitterSenior Lecturer in Computer Science, University of Birmingham, UKVerified email at cs.bham.ac.uk

Sven Schewe

Professor of Computer Science, University of Liverpool

Verified email at liverpool.ac.uk - Homepage

Automata Theory Synthesis Game Theory Model Checking Verification


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Bounded synthesis B Finkbeiner, S Schewe International Journal on Software Tools for Technology Transfer 15 (5-6 …, 2013	198	2013
Uniform distributed synthesis B Finkbeiner, S Schewe 20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 321-330, 2005	188	2005
Solving parity games in big steps S Schewe International Conference on Foundations of Software Technology and …, 2007	173	2007
Bounded synthesis S Schewe, B Finkbeiner International symposium on automated technology for verification and …, 2007	164	2007
Omega-regular objectives in model-free reinforcement learning EM Hahn, M Perez, S Schewe, F Somenzi, A Trivedi, D Wojtczak International conference on tools and algorithms for the construction and …, 2019	131	2019
Tighter bounds for the determinisation of Büchi automata S Schewe International Conference on Foundations of Software Science and …, 2009	118	2009
iscasMc: A Web-Based Probabilistic Model Checker EM Hahn, Y Li, S Schewe, A Turrini, L Zhang FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16 …, 2014	113	2014
An optimal strategy improvement algorithm for solving parity and payoff games S Schewe International Workshop on Computer Science Logic, 369-384, 2008	103	2008
An ordered approach to solving parity games in quasi polynomial time and quasi linear space J Fearnley, S Jain, S Schewe, F Stephan, D Wojtczak Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model …, 2017	91	2017
B\" uchi complementation made tight S Schewe arXiv preprint arXiv:0902.2152, 2009	88	2009
ATL* satisfiability is 2EXPTIME-complete S Schewe International colloquium on automata, languages, and programming, 373-385, 2008	78	2008
Synthesis of asynchronous systems S Schewe, B Finkbeiner International Symposium on Logic-Based Program Synthesis and Transformation …, 2006	68	2006
Lazy probabilistic model checking without determinisation EM Hahn, G Li, S Schewe, A Turrini, L Zhang arXiv preprint arXiv:1311.2928, 2013	56	2013
Beyond Hyper-Minimisation---Minimising DBAs and DPAs is NP-Complete S Schewe IARCS Annual Conference on Foundations of Software Technology and …, 2010	48	2010
Satisfiability and Finite Model Property for the Alternating-Time μ-Calculus S Schewe, B Finkbeiner International Workshop on Computer Science Logic, 591-605, 2006	47*	2006
Combined model checking for temporal, probabilistic, and real-time logics S Konur, M Fisher, S Schewe Theoretical Computer Science 503, 61-88, 2013	44	2013
Finite optimal control for time-bounded reachability in CTMDPs and continuous-time Markov games MN Rabe, S Schewe Acta Informatica 48, 291-315, 2011	41	2011
Coordination logic B Finkbeiner, S Schewe International Workshop on Computer Science Logic, 305-319, 2010	41	2010
Synthesis of distributed systems S Schewe	40	2008
Complementing semi-deterministic Büchi automata F Blahoudek, M Heizmann, S Schewe, J Strejček, MH Tsai International Conference on Tools and Algorithms for the Construction and …, 2016	38	2016

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors