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
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
INDEXED IN: Scopus WOS DBLP CrossRef: 16
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
INDEXED IN: DBLP CrossRef: 1
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
INDEXED IN: DBLP CrossRef: 6
6
TITLE: Preface
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
INDEXED IN: CrossRef
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
INDEXED IN: DBLP CrossRef: 12
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
INDEXED IN: DBLP
Page 1 of 2. Total results: 14.