Sebastian Arming

According to our database, Sebastian Arming authored at least 6 papers between 2010 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Profiling and optimization of Python-based social sciences applications on HPC systems by means of task and data parallelism.

Lukasz Szustak, Marcin Lawenda, Sebastian Arming, Gregor Bankhamer, Christoph Schweimer, Robert Elsässer

Future Gener. Comput. Syst., November, 2023

2018

Parameter-Independent Strategies for pMDPs via POMDPs.

Sebastian Arming, Ezio Bartocci, Krishnendu Chatterjee, Joost-Pieter Katoen, Ana Sokolova

Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018

2017

SEA-PARAM: Exploring Schedulers in Parametric MDPs.

Sebastian Arming, Ezio Bartocci, Ana Sokolova

Proceedings of the Proceedings 15th Workshop on Quantitative Aspects of Programming Languages and Systems, 2017

2016

Complexity of Repair Checking and Consistent Query Answering.

Sebastian Arming, Reinhard Pichler, Emanuel Sallinger

Proceedings of the 19th International Conference on Database Theory, 2016

2014

Combined Complexity of Repair Checking and Consistent Query Answering.

Sebastian Arming, Reinhard Pichler, Emanuel Sallinger

Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management, 2014

2010

Data compression in hardware - The Burrows-Wheeler approach.

Sebastian Arming, Roman Fenkhuber, Thomas Handl

Proceedings of the 13th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems, 2010