Concepedia

Bart Jacobs

BJ

88

Publications

4.1K

Citations

37

H-Index

1970

Active since

Affiliations

Radboud University Nijmegen(Current)

Johns Hopkins University

Bart Jacobs is an author at Radboud University Nijmegen specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationProgram AnalysisSoftware AnalysisVerificationSystem SoftwareSemantics

Publications per year

1970–2024

88

Publications

88

Enterotoxigenic Escherichia coli Isolated from Patients with Severe Cholera-like Disease

R. Bradley Sack, S. L. Gorbach, John G. Banwell et al. · The Journal of Infectious Diseases · 1971 · 314 citations

Microbial Toxin, Pathogenic Microbiology, Enterotoxigenic Escherichia Coli +15

Boogie: a modular reusable verifier for object-oriented programs

Mike Barnett, Bor-Yuh Evan Chang, Robert DeLine et al. · 2006 · 242 citations

Engineering, Program Analysis, Object-oriented Modeling +9

Acute undifferentiated human diarrhea in the tropics

S. L. Gorbach, John G. Banwell, B. D. Chatterjee et al. · Journal of Clinical Investigation · 1971 · 225 citations · Full text

Large Bowel, Microbial Disease, Gastroenterology +12

Structural Induction and Coinduction in a Fibrational Setting

Claudio Hermida, Bart Jacobs · Information and Computation · 1998 · 190 citations

Inductive Reasoning, Algebraic Combinatorics, Universal Algebra +1

Semantics of weakening and contraction

Bart Jacobs · Annals of Pure and Applied Logic · 1994 · 151 citations

Formal Semantics, Syntax, Automated Reasoning +5

Rows per page

1–5 of 88