415 citations
- Universitat Autònoma de BarcelonaES11 papers
- Max Planck Institute for InformaticsDE10 papers
- Institute for Solid State Physics and OpticsHU7 papers
- Universität HamburgDE7 papers
- Częstochowa University of TechnologyPL6 papers
- Karlsruhe Institute of TechnologyDE6 papers
- Centre National de la Recherche ScientifiqueFR5 papers
- Hamburg University of TechnologyDE5 papers
- Max Planck SocietyDE5 papers
- Universität UlmDE5 papers
- University of KaiserslauternDE5 papers
- University of StuttgartDE5 papers
9 papers · 1 filter
Multidimensional semicircular limits on the free Wigner chaos
Ivan Nourdin, Giovanni Peccati, Roland Speicher
We show that, for sequences of vectors of multiple Wigner integrals with respect to a free Brownian motion, componentwise convergence to semicircular is equivalent to joint converg…
Proton diffusivity in the BaZr0.9Y0.1O3-δ proton conductor
Artur Braun, Sophie Duval, Peter Ried +7
The thermally activated proton diffusion in BaZr0.9Y0.1O3-δ was studied with electrochemical impedance spectroscopy (IS) and quasi-elastic neutron scattering (QENS) in the temperat…
Reactive Safety
Rüdiger Ehlers, Bernd Finkbeiner
The distinction between safety and liveness properties is a fundamental classification with immediate implications on the feasibility and complexity of various monitoring, model ch…
Imbibition in mesoporous silica: rheological concepts and experiments on water and a liquid crystal
Simon Gruener, Patrick Huber
We present, along with some fundamental concepts regarding imbibition of liquids in porous hosts, an experimental, gravimetric study on the capillarity-driven invasion dynamics of…
Experimental Aspects of Synthesis
Rüdiger Ehlers
We discuss the problem of experimentally evaluating linear-time temporal logic (LTL) synthesis tools for reactive systems. We first survey previous such work for the currently publ…
Proceedings International Workshop on Interactions, Games and Protocols
Johannes Reich, Bernd Finkbeiner
The focus of the iWIGP workshop is the interrelation between interactions, games and protocols. How does computer science deal with nondeterministic interactions where the actions…