Lugano
Identifiers
- name variant Lugano 0.60 · backfill
Papers (6)
- Monotonic Abstraction Techniques: from Parametric to Software Model Checking cs.LO · 2014 · author #2
- A neural network interatomic potential for the phase change material GeTe cond-mat.mtrl-sci · 2012 · author #13
- Evolution of the structure of amorphous ice - from low-density amorphous (LDA) through high-density amorphous (HDA) to very high-density amorphous (VHDA) ice cond-mat.stat-mech · 2005 · author #7
- Simulation of structural phase transitions by metadynamics cond-mat.mtrl-sci · 2004 · author #10
- Polyamorphism of ice at low temperatures from constant-pressure simulations cond-mat.mtrl-sci · 2004 · author #7
- Quantum annealing of the Traveling Salesman Problem cond-mat.dis-nn · 2004 · author #8
Mentions
Frequent Coauthors
- Applied Biosciences 4 shared papers
- Department of Chemistry 4 shared papers
- ETH Zurich 3 shared papers
- Italy 3 shared papers
- Italy) 3 shared papers
- Milano 3 shared papers
- Switzerland) 3 shared papers
- D. Donadio 2 shared papers
- M. Parrinello (Computational Science 2 shared papers
- R. Martonak 2 shared papers
- Switzerland 2 shared papers
- (2) Computational Science 1 shared papers
- (2) Dipartimento di Scienza dei Materiali 1 shared papers
- (2) SISSA 1 shared papers
- 3) 1 shared papers
- 3) ((1) Dept. of Chemistry 1 shared papers
- (3) Department of Chemical 1 shared papers
- (3) ICTP 1 shared papers
- (3) Lehrstuhl f\"ur Theoretische Chemie 1 shared papers
- A. Laio (1) 1 shared papers