431 citations
- Technical University of DenmarkDK18 papers
- IMDEA Software InstituteES11 papers
- University of CopenhagenDK10 papers
- Danish National Research FoundationDK8 papers
- Centre National de la Recherche ScientifiqueFR7 papers
- University of California, BerkeleyUS7 papers
- Institut Laue-LangevinFR5 papers
- Nankai UniversityCN5 papers
- The University of SydneyAU5 papers
- Aalborg UniversityDK4 papers
- Deutsches Zentrum für Luft- und Raumfahrt e. V. (DLR)DE4 papers
- Monash UniversityAU4 papers
14 papers · 1 filter
Convex polyhedral abstractions, specialisation and property-based predicate splitting in Horn clause verification
Bishoksan Kafle, John P. Gallagher
We present an approach to constrained Horn clause (CHC) verification combining three techniques: abstract interpretation over a domain of convex polyhedra, specialisation of the co…
Computing the crystal growth rate by the interface pinning method
Ulf R. Pedersen, Felix Hummel, Christoph Dellago
An essential parameter for crystal growth is the kinetic coefficient given by the proportionality between super-cooling and average growth velocity. Here we show that this coeffici…
Cooee bitumen II: Stability of linear asphaltene nanoaggregates
Claire A. Lemarchand, Thomas B. Schrøder, Jeppe C. Dyre +1
Asphaltene and smaller aromatic molecules tend to form linear nanoaggregates in bitumen.Over the years bitumen undergoes chemical aging and during this process, the size of the nan…
Supramolecular structures in monohydroxy alcohols: Insights from shear-mechanical studies of a systematic series of octanol structural isomers
Tina Hecksher, Bo Jakobsen
A recent study [Gainaru et al. PRL., 112, 098301 (2014)] of two supercooled monohydroxy alcohols close to the glass-transition temperature showed that the Debye peak, thus far main…
Simplicity of condensed matter at its core: Generic definition of a Roskilde-simple system
Thomas B. Schrøder, Jeppe C. Dyre
The theory of isomorphs is reformulated by defining Roskilde-simple systems (those with isomorphs) by the property that the order of the potential energies of configurations at one…
Isomorph invariance of classical crystals' structure and dynamics
Dan E. Albrechtsen, Andreas E. Olsen, Ulf R. Pedersen +2
This paper shows by computer simulations that some crystalline systems have curves in their thermodynamic phase diagrams, so-called isomorphs, along which structure and dynamics in…