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.

16 Publications


2023 | Journal Article | LibreCat-ID: 33947
J. Castenow, J. Harbig, D. Jung, T. Knollmann, and F. Meyer auf der Heide, “Gathering a Euclidean Closed Chain of Robots in Linear Time and Improved Algorithms for Chain-Formation,” Theoretical Computer Science, vol. 939, pp. 261–291, 2023, doi: 10.1016/j.tcs.2022.10.031.
LibreCat | DOI | arXiv
 

2023 | Journal Article | LibreCat-ID: 44857
H. O. M. Silva, D. P. Rubert, E. Araujo, E. Steffen, D. Doerr, and F. V. Martinez, “Algorithms for the genome median under a restricted measure of rearrangement,” RAIRO - Operations Research, vol. 57, no. 3, pp. 1045–1058, 2023, doi: 10.1051/ro/2023052.
LibreCat | DOI
 

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

2023 | Journal Article | LibreCat-ID: 48946
I. Gräßler, E. Bodden, D. Wiechel, and J. Pottebaum, “Defense-in-Depth als neues Paradigma der sicherheitsgerechten Produktentwicklung: interdisziplinäre, bedrohungsbewusste und lösungsorientierte Security,” Konstruktion, vol. 75, no. 11–12, pp. 60–65, 2023, doi: 10.37544/0720-5953-2023-11-12-60.
LibreCat | DOI
 

2023 | Journal Article | LibreCat-ID: 51357
E. Steffen and I. H. Wolf, “Rotation r-graphs,” Discrete Mathematics, Art. no. 113457, 2023, doi: 10.1016/j.disc.2023.113457.
LibreCat | DOI
 

2022 | Journal Article | LibreCat-ID: 29843
J. Castenow, P. Kling, T. Knollmann, and F. Meyer auf der Heide, “A Discrete and Continuous Study of the Max-Chain-Formation Problem,” Information and Computation, Art. no. 104877, 2022, doi: 10.1016/j.ic.2022.104877.
LibreCat | DOI
 

2022 | Journal Article | LibreCat-ID: 34700
S. Gharibian, M. Santha, J. Sikora, A. Sundaram, and J. Yirka, “Quantum generalizations of the polynomial hierarchy with applications to QMA(2),” Computational Complexity, vol. 31, no. 2, Art. no. 13, 2022, doi: 10.1007/s00037-022-00231-8.
LibreCat | DOI
 

2022 | Journal Article | LibreCat-ID: 31543
E. Steffen and I. H. Wolf, “Even Factors in Edge-Chromatic-Critical Graphs with a Small Number of Divalent Vertices,” Graphs and Combinatorics, vol. 38, no. 3, Art. no. 104, 2022, doi: 10.1007/s00373-022-02506-x.
LibreCat | DOI | arXiv
 

2022 | Journal Article | LibreCat-ID: 45847
J. Kontinen, A. Meier, and Y. Mahmood, “A parameterized view on the complexity of dependence and independence logic,” Journal of Logic and Computation, vol. 32, no. 8, pp. 1624–1644, 2022, doi: 10.1093/logcom/exac070.
LibreCat | DOI
 

2022 | Journal Article | LibreCat-ID: 33684 | OA
R. Schade et al., “Towards electronic structure-based ab-initio molecular dynamics simulations with hundreds of millions of atoms,” Parallel Computing, vol. 111, Art. no. 102920, 2022, doi: 10.1016/j.parco.2022.102920.
LibreCat | DOI | Download (ext.)
 

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

2021 | Journal Article | LibreCat-ID: 34042
J. Li, Y. Ma, Z. Miao, Y. Shi, W. Wang, and C.-Q. Zhang, “Nowhere-zero 3-flows in toroidal graphs,” Journal of Combinatorial Theory, Series B, vol. 153, pp. 61–80, 2021, doi: 10.1016/j.jctb.2021.11.001.
LibreCat | DOI
 

2021 | Journal Article | LibreCat-ID: 37146
S. Stieglitz, M. Mirbabaie, N. R. J. Möllmann, and J. Rzyski, “Collaborating with Virtual Assistants in Organizations: Analyzing Social Loafing Tendencies and Responsibility Attribution,” Information Systems Frontiers, vol. 24, no. 3, pp. 745–770, 2021, doi: 10.1007/s10796-021-10201-0.
LibreCat | DOI
 

2021 | Journal Article | LibreCat-ID: 53333
M. Winkler, “$L^1$ solutions to parabolic Keller-Segel systems involving arbitrary superlinear degradation,” ANNALI SCUOLA NORMALE SUPERIORE - CLASSE DI SCIENZE, pp. 141–172, 2021, doi: 10.2422/2036-2145.202005_016.
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 45845
Y. Mahmood, A. Meier, and J. Schmidt, “Parameterized complexity of abduction in Schaefer’s framework,” Journal of Logic and Computation, vol. 31, no. 1, pp. 266–296, 2020, doi: 10.1093/logcom/exaa079.
LibreCat | DOI
 

2014 | Journal Article | LibreCat-ID: 46266
B. Alizadeh, P. Behnam, and S. Sadeghi-Kohan, “A Scalable Formal Debugging Approach with Auto-Correction Capability based on Static Slicing and Dynamic Ranking for RTL Datapath Designs,” IEEE Transactions on Computers, pp. 1–1, 2014, doi: 10.1109/tc.2014.2329687.
LibreCat | DOI
 

Filters and Search Terms

keyword="Theoretical Computer Science"

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed