Ansgar Fehnker

Dr,

Calculated based on number of publications stored in Pure and citations from Scopus
19982022

Research activity per year

Filter
Foreword/postscript/introduction

Search results

  • 2020

    Preface

    Fehnker, A. & Garavel, H., 2020, Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems, MARS 2020. Fehnker, A. & Garavel, H. (eds.). Waterloo, NSW: Open Publishing Association, 1 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS).

    Research output: Chapter in Book/Report/Conference proceedingForeword/postscript/introduction

    Open Access
  • 2015

    Preface

    Davis, M., Fehnker, A., McIver, A. & Voronkov, A., 2015, Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015 Suva, Fiji, November 24–28, 2015, Proceedings. Davis, M., Fehnker, A., McIver, A. & Voronkov, A. (eds.). Berlin: Springer, Springer Nature, 1 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9450).

    Research output: Chapter in Book/Report/Conference proceedingForeword/postscript/introduction