Publicacoes - INESC TEC

Publicações

Publicações por Alexandra Silva

2011

Preface

Autores
Jacobs, B; Niqui, M; Rutten, J; Silva, A;

Publicação
Theoretical Computer Science

Abstract

2010

Preface

Autores
Jacobs, B; Niqui, M; Rutten, JJMM; Silva, A;

Publicação
Electr. Notes Theor. Comput. Sci.

Abstract

2012

Position Automata for Kleene Algebra with Tests

Autores
Silva, A;

Publicação
Sci. Ann. Comp. Sci.

Abstract

2011

Concurrency and Interaction in Complex Systems

Autores
Mokhtar, SB; Bliudze, S; Bruni, R; Silva, A; Troina, A;

Publicação
Sci. Ann. Comp. Sci.

Abstract

2010

Generalizing the powerset construction, coalgebraically

Autores
Silva, A; Bonchi, F; Bonsangue, MM; Rutten, JJMM;

Publicação
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2010, December 15-18, 2010, Chennai, India

Abstract

2012

Logic and Program Semantics - Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday

Autores
Constable, RL; Silva, A;

Publicação
Logic and Program Semantics

Abstract