Concepedia

Sven Schewe

SS

Statistics

Publications

27

Citations

943

H-Index

16

Active since

2006

Affiliations

University of Liverpool(Current)

Saarland University

National University of Singapore

Chinese Academy of Sciences

Sven Schewe is an author at University of Liverpool specializing in computer science, computing, and theory of computation.

Publications per year

2006–2024

27

Publications

27

Uniform Distributed Synthesis

Bernd Finkbeiner, Sven Schewe · 2006 · 151 citations

Computing, Computer Engineering, Computer Science +15

Bounded synthesis

Bernd Finkbeiner, Sven Schewe · International Journal on Software Tools for Technology Transfer · 2012 · 121 citations

Computing, Computer Engineering, Computer Science +17

Bounded synthesis

Sven Schewe, Bernd Finkbeiner · Automated Technology for Verification and Analysis · 2007 · 108 citations

Computing, Computer Engineering, Computer Science +17

Büchi Complementation Made Tight

Sven Schewe · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2009 · 68 citations · Full text

Computing, Computer Science, Mathematics +15

Enhancing Adversarial Training with Second-Order Statistics of Weights

Gaojie Jin, Xinping Yi, Wei Huang et al. · 2022 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR) · 2022 · 47 citations

Computing, Computer Science, Artificial Intelligence +9

1–5 of 27