Sven Schewe

Cited by

	All	Since 2016
Citations	2124	1146
h-index	23	18
i10-index	43	32

240

120

180

200520062007200820092010201120122013201420152016201720182019202020216 9 30 41 52 78 99 106 153 196 191 227 197 225 195 230 72

Public access

View all

50 articles

4 articles

available

not available

Based on funding mandates

Co-authors

Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityVerified email at cispa.saarland
Dominik WojtczakDepartment of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
Ernst Moritz HahnUniversity of TwenteVerified email at utwente.nl
John FearnleyUniversity of LiverpoolVerified email at liverpool.ac.uk
Doron A. PeledProfessor Of Computer Science, Bar Ilan UniversityVerified email at cs.biu.ac.il
Ashutosh TrivediAssistant Professor of Computer Science at the University of Colorado at BoulderVerified email at colorado.edu
Markus N RabeGoogleVerified email at google.com
Russell MartinUniversity of LiverpoolVerified email at liverpool.ac.uk
Ioannis LamprouNational and Kapodistrian University of Athens, GreeceVerified email at di.uoa.gr
Michael FisherProfessor of Computer Science, University of ManchesterVerified email at manchester.ac.uk
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
Yi LiHuaweiVerified email at pku.edu.cn
Sanjay JainProfessor of Computer Science, National University of SingaporeVerified email at comp.nus.edu.sg
Frank StephanNational University of SingaporeVerified email at comp.nus.edu.sg
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
Muffy CalderProfessor of Computing Science, University of GlasgowVerified email at glasgow.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
Solving parity games in big steps S Schewe International Conference on Foundations of Software Technology and …, 2007	169	2007
Uniform distributed synthesis B Finkbeiner, S Schewe 20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 321-330, 2005	168	2005
Bounded synthesis B Finkbeiner, S Schewe International Journal on Software Tools for Technology Transfer 15 (5), 519-539, 2013	152	2013
Bounded synthesis S Schewe, B Finkbeiner International Symposium on Automated Technology for Verification and …, 2007	140	2007
Tighter bounds for the determinisation of Büchi automata S Schewe International Conference on Foundations of Software Science and …, 2009	97	2009
An optimal strategy improvement algorithm for solving parity and payoff games S Schewe International Workshop on Computer Science Logic, 369-384, 2008	91	2008
iscasMc: A Web-Based Probabilistic Model Checker EM Hahn, Y Li, S Schewe, A Turrini, L Zhang International Symposium on Formal Methods, 312-317, 2014	80	2014
An ordered approach to solving parity games in quasi-polynomial time and quasi-linear space J Fearnley, S Jain, B De Keijzer, S Schewe, F Stephan, D Wojtczak International Journal on Software Tools for Technology Transfer 21 (3), 325-349, 2019	71	2019
B\" uchi complementation made tight S Schewe arXiv preprint arXiv:0902.2152, 2009	71	2009
Synthesis of asynchronous systems S Schewe, B Finkbeiner International Symposium on Logic-Based Program Synthesis and Transformation …, 2006	63	2006
ATL* satisfiability is 2EXPTIME-complete S Schewe International colloquium on automata, languages, and programming, 373-385, 2008	62	2008
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	52	2019
Coordination logic B Finkbeiner, S Schewe International Workshop on Computer Science Logic, 305-319, 2010	44	2010
Satisfiability and finite model property for the alternating-time μ-calculus S Schewe, B Finkbeiner International Workshop on Computer Science Logic, 591-605, 2006	43*	2006
Finite optimal control for time-bounded reachability in CTMDPs and continuous-time Markov games MN Rabe, S Schewe Acta Informatica 48 (5-6), 291, 2011	40	2011
Lazy probabilistic model checking without determinisation EM Hahn, G Li, S Schewe, A Turrini, L Zhang arXiv preprint arXiv:1311.2928, 2013	35	2013
Combined model checking for temporal, probabilistic, and real-time logics S Konur, M Fisher, S Schewe Theoretical Computer Science 503, 61-88, 2013	35	2013
Synthesis of distributed systems S Schewe	34	2008
Synthesis of distributed control through knowledge accumulation G Katz, D Peled, S Schewe International Conference on Computer Aided Verification, 510-525, 2011	31	2011
Optimal time-abstract schedulers for CTMDPs and continuous-time Markov games MN Rabe, S Schewe Theoretical Computer Science 467, 53-67, 2013	28*	2013

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

Upload PDF

Follow this author

Cited by

Co-authors