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
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
INDEXADO EM: Scopus WOS DBLP CrossRef: 16
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
INDEXADO EM: DBLP CrossRef: 1
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
INDEXADO EM: DBLP CrossRef: 6
6
TÍTULO: Preface
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
INDEXADO EM: CrossRef
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
INDEXADO EM: DBLP CrossRef: 12
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
INDEXADO EM: DBLP
Página 1 de 2. Total de resultados: 14.