Bart Jacobs

发表

Bart Jacobs, B. Jacobs, 2006 .
Bart Jacobs, B. Jacobs, 2018, ArXiv.
Bart Jacobs, Jorik Mandemaker, Robert Furber, 2011, Inf. Comput..
Bart Jacobs, Erik Poll, 2000, AMAST.
Bart Jacobs, Ronny Wichers Schreur, 2011, ITP.
Bart Jacobs, Wataru Hino, Hiroki Kobayashi, 2016, 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Bart Jacobs, Marieke Huisman, Joachim van den Berg, 1998, OOPSLA '98.
Bart Jacobs, B. Jacobs, 1995, Object Orientation with Parallelism and Persistence.
Bart Jacobs, 2013, Privacy and Identity Management.
Bart Jacobs, B. Jacobs, 2016, Cambridge Tracts in Theoretical Computer Science.
Bart Jacobs, Erik Poll, Joachim van den Berg, 2001, Comput. Networks.
Bart Jacobs, Tarmo Uustalu, Ichiro Hasuo, 2007, ICALP.
Bart Jacobs, Amin Timany, 2016 .
Bart Jacobs, Fabio Zanasi, B. Jacobs, 2018, Foundations of Probabilistic Programming.
Bart Jacobs, Flavio D. Garcia, Eric R. Verheul, 2013, Comput. Math. Appl..
Bart Jacobs, Jaap-Henk Hoepman, B. Jacobs, 2007, Commun. ACM.
Bart Jacobs, Milad Niqui, Ichiro Hasuo, 2010, MFPS.
Bart Jacobs, Flavio D. Garcia, Ronny Wichers Schreur, 2008, ESORICS.
Bart Jacobs, Flavio D. Garcia, B. Jacobs, 2010, STM.
Bart Jacobs, B. Jacobs, 2017 .
Bart Jacobs, Tarmo Uustalu, Ichiro Hasuo, 2007 .
Bart Jacobs, B. Jacobs, 2001, RAIRO Theor. Informatics Appl..
Bart Jacobs, Wolter Pieters, Martijn Warnier, 2005, WITS '05.
Bart Jacobs, B. Jacobs, 2013, MFPS.
Bart Jacobs, 2016, MFPS.
Bart Jacobs, Erik Poll, 2003, Theor. Comput. Sci..
Bart Jacobs, Kenta Cho, Bram Westerbaan, 2015, ArXiv.
Bart Jacobs, Jesse Hughes, B. Jacobs, 2003, CMCS.
Bart Jacobs, C.-B. Breunesse, Oostdijk, 2002 .
Bart Jacobs, David Sprunger, 2019, ArXiv.
Bart Jacobs, Erik Poll, B. Jacobs, 2001, FASE.
Bart Jacobs, Néstor Cataño, Marieke Huisman, 2005, Sci. Comput. Program..
Bart Jacobs, Joachim van den Berg, B. Jacobs, 2001, TACAS.
Bart Jacobs, Joachim van den Berg, Cees-Bart Breunesse, 2002, AMAST.
Bart Jacobs, B. Jacobs, 2011, CALCO.
Bart Jacobs, Dion Coumans, B. Jacobs, 2010, Quantum Physics and Linguistics.
Bart Jacobs, B. Jacobs, 1996, ECOOP.
Bart Jacobs, Jesse Hughes, 2003, CMCS.
Bart Jacobs, Marcello M. Bonsangue, Joost N. Kok, 1995, Theor. Comput. Sci..
Bart Jacobs, B. Jacobs, 2000, Algebraic and Coalgebraic Methods in the Mathematics of Program Construction.
Ana Sokolova, Bart Jacobs, Ichiro Hasuo, 2007, Log. Methods Comput. Sci..
Bart Jacobs, Ronny Wichers Schreur, Sjaak Smetsers, 2006, Formal Aspects of Computing.
Alexandra Silva, Bart Jacobs, B. Jacobs, 2014, Horizons of the Mind.
Bart Jacobs, Ulrich Hensel, 1997, Category Theory and Computer Science.
Bart Jacobs, Kenta Cho, Ichiro Hasuo, 2013, MFPS.
Tom Ridge, Frank Piessens, Bart Jacobs, 2011 .
Bart Jacobs, B. Jacobs, 2001, ESOP.
Bart Jacobs, B. Jacobs, 2016, CMCS.
Bart Jacobs, Chris Heunen, 2011, Electron. Notes Theor. Comput. Sci..
Bart Jacobs, Robin Adams, 2015, TYPES.
Bart Jacobs, Martijn Warnier, Joseph Kiniry, 2002, FMCO.
Alexandra Silva, Bart Jacobs, Tobias Kappé, 2018, It's All About Coordination.
Bart Jacobs, Ulrich Hensel, B. Jacobs, 1999, J. Log. Comput..
Bart Jacobs, Jurriaan Rot, Paul Levy, 2018, CMCS.
Bart Jacobs, Bram Westerbaan, Bas Westerbaan, 2015, FoSSaCS.
Alexandra Silva, Ana Sokolova, Bart Jacobs, 2015, J. Comput. Syst. Sci..
Ana Sokolova, Bart Jacobs, B. Jacobs, 2009, CALCO.
Bart Jacobs, Marko C. J. D. van Eekelen, Erik Poll, 2007, Trends in Functional Programming.
Bart Jacobs, B. Jacobs, 2015, Theor. Comput. Sci..
Bart Jacobs, Marieke Huisman, B. Jacobs, 2000, FASE.
Bart Jacobs, Arend Rensink, 2002, IFIP — The International Federation for Information Processing.
Bart Jacobs, B. Jacobs, 2000, CMCS.
Bart Jacobs, B. Jacobs, 1995, AMAST.
Bart Jacobs, Chris Heunen, B. Jacobs, 2009, QPL@MFPS.
Bart Jacobs, 2010, Data Protection in a Profiled World.
Bart Jacobs, Claudio Hermida, B. Jacobs, 1994, CSL.
Bart Jacobs, Marieke Huisman, B. Jacobs, 2000, TPHOLs.
Bart Jacobs, Jorik Mandemaker, B. Jacobs, 2012, ArXiv.
Bart Jacobs, Erik Poll, Marieke Huisman, 1999, WADT.
Bart Jacobs, Martijn Warnier, Martijn Oostdijk, 2004, J. Log. Algebraic Methods Program..
Bart Jacobs, Hendrik Tews, Marieke Huisman, 1998, ESOP.
Bart Jacobs, B. Jacobs, 2014, CMCS.
Bart Jacobs, Jan Rutten, B. Jacobs, 2011, Advanced Topics in Bisimulation and Coinduction.
Bart Jacobs, B. Jacobs, 2011, Theor. Comput. Sci..
Bart Jacobs, B. Jacobs, 2010, CMCS@ETAPS.
Bart Jacobs, 2002, CMCS.
Bart Jacobs, Aleks Kissinger, Fabio Zanasi, 2018, FoSSaCS.
Ana Sokolova, Bart Jacobs, Ichiro Hasuo, 2006, CMCS.
Bart Jacobs, Flavio D. Garcia, 2016, The New Codebreakers.
Bart Jacobs, Kenta Cho, B. Jacobs, 2017, Mathematical Structures in Computer Science.
Bart Jacobs, Claude Marché, Nicole Rauch, 2004, AMAST.
Bart Jacobs, Lawrence S. Moss, Jan Rutten, 1998 .
Ana Sokolova, Bart Jacobs, B. Jacobs, 2010, J. Log. Comput..
Bart Jacobs, Jan J. M. M. Rutten, Horst Reichel, 2001, Theor. Comput. Sci..
Bart Jacobs, B. Jacobs, 2010, IFIP TCS.
Bart Jacobs, B. Jacobs, 2012, Log. Methods Comput. Sci..
Bart Jacobs, Gary T. Leavens, Arnd Poetzsch-Heffter, 1999, ECOOP Workshops.
Bart Jacobs, 2003, FMOODS.
Bart Jacobs, B. Jacobs, 1994, Ann. Pure Appl. Log..
Bart Jacobs, Jorik Mandemaker, 2011, ArXiv.
Bart Jacobs, B. Jacobs, 2001, Studies in logic and the foundations of mathematics.
Bart Jacobs, Thomas Streicher, Eugenio Moggi, 1991, Category Theory and Computer Science.
Bart Jacobs, Fabian van den Broek, Brinda Hampiholi, 2016, STM.
Bart Jacobs, Erik Poll, B. Jacobs, 2003, ISSS.
Bart Jacobs, Wiebren de Jonge, 2008, Formal Aspects in Security and Trust.
Bart Jacobs, Robert Atkey, Patricia Johann, 2012, FoSSaCS.
Alexandra Silva, Ana Sokolova, Bart Jacobs, 2012, J. Comput. Syst. Sci..
Bart Jacobs, B. Jacobs, 1994, LFCS.
Bart Jacobs, Thomas F. Melham, T. Melham, 1993, TLCA.
Ana Sokolova, Bart Jacobs, Ichiro Hasuo, 2009, CALCO.
Bart Jacobs, Jaap-Henk Hoepman, J. Hoepman, 2003 .
Bart Jacobs, Gary T. Leavens, K. Rustan M. Leino, 2000, OOPSLA '00.
Bart Jacobs, B. Jacobs, 2004, J. Log. Algebraic Methods Program..
Bart Jacobs, Ben A. M. Schouten, B. Jacobs, 2009, Image Vis. Comput..
Bart Jacobs, 2004, CMCS.
Bart Jacobs, Claudio Hermida, B. Jacobs, 1998, Inf. Comput..
Bart Jacobs, Fabio Zanasi, B. Jacobs, 2016, MFPS.
Bart Jacobs, Kenta Cho, Bas Westerbaan, 2015, ArXiv.
Bart Jacobs, Jan Rutten, J. L. Hughes, 2000 .
Bart Jacobs, Gergely Alpár, Fabian van den Broek, 2015, SPACE.
Alexandra Silva, Bart Jacobs, 2014, Categories and Types in Logic, Language, and Physics.
Bart Jacobs, 2001, TPHOLs.
Bart Jacobs, Erik Poll, Joachim van den Berg, 2000, CARDIS.
Bart Jacobs, Jaap-Henk Hoepman, Ronny Wichers Schreur, 2006, IWSEC.
Bart Jacobs, P.T.J. Wolters, B. Jacobs, 2019, Comput. Law Secur. Rev..
Bart Jacobs, B. Jacobs, 2016, Log. Methods Comput. Sci..
Bart Jacobs, Fabio Zanasi, B. Jacobs, 2017, MFCS.
Bart Jacobs, Bram Westerbaan, B. Jacobs, 2015, MFPS.
Bart Jacobs, Abraham Westerbaan, B. Jacobs, 2017, Log. Methods Comput. Sci..
Bart Jacobs, B. Jacobs, 2013, 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.
Bart Jacobs, M. Jochems, B.P.F. Jacobs, 2007 .
Bart Jacobs, Erik Poll, Joachim van den Berg, 2000, Java Card Workshop.
Bart Jacobs, Hendrik Tews, Jan Rothe, 2001, J. Univers. Comput. Sci..
Bart Jacobs, B. Jacobs, 2000, Theor. Comput. Sci..
Wouter Joosen, Frank Piessens, Bart Jacobs, 2003 .
Bart Jacobs, Jaap-Henk Hoepman, Lejla Batina, 2010, CARDIS.
Bart Jacobs, Marieke Huisman, Joachim van den Berg, 1999, International Journal on Software Tools for Technology Transfer.
Bart Jacobs, B. Jacobs, 2018, J. Log. Algebraic Methods Program..
Bart Jacobs, Jaap-Henk Hoepman, B. Jacobs, 2006 .
Bart Jacobs, B. Jacobs, 2011, Logica Universalis.
Bart Jacobs, Jaap-Henk Hoepman, 2005 .
Bart Jacobs, Joseph Kiniry, Engelbert Hubbers, 2004, AMAST.
Bart Jacobs, Joeri de Ruiter, Eric R. Verheul, 2016, IACR Cryptol. ePrint Arch..
Wouter Joosen, Frank Piessens, Bart Jacobs, 2003 .
Bart Jacobs, B. Jacobs, 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Bart Jacobs, Jurriaan Rot, Paul Blain Levy, 2018, CMCS.
Bart Jacobs, B. Jacobs, 1991 .
Bart Jacobs, Aleks Kissinger, Fabio Zanasi, 2019 .
Bart Jacobs, B. Jacobs, 2009, 0911.3834.
Bart Jacobs, Jorik Mandemaker, B. Jacobs, 2011 .
Bart Jacobs, Jorik Mandemaker, B. Jacobs, 2012 .
Bart Jacobs, B. Jacobs, 2013 .
Bart Jacobs, Chris Heunen, B. Jacobs, 2009 .
Bart Jacobs, Robert Furber, B. Jacobs, 2015 .
Bart Jacobs, Claudio Hermida, Bart Jacobs, 1995, Math. Struct. Comput. Sci..
Bart Jacobs, Erik Poll, Cees-Bart Breunesse, 2001 .