359 citations
- Goethe University FrankfurtDE69 papers
- Frankfurt Institute for Advanced StudiesDE20 papers
- GSI Helmholtz Centre for Heavy Ion ResearchDE14 papers
- Central China Normal UniversityCN8 papers
- Helsinki Institute of PhysicsFI8 papers
- Brookhaven National LaboratoryUS7 papers
- Technische Universität DarmstadtDE7 papers
- Lawrence Berkeley National LaboratoryUS6 papers
- Massachusetts Institute of TechnologyUS6 papers
- Wayne State UniversityUS6 papers
- Akita International UniversityJP5 papers
- Duke UniversityUS5 papers
Showing 2016Show all
2 papers · 1 filter
nucl-th2016★ 13 cited
Forced canonical thermalization in a hadronic transport approach at high density
Dmytro Oliinychenko, Hannah Petersen
Hadronic transport approaches based on an effective solution of the relativistic Boltzmann equation are widely applied for the dynamical description of heavy ion reactions at low b…
cs.LO2016★ 3 cited
Order-Invariance of Two-Variable Logic is Decidable
Thomas Zeume, Frederik Harwath
It is shown that order-invariance of two-variable first-logic is decidable in the finite. This is an immediate consequence of a decision procedure obtained for the finite satisfiab…