Sergey Berezin

1.0k total citations
14 papers, 210 citations indexed

About

Sergey Berezin is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications. According to data from OpenAlex, Sergey Berezin has authored 14 papers receiving a total of 210 indexed citations (citations by other indexed papers that have themselves been cited), including 6 papers in Artificial Intelligence, 5 papers in Computational Theory and Mathematics and 2 papers in Computer Networks and Communications. Recurrent topics in Sergey Berezin's work include Formal Methods in Verification (5 papers), Logic, programming, and type systems (4 papers) and Natural Language Processing Techniques (2 papers). Sergey Berezin is often cited by papers focused on Formal Methods in Verification (5 papers), Logic, programming, and type systems (4 papers) and Natural Language Processing Techniques (2 papers). Sergey Berezin collaborates with scholars based in United States, Russia and Switzerland. Sergey Berezin's co-authors include Adrian Perrig, Dawn Song, Edmund M. Clarke, Stephen Emmott, Yunshan Zhu, Matthew J. Smith, Drew W. Purves, David L. Dill, Vassily Lyutsarev and Armin Biere and has published in prestigious journals such as Ecography, Journal of Computer Security and Formal Methods in System Design.

In The Last Decade

Sergey Berezin

11 papers receiving 184 citations

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Sergey Berezin United States 6 120 99 96 60 26 14 210
G. Piscitelli Italy 9 90 0.8× 40 0.4× 46 0.5× 30 0.5× 6 0.2× 23 219
Diego Cazorla Spain 9 76 0.6× 68 0.7× 38 0.4× 47 0.8× 11 0.4× 30 199
Dominique Cansell France 7 45 0.4× 70 0.7× 14 0.1× 77 1.3× 10 0.4× 26 173
Qiwen Xu China 6 43 0.4× 104 1.1× 19 0.2× 78 1.3× 5 0.2× 29 169
Shih-Wei Li United States 11 172 1.4× 102 1.0× 95 1.0× 6 0.1× 16 0.6× 27 286
Ricardo Rocha Portugal 8 72 0.6× 144 1.5× 38 0.4× 31 0.5× 2 0.1× 47 315
Allen United States 4 144 1.2× 49 0.5× 26 0.3× 17 0.3× 4 0.2× 8 255
Richard McPherson United States 5 58 0.5× 163 1.6× 72 0.8× 37 0.6× 8 0.3× 6 208
Guillaume Poupard France 6 54 0.5× 212 2.1× 47 0.5× 11 0.2× 21 0.8× 10 228
Toshiaki Tanaka Japan 6 96 0.8× 77 0.8× 28 0.3× 11 0.2× 12 0.5× 46 160

Countries citing papers authored by Sergey Berezin

Since Specialization
Citations

This map shows the geographic impact of Sergey Berezin'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 Sergey Berezin with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Sergey Berezin more than expected).

Fields of papers citing papers by Sergey Berezin

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Sergey Berezin. 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 Sergey Berezin. The network helps show where Sergey Berezin may publish in the future.

Co-authorship network of co-authors of Sergey Berezin

This figure shows the co-authorship network connecting the top 25 collaborators of Sergey Berezin. A scholar is included among the top collaborators of Sergey Berezin 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 Sergey Berezin. Sergey Berezin is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

14 of 14 papers shown
1.
Berezin, Sergey, Reza Farahbakhsh, & Noël Crespi. (2023). No offence, Bert - I insult only humans! Multilingual sentence-level attack on toxicity detection networks. SPIRE - Sciences Po Institutional REpository. 2362–2369. 2 indexed citations
2.
Berezin, Sergey, et al.. (2020). Neural arbitrary style transfer for portrait images using the attention mechanism. 96–105. 1 indexed citations
3.
Berezin, Sergey, et al.. (2020). Using Few-Shot Learning Techniques for Named Entity Recognition and Relation Extraction. 12. 58–65. 2 indexed citations
4.
Berezin, Sergey, et al.. (2016). Universal, easy access to geotemporal information: FetchClimate. Ecography. 39(9). 904–911. 16 indexed citations
5.
Wang, Yuanhao, et al.. (2015). Antenna Array Pattern Synthesis via Coordinate Descent Method. Journal of Electromagnetic Analysis and Application. 7(5). 168–177. 6 indexed citations
6.
Berezin, Sergey, et al.. (2013). ChronoZoom. 31–36. 1 indexed citations
7.
Berezin, Sergey, et al.. (2009). Aspects of bandwidth scheduling in WiMAX subscriber station. 1–8. 1 indexed citations
8.
Berezin, Sergey, et al.. (2007). Object search. Dynamics. Geometry. Graphics. Journal of Mathematical Sciences. 141(1). 905–928.
9.
10.
Berezin, Sergey, et al.. (2005). A Practical Approach to Partial Functions in CVC Lite. Electronic Notes in Theoretical Computer Science. 125(3). 13–23. 14 indexed citations
11.
Berezin, Sergey, Edmund M. Clarke, Armin Biere, & Yunshan Zhu. (2002). Verification of Out-Of-Order Processor Designs Using Model Checking and a Light-Weight Completion Function. Formal Methods in System Design. 20(2). 159–186. 12 indexed citations
12.
Berezin, Sergey & Edmund M. Clarke. (2002). Model checking and theorem proving: a unified framework. 19 indexed citations
13.
Song, Dawn, Sergey Berezin, & Adrian Perrig. (2001). Athena: a novel approach to efficient automatic security protocol analysis1. Journal of Computer Security. 9(1-2). 47–74. 131 indexed citations
14.
Berezin, Sergey, Edmund Clarke, Somesh Jha, & Will Marrero. (2000). Model checking algorithms for the m-calculus. MIT Press eBooks. 309–337. 4 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

Breakdown of academic impact, for papers by G. Piscitelli Breakdown of academic impact, for papers by Diego Cazorla Breakdown of academic impact, for papers by Dominique Cansell Breakdown of academic impact, for papers by Qiwen Xu Breakdown of academic impact, for papers by Shih-Wei Li Breakdown of academic impact, for papers by Ricardo Rocha Breakdown of academic impact, for papers by Allen Breakdown of academic impact, for papers by Richard McPherson Breakdown of academic impact, for papers by Guillaume Poupard Breakdown of academic impact, for papers by Toshiaki Tanaka
Rankless by CCL
2026