Faculty of Engineering, Environment & Computing

Research Output 1975 2020

Filter
Meeting Abstract
2016
1 Citation (Scopus)
40 Downloads (Pure)

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., Dec 2016, In : ACM Communications in Computer Algebra. 50, 4, p. 145-147

Research output: Contribution to journalMeeting Abstract

Open Access
File
Symbolic Computation
Decision Procedures
Interaction
Community
2015
10 Downloads (Pure)
Open Access
File
Hyperphosphatemia
Posters
Edetic Acid
Phosphates
Prospective Studies
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 journalMeeting Abstract