Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
    Publicações

    Publicações por Alexandra Silva

    2016

    Moessner's Theorem: An Exercise in Coinductive Reasoning in Coq

    Autores
    Krebbers, R; Parlant, L; Silva, A;

    Publicação
    Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

    Abstract

    2011

    Proceedings Fourth Interaction and Concurrency Experience, ICE 2011, Reykjavik, Iceland, 9th June 2011

    Autores
    Silva, A; Bliudze, S; Bruni, R; Carbone, M;

    Publicação
    ICE

    Abstract

    2010

    Proceedings Third Interaction and Concurrency Experience: Guaranteed Interaction, ICE 2010, Amsterdam, The Netherlands, 10th of June 2010

    Autores
    Bliudze, S; Bruni, R; Grohmann, D; Silva, A;

    Publicação
    ICE

    Abstract

    2012

    Proceedings Fifth Interaction and Concurrency Experience, ICE 2012, Stockholm, Sweden, 16th June 2012

    Autores
    Carbone, M; Lanese, I; Silva, A; Sokolova, A;

    Publicação
    ICE

    Abstract

    2011

    Sound and complete axiomatizations of coalgebraic language equivalence

    Autores
    Bonsangue, MarcelloM.; Milius, Stefan; Silva, Alexandra;

    Publicação
    CoRR

    Abstract

    2010

    Non-Deterministic Kleene Coalgebras

    Autores
    Silva, Alexandra; Bonsangue, MarcelloM.; Rutten, JanJ.M.M.;

    Publicação
    Logical Methods in Computer Science

    Abstract

    • 6
    • 13