Jules Jacobs
Active 2020–2026
- Affiliations
- Radboud University NijmegenDelft University of 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-0003-1976-3182
- 22
- Papers
- 122
- Citations
- 7
- h-index
- 5
- 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 Science88.6%
- Medicine6.3%
- Biochemistry, Genetics and Molecular Biology2.5%
- Engineering1.3%
- Mathematics1.3%
Topics
- Formal Methods in Verification23.4%
- Logic, programming, and type systems22.8%
- Distributed systems and fault tolerance11.4%
- Parallel Computing and Optimization Techniques9%
- Logic, Reasoning, and Knowledge8.4%
- Security and Verification in Computing5.4%
- Other19.8%
Frequent coauthors
- Nate Foster6
- Jana Wagemaker5
- Robbert Krebbers5
- Guy Amir4
- Alceste Scalas3
- Alexandra Silva 00013
- Jens Kanstrup Larsen3
- Jonas Kastberg Hinrichsen3
- Stephanie Balzer3
- Adrian Taylor2
- Ahmad Ridley2
- Alex Fitts2
- Ben Edwards2
- Benjamin Bowman2
- Christopher Moir2
- Claire Owens2
- Craig Murphy2
- David Bowman2
- Dexter Kozen2
- Dirk Van Bruggen2
- Erich Devendorf2
- Etienne Borde2
- H. Howie Huang2
- Isaiah J. King2
All papers
Loading papers…