Pavol Černý

1.7k total citations
27 papers, 552 citations indexed

About

Pavol Černý is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications. According to data from OpenAlex, Pavol Černý has authored 27 papers receiving a total of 552 indexed citations (citations by other indexed papers that have themselves been cited), including 12 papers in Artificial Intelligence, 12 papers in Computational Theory and Mathematics and 11 papers in Computer Networks and Communications. Recurrent topics in Pavol Černý's work include Formal Methods in Verification (12 papers), Parallel Computing and Optimization Techniques (7 papers) and Logic, programming, and type systems (7 papers). Pavol Černý is often cited by papers focused on Formal Methods in Verification (12 papers), Parallel Computing and Optimization Techniques (7 papers) and Logic, programming, and type systems (7 papers). Pavol Černý collaborates with scholars based in United States, Austria and Sweden. Pavol Černý's co-authors include Rajeev Alur, Wonhong Nam, P. Madhusudan, Thomas A. Henzinger, Arjun Radhakrishna, Nate Foster, Hossein Hojjat, Swarat Chaudhuri, Roberto Lublinerman and Andrew Noyes and has published in prestigious journals such as SHILAP Revista de lepidopterología, Theoretical Computer Science and ACM SIGPLAN Notices.

In The Last Decade

Pavol Černý

26 papers receiving 522 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Pavol Černý United States	12	267	224	222	200	195	27	552
Carsten Sinz Germany	15	312 1.2×	239 1.1×	242 1.1×	168 0.8×	207 1.1×	52	567
Mukund Raghothaman United States	11	281 1.1×	266 1.2×	171 0.8×	241 1.2×	96 0.5×	29	555
Uwe Kastens Germany	11	348 1.3×	164 0.7×	140 0.6×	173 0.9×	108 0.6×	36	508
Sharon Shoham Israel	14	313 1.2×	268 1.2×	241 1.1×	255 1.3×	187 1.0×	48	599
Gerald Lüttgen Germany	10	201 0.8×	290 1.3×	292 1.3×	107 0.5×	95 0.5×	39	512
Pascal Fradet France	14	480 1.8×	131 0.6×	148 0.7×	327 1.6×	233 1.2×	44	662
Allen Goldberg United States	12	253 0.9×	204 0.9×	146 0.7×	154 0.8×	123 0.6×	31	469
Mark H. Liffiton United States	10	264 1.0×	136 0.6×	234 1.1×	58 0.3×	148 0.8×	12	468
Reino Kurki-Suonio Finland	11	312 1.2×	137 0.6×	301 1.4×	93 0.5×	173 0.9×	37	534
Elvira Albert Spain	15	431 1.6×	164 0.7×	315 1.4×	187 0.9×	167 0.9×	72	640

Countries citing papers authored by Pavol Černý

Since Specialization

Citations

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

Fields of papers citing papers by Pavol Černý

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Pavol Černý

This figure shows the co-authorship network connecting the top 25 collaborators of Pavol Černý. A scholar is included among the top collaborators of Pavol Černý 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 Pavol Černý. Pavol Černý 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

Černý, Pavol, et al.. (2021). Quantitative estimation of side-channel leaks with neural networks. International Journal on Software Tools for Technology Transfer. 23(4). 641–654.

Radhakrishna, Arjun, et al.. (2019). Sequential programming for replicated data stores. Proceedings of the ACM on Programming Languages. 3(ICFP). 1–28. 6 indexed citations

Hojjat, Hossein, et al.. (2016). Optimizing horn solvers for network repair. 73–80. 6 indexed citations

Hojjat, Hossein, et al.. (2016). Event-driven network programming. ACM SIGPLAN Notices. 51(6). 369–385. 9 indexed citations

Černý, Pavol, Edmund M. Clarke, Thomas A. Henzinger, et al.. (2016). From non-preemptive to preemptive scheduling using synchronization synthesis. Formal Methods in System Design. 50(2-3). 97–139. 8 indexed citations

Černý, Pavol, Viktor Kunčak, & P. Madhusudan. (2016). Proceedings Fourth Workshop on Synthesis. Electronic Proceedings in Theoretical Computer Science. 202. 1 indexed citations

Hojjat, Hossein, et al.. (2015). Specification and Compilation of Event-driven SDN Programs.. arXiv (Cornell University). 2 indexed citations

Hojjat, Hossein, et al.. (2015). Efficient synthesis of network updates. ACM SIGPLAN Notices. 50(6). 196–207. 21 indexed citations

Černý, Pavol, Martin Chmelík, Thomas A. Henzinger, & Arjun Radhakrishna. (2014). Interface simulation distances. Theoretical Computer Science. 560. 348–363. 2 indexed citations

10.

Noyes, Andrew, et al.. (2014). Toward Synthesis of Network Updates. SHILAP Revista de lepidopterología. 142. 8–23. 20 indexed citations

11.

Černý, Pavol, Thomas A. Henzinger, & Arjun Radhakrishna. (2013). Quantitative abstraction refinement. ACM SIGPLAN Notices. 48(1). 115–128. 1 indexed citations

12.

Alur, Rajeev, Pavol Černý, & Scott Weinstein. (2012). Algorithmic analysis of array-accessing programs. ACM Transactions on Computational Logic. 13(3). 1–29. 4 indexed citations

13.

Černý, Pavol, et al.. (2012). Synthesis from incompatible specifications. 53–62. 8 indexed citations

14.

Černý, Pavol, Thomas A. Henzinger, & Arjun Radhakrishna. (2011). Simulation distances. Theoretical Computer Science. 413(1). 21–35. 20 indexed citations

15.

Alur, Rajeev & Pavol Černý. (2011). Streaming transducers for algorithmic verification of single-pass list-processing programs. ACM SIGPLAN Notices. 46(1). 599–610. 36 indexed citations

16.

Alur, Rajeev & Pavol Černý. (2011). Streaming transducers for algorithmic verification of single-pass list-processing programs. 599–610. 36 indexed citations

17.

Černý, Pavol, Krishnendu Chatterjee, & Thomas A. Henzinger. (2011). The Complexity of Quantitative Information Flow Problems. 205–217. 6 indexed citations

18.

Černý, Pavol & Thomas A. Henzinger. (2011). From boolean to quantitative synthesis. 149–154. 5 indexed citations

19.

Alur, Rajeev & Pavol Černý. (2010). Expressiveness of streaming string transducers. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics). 8. 1–12. 29 indexed citations

20.

Aviv, Adam J., et al.. (2008). Security evaluation of ES&S voting machines and election management system. 11. 24 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