Pascal Fradet

1.7k total citations
44 papers, 662 citations indexed

About

Pascal Fradet is a scholar working on Artificial Intelligence, Computer Networks and Communications and Hardware and Architecture. According to data from OpenAlex, Pascal Fradet has authored 44 papers receiving a total of 662 indexed citations (citations by other indexed papers that have themselves been cited), including 21 papers in Artificial Intelligence, 15 papers in Computer Networks and Communications and 14 papers in Hardware and Architecture. Recurrent topics in Pascal Fradet's work include Parallel Computing and Optimization Techniques (12 papers), Logic, programming, and type systems (12 papers) and Formal Methods in Verification (12 papers). Pascal Fradet is often cited by papers focused on Parallel Computing and Optimization Techniques (12 papers), Logic, programming, and type systems (12 papers) and Formal Methods in Verification (12 papers). Pascal Fradet collaborates with scholars based in France, United States and Czechia. Pascal Fradet's co-authors include Mario Südholt, Rémi Douence, Daniel Le Métayer, Jean-Pierre Banâtre, Thomas Colcombet, J. P. Banâtre, Alain Girault, Xavier Nicollin, Olivier Michel and Jean‐Louis Giavitto and has published in prestigious journals such as ACM SIGPLAN Notices, ACM Transactions on Programming Languages and Systems and Real-Time Systems.

In The Last Decade

Pascal Fradet

42 papers receiving 537 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Pascal Fradet France	14	480	327	233	148	131	44	662
Matteo Pradella Italy	13	353 0.7×	171 0.5×	264 1.1×	197 1.3×	109 0.8×	53	570
Mario Bravetti Italy	14	341 0.7×	115 0.4×	174 0.7×	303 2.0×	66 0.5×	63	529
Kent M. Pitman United States	6	564 1.2×	156 0.5×	167 0.7×	255 1.7×	104 0.8×	16	741
Rami Marelly Israel	7	411 0.9×	226 0.7×	90 0.4×	276 1.9×	349 2.7×	20	648
Jérôme Vouillon France	13	379 0.8×	139 0.4×	223 1.0×	161 1.1×	61 0.5×	21	506
Guillermo J. Rozas United States	6	543 1.1×	145 0.4×	164 0.7×	256 1.7×	100 0.8×	11	710
D. H. Bartley United States	5	549 1.1×	149 0.5×	161 0.7×	258 1.7×	101 0.8×	5	715
Peter D. Mosses Denmark	17	796 1.7×	268 0.8×	98 0.4×	452 3.1×	229 1.7×	95	938
M. Wand United States	7	654 1.4×	167 0.5×	181 0.8×	324 2.2×	115 0.9×	11	830
Russell W. Quong United States	8	208 0.4×	172 0.5×	144 0.6×	63 0.4×	141 1.1×	15	441

Countries citing papers authored by Pascal Fradet

Since Specialization

Citations

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

Fields of papers citing papers by Pascal Fradet

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Pascal Fradet

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

Fradet, Pascal, Xiaojie Guo, & Sophie Quinton. (2023). CertiCAN certifying CAN analyses and their results. Real-Time Systems. 59(2). 160–198. 1 indexed citations

Fradet, Pascal, et al.. (2017). Symbolic Analyses of Dataflow Graphs. ACM Transactions on Design Automation of Electronic Systems. 22(2). 1–25. 3 indexed citations

Fradet, Pascal, et al.. (2017). A Survey of Parametric Dataflow Models of Computation. ACM Transactions on Design Automation of Electronic Systems. 22(2). 1–25. 4 indexed citations

Fradet, Pascal, et al.. (2014). A framework to schedule parametric dataflow applications on many-core platforms. ACM SIGPLAN Notices. 49(5). 125–134. 7 indexed citations

Fradet, Pascal, et al.. (2014). Verification-guided voter minimization in triple-modular redundant circuits. Design, Automation & Test in Europe Conference & Exhibition (DATE), 2014. 1–6. 1 indexed citations

Douence, Rémi, et al.. (2011). Aspects preserving properties. Science of Computer Programming. 77(3). 393–422. 3 indexed citations

Fradet, Pascal, et al.. (2009). Aspects of availability. Science of Computer Programming. 75(7). 516–542. 4 indexed citations

Douence, Rémi, et al.. (2008). Specialized Aspect Languages Preserving Classes of Properties. HAL (Le Centre pour la Communication Scientifique Directe). 1. 227–236. 2 indexed citations

Fradet, Pascal, et al.. (2008). Implementing fault-tolerance in real-time programs by automatic program transformations. ACM Transactions on Embedded Computing Systems. 7(4). 1–43. 8 indexed citations

10.

Banâtre, Jean-Pierre, et al.. (2007). Programming Self-Organizing Systems with the Higher-Order Chemical Language.. International journal of unconventional computing. 3. 161–177. 14 indexed citations

11.

Banâtre, Jean-Pierre, Pascal Fradet, Jean‐Louis Giavitto, & Olivier Michel. (2005). Unconventional Programming Paradigms (UPP'04). Springer eBooks. 1 indexed citations

12.

Banâtre, Jean-Pierre, et al.. (2004). Principles of Chemical Programming. HAL (Le Centre pour la Communication Scientifique Directe). 9 indexed citations

13.

Banâtre, Jean-Pierre, Pascal Fradet, Jean‐Louis Giavitto, & Olivier Michel. (2004). Proceedings of the 2004 international conference on Unconventional Programming Paradigms. 1 indexed citations

14.

Douence, Rémi, Pascal Fradet, & Mario Südholt. (2002). Detection and resolution of aspect interactions. OpenGrey (Institut de l'Information Scientifique et Technique). 16 indexed citations

15.

Fradet, Pascal, et al.. (2000). Gamma and the chemical reaction model: fifteen years after. HAL (Le Centre pour la Communication Scientifique Directe). 14 indexed citations

16.

Colcombet, Thomas & Pascal Fradet. (2000). Enforcing trace properties by program transformation. 54–66. 56 indexed citations

17.

Fradet, Pascal & Mario Südholt. (2000). AOP: towards a generic framework using program transformation and analysis. 17 indexed citations

18.

Fradet, Pascal & Mario Südholt. (1999). An Aspect Language for Robust Programming. 291–292. 13 indexed citations

19.

Fradet, Pascal & Daniel Le Métayer. (1998). Structured Gamma. Science of Computer Programming. 31(2-3). 263–289. 27 indexed citations

20.

Fradet, Pascal, et al.. (1996). An Inference Algorithm for the Static Verification of Pointer Manipulation. OpenGrey (Institut de l'Information Scientifique et Technique). 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