Publications

Publications by Alexandra Silva

2011

Preface

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

Publication
Theoretical Computer Science

Abstract

2010

Preface

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

Publication
Electr. Notes Theor. Comput. Sci.

Abstract

2012

Position Automata for Kleene Algebra with Tests

Authors
Silva, A;

Publication
Sci. Ann. Comp. Sci.

Abstract

2011

Concurrency and Interaction in Complex Systems

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

Publication
Sci. Ann. Comp. Sci.

Abstract

2010

Generalizing the powerset construction, coalgebraically

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

Publication
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

Authors
Constable, RL; Silva, A;

Publication
Logic and Program Semantics

Abstract