Bart Jacobs - Concepedia

Author

Bart Jacobs

Also Known As

B Jacobs, B. Jacobs, BART JACOBS, Babs Petronella Johanna Anne-Marie Jacobs, Bart Jacobs, Jacobs, B., Jacobs, B.P.F., Jacobs, Bart, Jan Rothe, Kristina Huber

378

Publications

8.7K

Citations

H-Index

133

Concepts

All Affiliations

Radboud University Nijmegen KU Leuven Johns Hopkins University

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	28	49	2.1K
2	Language Studies	6	6	339
3	Medicine	5	5	681
4	Health Sciences	2	2	362
5	Arts	1	1	41

Bart Jacobs

Publications

4.1K

Citations

H-Index

Page 1

	Year	Citations
Enterotoxigenic Escherichia coli Isolated from Patients with Severe Cholera-like Disease R. Bradley Sack, S. L. Gorbach, John G. Banwell, The Journal of Infectious Diseases Microbial ToxinPathogenic MicrobiologyEnterotoxigenic Escherichia ColiPathogen DetectionAntibiotics	1971	314
Boogie: a modular reusable verifier for object-oriented programs Mike Barnett, Bor-Yuh Evan Chang, Robert DeLine, EngineeringProgram AnalysisObject-oriented ModelingComputer ArchitectureSoftware Engineering	2006	242
Acute undifferentiated human diarrhea in the tropics S. L. Gorbach, John G. Banwell, B. D. Chatterjee, Journal of Clinical Investigation Large BowelMicrobial DiseaseGastroenterologyPathologyEscherichia Coli	1971	225
Structural Induction and Coinduction in a Fibrational Setting Claudio Hermida, Bart Jacobs Information and Computation Inductive ReasoningAlgebraic CombinatoricsUniversal AlgebraStructural Induction	1998	190
Semantics of weakening and contraction Bart Jacobs Annals of Pure and Applied Logic Formal SemanticsSyntaxAutomated ReasoningGrammarLanguage Studies	1994	151
JML: notations and tools supporting detailed design in Java Gary T. Leavens, Clyde Ruby, K. Rustan,	2000	126
The VeriFast program verifier Bart Jacobs, Frank Piessens Lirias (KU Leuven)	2008	104
A programming model for concurrent object-oriented programs Bart Jacobs, Frank Piessens, Jan Smans, ACM Transactions on Programming Languages and Systems EngineeringObject-oriented ModelingVerificationSoftware EngineeringConcurrent System	2008	101
Further characterization of relief dynamics in the conditioning and generalization of avoidance: Effects of distress tolerance and intolerance of uncertainty Consuelo San Martín, Bart Jacobs, Bram Vervliet Behaviour Research and Therapy Behavioural PsychologyBehavioral Decision MakingAffective NeuroscienceImpulsivitySocial Sciences	2019	95
Secure Compilation to Protected Module Architectures Marco Patrignani, Pieter Agten, Raoul Strackx, ACM Transactions on Programming Languages and Systems EngineeringInformation SecurityCompiler TechnologySoftware SystemsSoftware Engineering	2015	91

Page 1