Sven Schewe

2.4k total citations
66 papers, 360 citations indexed

About

Sven Schewe is a scholar working on Computational Theory and Mathematics, Artificial Intelligence and Software. According to data from OpenAlex, Sven Schewe has authored 66 papers receiving a total of 360 indexed citations (citations by other indexed papers that have themselves been cited), including 46 papers in Computational Theory and Mathematics, 36 papers in Artificial Intelligence and 17 papers in Software. Recurrent topics in Sven Schewe's work include Formal Methods in Verification (40 papers), Logic, programming, and type systems (11 papers) and Software Reliability and Analysis Research (8 papers). Sven Schewe is often cited by papers focused on Formal Methods in Verification (40 papers), Logic, programming, and type systems (11 papers) and Software Reliability and Analysis Research (8 papers). Sven Schewe collaborates with scholars based in United Kingdom, Germany and Israel. Sven Schewe's co-authors include Bernd Finkbeiner, Markus N. Rabe, Savas Konur, Michael Fisher, Dominik Wojtczak, John Fearnley, Xiaowei Huang, Wei Huang, Doron Peled and Lijun Zhang and has published in prestigious journals such as Angewandte Chemie International Edition, SHILAP Revista de lepidopterología and IEEE Transactions on Pattern Analysis and Machine Intelligence.

In The Last Decade

Sven Schewe

53 papers receiving 338 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Sven Schewe United Kingdom	10	249	220	90	42	32	66	360
Nicolas Markey France	14	338 1.4×	254 1.2×	119 1.3×	38 0.9×	55 1.7×	54	454
Sasha Rubin Italy	12	310 1.2×	278 1.3×	52 0.6×	44 1.0×	9 0.3×	55	420
Jiřı́ Srba Denmark	9	231 0.9×	186 0.8×	67 0.7×	85 2.0×	31 1.0×	68	353
Ernst Moritz Hahn Germany	10	319 1.3×	160 0.7×	229 2.5×	48 1.1×	51 1.6×	27	449
Bernd Steinbach Germany	11	212 0.9×	135 0.6×	31 0.3×	30 0.7×	87 2.7×	55	351
Raffaella Gentilini Italy	7	148 0.6×	90 0.4×	32 0.4×	39 0.9×	26 0.8×	18	198
Viktor Schuppan Switzerland	8	263 1.1×	168 0.8×	180 2.0×	49 1.2×	54 1.7×	13	332
Enric Rodríguez-Carbonell Spain	9	250 1.0×	181 0.8×	104 1.2×	38 0.9×	36 1.1×	19	313
Gilles Audemard France	3	202 0.8×	165 0.8×	74 0.8×	96 2.3×	31 1.0×	8	276
Évelyne Contejean France	8	148 0.6×	134 0.6×	28 0.3×	113 2.7×	24 0.8×	15	286

Countries citing papers authored by Sven Schewe

Since Specialization

Citations

This map shows the geographic impact of Sven Schewe's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Sven Schewe with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Sven Schewe more than expected).

Fields of papers citing papers by Sven Schewe

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Sven Schewe. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Sven Schewe. The network helps show where Sven Schewe may publish in the future.

Co-authorship network of co-authors of Sven Schewe

This figure shows the co-authorship network connecting the top 25 collaborators of Sven Schewe. A scholar is included among the top collaborators of Sven Schewe based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Sven Schewe. Sven Schewe is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Vasylenko, Andrij, Dmytro Antypov, Sven Schewe, et al.. (2025). Digital features of chemical elements extracted from local geometries in crystal structures. Digital Discovery. 4(2). 477–485. 1 indexed citations

Lisitsa, Alexei, et al.. (2025). Fast and Secure Multiparty Querying over Federated Graph Databases. SN Computer Science. 6(8). 982–982.

Schewe, Sven, et al.. (2024). History-deterministic Timed Automata. Logical Methods in Computer Science. Volume 20, Issue 4.

Lisitsa, Alexei, et al.. (2024). Secure Multi-Party Traversal Queries over Federated Graph Databases. 716–721. 1 indexed citations

Collins, Christopher M., Katie Atkinson, Matthew S. Dyer, et al.. (2024). Exploration of Chemical Space Through Automated Reasoning. Angewandte Chemie International Edition. 64(6). e202417657–e202417657. 2 indexed citations

Collins, Christopher M., Katie Atkinson, Matthew S. Dyer, et al.. (2024). Exploration of Chemical Space Through Automated Reasoning. Angewandte Chemie. 137(6).

Antypov, Dmytro, Katie Atkinson, Matthew S. Dyer, et al.. (2024). Hierarchical Supervised Monte Carlo Ensemble Learning. 1764–1771.

Antypov, Dmytro, Katie Atkinson, Matthew S. Dyer, et al.. (2024). The Theory of Probabilistic Hierarchical Supervised Ensemble Learning. 1182–1187. 1 indexed citations

Dong, Yi, Wei Huang, Victoria Cox, et al.. (2022). Reliability Assessment and Safety Arguments for Machine Learning Components in System Assurance. ACM Transactions on Embedded Computing Systems. 22(3). 1–48. 9 indexed citations

10.

Hahn, Ernst Moritz, et al.. (2020). Model-Free Reinforcement Learning for Stochastic Parity Games. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics). 2 indexed citations

11.

Yi, Xinping, et al.. (2020). How does Weight Correlation Affect Generalisation Ability of Deep Neural Networks. arXiv (Cornell University). 33. 21346–21356. 1 indexed citations

12.

Martin, Russell, et al.. (2018). Eternally dominating large grids. Theoretical Computer Science. 794. 27–46. 1 indexed citations

13.

Mayr, Richard, et al.. (2017). MDPs with energy-parity objectives. 1–12. 1 indexed citations

14.

Hahn, Ernst Moritz, Guangyuan Li, Sven Schewe, Andrea Turrini, & Lijun Zhang. (2015). Lazy Probabilistic Model Checking without Determinisation. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics). 7 indexed citations

15.

Gupta, Anshul & Sven Schewe. (2015). It Pays to Pay in Bi-Matrix Games: a Rational Explanation for Bribery. Adaptive Agents and Multi-Agents Systems. 1361–1369.

16.

Fearnley, John, Doron Peled, & Sven Schewe. (2015). Synthesis of succinct systems. Journal of Computer and System Sciences. 81(7). 1171–1193. 1 indexed citations

17.

Hahn, Ernst Moritz, Guangyuan Li, Sven Schewe, & Lijun Zhang. (2013). Lazy Determinisation for Quantitative Model Checking.. arXiv (Cornell University). 1 indexed citations

18.

Schewe, Sven, et al.. (2013). More is Sometimes Less: Succinctness in EL.. Description Logics. 403–414. 2 indexed citations

19.

Fearnley, John & Sven Schewe. (2011). Time and Space Results for Parity Games with Bounded Treewidth. arXiv (Cornell University). 9.

20.

Schewe, Sven & Bernd Finkbeiner. (2007). Bounded synthesis. 474–488. 32 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact