Alain Finkel

1.8k total citations
30 papers, 553 citations indexed

About

Alain Finkel is a scholar working on Computational Theory and Mathematics, Artificial Intelligence and Molecular Biology. According to data from OpenAlex, Alain Finkel has authored 30 papers receiving a total of 553 indexed citations (citations by other indexed papers that have themselves been cited), including 23 papers in Computational Theory and Mathematics, 12 papers in Artificial Intelligence and 5 papers in Molecular Biology. Recurrent topics in Alain Finkel's work include Formal Methods in Verification (15 papers), semigroups and automata theory (11 papers) and Petri Nets in System Modeling (7 papers). Alain Finkel is often cited by papers focused on Formal Methods in Verification (15 papers), semigroups and automata theory (11 papers) and Petri Nets in System Modeling (7 papers). Alain Finkel collaborates with scholars based in France, Canada and Germany. Alain Finkel's co-authors include Ph. Schnoebelen, Pierre McKenzie, Laure Petrucci, Béatrice Bérard, Antoine Petit, Philippe Schnoebelen, Michel Bidoit, François Laroussinie, Laurent Van Begin and Isabelle Tellier and has published in prestigious journals such as SHILAP Revista de lepidopterología, Journal of the ACM and Theoretical Computer Science.

In The Last Decade

Alain Finkel

23 papers receiving 510 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Alain Finkel France	8	442	229	157	104	66	30	553
Philippe Schnoebelen France	7	267 0.6×	233 1.0×	108 0.7×	50 0.5×	45 0.7×	20	385
Peter Csaba Ölveczky Norway	12	352 0.8×	205 0.9×	136 0.9×	206 2.0×	182 2.8×	60	550
Mario Bravetti Italy	14	303 0.7×	341 1.5×	66 0.4×	174 1.7×	50 0.8×	63	529
Gerald Lüttgen Germany	10	292 0.7×	201 0.9×	290 1.8×	95 0.9×	90 1.4×	39	512
Carsten Sinz Germany	15	242 0.5×	312 1.4×	239 1.5×	207 2.0×	57 0.9×	52	567
Zhou Chaochen Denmark	9	443 1.0×	343 1.5×	183 1.2×	101 1.0×	168 2.5×	13	586
Jeremy Sproston Italy	8	397 0.9×	166 0.7×	226 1.4×	79 0.8×	86 1.3×	25	494
Pierluigi San Pietro Italy	12	266 0.6×	219 1.0×	186 1.2×	52 0.5×	44 0.7×	53	360
Anne E. Haxthausen Denmark	11	205 0.5×	163 0.7×	167 1.1×	94 0.9×	128 1.9×	35	422

Countries citing papers authored by Alain Finkel

Since Specialization

Citations

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

Fields of papers citing papers by Alain Finkel

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Alain Finkel

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

Finkel, Alain, et al.. (2025). Formalizing Style in Personal Narratives. 7322–7337.

Finkel, Alain, et al.. (2023). Counter Machines with Infrequent Reversals. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics). 1 indexed citations

Finkel, Alain & Étienne Lozes. (2023). Synchronizability of Communicating Finite State Machines is not Decidable. Logical Methods in Computer Science. Volume 19, Issue 4. 1 indexed citations

Finkel, Alain, et al.. (2023). Emotion Recognition based on Psychological Components in Guided Narratives for Emotion Regulation. SPIRE - Sciences Po Institutional REpository. 72–81. 1 indexed citations

Neider, Daniel, Xuan Xie, Benedikt Bollig, et al.. (2022). Analysis of recurrent neural networks via property-directed verification of surrogate models. International Journal on Software Tools for Technology Transfer. 25(3). 341–354. 1 indexed citations

Finkel, Alain, et al.. (2020). Verification of Flat FIFO Systems. SHILAP Revista de lepidopterología. 1 indexed citations

Finkel, Alain, et al.. (2020). Commodification of accelerations for the Karp and Miller Construction. Discrete Event Dynamic Systems. 31(2). 251–270. 1 indexed citations

Finkel, Alain, et al.. (2017). Well Behaved Transition Systems. SHILAP Revista de lepidopterología. 4 indexed citations

Finkel, Alain, et al.. (2017). The Logical View on Continuous Petri Nets. ACM Transactions on Computational Logic. 18(3). 1–28. 7 indexed citations

10.

Finkel, Alain, et al.. (2013). UNAMBIGUOUS CONSTRAINED AUTOMATA. International Journal of Foundations of Computer Science. 24(7). 1099–1116.

11.

Finkel, Alain, et al.. (2011). On the Expressiveness of Parikh Automata and Related Models.. 103–119. 5 indexed citations

12.

Finkel, Alain, et al.. (2011). Bounded Parikh Automata. SHILAP Revista de lepidopterología. 63. 93–102.

13.

Finkel, Alain & Ph. Schnoebelen. (2001). Well-structured transition systems everywhere!. Theoretical Computer Science. 256(1-2). 63–92. 254 indexed citations

14.

Bérard, Béatrice, Michel Bidoit, Alain Finkel, et al.. (2001). Systems and Software Verification. 156 indexed citations

15.

Finkel, Alain & Isabelle Tellier. (1996). A polynomial algorithm for the membership problem with categorial grammars. Theoretical Computer Science. 164(1-2). 207–221. 8 indexed citations

16.

Finkel, Alain. (1994). Decidability of the termination problem for completely specified protocols. Distributed Computing. 7(3). 129–135. 29 indexed citations

17.

Finkel, Alain & Matthias Jantzen. (1992). Stacs 92: 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992 : Proceedings. Medical Entomology and Zoology. 2 indexed citations

18.

Finkel, Alain. (1990). Reduction and covering of infinite reachability trees. Information and Computation. 89(2). 144–179. 34 indexed citations

19.

Finkel, Alain, et al.. (1986). Applications of residues for the analysis of parallel systems communicating by fifo channels.. Bulletin of the European Association for Theoretical Computer Science. 30. 44–56. 1 indexed citations

20.

Finkel, Alain. (1985). Une généralisation des théorèmes de Higman et de Simon aux mots infinis. Theoretical Computer Science. 38. 137–142. 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