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, et al. “Gathering a Euclidean Closed Chain of Robots in Linear Time and Improved Algorithms for Chain-Formation.” Theoretical Computer Science, vol. 939, Elsevier BV, 2023, pp. 261–91, doi:10.1016/j.tcs.2022.10.031.
LibreCat
| DOI
| arXiv
2023 | Journal Article | LibreCat-ID: 44857
Silva, Helmuth O. M., et al. “Algorithms for the Genome Median under a Restricted Measure of Rearrangement.” RAIRO - Operations Research, vol. 57, no. 3, EDP Sciences, 2023, pp. 1045–58, doi:10.1051/ro/2023052.
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 45361 | 
Schade, Robert, et al. “Breaking the Exascale Barrier for the Electronic Structure Problem in Ab-Initio Molecular Dynamics.” The International Journal of High Performance Computing Applications, 109434202311776, SAGE Publications, 2023, doi:10.1177/10943420231177631.
LibreCat
| DOI
| Download (ext.)
2023 | Journal Article | LibreCat-ID: 48946
Gräßler, Iris, et al. “Defense-in-Depth als neues Paradigma der sicherheitsgerechten Produktentwicklung: interdisziplinäre, bedrohungsbewusste und lösungsorientierte Security.” Konstruktion, vol. 75, no. 11–12, VDI Fachmedien GmbH and Co. KG, 2023, pp. 60–65, doi: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, 113457, Elsevier BV, 2023, doi:10.1016/j.disc.2023.113457.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 29843
Castenow, Jannik, et al. “A Discrete and Continuous Study of the Max-Chain-Formation Problem.” Information and Computation, 104877, Elsevier BV, 2022, doi:10.1016/j.ic.2022.104877.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 34700
Gharibian, Sevag, et al. “Quantum Generalizations of the Polynomial Hierarchy with Applications to QMA(2).” Computational Complexity, vol. 31, no. 2, 13, Springer Science and Business Media LLC, 2022, doi: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, vol. 38, no. 3, 104, Springer Science and Business Media LLC, 2022, doi:10.1007/s00373-022-02506-x.
LibreCat
| DOI
| arXiv
2022 | Journal Article | LibreCat-ID: 45847
Kontinen, Juha, et al. “A Parameterized View on the Complexity of Dependence and Independence Logic.” Journal of Logic and Computation, vol. 32, no. 8, Oxford University Press (OUP), 2022, pp. 1624–44, doi:10.1093/logcom/exac070.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 33684 |
Schade, Robert, et al. “Towards Electronic Structure-Based Ab-Initio Molecular Dynamics Simulations with Hundreds of Millions of Atoms.” Parallel Computing, vol. 111, 102920, Elsevier BV, 2022, doi:10.1016/j.parco.2022.102920.
LibreCat
| DOI
| Download (ext.)
2021 | Journal Article | LibreCat-ID: 30907
Rodriguez, Alfonso, et al. “Exploiting Hardware-Based Data-Parallel and Multithreading Models for Smart Edge Computing in Reconfigurable FPGAs.” IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers (IEEE), 2021, pp. 1–1, doi:10.1109/tc.2021.3107196.
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 34042
Li, Jiaao, et al. “Nowhere-Zero 3-Flows in Toroidal Graphs.” Journal of Combinatorial Theory, Series B, vol. 153, Elsevier BV, 2021, pp. 61–80, doi:10.1016/j.jctb.2021.11.001.
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 37146
Stieglitz, Stefan, et al. “Collaborating with Virtual Assistants in Organizations: Analyzing Social Loafing Tendencies and Responsibility Attribution.” Information Systems Frontiers, vol. 24, no. 3, Springer Science and Business Media LLC, 2021, pp. 745–70, doi: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, Scuola Normale Superiore - Edizioni della Normale, 2021, pp. 141–72, doi:10.2422/2036-2145.202005_016.
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 45845
Mahmood, Yasir, et al. “Parameterized Complexity of Abduction in Schaefer’s Framework.” Journal of Logic and Computation, vol. 31, no. 1, Oxford University Press (OUP), 2020, pp. 266–96, doi:10.1093/logcom/exaa079.
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 46266
Alizadeh, Bijan, et al. “A Scalable Formal Debugging Approach with Auto-Correction Capability Based on Static Slicing and Dynamic Ranking for RTL Datapath Designs.” IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers (IEEE), 2014, pp. 1–1, doi:10.1109/tc.2014.2329687.
LibreCat
| DOI