Sebastian Arming

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 5

Top Topics

Consistent Query Answering

Exptime Complete

Combined Complexity

Top Venues

Future Gener. Comput. Syst.

Publications

Lukasz Szustak, Marcin Lawenda, Sebastian Arming, Gregor Bankhamer, Christoph Schweimer, Robert Elsässer
Profiling and optimization of Python-based social sciences applications on HPC systems by means of task and data parallelism. Future Gener. Comput. Syst. 148 (2023)
Sebastian Arming, Ezio Bartocci, Krishnendu Chatterjee, Joost-Pieter Katoen, Ana Sokolova
Parameter-Independent Strategies for pMDPs via POMDPs. QEST (2018)
Sebastian Arming, Ezio Bartocci, Krishnendu Chatterjee, Joost-Pieter Katoen, Ana Sokolova
Parameter-Independent Strategies for pMDPs via POMDPs. CoRR (2018)
Sebastian Arming, Ezio Bartocci, Ana Sokolova
SEA-PARAM: Exploring Schedulers in Parametric MDPs. QAPL@ETAPS (2017)
Sebastian Arming, Reinhard Pichler, Emanuel Sallinger
Complexity of Repair Checking and Consistent Query Answering. ICDT (2016)
Sebastian Arming, Reinhard Pichler, Emanuel Sallinger
Combined Complexity of Repair Checking and Consistent Query Answering. AMW (2014)
Sebastian Arming, Roman Fenkhuber, Thomas Handl
Data compression in hardware - The Burrows-Wheeler approach. DDECS (2010)