7.7k citations
- W. Janke50 · h 42
- G. L. Klimchitskaya2 profiles22 · h 46
- Wolfhard Janke2 profiles22 · h 11
- P. Esquinazi3 profiles21 · h 46
- M. Bachmann19 · h 31
- V. Mostepanenko18 · h 48
- A. Schiller3 profiles15 · h 25
- M. Bordag3 profiles14 · h 32
- H. Perlt3 profiles12 · h 25
- B. Geyer2 profiles11 · h 18
- D. Ihle2 profiles10 · h 21
- G. Schierholz3 profiles10 · h 48
- Max Planck Institute for Mathematics in the SciencesDE22 papers
- Max Planck Institute for MathematicsDE16 papers
- Forschungszentrum JülichDE14 papers
- North-West State Technical UniversityRU12 papers
- Deutsches Elektronen-Synchrotron DESYDE11 papers
- University of EdinburghGB11 papers
- University of LiverpoolGB10 papers
- University of RegensburgDE10 papers
- National Academy of Sciences of UkraineUA9 papers
- Research Institute of Precision Instruments (Russia)RU9 papers
- Yukhnovskii Institute for Condensed Matter Physics of the National Academy of Sciences of UkraineUA9 papers
- Centre National de la Recherche ScientifiqueFR8 papers
21 papers · 1 filter
A semigroup approach to the numerical range of operators on Banach spaces
Martin Adler, Waed Dada, Agnes Radl
We introduce the numerical spectrum of an (unbounded) linear operator on a Banach space and study its properties. Our definition is closely relat…
Weighted Automata and Logics for Infinite Nested Words
Manfred Droste, Stefan Dück
Nested words introduced by Alur and Madhusudan are used to capture structures with both linear and hierarchical order, e.g. XML documents, without losing valuable closure propertie…
A Nivat Theorem for Weighted Timed Automata and Weighted Relative Distance Logic
Manfred Droste, Vitaly Perevoshchikov
Weighted timed automata (WTA) model quantitative aspects of real-time systems like continuous consumption of memory, power or financial resources. They accept quantitative timed la…
Multi-weighted Automata and MSO Logic
Manfred Droste, Vitaly Perevoshchikov
Weighted automata are non-deterministic automata where the transitions are equipped with weights. They can model quantitative aspects of systems like costs or energy consumption. T…
Numerical survey of the tunable condensate shape and scaling laws in pair-factorized steady states
Eugen Ehrenpreis, Hannes Nagel, Wolfhard Janke
We numerically survey predictions on the shapes and scaling laws of particle condensates that emerge as a result of spontaneous symmetry breaking in pair- factorized steady states…
Multi-Context Systems for Reactive Reasoning in Dynamic Environments
Gerhard Brewka, Stefan Ellmauthaler, Jörg Pührer
We show in this paper how managed multi-context systems (mMCSs) can be turned into a reactive formalism suitable for continuous reasoning in dynamic environments. We extend mMCSs w…