François Laroussinie
- Computational Theory and Mathematics top 1%
- Artificial Intelligence top 5%
- Software top 2%
- Computer Networks and Communications top 10%
- Hardware and Architecture top 5%
- Co-authors
- Ph. SchnoebelenMichel BidoitBéatrice BérardAntoine PetitLaure PetrucciAlain FinkelNicolas MarkeyPhilippe Schnoebelen
- Topics
- Formal Methods in Verification (24 papers)Logic, programming, and type systems (18 papers)Model-Driven Software Engineering Techniques (9 papers)
- Journals
- SHILAP Revista de lepidopterologíaTheoretical Computer ScienceJournal of Computer and System Sciences
In The Last Decade
François Laroussinie
27 papers receiving 630 citations
Peers
Comparison fields: 5 of 46
- Computational Theory and Mathematics 482
- Artificial Intelligence 326
- Software 260
- Computer Networks and Communications 115
- Hardware and Architecture 104
Countries citing papers authored by François Laroussinie
This map shows the geographic impact of François Laroussinie'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 François Laroussinie with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites François Laroussinie more than expected).
Fields of papers citing papers by François Laroussinie
This network shows the impact of papers produced by François Laroussinie. 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 François Laroussinie. The network helps show where François Laroussinie may publish in the future.
Co-authorship network of co-authors of François Laroussinie
This figure shows the co-authorship network connecting the top 25 collaborators of François Laroussinie. A scholar is included among the top collaborators of François Laroussinie 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 François Laroussinie. François Laroussinie is excluded from the visualization to improve readability, since they are connected to all nodes in the network.
All Works
| # | Work | Indexed citations |
|---|---|---|
| 1 | 1 | |
| 2 | 17 | |
| 3 | 13 | |
| 4 | 6 | |
| 5 | 1 | |
| 6 | Concur 2010 - Concurrency Theory | 2 |
| 7 | Temporal Logics for Games. | 2 |
| 8 | 3 | |
| 9 | 13 | |
| 10 | One Clock Priced Timed Automata: Model Checking and Optimal Strategies | 1 |
| 11 | 16 | |
| 12 | 6 | |
| 13 | 17 | |
| 14 | 156 | |
| 15 | 22 | |
| 16 | 10 | |
| 17 | 5 | |
| 18 | 43 | |
| 19 | 20 | |
| 20 | A Hierarchy of Temporal Logics with Past (Extended Abstract) | 4 |
About François Laroussinie
François Laroussinie is a scholar working on Software, Computational Theory and Mathematics and Artificial Intelligence, having authored 27 papers that have together received 701 indexed citations. Recurring topics across this work include Formal Methods in Verification (24 papers), Logic, programming, and type systems (18 papers) and Model-Driven Software Engineering Techniques (9 papers). The work is most often cited by research in Software (260 citations), Computational Theory and Mathematics (482 citations) and Hardware and Architecture (104 citations). François Laroussinie has collaborated with scholars based in France, Denmark and Australia. Frequent co-authors include Ph. Schnoebelen, Michel Bidoit, Béatrice Bérard, Antoine Petit, Laure Petrucci, Alain Finkel, Nicolas Markey, Philippe Schnoebelen, Pierre McKenzie and Alain Finkel. Their work appears in journals such as SHILAP Revista de lepidopterología, Theoretical Computer Science and Journal of Computer and System Sciences.
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.