Gregory Provan
Impact in
- Software top 5%
- Software Testing and Debugging Techniques
- Artificial Intelligence top 2%
- AI-based Problem Solving and Planning
- Bayesian Modeling and Causal Inference
- Logic, Reasoning, and Knowledge
Papers in ⓘ
-
- AI-based Problem Solving and Planning 24
- Bayesian Modeling and Causal Inference 19
-
- Formal Methods in Verification 14
- Petri Nets in System Modeling 13
- Co-authors
- Moninder Singh (3 shared papers)Arjan van Gemund (8 shared papers)Alexander Feldman (10 shared papers)Alie El‐Din Mady (7 shared papers)Yiliang Chen (2 shared papers)Malcolm Pradhan (1 shared paper)Max Henrion (2 shared papers)Adnan Darwiche (3 shared papers)
- Journals
- IEEE Transactions on Systems Man and Cybernetics - Part A Systems and Humans (2 papers)International Journal of Approximate Reasoning (2 papers)Journal of Artificial Intelligence Research (2 papers)IEEE Transactions on Control Systems Technology (1 paper)Bioinformatics (1 paper)
- Partner nations
- IrelandUnited StatesNetherlands
In The Last Decade
Gregory Provan
105 papers receiving 965 citations
Peers
Comparison fields: 5 of 111
- Software 130
- Artificial Intelligence 492
- Computational Theory and Mathematics 162
- Control and Systems Engineering 201
- Medical Laboratory Technology 10
Countries citing papers authored by Gregory Provan
This map shows the geographic impact of Gregory Provan'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 Gregory Provan with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Gregory Provan more than expected).
Fields of papers citing papers by Gregory Provan
This network shows the impact of papers produced by Gregory Provan. 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 Gregory Provan. The network helps show where Gregory Provan may publish in the future.
Co-authors
The 25 scholars most cited alongside Gregory Provan, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
Showing the 20 most-cited of 112 papers — load more, or switch the sort, to bring in the rest.
| # | Work | ||
|---|---|---|---|
| 1 | 1996 | 93 | |
| 2 | 1971 | 64 | |
| 3 | Efficient learning of selective Bayesian network classifiers | 1996 | 60 |
| 4 | 2011 | 44 | |
| 5 | 1997 | 41 | |
| 6 | 2009 | 40 | |
| 7 | 2010 | 40 | |
| 8 | Computing minimal diagnoses by greedy stochastic search | 2008 | 37 |
| 9 | 1990 | 32 | |
| 10 | 1993 | 32 | |
| 11 | 2019 | 28 | |
| 12 | 1997 | 28 | |
| 13 | 2010 | 24 | |
| 14 | 2003 | 21 | |
| 15 | 2014 | 21 | |
| 16 | 1987 | 20 | |
| 17 | An expected-cost analysis of backtracking and non-backtracking algorithms | 1991 | 18 |
| 18 | A Model-Based Diagnosis Framework for Distributed Systems | 2002 | 18 |
| 19 | The Utility of Consistency-Based Diagnostic Techniques. | 1991 | 16 |
| 20 | 1992 | 16 |
About Gregory Provan
Gregory Provan is a scholar working on Artificial Intelligence, Computational Theory and Mathematics, Control and Systems Engineering, Software and Computer Networks and Communications, having authored 112 papers that have together received 1.1k indexed citations. Recurring topics across this work include AI-based Problem Solving and Planning (24 papers), Fault Detection and Control Systems (19 papers), Bayesian Modeling and Causal Inference (19 papers), Formal Methods in Verification (14 papers), Petri Nets in System Modeling (13 papers), Software Testing and Debugging Techniques (9 papers), Simulation Techniques and Applications (7 papers) and Model-Driven Software Engineering Techniques (7 papers). The work is most often cited by research in Software (130 citations), Artificial Intelligence (492 citations), Computational Theory and Mathematics (162 citations), Control and Systems Engineering (201 citations) and Medical Laboratory Technology (10 citations). Gregory Provan has collaborated with scholars based in Ireland, United States and Netherlands. Frequent co-authors include Moninder Singh, Arjan van Gemund, Alexander Feldman, Alie El‐Din Mady, Yiliang Chen, Malcolm Pradhan, Max Henrion, Adnan Darwiche, John R. Clarke and Pavel V. Baranov. Their work appears in journals such as IEEE Transactions on Systems Man and Cybernetics - Part A Systems and Humans, International Journal of Approximate Reasoning, Journal of Artificial Intelligence Research, IEEE Transactions on Control Systems Technology and Bioinformatics.
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.