Catherine Dubois
-
- Ovarian function and disorders 2
-
- Formal Methods in Verification 4
- Mathematics, Computing, and Information Processing 1
-
- Logic, programming, and type systems 7
- Logic, Reasoning, and Knowledge 2
-
- Software Engineering Research 2
-
- Advanced Database Systems and Queries 2
-
- Cardiovascular Issues in Pregnancy 1
- Co-authors
- André UlmannPierre WeisA UlmannD. PhilibertCarroll MorganAlain GiorgettiBruno Woltzenlogel PaleoLeila Ribeiro
- Journals
- Formal Aspects of Computing (2 papers)Journal of Automated Reasoning (1 paper)Studies in Family Planning (1 paper)
- Partner nations
- FranceUnited StatesAustralia
In The Last Decade
Catherine Dubois
17 papers receiving 102 citations
Peers
Comparison fields: 5 of 40
- Software 15
- Reproductive Medicine 32
- Computational Theory and Mathematics 33
- Artificial Intelligence 52
- Public Health, Environmental and Occupational Health 38
Countries citing papers authored by Catherine Dubois
This map shows the geographic impact of Catherine Dubois'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 Catherine Dubois with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Catherine Dubois more than expected).
Fields of papers citing papers by Catherine Dubois
This network shows the impact of papers produced by Catherine Dubois. 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 Catherine Dubois. The network helps show where Catherine Dubois may publish in the future.
Co-authorship network
The 25 scholars most cited alongside Catherine Dubois, 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 | 2024 | 6 | |
| 2 | 2018 | 1 | |
| 3 | 2018 | 1 | |
| 4 | 2017 | 1 | |
| 5 | 2017 | 4 | |
| 6 | 2014 | 1 | |
| 7 | 2013 | 4 | |
| 8 | Proceedings of the 3rd International Conference on Tests and Proofs | 2009 | 1 |
| 9 | 2007 | 11 | |
| 10 | 2006 | 3 | |
| 11 | 2005 | 1 | |
| 12 | 2004 | 1 | |
| 13 | 1999 | 9 | |
| 14 | 1995 | 25 | |
| 15 | 1991 | 0 | |
| 16 | 1990 | 1 | |
| 17 | 1988 | 46 | |
| 18 | 1987 | 10 |
About Catherine Dubois
Catherine Dubois is a scholar working on Computational Theory and Mathematics, Artificial Intelligence, Reproductive Medicine, Computer Science Applications and Hardware and Architecture, having authored 18 papers that have together received 126 indexed citations. Recurring topics across this work include Logic, programming, and type systems (7 papers), Formal Methods in Verification (4 papers), Logic, Reasoning, and Knowledge (2 papers), Software Engineering Research (2 papers), Ovarian function and disorders (2 papers), Advanced Database Systems and Queries (2 papers), Cardiovascular Issues in Pregnancy (1 paper) and Mathematics, Computing, and Information Processing (1 paper). The work is most often cited by research in Software (15 citations), Reproductive Medicine (32 citations), Computational Theory and Mathematics (33 citations), Artificial Intelligence (52 citations) and Public Health, Environmental and Occupational Health (38 citations). Catherine Dubois has collaborated with scholars based in France, United States and Australia. Frequent co-authors include André Ulmann, Pierre Weis, A Ulmann, D. Philibert, Carroll Morgan, Alain Giorgetti, Bruno Woltzenlogel Paleo, Leila Ribeiro, Péter Müller and Alexandra Silva. Their work appears in journals such as Formal Aspects of Computing, Journal of Automated Reasoning, Studies in Family Planning, Software & Systems Modeling and Fertility and Sterility.
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.