Bart Jacobs

Radboud University - Nijmegen / Netherlands

Engineering & Technology / Computer Science

AD Scientific Index ID: 1753610

Radboud Universiteit

Go Premium -
Unlock Full Profile Tools

Get Your Global Impact Certificate

Radboud University

Bart Jacobs's MOST POPULAR ARTICLES

1-) Categorical logic and type theory Elsevier Science Ltd, 1999

2-) A tutorial on (co) algebras and (co) induction Bulletin-European Association for Theoretical Computer Science 62, 222-259, 1997

3-) Privacy-friendly energy-metering via homomorphic encryption Security and Trust Management, 226-238, 2011

4-) Introduction to coalgebra Cambridge University Press, 2017

5-) Dismantling mifare classic Computer Security-ESORICS 2008, 97-114, 2008

ARTICLES

Add your articles