Bart Jacobs
AuthID: R-001-NHP
1
TÃTULO: Learning to Coordinate
AUTORES: Gerco van Heerdt; Bart Jacobs; Tobias Kappé; Alexandra Silva;
PUBLICAÇÃO: 2018, FONTE: It's All About Coordination - Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab, VOLUME: 10865
AUTORES: Gerco van Heerdt; Bart Jacobs; Tobias Kappé; Alexandra Silva;
PUBLICAÇÃO: 2018, FONTE: It's All About Coordination - Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab, VOLUME: 10865
INDEXADO EM: DBLP
2
TÃTULO: Trace semantics via determinization Full Text
AUTORES: Bart Jacobs; Alexandra Silva ; Ana Sokolova;
PUBLICAÇÃO: 2015, FONTE: JOURNAL OF COMPUTER AND SYSTEM SCIENCES, VOLUME: 81, NÚMERO: 5
AUTORES: Bart Jacobs; Alexandra Silva ; Ana Sokolova;
PUBLICAÇÃO: 2015, FONTE: JOURNAL OF COMPUTER AND SYSTEM SCIENCES, VOLUME: 81, NÚMERO: 5
3
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
4
TÃTULO: Initial Algebras of Terms with Binding and Algebraic Structure
AUTORES: Bart Jacobs; Alexandra Silva ;
PUBLICAÇÃO: 2014, FONTE: Categories and Types in Logic, Language, and Physics - Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday, VOLUME: 8222
AUTORES: Bart Jacobs; Alexandra Silva ;
PUBLICAÇÃO: 2014, FONTE: Categories and Types in Logic, Language, and Physics - Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday, VOLUME: 8222
5
TÃTULO: Automata Learning: A Categorical Perspective
AUTORES: Bart Jacobs; Alexandra Silva ;
PUBLICAÇÃO: 2014, FONTE: Horizons of the Mind. A Tribute to Prakash Panangaden - Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday, VOLUME: 8464
AUTORES: Bart Jacobs; Alexandra Silva ;
PUBLICAÇÃO: 2014, FONTE: Horizons of the Mind. A Tribute to Prakash Panangaden - Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday, VOLUME: 8464
6
TÃTULO: Preface
AUTORES: Bart Jacobs; Alexandra Silva; Sam Staton;
PUBLICAÇÃO: 2014, FONTE: Electr. Notes Theor. Comput. Sci., VOLUME: 308
AUTORES: Bart Jacobs; Alexandra Silva; Sam Staton;
PUBLICAÇÃO: 2014, FONTE: Electr. Notes Theor. Comput. Sci., VOLUME: 308
INDEXADO EM: DBLP
7
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
8
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
9
TÃTULO: Trace Semantics via Determinization
AUTORES: Bart Jacobs; Alexandra Silva ; Ana Sokolova;
PUBLICAÇÃO: 2012, FONTE: Coalgebraic Methods in Computer Science - 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 - April 1, 2012, Revised Selected Papers, VOLUME: 7399
AUTORES: Bart Jacobs; Alexandra Silva ; Ana Sokolova;
PUBLICAÇÃO: 2012, FONTE: Coalgebraic Methods in Computer Science - 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 - April 1, 2012, Revised Selected Papers, VOLUME: 7399
10
TÃTULO: Preface
AUTORES: Bart Jacobs; Milad Niqui; Jan J M M Rutten; Alexandra Silva;
PUBLICAÇÃO: 2011, FONTE: Theor. Comput. Sci., VOLUME: 412, NÚMERO: 38
AUTORES: Bart Jacobs; Milad Niqui; Jan J M M Rutten; Alexandra Silva;
PUBLICAÇÃO: 2011, FONTE: Theor. Comput. Sci., VOLUME: 412, NÚMERO: 38
INDEXADO EM: DBLP