133 citations
- Institut Laue-LangevinFR2 papers
- Centrum Wiskunde & InformaticaNL1 paper
- Chungnam National UniversityKR1 paper
- Helsinki Institute of PhysicsFI1 paper
- Humboldt-Universität zu BerlinDE1 paper
- Institut d'électronique de microélectronique et de nanotechnologieFR1 paper
- Institute for Solid State Physics and OpticsHU1 paper
- Johannes Gutenberg University MainzDE1 paper
- Karlsruhe Institute of TechnologyDE1 paper
- Kuwait UniversityKW1 paper
- Laurentian UniversityCA1 paper
- Max Planck Institute for InformaticsDE1 paper
5 papers · 1 filter
Logical Characterizations of Heap Abstractions
G. Yorsh, T. Reps, M. Sagiv +1
Shape analysis concerns the problem of determining "shape invariants" for programs that perform destructive updating on dynamically allocated storage. In recent work, we have shown…
Aging and scaling laws in -hydroquinone-clathrate
Maikel C. Rheinstädter, Heiko Rieger, Klaus Knorr
The dielectric permittivity of the orientational glass methanol(x=0.73)--hydroquinone-clathrate has been studied as function of temperature and waiting time using different temp…
Central limit theorems for Coxeter systems and Artin systems of extra large type
gero Fendler
Given a Coxeter system of large type we prove a non--commutative central limit theorem: After normalisation with the square root of n the characteristic function of the set of the…
Random Walks on Complex Networks
Jae Dong Noh, Heiko Rieger
We investigate random walks on complex networks and derive an exact expression for the mean first passage time (MFPT) between two nodes. We introduce for each node the random walk…
Pattern formation driven by nematic ordering of assembling biopolymers
Falko Ziebert, Walter Zimmermann
The biopolymers actin and microtubules are often in an ongoing assembling/disassembling state far from thermal equilibrium. Above a critical density this leads to spatially periodi…