Sven Schewe

Cited by

	All	Since 2019
Citations	3171	1570
h-index	28	20
i10-index	67	42

360

180

270

20062007200820092010201120122013201420152016201720182019202020212022202320249 29 39 51 74 91 105 144 200 169 228 209 218 191 227 285 311 356 200

Public access

View all

80 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
Xiaowei HuangProfessor of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
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 RabeAugmentVerified email at augmentcode.com
Michael FisherProfessor of Computer Science, University of ManchesterVerified email at manchester.ac.uk
Russell MartinUniversity of LiverpoolVerified email at liverpool.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
Sanjay JainProfessor of Computer Science, National 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 YasminResearch Scientist, King Abdullah University of Science & Technology (KAUST)Verified email at kaust.edu.sa

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), 519-539, 2013	211	2013
Uniform distributed synthesis B Finkbeiner, S Schewe 20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 321-330, 2005	196	2005
Bounded synthesis S Schewe, B Finkbeiner International symposium on automated technology for verification and …, 2007	180	2007
Solving parity games in big steps S Schewe International Conference on Foundations of Software Technology and …, 2007	171	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	157	2019
Tighter bounds for the determinisation of Büchi automata S Schewe International Conference on Foundations of Software Science and …, 2009	119	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	117	2014
An optimal strategy improvement algorithm for solving parity and payoff games S Schewe International Workshop on Computer Science Logic, 369-384, 2008	109	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	99	2017
B\" uchi complementation made tight S Schewe arXiv preprint arXiv:0902.2152, 2009	91	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	60	2013
Enhancing adversarial training with second-order statistics of weights G Jin, X Yi, W Huang, S Schewe, X Huang Proceedings of the IEEE/CVF conference on computer vision and pattern …, 2022	50	2022
Beyond Hyper-Minimisation---Minimising DBAs and DPAs is NP-Complete S Schewe IARCS Annual Conference on Foundations of Software Technology and …, 2010	49	2010
Combined model checking for temporal, probabilistic, and real-time logics S Konur, M Fisher, S Schewe Theoretical Computer Science 503, 61-88, 2013	46	2013
How does weight correlation affect generalisation ability of deep neural networks? G Jin, X Yi, L Zhang, L Zhang, S Schewe, X Huang Advances in Neural Information Processing Systems 33, 21346-21356, 2020	45	2020
Satisfiability and Finite Model Property for the Alternating-Time μ-Calculus S Schewe, B Finkbeiner International Workshop on Computer Science Logic, 591-605, 2006	45*	2006
Finite optimal control for time-bounded reachability in CTMDPs and continuous-time Markov games MN Rabe, S Schewe Acta Informatica 48 (5), 291, 2011	42	2011
Coordination logic B Finkbeiner, S Schewe International Workshop on Computer Science Logic, 305-319, 2010	41	2010

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