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 AccessFile6 Citations (Scopus)89 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 AccessFile56 Downloads (Pure) -
2002
Sources and processes of nitrogen along the lower Jordan River
Segal-Rozenhaimer, M., Holtzman, R., Shaviv, A., Vengosh, A., Farber, E., Gavrieli, I., Bullen, T., Mayer, B. & Shavit, U., Aug 2002, In: Geochimica et Cosmochimica Acta. 66, 15A, p. A695 1 p.Research output: Contribution to journal › Meeting Abstract