E. Lipparini

University of Genoa — Italy

Physics and Astronomy · Physical Sciences

28h-index2.7kcitations157works0.82yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Quantum and electron transport phenomena(60), Advanced Chemical Physics Studies(46), Nuclear physics research studies(37), Semiconductor Quantum Structures and Devices(32), Physics of Superconductivity and Magnetism(27)

Publications157 total

A theory of Lending Protocols in DeFi
arXiv (Cornell University)·2025Open Access
Boosting MCSat Modulo Nonlinear Integer Arithmetic via Local Search
arXiv (Cornell University)·2025Open Access
Satisfiability of Non-linear Transcendental Arithmetic as a Certificate Search Problem
Journal of Automated Reasoning·2025· 2 cited
Formal Verification in Solidity and Move: Insights from a Comparative Analysis
ArXiv.org·2025Open Access
Boosting MCSat Modulo Nonlinear Integer Arithmetic via Local Search
Lecture notes in computer science·2025Open Access
Solvent: Liquidity Verification of Smart Contracts
Lecture notes in computer science·2024· 3 citedOpen Access
Satisfiability of Non-Linear Transcendental Arithmetic as a Certificate Search Problem
arXiv (Cornell University)·2023Open Access
NFM23_test
Zenodo (CERN European Organization for Nuclear Research)·2023Open Access
NFM23_test
Zenodo (CERN European Organization for Nuclear Research)·2023Open Access
Satisfiability of Non-linear Transcendental Arithmetic as a Certificate Search Problem
Lecture notes in computer science·2023· 3 cited
Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test
Lecture notes in computer science·2022· 7 citedOpen Access
Transverse isospin response function of asymmetric nuclear matter from a local isospin density functional
Physical review. C·2016· 3 cited
Asymmetric nuclear matter studied by time-dependent local isospin density approximation
Physical Review C·2013· 4 citedOpen Access
On the solutions of Landau transport equations in one-dimension and their equivalence with the Tomonaga–Luttinger model predictions
Physica E Low-dimensional Systems and Nanostructures·2012
Quantum Monte Carlo in Presence of Spin-Orbit Interaction
ACS symposium series·2012
Time-dependent local spin density approximation study of Luttinger liquids
Physical Review B·2011· 1 cited
Quantum Monte Carlo study of circular quantum dots in presence of Rashba interaction
Physical Review B·2011· 16 citedOpen Access
Spin-orbit excitations of quantum wells
Europhysics Letters (EPL)·2011· 5 citedOpen Access
Effect of interactions on the conductance of graphene nanoribbons
Physical Review B·2010· 7 citedOpen Access
Quantum Monte Carlo study of the two-dimensional electron gas in presence of Rashba interaction
Physical Review B·2009· 33 citedOpen Access
page 1 of 8Next →

Frequent Co-authors

Llorenç Serra(14), S. Stringari(13), M. Pí(11), M. Barranco(10), Francesco Pederiva(8), Agustí Emperador(7), M. Traini(5), F. Malet(4), R. Leonardi(4), C. J. Umrigar(3), X. Campi(3), J. Desbois(3), A. Puente(3), Nguyen Van Giai(3), Giuseppina Orlandini(3), S. Adachi(2), A. Richter(2), Alberto Ambrosetti(2), Manuel Valı́n-Rodrı́guez(2), Kazuo Takayanagi(2)