Research output per year
Research output per year
Search results
-
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-147Research output: Contribution to journal › Meeting Abstract › peer-review
Open AccessFile3 Citations (Scopus)58 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 AccessFile12 Downloads (Pure)