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
Castenow, Jannik, Jonas Harbig, Daniel Jung, Till Knollmann, and Friedhelm Meyer auf der Heide. “Gathering a Euclidean Closed Chain of Robots in Linear Time and Improved Algorithms for Chain-Formation.” Theoretical Computer Science 939 (2023): 261–91. https://doi.org/10.1016/j.tcs.2022.10.031.
LibreCat | DOI | arXiv
 

2023 | Journal Article | LibreCat-ID: 44857
Silva, Helmuth O.M., Diego P. Rubert, Eloi Araujo, Eckhard Steffen, Daniel Doerr, and Fábio V. Martinez. “Algorithms for the Genome Median under a Restricted Measure of Rearrangement.” RAIRO - Operations Research 57, no. 3 (2023): 1045–58. https://doi.org/10.1051/ro/2023052.
LibreCat | DOI
 

2023 | Journal Article | LibreCat-ID: 45361 | OA
Schade, Robert, Tobias Kenter, Hossam Elgabarty, Michael Lass, Thomas Kühne, and Christian Plessl. “Breaking the Exascale Barrier for the Electronic Structure Problem in Ab-Initio Molecular Dynamics.” The International Journal of High Performance Computing Applications, 2023. https://doi.org/10.1177/10943420231177631.
LibreCat | DOI | Download (ext.)
 

2023 | Journal Article | LibreCat-ID: 48946
Gräßler, Iris, Eric Bodden, Dominik Wiechel, and Jens Pottebaum. “Defense-in-Depth als neues Paradigma der sicherheitsgerechten Produktentwicklung: interdisziplinäre, bedrohungsbewusste und lösungsorientierte Security.” Konstruktion 75, no. 11–12 (2023): 60–65. https://doi.org/10.37544/0720-5953-2023-11-12-60.
LibreCat | DOI
 

2023 | Journal Article | LibreCat-ID: 51357
Steffen, Eckhard, and Isaak Hieronymus Wolf. “Rotation R-Graphs.” Discrete Mathematics, 2023. https://doi.org/10.1016/j.disc.2023.113457.
LibreCat | DOI
 

2022 | Journal Article | LibreCat-ID: 29843
Castenow, Jannik, Peter Kling, Till Knollmann, and Friedhelm Meyer auf der Heide. “A Discrete and Continuous Study of the Max-Chain-Formation Problem.” Information and Computation, 2022. https://doi.org/10.1016/j.ic.2022.104877.
LibreCat | DOI
 

2022 | Journal Article | LibreCat-ID: 34700
Gharibian, Sevag, Miklos Santha, Jamie Sikora, Aarthi Sundaram, and Justin Yirka. “Quantum Generalizations of the Polynomial Hierarchy with Applications to QMA(2).” Computational Complexity 31, no. 2 (2022). https://doi.org/10.1007/s00037-022-00231-8.
LibreCat | DOI
 

2022 | Journal Article | LibreCat-ID: 31543
Steffen, Eckhard, and Isaak Hieronymus Wolf. “Even Factors in Edge-Chromatic-Critical Graphs with a Small Number of Divalent Vertices.” Graphs and Combinatorics 38, no. 3 (2022). https://doi.org/10.1007/s00373-022-02506-x.
LibreCat | DOI | arXiv
 

2022 | Journal Article | LibreCat-ID: 45847
Kontinen, Juha, Arne Meier, and Yasir Mahmood. “A Parameterized View on the Complexity of Dependence and Independence Logic.” Journal of Logic and Computation 32, no. 8 (2022): 1624–44. https://doi.org/10.1093/logcom/exac070.
LibreCat | DOI
 

2022 | Journal Article | LibreCat-ID: 33684 | OA
Schade, Robert, Tobias Kenter, Hossam Elgabarty, Michael Lass, Ole Schütt, Alfio Lazzaro, Hans Pabst, et al. “Towards Electronic Structure-Based Ab-Initio Molecular Dynamics Simulations with Hundreds of Millions of Atoms.” Parallel Computing 111 (2022). https://doi.org/10.1016/j.parco.2022.102920.
LibreCat | DOI | Download (ext.)
 

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

2021 | Journal Article | LibreCat-ID: 34042
Li, Jiaao, Yulai Ma, Zhengke Miao, Yongtang Shi, Weifan Wang, and Cun-Quan Zhang. “Nowhere-Zero 3-Flows in Toroidal Graphs.” Journal of Combinatorial Theory, Series B 153 (2021): 61–80. https://doi.org/10.1016/j.jctb.2021.11.001.
LibreCat | DOI
 

2021 | Journal Article | LibreCat-ID: 37146
Stieglitz, Stefan, Milad Mirbabaie, Nicholas R. J. Möllmann, and Jannik Rzyski. “Collaborating with Virtual Assistants in Organizations: Analyzing Social Loafing Tendencies and Responsibility Attribution.” Information Systems Frontiers 24, no. 3 (2021): 745–70. https://doi.org/10.1007/s10796-021-10201-0.
LibreCat | DOI
 

2021 | Journal Article | LibreCat-ID: 53333
Winkler, Michael. “$L^1$ Solutions to Parabolic Keller-Segel Systems Involving Arbitrary Superlinear Degradation.” ANNALI SCUOLA NORMALE SUPERIORE - CLASSE DI SCIENZE, 2021, 141–72. https://doi.org/10.2422/2036-2145.202005_016.
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 45845
Mahmood, Yasir, Arne Meier, and Johannes Schmidt. “Parameterized Complexity of Abduction in Schaefer’s Framework.” Journal of Logic and Computation 31, no. 1 (2020): 266–96. https://doi.org/10.1093/logcom/exaa079.
LibreCat | DOI
 

2014 | Journal Article | LibreCat-ID: 46266
Alizadeh, Bijan, Payman Behnam, and Somayeh 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, 2014, 1–1. https://doi.org/10.1109/tc.2014.2329687.
LibreCat | DOI
 

Filters and Search Terms

keyword="Theoretical Computer Science"

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed