!!Bart Jacobs - Publications
\\
For up-to-date information, please consult:\\
\\
*[http://www.cs.ru.nl/~bart/PAPERS/index.html]
*[http://scholar.google.nl/citations?hl=en&user=c2b9xloAAAAJ]\\
\\
__Major publications:__\\
\\
*F. Garcia and B. Jacobs (2011). Privacy-friendly energy-metering via homomorphic encryption. J. Cuellar, J. Lopez, G. Barthe, and A. Pretschner, editors, Security and Trust Management, Springer LNCS 6710, 226–238. \\
*C. Heunen and B. Jacobs (2010). Quantum logic in dagger kernel categories. Order, 27(2):177–212.\\
*F. Garcia, G. de Koning Gans, R. Muijrers, P. van Rossum, R. Verdult, R. Wichers Schreur, and B.Jacobs (2008). Dismantling MIFARE Classic. In S. Jajodia and J. Lopez, editors, Computer Security - ESORICS 2008, Springer LNCS 5283, 97–114. \\
*I. Hasuo, B. Jacobs, and A. Sokolova (2007). Generic trace theory via coinduction. Logical Methods in Comp. Sci., 3(4:11). \\
*J.-H. Hoepman and B. Jacobs (2007). Increased security through open source. Communications of the ACM, 50(1):79–83. \\
*B. Jacobs (2006). A bialgebraic review of deterministic automata, regular expressions and languages. In K. Futatsugi, J.-P. Jouannaud, and J. Meseguer, editors, Algebra, Meaning and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday, Springer LNCS 4060, 375–404. \\
*J.-H. Hoepman, E. Hubbers, B. Jacobs, M. Oostdijk, and R. Wichers Schreur (2006). Crossing borders: Security and privacy issues of the European e-Passport. In Advances in Information and Computer Security, Springer LNCS 4266, 152–167. \\
*B. Jacobs (2001). Many-sorted coalgebraic modal logic: a model-theoretic study. RAIRO-Theor. Inform. and Appl., 35(1):31–59. \\
*B. Jacobs and E. Poll (2001). A logic for the Java Modeling Language JML. In H. Hussmann, editor, Fundamental Approaches to Software Engineering (FASE), Springer LNCS 2029, 284–299.\\
*B. Jacobs. Categorical Logic and Type Theory. North Holland, Amsterdam, 1999.