1.2k citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Centre National de la Recherche ScientifiqueFR44 papers
- Philipps University of MarburgDE30 papers
- Deutsches Elektronen-Synchrotron DESYDE27 papers
- Freie Universität BerlinDE24 papers
- European X-Ray Free-Electron LaserDE22 papers
- Goethe University FrankfurtDE22 papers
- University of FreiburgDE20 papers
- Hebrew University of JerusalemIL17 papers
- Fritz Haber Institute of the Max Planck SocietyDE16 papers
- Helmholtz-Zentrum Berlin für Materialien und EnergieDE16 papers
- Johannes Gutenberg University MainzDE14 papers
- Universität HamburgDE14 papers
14 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…
Electron wavefunction probing in room-temperature semiconductors: direct observation of Rabi oscillations and self-induced transparency
Amir Capua, Ouri Karni, Gadi Eisenstein +1
Quantum coherent light-matter interactions have been at the forefront of scientific interest since the fundamental predictions of Einstein and the later work of Rabi. Direct observ…
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…
Finite volume approach for the instationary Cosserat rod model describing the spinning of viscous jets
Walter Arne, Nicole Marheineke, Andreas Meister +1
The spinning of slender viscous jets can be described asymptotically by one-dimensional models that consist of systems of partial and ordinary differential equations. Whereas the w…
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…
Selecting fast folding proteins by their rate of convergence
Dmitry K. Gridnev, Pedro Ojeda-May, Martin E. Garcia
We propose a general method for predicting potentially good folders from a given number of amino acid sequences. Our approach is based on the calculation of the rate of convergence…
Formation of deeply bound ultracold Sr_2 molecules by photoassociation near the ^1S + ^3P_1 intercombination line
Wojciech Skomorowski, Robert Moszynski, Christiane P. Koch
We predict feasibility of the photoassociative formation of Sr_2 molecules in arbitrary vibrational levels of the electronic ground state based on state-of-the-art ab initio calcul…
Rovibrational dynamics of the strontium molecule in the A^1Σ_u^+, c^3Π_u, and a^3Σ_u^+ manifold from state-of-the-art ab initio calculations
Wojciech Skomorowski, Filip Pawlowski, Christiane P. Koch +1
State-of-the-art ab initio techniques have been applied to compute the potential energy curves for the electronic states in the A^1Σ_u^+, c^3Π_u, and a^3Σ_u^+ manifold of the stron…
Model-Checking the Higher-Dimensional Modal mu-Calculus
Martin Lange, Etienne Lozes
The higher-dimensional modal mu-calculus is an extension of the mu-calculus in which formulas are interpreted in tuples of states of a labeled transition system. Every property tha…
First-principles study of structural, magnetic and electronic properties of small FeRh alloy clusters
Junais Habeeb Mokkath, G. M. Pastor
The structural, electronic and magnetic properties of small clusters having atoms are studied in the framework of a generalized-gradient ap…
Femtosecond two-photon photoassociation of hot magnesium atoms: A quantum dynamical study using thermal random phase wavefunctions
Saieswari Amaran, Ronnie Kosloff, Michał Tomza +9
Two-photon photoassociation of hot magnesium atoms by femtosecond laser pulses, creating electronically excited magnesium dimer molecules, is studied from first principles, combini…