Bart Jacobs
AuthID: R-001-NHP
1
TITLE: Learning to Coordinate
AUTHORS: Gerco van Heerdt; Bart Jacobs; Tobias Kappé; Alexandra Silva;
PUBLISHED: 2018, SOURCE: It's All About Coordination - Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab, VOLUME: 10865
AUTHORS: Gerco van Heerdt; Bart Jacobs; Tobias Kappé; Alexandra Silva;
PUBLISHED: 2018, SOURCE: It's All About Coordination - Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab, VOLUME: 10865
INDEXED IN: DBLP
2
TITLE: Trace semantics via determinization Full Text
AUTHORS: Bart Jacobs; Alexandra Silva ; Ana Sokolova;
PUBLISHED: 2015, SOURCE: JOURNAL OF COMPUTER AND SYSTEM SCIENCES, VOLUME: 81, ISSUE: 5
AUTHORS: Bart Jacobs; Alexandra Silva ; Ana Sokolova;
PUBLISHED: 2015, SOURCE: JOURNAL OF COMPUTER AND SYSTEM SCIENCES, VOLUME: 81, ISSUE: 5
3
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
4
TITLE: Initial Algebras of Terms with Binding and Algebraic Structure
AUTHORS: Bart Jacobs; Alexandra Silva ;
PUBLISHED: 2014, SOURCE: Categories and Types in Logic, Language, and Physics - Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday, VOLUME: 8222
AUTHORS: Bart Jacobs; Alexandra Silva ;
PUBLISHED: 2014, SOURCE: Categories and Types in Logic, Language, and Physics - Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday, VOLUME: 8222
5
TITLE: Automata Learning: A Categorical Perspective
AUTHORS: Bart Jacobs; Alexandra Silva ;
PUBLISHED: 2014, SOURCE: Horizons of the Mind. A Tribute to Prakash Panangaden - Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday, VOLUME: 8464
AUTHORS: Bart Jacobs; Alexandra Silva ;
PUBLISHED: 2014, SOURCE: Horizons of the Mind. A Tribute to Prakash Panangaden - Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday, VOLUME: 8464
6
TITLE: Preface
AUTHORS: Bart Jacobs; Alexandra Silva; Sam Staton;
PUBLISHED: 2014, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 308
AUTHORS: Bart Jacobs; Alexandra Silva; Sam Staton;
PUBLISHED: 2014, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 308
INDEXED IN: DBLP
7
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
8
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
9
TITLE: Trace Semantics via Determinization
AUTHORS: Bart Jacobs; Alexandra Silva ; Ana Sokolova;
PUBLISHED: 2012, SOURCE: 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
AUTHORS: Bart Jacobs; Alexandra Silva ; Ana Sokolova;
PUBLISHED: 2012, SOURCE: 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
TITLE: Preface
AUTHORS: Bart Jacobs; Milad Niqui; Jan J M M Rutten; Alexandra Silva;
PUBLISHED: 2011, SOURCE: Theor. Comput. Sci., VOLUME: 412, ISSUE: 38
AUTHORS: Bart Jacobs; Milad Niqui; Jan J M M Rutten; Alexandra Silva;
PUBLISHED: 2011, SOURCE: Theor. Comput. Sci., VOLUME: 412, ISSUE: 38
INDEXED IN: DBLP