Countries citing papers authored by Charles Pecheur
Since
Specialization
Citations
This map shows the geographic impact of Charles Pecheur'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 Charles Pecheur with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Charles Pecheur more than expected).
This network shows the impact of papers produced by Charles Pecheur. 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 Charles Pecheur. The network helps show where Charles Pecheur may publish in the future.
Co-authorship network of co-authors of Charles Pecheur
This figure shows the co-authorship network connecting the top 25 collaborators of Charles Pecheur.
A scholar is included among the top collaborators of Charles Pecheur 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 Charles Pecheur. Charles Pecheur is excluded from
the visualization to improve readability, since they are connected to all nodes in the network.
Combéfis, Sébastien, Dimitra Giannakopoulou, & Charles Pecheur. (2014). State Event Models for the Formal Analysis of Human-Machine Interactions. Digital Access to Libraries (Université catholique de Louvain (UCL), l'Université de Namur (UNamur) and the Université Saint-Louis (USL-B)).3 indexed citations
4.
Lüdtke, Andreas, et al.. (2014). A methodology for analyzing human-automation interactions in flight operations using formal verification techniques. Digital Access to Libraries (Université catholique de Louvain (UCL), l'Université de Namur (UNamur) and the Université Saint-Louis (USL-B)).1 indexed citations
Combéfis, Sébastien, Dimitra Giannakopoulou, Charles Pecheur, & Michael Feary. (2011). Learning system abstractions for human operators. Digital Access to Libraries (Université catholique de Louvain (UCL), l'Université de Namur (UNamur) and the Université Saint-Louis (USL-B)). 3–10.12 indexed citations
Pecheur, Charles, et al.. (2008). Formal Verification for a Next-Generation Space Shuttle.
9.
Lomuscio, Alessio, Charles Pecheur, & Franco Raimondi. (2007). Automatic verification of knowledge and time with NuSMV. Digital Access to Libraries (Université catholique de Louvain (UCL), l'Université de Namur (UNamur) and the Université Saint-Louis (USL-B)). 1384–1389.32 indexed citations
10.
Pecheur, Charles, et al.. (2003). Simulation-Based Verification of Livingstone Applications.2 indexed citations
11.
Cimatti, Alessandro, Charles Pecheur, & Roberto Cavada. (2003). Formal verification of diagnosability via symbolic model checking. International Joint Conference on Artificial Intelligence. 363–369.63 indexed citations
Pecheur, Charles, et al.. (2002). New V and V Tools for Diagnostic Modeling Environment (DME). NASA Technical Reports Server (NASA).1 indexed citations
14.
Khatib, Lina & Charles Pecheur. (2001). Model-based validation of intelligence : papers from the 2001 AAAI Symposium, March 26-28, Stanford, California.
15.
Havelund, Klaus, et al.. (2000). Formal Analysis of the Remote Agent Before and After Flight. Formal Methods.44 indexed citations
16.
Pecheur, Charles. (2000). Verification and Validation of Autonomy Software at NASA. NASA STI Repository (National Aeronautics and Space Administration).24 indexed citations
17.
Penix, John, et al.. (1999). Using Model Checking to Validate AI Planner Domain Models.19 indexed citations
18.
Leduc, Guy, et al.. (1996). Specification and verification of a TTP protocol for the conditional access to services. Open Repository and Bibliography (University of Liège).10 indexed citations
19.
Jeffrey, Alan, Hubert Garavel, Guy Leduc, Charles Pecheur, & Mihaela Sighireanu. (1995). Towards a Proposal for Datatypes in E-LOTOS. Open Repository and Bibliography (University of Liège).2 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.