Sergio Antoy

1.7k total citations
46 papers, 476 citations indexed

About

Sergio Antoy is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Software. According to data from OpenAlex, Sergio Antoy has authored 46 papers receiving a total of 476 indexed citations (citations by other indexed papers that have themselves been cited), including 36 papers in Artificial Intelligence, 31 papers in Computational Theory and Mathematics and 7 papers in Software. Recurrent topics in Sergio Antoy's work include Logic, programming, and type systems (35 papers), Formal Methods in Verification (28 papers) and Logic, Reasoning, and Knowledge (20 papers). Sergio Antoy is often cited by papers focused on Logic, programming, and type systems (35 papers), Formal Methods in Verification (28 papers) and Logic, Reasoning, and Knowledge (20 papers). Sergio Antoy collaborates with scholars based in United States, Germany and Italy. Sergio Antoy's co-authors include Michael Hanus, Dick Hamlet, Frank Steiner, Pen-Shu Yeh, Azriel Rosenfeld, Aart Middeldorp, Francisco J. López-Fraguas, Herbert Kuchen, Andrew Tolmach and Elvira Albert and has published in prestigious journals such as Communications of the ACM, Pattern Recognition and IEEE Transactions on Software Engineering.

In The Last Decade

Sergio Antoy

42 papers receiving 415 citations

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Sergio Antoy United States 11 362 289 128 95 46 46 476
Mark D. Aagaard Canada 12 168 0.5× 250 0.9× 98 0.8× 25 0.3× 21 0.5× 47 389
Pierre Deransart France 10 308 0.9× 193 0.7× 106 0.8× 86 0.9× 72 1.6× 34 385
Joakim Wright Finland 10 292 0.8× 264 0.9× 109 0.9× 50 0.5× 43 0.9× 20 381
Francesco Ranzato Italy 14 385 1.1× 336 1.2× 154 1.2× 68 0.7× 47 1.0× 44 492
Tudor Jebelean Austria 11 279 0.8× 231 0.8× 31 0.2× 66 0.7× 42 0.9× 46 337
Dan R. Ghica United Kingdom 13 326 0.9× 219 0.8× 23 0.2× 34 0.4× 58 1.3× 51 402
Wouter Swierstra Netherlands 9 403 1.1× 200 0.7× 72 0.6× 97 1.0× 92 2.0× 41 445
Eduardo Giménez 2 368 1.0× 267 0.9× 46 0.4× 53 0.6× 77 1.7× 2 444
Judicaël Courant France 3 369 1.0× 263 0.9× 45 0.4× 58 0.6× 87 1.9× 5 447
Marieke Huisman Netherlands 10 291 0.8× 200 0.7× 120 0.9× 78 0.8× 96 2.1× 79 392

Countries citing papers authored by Sergio Antoy

Since Specialization
Citations

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

Fields of papers citing papers by Sergio Antoy

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Sergio Antoy

This figure shows the co-authorship network connecting the top 25 collaborators of Sergio Antoy. A scholar is included among the top collaborators of Sergio Antoy 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 Sergio Antoy. Sergio Antoy 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.
Antoy, Sergio & Michael Hanus. (2016). Transforming Boolean equalities into constraints. Formal Aspects of Computing. 29(3). 475–494. 1 indexed citations
2.
Antoy, Sergio. (2010). Programming with narrowing: A tutorial. Journal of Symbolic Computation. 45(5). 501–522. 3 indexed citations
3.
Antoy, Sergio & Elvira Albert. (2008). Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming. 11 indexed citations
4.
Antoy, Sergio, Daniel W. Brown, & Su-Hui Chiang. (2007). Lazy Context Cloning for Non-Deterministic Graph Rewriting. Electronic Notes in Theoretical Computer Science. 176(1). 3–23. 6 indexed citations
5.
Antoy, Sergio & Michael Hanus. (2006). Overlapping Rules and Logic Variables in Functional Logic Programs. 5 indexed citations
6.
Antoy, Sergio. (2005). Evaluation strategies for functional logic programming. Journal of Symbolic Computation. 40(1). 875–903. 11 indexed citations
7.
Antoy, Sergio & Stephen B. Johnson. (2004). Formalization and abstract implementation of rewriting with nested rules. 144–154.
8.
Antoy, Sergio & Yoshihito Toyama. (2004). 4th International Workshop on Reduction Strategies in Rewriting and Programming. 1 indexed citations
9.
Antoy, Sergio, et al.. (2003). Conditional narrowing without conditions. 20–31. 8 indexed citations
10.
Antoy, Sergio, et al.. (2003). Architecture of a Virtual Machine for Functional Logic Computations. 3 indexed citations
11.
Antoy, Sergio, et al.. (2002). Rapid prototyping of system enhancements. 4. 330–336. 1 indexed citations
12.
Antoy, Sergio & Salvador Lucas. (2002). Demandness in Rewriting and Narrowing. Electronic Notes in Theoretical Computer Science. 76. 42–51. 5 indexed citations
13.
Antoy, Sergio. (2001). Constructor-based conditional narrowing. 199–206. 32 indexed citations
14.
Albert, Elvira, Sergio Antoy, & Germán Vidal. (2000). Measuring the Effectiveness of Partial Evaluation.. 5 indexed citations
15.
Antoy, Sergio & Dick Hamlet. (2000). Automatically checking an implementation against its formal specification. IEEE Transactions on Software Engineering. 26(1). 55–69. 70 indexed citations
16.
Antoy, Sergio & Aart Middeldorp. (1996). A sequential reduction strategy. Theoretical Computer Science. 165(1). 75–95. 16 indexed citations
17.
Antoy, Sergio. (1992). Definitional Trees. 143–157. 79 indexed citations
18.
Antoy, Sergio. (1984). A recursive algorithm for quick and efficient bit reversing. Pattern Recognition Letters. 2(4). 257–259. 1 indexed citations
19.
Antoy, Sergio. (1983). Contour plotting for function specified at nodal points of a mesh based on a set of irregular profiles. Computers & Geosciences. 9(2). 235–244. 2 indexed citations
20.
Ancona, Massimo & Sergio Antoy. (1978). Ricerca random pesata in tavole hash. CALCOLO. 15(3). 225–231. 1 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 Mark D. Aagaard Breakdown of academic impact, for papers by Pierre Deransart Breakdown of academic impact, for papers by Joakim Wright Breakdown of academic impact, for papers by Francesco Ranzato Breakdown of academic impact, for papers by Tudor Jebelean Breakdown of academic impact, for papers by Dan R. Ghica Breakdown of academic impact, for papers by Wouter Swierstra Breakdown of academic impact, for papers by Eduardo Giménez Breakdown of academic impact, for papers by Judicaël Courant Breakdown of academic impact, for papers by Marieke Huisman
Rankless by CCL
2026