Alban Grastien
- Computer Vision and Pattern Recognition top 5%
- Control and Systems Engineering top 5%
- Artificial Intelligence top 10%
- Aerospace Engineering top 10%
- Computational Theory and Mathematics top 5%
- Co-authors
- Daniel HaraborKarsten LehmannPascal Van HentenryckMarie-Odile CordierJussi RintanenPatrik HaslumEnrico ScalaSylvie Thiébaux
- Topics
- Petri Nets in System Modeling (24 papers)Formal Methods in Verification (19 papers)AI-based Problem Solving and Planning (16 papers)
In The Last Decade
Alban Grastien
44 papers receiving 758 citations
Peers
Comparison fields: 5 of 60
- Computer Vision and Pattern Recognition 340
- Control and Systems Engineering 199
- Artificial Intelligence 193
- Aerospace Engineering 171
- Computational Theory and Mathematics 149
Countries citing papers authored by Alban Grastien
This map shows the geographic impact of Alban Grastien'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 Alban Grastien with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Alban Grastien more than expected).
Fields of papers citing papers by Alban Grastien
This network shows the impact of papers produced by Alban Grastien. 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 Alban Grastien. The network helps show where Alban Grastien may publish in the future.
Co-authorship network of co-authors of Alban Grastien
This figure shows the co-authorship network connecting the top 25 collaborators of Alban Grastien. A scholar is included among the top collaborators of Alban Grastien 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 Alban Grastien. Alban Grastien is excluded from the visualization to improve readability, since they are connected to all nodes in the network.
All Works
| # | Work | Indexed citations |
|---|---|---|
| 1 | 7 | |
| 2 | 2 | |
| 3 | 0 | |
| 4 | 1 | |
| 5 | 3 | |
| 6 | Diagnosability of Discrete-Event Systems with Uncertain Observations | 2 |
| 7 | 75 | |
| 8 | A Spectrum of Diagnosis Approaches | 3 |
| 9 | Conflict-based diagnosis of discrete event systems: theory and practice | 14 |
| 10 | A Theory of Abstraction for Diagnosis of Discrete-Event Systems | 2 |
| 11 | Reformulation for the Diagnosis of Discrete-Event Systems. | 2 |
| 12 | 1 | |
| 13 | 3 | |
| 14 | 1 | |
| 15 | Importance of Variables Semantic in CNF Encoding of Cardinality Constraints | 6 |
| 16 | Diagnosability testing with satisfiability algorithms | 22 |
| 17 | Diagnosis of discrete-event systems using satisfiability algorithms | 30 |
| 18 | Résolution d'un problème de diagnostic de systèmes à événements discrets par SAT | 0 |
| 19 | Incremental Diagnosis of Discrete-Event Systems | 18 |
| 20 | Efficient Trajectories Computing Exploiting Inversibility Properties | 4 |
About Alban Grastien
Alban Grastien is a scholar working on Computational Theory and Mathematics, Software and Management Information Systems, having authored 49 papers that have together received 821 indexed citations. Recurring topics across this work include Petri Nets in System Modeling (24 papers), Formal Methods in Verification (19 papers) and AI-based Problem Solving and Planning (16 papers). The work is most often cited by research in Computer Vision and Pattern Recognition (340 citations), Software (62 citations) and Computer Graphics and Computer-Aided Design (50 citations). Alban Grastien has collaborated with scholars based in Australia, Italy and France. Frequent co-authors include Daniel Harabor, Karsten Lehmann, Pascal Van Hentenryck, Marie-Odile Cordier, Jussi Rintanen, Patrik Haslum, Enrico Scala, Sylvie Thiébaux, Christine Largouët and Vural Aksakallı. Their work appears in journals such as IEEE Transactions on Automatic Control, IEEE Transactions on Power Systems and Artificial Intelligence.
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.