Gregory Provan
Impact in
- Software top 5%
- Software Testing and Debugging Techniques
- Artificial Intelligence top 2%
- Bayesian Modeling and Causal Inference
- AI-based Problem Solving and Planning
- Logic, Reasoning, and Knowledge
- Semantic Web and Ontologies
Papers in
-
- AI-based Problem Solving and Planning 36
- Bayesian Modeling and Causal Inference 30
- Logic, Reasoning, and Knowledge 10
-
- Formal Methods in Verification 17
- Petri Nets in System Modeling 15
- Co-authors
- Moninder Singh (5 shared papers)Max Henrion (4 shared papers)Malcolm Pradhan (2 shared papers)Arjan van Gemund (9 shared papers)Alexander Feldman (11 shared papers)Blackford Middleton (1 shared paper)Alie El‐Din Mady (10 shared papers)Yiliang Chen (2 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)Molecular and Cellular Biochemistry (1 paper)SAE technical papers on CD-ROM/SAE technical paper series (1 paper)
- Partner nations
- IrelandUnited StatesNetherlands
In The Last Decade
Gregory Provan
137 papers receiving 1.4k citations
Peers
Comparison fields: 5 of 121
- Software 170
- Artificial Intelligence 860
- Computational Theory and Mathematics 234
- Management Science and Operations Research 147
- Control and Systems Engineering 254
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 145 papers — load more, or switch the sort, to bring in the rest.
| # | Work | ||
|---|---|---|---|
| 1 | 1994 | 123 | |
| 2 | 1996 | 106 | |
| 3 | 1971 | 80 | |
| 4 | Efficient learning of selective Bayesian network classifiers | 1996 | 73 |
| 5 | 1990 | 53 | |
| 6 | 2011 | 48 | |
| 7 | 1997 | 48 | |
| 8 | 2009 | 44 | |
| 9 | 2010 | 42 | |
| 10 | 1993 | 41 | |
| 11 | Computing minimal diagnoses by greedy stochastic search | 2008 | 40 |
| 12 | 1996 | 39 | |
| 13 | 1997 | 32 | |
| 14 | 2019 | 30 | |
| 15 | 1987 | 28 | |
| 16 | 1993 | 28 | |
| 17 | 1995 | 25 | |
| 18 | 2010 | 24 | |
| 19 | 2003 | 24 | |
| 20 | An analysis of ATMS-based techniques for computing Dempster-Shafer belief functions | 1989 | 22 |
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 145 papers that have together received 1.6k indexed citations. Recurring topics across this work include AI-based Problem Solving and Planning (36 papers), Bayesian Modeling and Causal Inference (30 papers), Fault Detection and Control Systems (21 papers), Formal Methods in Verification (17 papers), Petri Nets in System Modeling (15 papers), Model-Driven Software Engineering Techniques (11 papers), Software Testing and Debugging Techniques (11 papers) and Logic, Reasoning, and Knowledge (10 papers). The work is most often cited by research in Software (170 citations), Artificial Intelligence (860 citations), Computational Theory and Mathematics (234 citations), Management Science and Operations Research (147 citations) and Control and Systems Engineering (254 citations). Gregory Provan has collaborated with scholars based in Ireland, United States and Netherlands. Frequent co-authors include Moninder Singh, Max Henrion, Malcolm Pradhan, Arjan van Gemund, Alexander Feldman, Blackford Middleton, Alie El‐Din Mady, Yiliang Chen, John R. Clarke and Jun Wang. 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, Molecular and Cellular Biochemistry and SAE technical papers on CD-ROM/SAE technical paper series.
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.