Paul Ruet
Impact in
-
- Formal Methods in Verification
- Advanced Algebra and Logic
- semigroups and automata theory
- Artificial Intelligence top 10%
- Logic, programming, and type systems
- Logic, Reasoning, and Knowledge
Papers in
-
- Logic, programming, and type systems 9
- Logic, Reasoning, and Knowledge 6
-
- Formal Methods in Verification 5
- Advanced Algebra and Logic 3
- semigroups and automata theory 2
- Co-authors
- Élisabeth Rémy (3 shared papers)Denis Thieffry (1 shared paper)Vito Michele Abrusci (1 shared paper)François Fages (3 shared papers)Sylvain Soliman (2 shared papers)Adrien Richard (1 shared paper)F. Lamarche (1 shared paper)Richard Blute (1 shared paper)
In The Last Decade
Paul Ruet
16 papers receiving 260 citations
Peers
Comparison fields: 5 of 35
- Computational Theory and Mathematics 128
- Artificial Intelligence 122
- Biophysics 13
- Molecular Biology 143
- Software 6
Countries citing papers authored by Paul Ruet
This map shows the geographic impact of Paul Ruet'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 Paul Ruet with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Paul Ruet more than expected).
Fields of papers citing papers by Paul Ruet
This network shows the impact of papers produced by Paul Ruet. 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 Paul Ruet. The network helps show where Paul Ruet may publish in the future.
Co-authors
The 12 scholars most cited alongside Paul Ruet, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
| # | Work | ||
|---|---|---|---|
| 1 | 2008 | 99 | |
| 2 | 1999 | 51 | |
| 3 | 2008 | 39 | |
| 4 | 2001 | 32 | |
| 5 | 2000 | 19 | |
| 6 | 1997 | 8 | |
| 7 | 2012 | 6 | |
| 8 | 2002 | 6 | |
| 9 | 2014 | 5 | |
| 10 | 2002 | 5 | |
| 11 | 2003 | 3 | |
| 12 | 2008 | 2 | |
| 13 | Linear Logic in Computer Science (London Mathematical Society Lecture Note Series) | 2004 | 2 |
| 14 | From elementary signed circuits to the dynamics of Boolean regulatory networks | 2008 | 1 |
| 15 | 2006 | 1 | |
| 16 | 2008 | 1 |
About Paul Ruet
Paul Ruet is a scholar working on Artificial Intelligence, Computational Theory and Mathematics, Molecular Biology, Geometry and Topology and General Health Professions, having authored 16 papers that have together received 280 indexed citations. Recurring topics across this work include Logic, programming, and type systems (9 papers), Logic, Reasoning, and Knowledge (6 papers), Gene Regulatory Network Analysis (5 papers), Formal Methods in Verification (5 papers), Advanced Algebra and Logic (3 papers), Bioinformatics and Genomic Networks (2 papers), semigroups and automata theory (2 papers) and Hermeneutics and Narrative Identity (1 paper). The work is most often cited by research in Computational Theory and Mathematics (128 citations), Artificial Intelligence (122 citations), Biophysics (13 citations), Molecular Biology (143 citations) and Software (6 citations). Paul Ruet has collaborated with scholars based in France, Italy and Canada. Frequent co-authors include Élisabeth Rémy, Denis Thieffry, Vito Michele Abrusci, François Fages, Sylvain Soliman, Adrien Richard, F. Lamarche, Richard Blute, Thomas Ehrhard and Philip Scott. Their work appears in journals such as Information and Computation, Annals of Pure and Applied Logic, Mathematical Structures in Computer Science, Discrete Applied Mathematics and Advances in Applied Mathematics.
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.