Rose Bohrer
Active 2016–2026
- Affiliations
- Worcester Polytechnic InstituteNational Institute of Advanced Industrial Science and TechnologyThis corpus build does not record the country of an author's affiliations, so none is shown here. It does not mean these institutions have no country.
- ORCID
- 0000-0001-5201-9895
- 37
- Papers
- 325
- Citations
- 8
- h-index
- 7
- i10-index
Self-citations are included in these numbers.
Citations per year
Citations
Citation sources
Countries
This corpus build does not record which country the citing authors are in, so the country breakdown is not computed. The other breakdowns below are unaffected.
Institutions
Fields
- Computer Science75.5%
- Engineering12.7%
- Social Sciences5.7%
- Psychology1.9%
- Decision Sciences1.4%
- Biochemistry, Genetics and Molecular Biology0.9%
- Other1.9%
Topics
- Formal Methods in Verification30.8%
- Logic, programming, and type systems18.1%
- Logic, Reasoning, and Knowledge8.9%
- Software Testing and Debugging Techniques5.7%
- Safety Systems Engineering in Autonomy4.7%
- Security and Verification in Computing4.5%
- Other27.3%
Frequent coauthors
- André Platzer12
- Michelle V. Cormier5
- Phoebe O. Toups Dugas5
- Shano Liang5
- Ichiro Hasuo3
- Stefan Mitsch3
- Kevin Zhou2
- Radu Florin Tulcan2
- Yong Kiam Tan2
- Yoàv Montacute2
- Yusuke Kawamoto 00012
- 88 Mahe1
- A Arusoaie1
- A Baker1
- A Charguraud1
- A Gordon1
- A Gramfort1
- A Janusz1
- A Maroneze1
- A Mayer1
- A Michael1
- A Passos1
- A Richardson1
- A Ruiz-Corts1
All papers
Loading papers…