Sven Schewe

引用先

	すべて	2020 年以来
引用	3394	1583
h 指標	30	21
i10 指標	68	42

380

190

285

200620072008200920102011201220132014201520162017201820192020202120222023202420259 29 39 51 74 91 105 144 201 180 227 211 221 192 227 285 308 352 371 39

オープンアクセス

すべて表示

87 件の論文

3 件の論文

利用可能

利用不可

助成機関の要件に基づく

共著者

Dominik WojtczakDepartment of Computer Science, University of Liverpool確認したメールアドレス: liverpool.ac.uk
Ernst Moritz HahnUniversity of Twente確認したメールアドレス: utwente.nl
Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information Security確認したメールアドレス: cispa.de
Ashutosh TrivediAssociate Professor, University of Colorado at Boulder確認したメールアドレス: colorado.edu
Fabio SomenziProfessor, University of Colorado Boulder確認したメールアドレス: colorado.edu
Mateo PerezUniversity of Colorado Boulder確認したメールアドレス: colorado.edu
Xiaowei HuangProfessor of Computer Science, University of Liverpool確認したメールアドレス: liverpool.ac.uk
John FearnleyUniversity of Liverpool確認したメールアドレス: liverpool.ac.uk
Doron A. PeledProfessor Of Computer Science, Bar Ilan University確認したメールアドレス: cs.biu.ac.il
Andrea TurriniInstitute of Software, Chinese Academy of Sciences確認したメールアドレス: ios.ac.cn
Markus N RabeAugment確認したメールアドレス: augmentcode.com
Russell MartinUniversity of Liverpool確認したメールアドレス: liverpool.ac.uk
Ioannis LamprouHuawei Technologies France確認したメールアドレス: di.uoa.gr
Michael FisherProfessor of Computer Science, University of Manchester確認したメールアドレス: manchester.ac.uk
Lijun ZhangFull Professor, State Key Laboratory of Computer Science, Institute of Software Chinese確認したメールアドレス: ios.ac.cn
Patrick TotzkeUniversity of Liverpool確認したメールアドレス: liverpool.ac.uk
Sanjay JainProfessor of Computer Science, National University of Singapore確認したメールアドレス: comp.nus.edu.sg
Philip D. GraySchool of Computing Science, University of Glasgow確認したメールアドレス: glasgow.ac.uk
Mark D. RyanProfessor of Computer Security, University of Birmingham確認したメールアドレス: bham.ac.uk
Rehana YasminResearch Scientist, King Abdullah University of Science & Technology (KAUST)確認したメールアドレス: kaust.edu.sa

フォロー

Sven Schewe

Professor of Computer Science, University of Liverpool

確認したメールアドレス: liverpool.ac.uk - ホームページ

Automata Theory Synthesis Game Theory Model Checking Verification


タイトル引用回数順公開年順タイトル順	引用先引用先	年
Bounded synthesis B Finkbeiner, S Schewe International Journal on Software Tools for Technology Transfer 15 (5), 519-539, 2013	221	2013
Uniform distributed synthesis B Finkbeiner, S Schewe 20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 321-330, 2005	200	2005
Bounded synthesis S Schewe, B Finkbeiner International symposium on automated technology for verification and …, 2007	189	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	175	2019
Solving parity games in big steps S Schewe International Conference on Foundations of Software Technology and …, 2007	174	2007
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	128	2014
Tighter bounds for the determinisation of Büchi automata S Schewe International Conference on Foundations of Software Science and …, 2009	124	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	96	2009
ATL* satisfiability is 2EXPTIME-complete S Schewe International colloquium on automata, languages, and programming, 373-385, 2008	82	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	66	2022
Lazy probabilistic model checking without determinisation EM Hahn, G Li, S Schewe, A Turrini, L Zhang arXiv preprint arXiv:1311.2928, 2013	65	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	59	2020
Beyond Hyper-Minimisation---Minimising DBAs and DPAs is NP-Complete S Schewe IARCS Annual Conference on Foundations of Software Technology and …, 2010	53	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	47*	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	45	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

現在システムで処理を実行できません。しばらくしてからもう一度お試しください。

論文 1–20

年間引用数

重複した引用

結合された引用

共著者を追加共著者

フォロー

引用先

共著者