Skip to contents

  1. Bonchi, Filippo; Bonsangue, Marcello; Caltais, Georgiana; Rutten, Jan; Silva, Alexandra

    Final Semantics for Decorated Traces

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Elsevier BV, 2012

    Published in: Electronic Notes in Theoretical Computer Science

  2. Jacobs, Bart; Niqui, Milad; Rutten, Jan; Silva, Alexandra

    Preface

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Elsevier BV, 2011

    Published in: Theoretical Computer Science

  3. Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan

    Quantitative Kleene coalgebras

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Elsevier BV, 2011

    Published in: Information and Computation

  4. Jacobs, Bart; Niqui, Milad; Rutten, Jan; Silva, Alexandra

    Preface

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Elsevier BV, 2010

    Published in: Electronic Notes in Theoretical Computer Science

  5. ROT, JURRIAAN; BONCHI, FILIPPO; BONSANGUE, MARCELLO; POUS, DAMIEN; RUTTEN, JAN; SILVA, ALEXANDRA

    Enhanced coalgebraic bisimulation

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Cambridge University Press (CUP), 2017

    Published in: Mathematical Structures in Computer Science

  6. Bonsangue, Marcello; Caltais, Georgiana; Goriac, Eugen-Ioan; Lucanu, Dorel; Rutten, Jan; Silva, Alexandra

    Lecture Notes in Computer Science: A Decision Procedure for Bisimilarity of Generalized Regular Expressions

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Springer Berlin Heidelberg, 2011

    Published in: Lecture Notes in Computer Science

  7. Greenberg-Worisek, Alexandra J; Kurani, Shaheen; Finney Rutten, Lila J; Blake, Kelly D; Moser, Richard P; Hesse, Bradford W

    Correction: Tracking Healthy People 2020 Internet, Broadband, and Mobile Device Access Goals: An Update Using Data From the Health Information National Trends Survey

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    JMIR Publications Inc., 2022

    Published in: Journal of Medical Internet Research

  8. Greenberg-Worisek, Alexandra J; Kurani, Shaheen; Finney Rutten, Lila J; Blake, Kelly D; Moser, Richard P; Hesse, Bradford W

    Tracking Healthy People 2020 Internet, Broadband, and Mobile Device Access Goals: An Update Using Data From the Health Information National Trends Survey

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    JMIR Publications Inc., 2019

    Published in: Journal of Medical Internet Research

  9. Dimmeler, Stefanie; Aicher, Alexandra; Vasa, Mariuca; Mildner-Rihm, Christiane; Adler, Klaudia; Tiemann, Michaela; Rütten, Hartmut; Fichtlscherer, Stephan; Martin, Hans; Zeiher, Andreas M.

    HMG-CoA reductase inhibitors (statins) increase endothelial progenitor cells via the PI 3-kinase/Akt pathway

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    American Society for Clinical Investigation, 2001

    Published in: Journal of Clinical Investigation