Concepedia

B.P.F. Jacobs

BJ

Statistics

Publications

3

Citations

88

H-Index

3

Active since

1999

Affiliations

Radboud University Nijmegen(Current)

B.P.F. Jacobs is an author at Radboud University Nijmegen specializing in computer science and representation theory.

Top concepts

Publications per year

1999–2015

3

Publications

3

From Kleisli Categories to Commutative C*-algebras: Probabilistic Gelfand Duality

Robert Furber, B.P.F. Jacobs · Logical Methods in Computer Science · 2015 · 39 citations · Full text

, , +9

Specification of the JavaCard API in JML

Erik Poll, Jeff Berg, B.P.F. Jacobs · Data Archiving and Networked Services (DANS) · 2000 · 28 citations · Full text

The temporal logic of coalgebras via Galois algebras

B.P.F. Jacobs · 1999 · 21 citations

1–3 of 3