Publications en collaboration avec des chercheurs de University of Münster (8)

2024

  1. Preface

    Communications in Computer and Information Science

  2. Preface

    Communications in Computer and Information Science

  3. Preface

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

  4. Preface

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

2023

  1. Preface

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

  2. Preface

    Communications in Computer and Information Science

2015

  1. Checking Java assertions using automated test-case generation

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

2002

  1. Declarative debugging for encapsulated search

    Electronic Notes in Theoretical Computer Science