Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

15 Publications


2023 | Journal Article | LibreCat-ID: 33947
Gathering a Euclidean Closed Chain of Robots in Linear Time and Improved Algorithms for Chain-Formation
J. Castenow, J. Harbig, D. Jung, T. Knollmann, F. Meyer auf der Heide, Theoretical Computer Science 939 (2023) 261–291.
LibreCat | DOI | arXiv
 

2023 | Journal Article | LibreCat-ID: 44857
Algorithms for the genome median under a restricted measure of rearrangement
H.O.M. Silva, D.P. Rubert, E. Araujo, E. Steffen, D. Doerr, F.V. Martinez, RAIRO - Operations Research 57 (2023) 1045–1058.
LibreCat | DOI
 

2023 | Journal Article | LibreCat-ID: 45361 | OA
Breaking the exascale barrier for the electronic structure problem in ab-initio molecular dynamics
R. Schade, T. Kenter, H. Elgabarty, M. Lass, T. Kühne, C. Plessl, The International Journal of High Performance Computing Applications (2023).
LibreCat | DOI | Download (ext.)
 

2023 | Journal Article | LibreCat-ID: 48946 LibreCat | DOI
 

2023 | Journal Article | LibreCat-ID: 51357
Rotation r-graphs
E. Steffen, I.H. Wolf, Discrete Mathematics (2023).
LibreCat | DOI
 

2022 | Journal Article | LibreCat-ID: 29843
A Discrete and Continuous Study of the Max-Chain-Formation Problem
J. Castenow, P. Kling, T. Knollmann, F. Meyer auf der Heide, Information and Computation (2022).
LibreCat | DOI
 

2022 | Journal Article | LibreCat-ID: 34700
Quantum generalizations of the polynomial hierarchy with applications to QMA(2)
S. Gharibian, M. Santha, J. Sikora, A. Sundaram, J. Yirka, Computational Complexity 31 (2022).
LibreCat | DOI
 

2022 | Journal Article | LibreCat-ID: 31543
Even Factors in Edge-Chromatic-Critical Graphs with a Small Number of Divalent Vertices
E. Steffen, I.H. Wolf, Graphs and Combinatorics 38 (2022).
LibreCat | DOI | arXiv
 

2022 | Journal Article | LibreCat-ID: 45847
A parameterized view on the complexity of dependence and independence logic
J. Kontinen, A. Meier, Y. Mahmood, Journal of Logic and Computation 32 (2022) 1624–1644.
LibreCat | DOI
 

2022 | Journal Article | LibreCat-ID: 33684 | OA
Towards electronic structure-based ab-initio molecular dynamics simulations with hundreds of millions of atoms
R. Schade, T. Kenter, H. Elgabarty, M. Lass, O. Schütt, A. Lazzaro, H. Pabst, S. Mohr, J. Hutter, T. Kühne, C. Plessl, Parallel Computing 111 (2022).
LibreCat | DOI | Download (ext.)
 

2021 | Journal Article | LibreCat-ID: 30907
Exploiting Hardware-Based Data-Parallel and Multithreading Models for Smart Edge Computing in Reconfigurable FPGAs
A. Rodriguez, A. Otero, M. Platzner, E. De la Torre, IEEE Transactions on Computers (2021) 1–1.
LibreCat | DOI
 

2021 | Journal Article | LibreCat-ID: 34042
Nowhere-zero 3-flows in toroidal graphs
J. Li, Y. Ma, Z. Miao, Y. Shi, W. Wang, C.-Q. Zhang, Journal of Combinatorial Theory, Series B 153 (2021) 61–80.
LibreCat | DOI
 

2021 | Journal Article | LibreCat-ID: 37146
Collaborating with Virtual Assistants in Organizations: Analyzing Social Loafing Tendencies and Responsibility Attribution
S. Stieglitz, M. Mirbabaie, N.R.J. Möllmann, J. Rzyski, Information Systems Frontiers 24 (2021) 745–770.
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 45845
Parameterized complexity of abduction in Schaefer’s framework
Y. Mahmood, A. Meier, J. Schmidt, Journal of Logic and Computation 31 (2020) 266–296.
LibreCat | DOI
 

2014 | Journal Article | LibreCat-ID: 46266 LibreCat | DOI
 

Filters and Search Terms

keyword="Theoretical Computer Science"

Search

Filter Publications

Display / Sort

Export / Embed