Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
The logic of identity and copy for computational artefacts | Journal of Logic and Computation |
| 5 | 2018 |
What an Algorithm Is | Philosophy & Technology | 62 | 2016 | |
Software Intensive Science | Philosophy & Technology | 17 | 2014 | |
The Problem of Justification of Empirical Hypotheses in Software Testing | Philosophy & Technology | 5 | 2014 | |
Model-based abductive reasoning in automated software testing | Logic Journal of the IGPL |
| 8 | 2013 |
Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
A Pragmatic Theory of Computational Artefacts | Minds and Machines |
| 1 | 2023 |
Category | Category Repetition |
---|---|
Science: Mathematics: Instruments and machines: Electronic computers. Computer science | 1 |