Publicacións en colaboración con investigadores/as de Radboud University Nijmegen (8)

2017

  1. Games for bisimulations and abstraction

    Logical Methods in Computer Science, Vol. 13, Núm. 4

2016

  1. Branching bisimulation games

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2014

  1. ResAna: A resource analysis toolset for (real-time) JAVA

    Concurrency Computation , Vol. 26, Núm. 14, pp. 2432-2455

2012

  1. Interpolation-based height analysis for improving a recurrence solver

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  3. Making Resource Analysis Practical for Real-Time Java

    PROCEEDINGS OF THE 10TH INTERNATIONAL WORKSHOP ON JAVA TECHNOLOGIES FOR REAL-TIME AND EMBEDDED SYSTEMS

  4. Making resource analysis practical for real-time java

    ACM International Conference Proceeding Series

2009

  1. A brief history of A-MOST Special Issue containing selected papers from A-MOST 2008

    Journal of Logic and Algebraic Programming