School of Computing, Electronics and Maths

2 results

Filter

2016
Satisfiability Checking and Symbolic Computation
Abraham, E., Abbott, J., Becker, B., Bigatti, A. M., Brain, M., Buchberger, B., Cimatti, A., Davenport, J. H., England, M., Fontaine, P., Forrest, S., Griggio, A., Kroening, D., Seiler, W. M. & Sturm, T., 1 Dec 2016, In: ACM Communications in Computer Algebra. 50, 4, p. 145-147
Research output: Contribution to journal › Meeting Abstract › peer-review

Open Access
File
3 Citations (Scopus)

62 Downloads (Pure)
2015
The Effects of a Serious Game on Knowledge of CKD, Hyperphosphatemia, and Phosphate Binders in CKD Patients Stage 4/5: A Prospective Multinational Study [conference abstract]
Kato, P. & Hill, P., 21 May 2015, In: Nephrology Dialysis Transplantation. 30, Supplement 3, iii512.
Research output: Contribution to journal › Meeting Abstract › peer-review

Open Access
File
16 Downloads (Pure)