Countries citing papers authored by Андрей Воронков
Since
Specialization
Citations
This map shows the geographic impact of Андрей Воронков'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 Андрей Воронков with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Андрей Воронков more than expected).
This network shows the impact of papers produced by Андрей Воронков. 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 Андрей Воронков. The network helps show where Андрей Воронков may publish in the future.
Co-authorship network of co-authors of Андрей Воронков
This figure shows the co-authorship network connecting the top 25 collaborators of Андрей Воронков.
A scholar is included among the top collaborators of Андрей Воронков 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 Андрей Воронков. Андрей Воронков is excluded from
the visualization to improve readability, since they are connected to all nodes in the network.
All Works
20 of 20 papers shown
1.
Cervesato, Iliano, Helmut Veith, & Андрей Воронков. (2010). Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning. International Conference on Logic Programming.45 indexed citations
2.
Clarke, Edmund & Андрей Воронков. (2010). Logic for programming, artificial intelligence, and reasoning : 16th international conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010 : revised selected papers. Springer eBooks.1 indexed citations
Baader, Franz, Peter Baumgartner, Robert Nieuwenhuis, & Андрей Воронков. (2006). Deduction and applications. ANU Open Research (Australian National University).5 indexed citations
6.
Horrocks, Ian & Андрей Воронков. (2006). Reasoning support for expressive ontology languages using a theorem prover.9 indexed citations
7.
Sutcliffe, Geoff & Андрей Воронков. (2005). Logic for Programming, Artificial Intelligence, and Reasoning, 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings. Springer eBooks.1 indexed citations
Воронков, Андрей. (2003). Automated reasoning: past story and new trends. Research Explorer (The University of Manchester). 1607–1612.2 indexed citations
11.
Riazanov, Alexandre & Андрей Воронков. (2002). The design and implementation of VAMPIRE. AI Communications. 15(2). 91–110.204 indexed citations
12.
Robinson, John A. & Андрей Воронков. (2001). Handbook of Automated Reasoning: Volume 1. MIT Press eBooks.42 indexed citations
13.
Riazanov, Alexandre & Андрей Воронков. (2001). Splitting without backtracking. Research Explorer (The University of Manchester). 611–617.25 indexed citations
14.
Parigot, Michel & Андрей Воронков. (2000). Proceedings of the 7th international conference on Logic for programming and automated reasoning. Untitled Event.13 indexed citations
15.
Freitag, Burkhard, Hendrik Decker, Michael Kifer, & Андрей Воронков. (1998). Transactions and Change in Logic Databases, International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS '97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases, (DYNAMICS'97) Port Jefferson, NY, USA, October 17, 1997, Invited Surveys and Selected Papers.1 indexed citations
16.
Bachmair, Leo, Harald Ganzinger, & Андрей Воронков. (1997). Elimination of Equality via Transformation with Ordering Constraints. Max Planck Institute for Plasma Physics.4 indexed citations
17.
Воронков, Андрей. (1997). Strategies in rigid-variable methods. Research Explorer (The University of Manchester). 114–119.3 indexed citations
Воронков, Андрей. (1992). Logic Programming, First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991, Proceedings. Springer eBooks.1 indexed citations
20.
Воронков, Андрей. (1990). Proceedings of the First Russian Conference on Logic Programming.3 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.