Faculty of Engineering, Environment & Computing

Research Output

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

Research output: Contribution to journalMeeting Abstract

Open Access
File
2 Citations (Scopus)
54 Downloads (Pure)
2015
Open Access
File
10 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 journalMeeting Abstract