Sven Schewe

Geciteerd door

	Alles	Sinds 2017
Citaties	2489	1283
h-index	25	17
i10-index	52	37

300

150

225

200620072008200920102011201220132014201520162017201820192020202120229 29 40 55 77 97 102 152 206 193 217 191 229 194 217 299 152

Openbare toegang

Alles bekijken

79 artikelen

4 artikelen

beschikbaar

niet beschikbaar

Op basis van financieringsmachtigingen

Medeauteurs

Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityGeverifieerd e-mailadres voor cispa.saarland
Dominik WojtczakDepartment of Computer Science, University of LiverpoolGeverifieerd e-mailadres voor liverpool.ac.uk
Ernst Moritz HahnUniversity of TwenteGeverifieerd e-mailadres voor utwente.nl
John FearnleyUniversity of LiverpoolGeverifieerd e-mailadres voor liverpool.ac.uk
Fabio SomenziProfessor, University of Colorado BoulderGeverifieerd e-mailadres voor colorado.edu
Mateo PerezUniversity of Colorado BoulderGeverifieerd e-mailadres voor colorado.edu
Ashutosh TrivediAssistant Professor of Computer Science at the University of Colorado at BoulderGeverifieerd e-mailadres voor colorado.edu
Doron A. PeledProfessor Of Computer Science, Bar Ilan UniversityGeverifieerd e-mailadres voor cs.biu.ac.il
Andrea TurriniInstitute of Software, Chinese Academy of SciencesGeverifieerd e-mailadres voor ios.ac.cn
Markus N RabeGoogleGeverifieerd e-mailadres voor google.com
Xiaowei HuangProfessor of Computer Science, University of LiverpoolGeverifieerd e-mailadres voor liverpool.ac.uk
Russell MartinUniversity of LiverpoolGeverifieerd e-mailadres voor liverpool.ac.uk
Michael FisherProfessor of Computer Science, University of ManchesterGeverifieerd e-mailadres voor manchester.ac.uk
Ioannis LamprouNational and Kapodistrian University of Athens, GreeceGeverifieerd e-mailadres voor di.uoa.gr
Lijun ZhangFull Professor, State Key Laboratory of Computer Science, Institute of Software ChineseGeverifieerd e-mailadres voor ios.ac.cn
Paul GainerExscientiaGeverifieerd e-mailadres voor exscientia.co.uk
Philip D. GraySchool of Computing Science, University of GlasgowGeverifieerd e-mailadres voor glasgow.ac.uk
Mark D. RyanProfessor of Computer Security, University of BirminghamGeverifieerd e-mailadres voor cs.bham.ac.uk
Rehana YasminDoctoral Research Student, University of Birmingham, UKGeverifieerd e-mailadres voor cs.bham.ac.uk
Eike RitterSenior Lecturer in Computer Science, University of Birmingham, UKGeverifieerd e-mailadres voor cs.bham.ac.uk

Volgen

Sven Schewe

Professor of Computer Science, University of Liverpool

Geverifieerd e-mailadres voor liverpool.ac.uk - Homepage

Automata Theory Synthesis Game Theory Model Checking Verification


Titel Sorteren op citaties Sorteren op jaar Sorteren op titel	Geciteerd door Geciteerd door	Jaar
Uniform distributed synthesis B Finkbeiner, S Schewe 20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 321-330, 2005	180	2005
Bounded synthesis B Finkbeiner, S Schewe International Journal on Software Tools for Technology Transfer 15 (5), 519-539, 2013	178	2013
Solving parity games in big steps S Schewe International Conference on Foundations of Software Technology and …, 2007	175	2007
Bounded synthesis S Schewe, B Finkbeiner International symposium on automated technology for verification and …, 2007	159	2007
Tighter bounds for the determinisation of Büchi automata S Schewe International Conference on Foundations of Software Science and …, 2009	110	2009
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	97	2014
An optimal strategy improvement algorithm for solving parity and payoff games S Schewe International Workshop on Computer Science Logic, 369-384, 2008	97	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	90	2019
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	83	2019
B\" uchi complementation made tight S Schewe arXiv preprint arXiv:0902.2152, 2009	80	2009
ATL* satisfiability is 2EXPTIME-complete S Schewe International colloquium on automata, languages, and programming, 373-385, 2008	72	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	48	2013
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	44*	2006
Combined model checking for temporal, probabilistic, and real-time logics S Konur, M Fisher, S Schewe Theoretical Computer Science 503, 61-88, 2013	41	2013
Finite optimal control for time-bounded reachability in CTMDPs and continuous-time Markov games MN Rabe, S Schewe Acta Informatica 48 (5), 291-315, 2011	41	2011
Synthesis of distributed systems S Schewe	37	2008
Beyond Hyper-Minimisation---Minimising DBAs and DPAs is NP-Complete S Schewe IARCS Annual Conference on Foundations of Software Technology and …, 2010	36	2010
Synthesis of distributed control through knowledge accumulation G Katz, D Peled, S Schewe International Conference on Computer Aided Verification, 510-525, 2011	32	2011

Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.

Artikelen 1–20

Citaties per jaar

Dubbele citaties

Samengevoegde citaties

Medeauteurs toevoegenMedeauteurs

Deze auteur volgen

Geciteerd door

Medeauteurs