If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Editorial
2020

Foreword (to special issue on ICMS 2018)

Labahn, G., Davenport, J. H. & Urban, J., 23 Apr 2020, In : Mathematics in Computer Science.

Research output: Contribution to journalEditorial

2019

Foreword

Davenport, J. H., Kovacs, L. & Zaharie, D., 1 Dec 2019, In : Mathematics in Computer Science. 13, 4, p. 459-460 2 p.

Research output: Contribution to journalEditorial

Foreword

Davenport, J., Wang, D., Kauers, M. & Bradford, R., 8 Jul 2019, In : Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC. p. III-IV 2 p.

Research output: Contribution to journalEditorial

Symbolic computation and satisfiability checking

Davenport, J. H., England, M., Griggio, A., Sturm, T. & Tinelli, C., 26 Jul 2019, In : Journal of Symbolic Computation.

Research output: Contribution to journalEditorial

3 Citations (Scopus)

Symbolic computation in software science

Davenport, J. H. & Kutsia, T., 1 Jan 2019, In : Journal of Symbolic Computation. 90, p. 1-2 2 p.

Research output: Contribution to journalEditorial

2018

Preface

Davenport, J. H., Kauers, M., Labahn, G. & Urban, J., 2018, In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 10931 LNCS

Research output: Contribution to journalEditorial