Bart Jacobs
AuthID: R-001-NHP
1
TITLE: Proceedings of the 2014 ACM SIGPLAN Workshop on Programming Languages meets Program Verification, PLPV 2014, January 21, 2014, San Diego, California, USA, Co-located with POPL '14
AUTHORS: Nils Anders Danielsson; Bart Jacobs;
PUBLISHED: 2014, SOURCE: PLPV
AUTHORS: Nils Anders Danielsson; Bart Jacobs;
PUBLISHED: 2014, SOURCE: PLPV
INDEXED IN: 
DBLP
DBLP2
TITLE: Preface
AUTHORS: Bart Jacobs; Alexandra Silva ; Sam Staton;
PUBLISHED: 2014, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 308
AUTHORS: Bart Jacobs; Alexandra Silva ; Sam Staton;
PUBLISHED: 2014, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 308
INDEXED IN: 
CrossRef
CrossRef3
TITLE: Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2014, Ithaca, NY, USA, June 12-15, 2014
AUTHORS: Bart Jacobs; Alexandra Silva; Sam Staton;
PUBLISHED: 2014, SOURCE: MFPS, VOLUME: 308
AUTHORS: Bart Jacobs; Alexandra Silva; Sam Staton;
PUBLISHED: 2014, SOURCE: MFPS, VOLUME: 308
INDEXED IN: DBLP
DBLP4
TITLE: Preface Full Text
AUTHORS: Bart Jacobs; Milad Niqui; Jan Rutten; Alexandra Silva ;
PUBLISHED: 2011, SOURCE: Theoretical Computer Science, VOLUME: 412, ISSUE: 38
AUTHORS: Bart Jacobs; Milad Niqui; Jan Rutten; Alexandra Silva ;
PUBLISHED: 2011, SOURCE: Theoretical Computer Science, VOLUME: 412, ISSUE: 38
5
TITLE: Preface
AUTHORS: Bart Jacobs; Milad Niqui; Jan Rutten; Alexandra Silva ;
PUBLISHED: 2010, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 264, ISSUE: 2
AUTHORS: Bart Jacobs; Milad Niqui; Jan Rutten; Alexandra Silva ;
PUBLISHED: 2010, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 264, ISSUE: 2
INDEXED IN: CrossRef
CrossRef6
TITLE: Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer Science, CMCS 2010, Paphos, Cyprus, March 26-28, 2010
AUTHORS: Bart Jacobs; Milad Niqui; Jan J M M Rutten; Alexandra Silva;
PUBLISHED: 2010, SOURCE: CMCS, VOLUME: 264, ISSUE: 2
AUTHORS: Bart Jacobs; Milad Niqui; Jan J M M Rutten; Alexandra Silva;
PUBLISHED: 2010, SOURCE: CMCS, VOLUME: 264, ISSUE: 2
INDEXED IN: DBLP
DBLP