D-Index & Metrics Best Publications

D-Index & Metrics

Discipline name D-index D-index (Discipline H-index) only includes papers and citation values for an examined discipline in contrast to General H-index which accounts for publications across all disciplines. Citations Publications World Ranking National Ranking
Computer Science D-index 42 Citations 9,225 207 World Ranking 4014 National Ranking 51

Research.com Recognitions

Awards & Achievements

2012 - Member of Academia Europaea

Overview

What is he best known for?

The fields of study he is best known for:

  • Programming language
  • Operating system
  • Algebra

His primary areas of investigation include Programming language, Algebra, Java, Java Modeling Language and Discrete mathematics. His study ties his expertise on Theoretical computer science together with the subject of Programming language. Bart Jacobs combines subjects such as Terminal, Coalgebra and Dynamic logic with his study of Algebra.

His study in Java Modeling Language is interdisciplinary in nature, drawing from both Generics in Java, Specification language and Hoare logic. His Discrete mathematics research includes themes of Type theory, Markov process, Distributive property and Pure mathematics. His research on Object-oriented programming also deals with topics like

  • Component-based software engineering that connect with fields like Modular design and User interface,
  • Software development that connect with fields like Software system.

His most cited work include:

  • Categorical Logic and Type Theory (507 citations)
  • Boogie: a modular reusable verifier for object-oriented programs (462 citations)
  • Distal and proximal colon cancers differ in terms of molecular, pathological, and clinical features (314 citations)

What are the main themes of his work throughout his whole career to date?

Bart Jacobs focuses on Programming language, Algebra, Pure mathematics, Java and Theoretical computer science. His Programming language and Separation logic, Modular design, Object-oriented programming, Correctness and Soundness investigations all form part of his Programming language research activities. His research in Separation logic intersects with topics in Thread and Symbolic execution.

His studies examine the connections between Object-oriented programming and genetics, as well as such issues in Software development, with regards to Software engineering and Formal verification. He focuses mostly in the field of Algebra, narrowing it down to matters related to Discrete mathematics and, in some cases, Categorical variable. His Java research integrates issues from Semantics and Concurrency.

He most often published in these fields:

  • Programming language (29.27%)
  • Algebra (15.60%)
  • Pure mathematics (12.18%)

What were the highlights of his more recent work (between 2016-2021)?

  • Probabilistic logic (5.77%)
  • Separation logic (9.40%)
  • Algebra (15.60%)

In recent papers he was focusing on the following fields of study:

Bart Jacobs mainly focuses on Probabilistic logic, Separation logic, Algebra, Probability distribution and Bayesian probability. Predicate is closely connected to Theoretical computer science in his research, which is encompassed under the umbrella topic of Probabilistic logic. Separation logic is a subfield of Programming language that Bart Jacobs tackles.

Many of his studies on Programming language involve topics that are commonly interrelated, such as Input/output. Monad is the focus of his Algebra research. In his study, which falls under the umbrella issue of Monad, Semantics is strongly linked to Semantics.

Between 2016 and 2021, his most popular works were:

  • Disintegration and Bayesian inversion via string diagrams (28 citations)
  • From probability monads to commutative effectuses (27 citations)
  • The Personalized Parkinson Project: examining disease progression through broad biomarkers in early Parkinson’s disease (24 citations)

In his most recent research, the most cited papers focused on:

  • Programming language
  • Operating system
  • Algebra

His primary areas of study are Probabilistic logic, Algebra, Thread, Programming language and Predicate. His Probabilistic logic study integrates concerns from other disciplines, such as Exploit, Field and Category theory. His studies deal with areas such as Python and Predicate as well as Algebra.

The Thread study combines topics in areas such as Heap, Monitor and Modular design. His study in Programming language concentrates on Soundness, Correctness and Concurrency. His Predicate research also works with subjects such as

  • Bayesian network which intersects with area such as Theoretical computer science, Formal semantics, Crossover and Probability distribution,
  • Bayesian inference which is related to area like Semantics.

This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.

Best Publications

Boogie: a modular reusable verifier for object-oriented programs

Mike Barnett;Bor-Yuh Evan Chang;Robert Deline;Bart Jacobs.
formal methods (2005)

1062 Citations

Categorical Logic and Type Theory

Bart Jacobs.
(2001)

900 Citations

Distal and proximal colon cancers differ in terms of molecular, pathological, and clinical features

E. Missiaglia;B. Jacobs;G. D'Ario;A. F. Di Narzo.
Annals of Oncology (2014)

426 Citations

Privacy-Friendly Energy-Metering via Homomorphic Encryption

F. Garcia;B. Jacobs.
security and trust management (2011)

423 Citations

Amphiregulin and epiregulin mRNA expression in primary tumors predicts outcome in metastatic colorectal cancer treated with cetuximab

Bart Jacobs;Wendy De Roock;Hubert Piessevaux;Robin Van Oirbeek.
Journal of Clinical Oncology (2009)

369 Citations

VeriFast: a powerful, sound, predictable, fast verifier for C and java

Bart Jacobs;Jan Smans;Pieter Philippaerts;Frédéric Vogels.
nasa formal methods (2011)

341 Citations

PIK3CA mutations are not a major determinant of resistance to the epidermal growth factor receptor inhibitor cetuximab in metastatic colorectal cancer.

Hans Prenen;Jef De Schutter;Bart Jacobs;Wendy De Roock.
Clinical Cancer Research (2009)

338 Citations

Dismantling MIFARE Classic

Flavio D. Garcia;Gerhard Koning Gans;Ruben Muijrers;Peter Rossum.
european symposium on research in computer security (2008)

313 Citations

Generic trace semantics via coinduction

I Hasuo;Bpf Bart Jacobs;A Ana Sokolova.
Logical Methods in Computer Science (2007)

281 Citations

The LOOP Compiler for Java and JML

Joachim van den Berg;Bart Jacobs.
tools and algorithms for construction and analysis of systems (2001)

270 Citations

If you think any of the details on this page are incorrect, let us know.

Contact us

Best Scientists Citing Bart Jacobs

Peter Müller

Peter Müller

ETH Zurich

Publications: 61

K. Rustan M. Leino

K. Rustan M. Leino

Amazon Web Services

Publications: 60

Frank Piessens

Frank Piessens

KU Leuven

Publications: 52

Grigore Rosu

Grigore Rosu

University of Illinois at Urbana-Champaign

Publications: 39

Lars Birkedal

Lars Birkedal

Aarhus University

Publications: 35

Gary T. Leavens

Gary T. Leavens

University of Central Florida

Publications: 32

Jan Rutten

Jan Rutten

Radboud University Nijmegen

Publications: 30

Shaz Qadeer

Shaz Qadeer

Facebook (United States)

Publications: 29

Alberto Bardelli

Alberto Bardelli

University of Turin

Publications: 25

Salvatore Siena

Salvatore Siena

University of Milan

Publications: 24

Shuvendu K. Lahiri

Shuvendu K. Lahiri

Microsoft (United States)

Publications: 24

Reiner Hähnle

Reiner Hähnle

TU Darmstadt

Publications: 24

Fortunato Ciardiello

Fortunato Ciardiello

University of Campania "Luigi Vanvitelli"

Publications: 23

Josep Tabernero

Josep Tabernero

Vall d´Hebron Institute of Oncology

Publications: 23

Heinz-Josef Lenz

Heinz-Josef Lenz

University of Southern California

Publications: 23

Sabine Tejpar

Sabine Tejpar

KU Leuven

Publications: 23

Trending Scientists

Gang Zhou

Gang Zhou

Shandong University of Science and Technology

Andreas Zeller

Andreas Zeller

Saarland University

Mark A. Clements

Mark A. Clements

Georgia Institute of Technology

Chun Wang

Chun Wang

Agricultural University of Hebei

Oleg V. Prezhdo

Oleg V. Prezhdo

University of Southern California

Zhiyong Liu

Zhiyong Liu

University of Science and Technology Beijing

Titipun Thongtem

Titipun Thongtem

Chiang Mai University

Valérie Caro

Valérie Caro

Institut Pasteur

Kenneth H. Roux

Kenneth H. Roux

Florida State University

Keith T. Jones

Keith T. Jones

University of Southampton

Vladimir A. Krasnopolsky

Vladimir A. Krasnopolsky

Catholic University of America

Peter W. Hunt

Peter W. Hunt

University of California, San Francisco

Patricia Langenberg

Patricia Langenberg

University of Maryland, Baltimore

Sandra Walklate

Sandra Walklate

University of Liverpool

Padraic Monaghan

Padraic Monaghan

Lancaster University

Douglas W. Maynard

Douglas W. Maynard

University of Wisconsin–Madison

Something went wrong. Please try again later.