98 citations
- Centre National de la Recherche ScientifiqueFR3 papers
- University of WarsawPL3 papers
- Carleton UniversityCA2 papers
- Forschungszentrum JülichDE2 papers
- Freie Universität BerlinDE2 papers
- Max Planck Institute for Nuclear PhysicsDE2 papers
- Max Planck SocietyDE2 papers
- Sorbonne UniversitéFR2 papers
- Universidade do PortoPT2 papers
- University of KaiserslauternDE2 papers
- Bahria UniversityPK1 paper
- Bariloche Atomic CentreAR1 paper
10 papers · 1 filter
Shared Contract-Obedient Endpoints
Étienne Lozes, Jules Villard
Most of the existing verification techniques for message-passing programs suppose either that channel endpoints are used in a linear fashion, where at most one thread may send or r…
The μ-Calculus Alternation Hierarchy Collapses over Structures with Restricted Connectivity
Julian Gutierrez, Felix Klaedtke, Martin Lange
It is known that the alternation hierarchy of least and greatest fixpoint operators in the mu-calculus is strict. However, the strictness of the alternation hierarchy does not nece…
Model-Checking Process Equivalences
Martin Lange, Etienne Lozes, Manuel Vargas Guzmán
Process equivalences are formal methods that relate programs and system which, informally, behave in the same way. Since there is no unique notion of what it means for two dynamic…
Optimized production of ultracold ground-state molecules: Stabilization employing potentials with ion-pair character and strong spin-orbit coupling
Michał Tomza, Michael H. Goerz, Monika Musiał +2
We discuss the production of ultracold molecules in their electronic ground state by photoassociation employing electronically excited states with ion-pair character and strong spi…
Quasi-Stability versus Genericity
Amir Hashemi, Michael Schweinfurter, Werner M. Seiler
Quasi-stable ideals appear as leading ideals in the theory of Pommaret bases. We show that quasi-stable leading ideals share many of the properties of the generic initial ideal. In…
The Effects of Prediction Market Design and Price Elasticity on Trading Performance of Users: An Experimental Analysis
Ivo Blohm, Christoph Riedl, Johann Füller +3
We employ a 2x3 factorial experiment to study two central factors in the design of prediction markets (PMs) for idea evaluation: the overall design of the PM, and the elasticity of…