Concepedia

Sven Schewe

SS

Statistics

Publications

27

Citations

929

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, engineering, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationGamesVerificationSystems EngineeringGame TheoryAutomated ReasoningMathematical Programming

Publications per year

2006–2024

27

Publications

27

Uniform Distributed Synthesis

Bernd Finkbeiner, Sven Schewe · 2006 · 150 citations

Uniform Solution, Engineering, Verification +17

Bounded synthesis

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

Bounded synthesis

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

Logic Synthesis, Logical Automaton, Engineering +14

Büchi Complementation Made Tight

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

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 · 45 citations

Artificial Intelligence, Data Augmentation, Deep Neural Networks +9

1–5 of 27