Sven Schewe

Cited by

	All	Since 2018
Citations	2663	1259
h-index	25	18
i10-index	58	39

320

160

240

2006200720082009201020112012201320142015201620172018201920202021202220237 32 38 55 76 92 102 155 205 194 218 204 225 192 217 300 307 17

Public access

View all

66 articles

4 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 TrivediUniversity 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
Andrea TurriniInstitute of Software, Chinese Academy of SciencesVerified email at ios.ac.cn
Markus N RabeGoogleVerified email at google.com
Xiaowei HuangProfessor of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
Russell MartinUniversity of LiverpoolVerified email at liverpool.ac.uk
Michael FisherProfessor of Computer Science, University of ManchesterVerified email at manchester.ac.uk
Ioannis LamprouNational and Kapodistrian University of AthensVerified email at di.uoa.gr
Lijun ZhangFull Professor, State Key Laboratory of Computer Science, Institute of Software ChineseVerified email at ios.ac.cn
Paul GainerExscientiaVerified email at exscientia.co.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	187	2013
Uniform distributed synthesis B Finkbeiner, S Schewe 20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 321-330, 2005	185	2005
Solving parity games in big steps S Schewe FSTTCS 2007: Foundations of Software Technology and Theoretical Computer …, 2007	179	2007
Bounded synthesis S Schewe, B Finkbeiner Automated Technology for Verification and Analysis: 5th International …, 2007	159	2007
Tighter bounds for the determinisation of Büchi automata S Schewe Foundations of Software Science and Computational Structures: 12th …, 2009	115	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	105	2014
Omega-regular objectives in model-free reinforcement learning EM Hahn, M Perez, S Schewe, F Somenzi, A Trivedi, D Wojtczak Tools and Algorithms for the Construction and Analysis of Systems: 25th …, 2019	103	2019
An optimal strategy improvement algorithm for solving parity and payoff games S Schewe Computer Science Logic: 22nd International Workshop, CSL 2008, 17th Annual …, 2008	100	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	88	2017
B\" uchi complementation made tight S Schewe arXiv preprint arXiv:0902.2152, 2009	85	2009
ATL* satisfiability is 2EXPTIME-complete S Schewe Automata, Languages and Programming: 35th International Colloquium, ICALP …, 2008	73	2008
Synthesis of asynchronous systems S Schewe, B Finkbeiner Logic-Based Program Synthesis and Transformation: 16th International …, 2007	69	2007
Lazy probabilistic model checking without determinisation EM Hahn, G Li, S Schewe, A Turrini, L Zhang arXiv preprint arXiv:1311.2928, 2013	49	2013
Satisfiability and finite model property for the alternating-time µ-calculus S Schewe, B Finkbeiner CSL 6, 591-605, 2006	45*	2006
Coordination logic B Finkbeiner, S Schewe Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual …, 2010	44	2010
Combined model checking for temporal, probabilistic, and real-time logics S Konur, M Fisher, S Schewe Theoretical Computer Science 503, 61-88, 2013	43	2013
Beyond Hyper-Minimisation---Minimising DBAs and DPAs is NP-Complete S Schewe IARCS Annual Conference on Foundations of Software Technology and …, 2010	43	2010
Finite optimal control for time-bounded reachability in CTMDPs and continuous-time Markov games M Rabe, S Schewe arXiv preprint arXiv:1004.4005, 2010	41	2010
Synthesis of distributed systems S Schewe	39	2008
Complementing semi-deterministic Büchi automata F Blahoudek, M Heizmann, S Schewe, J Strejček, MH Tsai Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016	34	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