Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
    Publications

    Publications by Alexandra Silva

    2016

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

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

    Publication
    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

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

    Publication
    ICE

    Abstract

    2010

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

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

    Publication
    ICE

    Abstract

    2012

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

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

    Publication
    ICE

    Abstract

    2011

    Sound and complete axiomatizations of coalgebraic language equivalence

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

    Publication
    CoRR

    Abstract

    2010

    Non-Deterministic Kleene Coalgebras

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

    Publication
    Logical Methods in Computer Science

    Abstract

    • 6
    • 13