Robin Donaldson
Impact in
-
- Formal Methods in Verification
- Petri Nets in System Modeling
- Software top 10%
- Model-Driven Software Engineering Techniques
Papers in
-
- Gene Regulatory Network Analysis 8
- Bioinformatics and Genomic Networks 4
- Microbial Metabolic Engineering and Bioproduction 3
- Biomedical Text Mining and Ontologies 1
-
- Formal Methods in Verification 4
- Petri Nets in System Modeling 1
- Co-authors
- David Gilbert (5 shared papers)Monika Heiner (3 shared papers)Muffy Calder (3 shared papers)Rainer Breitling (2 shared papers)Merrill Knapp (2 shared papers)Carolyn Talcott (2 shared papers)Tim McCarthy (1 shared paper)Vivek Nigam (1 shared paper)
- Journals
- The Reference Librarian (1 paper)Theoretical Computer Science (1 paper)Lecture notes in computer science (5 papers)Brunel University Research Archive (BURA) (Brunel University London) (1 paper)Electronic Proceedings in Theoretical Computer Science (1 paper)
- Partner nations
- United KingdomGermanyUnited States
In The Last Decade
Robin Donaldson
10 papers receiving 342 citations
Peers
Comparison fields: 5 of 59
- Computational Theory and Mathematics 140
- Software 31
- Molecular Biology 256
- Management Science and Operations Research 29
- Management Information Systems 16
Countries citing papers authored by Robin Donaldson
This map shows the geographic impact of Robin Donaldson'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 Robin Donaldson with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Robin Donaldson more than expected).
Fields of papers citing papers by Robin Donaldson
This network shows the impact of papers produced by Robin Donaldson. 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 Robin Donaldson. The network helps show where Robin Donaldson may publish in the future.
Co-authors
The 8 scholars most cited alongside Robin Donaldson, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
| # | Work | ||
|---|---|---|---|
| 1 | 2008 | 194 | |
| 2 | 2008 | 81 | |
| 3 | A Monte Carlo model checker for probabilistic LTL with numerical constraints | 2008 | 26 |
| 4 | 2012 | 12 | |
| 5 | 2010 | 11 | |
| 6 | 2009 | 11 | |
| 7 | 2017 | 9 | |
| 8 | 2010 | 6 | |
| 9 | 2015 | 5 | |
| 10 | 2010 | 4 |
About Robin Donaldson
Robin Donaldson is a scholar working on Molecular Biology, Computational Theory and Mathematics, Software, Artificial Intelligence and Computer Science Applications, having authored 10 papers that have together received 359 indexed citations. Recurring topics across this work include Gene Regulatory Network Analysis (8 papers), Formal Methods in Verification (4 papers), Bioinformatics and Genomic Networks (4 papers), Microbial Metabolic Engineering and Bioproduction (3 papers), Model-Driven Software Engineering Techniques (2 papers), Petri Nets in System Modeling (1 paper), Open Education and E-Learning (1 paper) and Biomedical Text Mining and Ontologies (1 paper). The work is most often cited by research in Computational Theory and Mathematics (140 citations), Software (31 citations), Molecular Biology (256 citations), Management Science and Operations Research (29 citations) and Management Information Systems (16 citations). Robin Donaldson has collaborated with scholars based in United Kingdom, Germany and United States. Frequent co-authors include David Gilbert, Monika Heiner, Muffy Calder, Rainer Breitling, Merrill Knapp, Carolyn Talcott, Tim McCarthy and Vivek Nigam. Their work appears in journals such as The Reference Librarian, Theoretical Computer Science, Lecture notes in computer science, Brunel University Research Archive (BURA) (Brunel University London) and Electronic Proceedings in Theoretical Computer Science.
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.