Sven Schewe

Cited by

	All	Since 2019
Citations	3335	1706
h-index	29	21
i10-index	67	45

360

180

270

20062007200820092010201120122013201420152016201720182019202020212022202320249 29 39 51 74 91 105 144 200 180 228 211 221 192 227 278 307 353 341

Public access

View all

84 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 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	220	2013
Uniform distributed synthesis B Finkbeiner, S Schewe 20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 321-330, 2005	198	2005
Bounded synthesis S Schewe, B Finkbeiner International symposium on automated technology for verification and …, 2007	187	2007
Solving parity games in big steps S Schewe International Conference on Foundations of Software Technology and …, 2007	172	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	170	2019
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	125	2014
Tighter bounds for the determinisation of Büchi automata S Schewe International Conference on Foundations of Software Science and …, 2009	121	2009
An optimal strategy improvement algorithm for solving parity and payoff games S Schewe International Workshop on Computer Science Logic, 369-384, 2008	110	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	101	2017
B\" uchi complementation made tight S Schewe arXiv preprint arXiv:0902.2152, 2009	94	2009
ATL* satisfiability is 2EXPTIME-complete S Schewe International colloquium on automata, languages, and programming, 373-385, 2008	80	2008
Synthesis of asynchronous systems S Schewe, B Finkbeiner International Symposium on Logic-Based Program Synthesis and Transformation …, 2006	69	2006
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	64	2022
Lazy probabilistic model checking without determinisation EM Hahn, G Li, S Schewe, A Turrini, L Zhang arXiv preprint arXiv:1311.2928, 2013	63	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	55	2020
Beyond Hyper-Minimisation---Minimising DBAs and DPAs is NP-Complete S Schewe IARCS Annual Conference on Foundations of Software Technology and …, 2010	52	2010
Combined model checking for temporal, probabilistic, and real-time logics S Konur, M Fisher, S Schewe Theoretical Computer Science 503, 61-88, 2013	47	2013
Satisfiability and Finite Model Property for the Alternating-Time μ-Calculus S Schewe, B Finkbeiner International Workshop on Computer Science Logic, 591-605, 2006	46*	2006
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	43	2016
Finite optimal control for time-bounded reachability in CTMDPs and continuous-time Markov games MN Rabe, S Schewe Acta Informatica 48 (5), 291, 2011	43	2011

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