Bart Jacobs
AuthID: R-001-NHP
1
TÃTULO: 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
AUTORES: Nils Anders Danielsson; Bart Jacobs;
PUBLICAÇÃO: 2014, FONTE: PLPV
AUTORES: Nils Anders Danielsson; Bart Jacobs;
PUBLICAÇÃO: 2014, FONTE: PLPV
INDEXADO EM: 
DBLP
DBLP2
TÃTULO: Preface
AUTORES: Bart Jacobs; Alexandra Silva ; Sam Staton;
PUBLICAÇÃO: 2014, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 308
AUTORES: Bart Jacobs; Alexandra Silva ; Sam Staton;
PUBLICAÇÃO: 2014, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 308
INDEXADO EM: 
CrossRef
CrossRef3
TÃTULO: Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2014, Ithaca, NY, USA, June 12-15, 2014
AUTORES: Bart Jacobs; Alexandra Silva; Sam Staton;
PUBLICAÇÃO: 2014, FONTE: MFPS, VOLUME: 308
AUTORES: Bart Jacobs; Alexandra Silva; Sam Staton;
PUBLICAÇÃO: 2014, FONTE: MFPS, VOLUME: 308
INDEXADO EM: DBLP
DBLP4
TÃTULO: Preface Full Text
AUTORES: Bart Jacobs; Milad Niqui; Jan Rutten; Alexandra Silva ;
PUBLICAÇÃO: 2011, FONTE: Theoretical Computer Science, VOLUME: 412, NÚMERO: 38
AUTORES: Bart Jacobs; Milad Niqui; Jan Rutten; Alexandra Silva ;
PUBLICAÇÃO: 2011, FONTE: Theoretical Computer Science, VOLUME: 412, NÚMERO: 38
5
TÃTULO: Preface
AUTORES: Bart Jacobs; Milad Niqui; Jan Rutten; Alexandra Silva ;
PUBLICAÇÃO: 2010, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 264, NÚMERO: 2
AUTORES: Bart Jacobs; Milad Niqui; Jan Rutten; Alexandra Silva ;
PUBLICAÇÃO: 2010, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 264, NÚMERO: 2
INDEXADO EM: CrossRef
CrossRef6
TÃTULO: Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer Science, CMCS 2010, Paphos, Cyprus, March 26-28, 2010
AUTORES: Bart Jacobs; Milad Niqui; Jan J M M Rutten; Alexandra Silva;
PUBLICAÇÃO: 2010, FONTE: CMCS, VOLUME: 264, NÚMERO: 2
AUTORES: Bart Jacobs; Milad Niqui; Jan J M M Rutten; Alexandra Silva;
PUBLICAÇÃO: 2010, FONTE: CMCS, VOLUME: 264, NÚMERO: 2
INDEXADO EM: DBLP
DBLP