E. Abraham
Identifiers
No identifiers captured yet.
Papers (5)
- Satisfiability Checking meets Symbolic Computation (Project Paper) cs.SC · 2016 · author #1
- Satisfiability Checking and Symbolic Computation cs.SC · 2016 · author #1
- Study of atomic motions in EuBCO using Moessbauer and EXAFS spectroscopies cond-mat.supr-con · 2001 · author #2
- About the influence of square-root Van Hove singularity on the critical temperature of high-Tc superconductors cond-mat.supr-con · 1998 · author #3
- Singularity of the density of states in the two-dimensional Hubbard model from finite size scaling of Yang-Lee zeros cond-mat · 1995 · author #1
Mentions
No mention provenance yet.
Frequent Coauthors
- A. Cimatti 2 shared papers
- A. Griggio 2 shared papers
- A.M. Bigatti 2 shared papers
- B. Becker 2 shared papers
- B. Buchberger 2 shared papers
- D. Kroening 2 shared papers
- J. Abbott 2 shared papers
- J.H. Davenport 2 shared papers
- M. Brain 2 shared papers
- M. England 2 shared papers
- P. Fontaine 2 shared papers
- S. Forrest 2 shared papers
- T. Sturm 2 shared papers
- W.M. Seiler 2 shared papers
- E. A. Pashitskii 1 shared papers
- E.G. Klepfish 1 shared papers
- E.R. Pike 1 shared papers
- F. Allegretti 1 shared papers
- F. Del Giallo 1 shared papers
- F. Piazza 1 shared papers