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 J, Harbig J, Jung D, Knollmann T, Meyer auf der Heide F. Gathering a Euclidean Closed Chain of Robots in Linear Time and Improved Algorithms for Chain-Formation. Theoretical Computer Science. 2023;939:261-291. doi:10.1016/j.tcs.2022.10.031
LibreCat
| DOI
| arXiv
2023 | Journal Article | LibreCat-ID: 44857
Silva HOM, Rubert DP, Araujo E, Steffen E, Doerr D, Martinez FV. Algorithms for the genome median under a restricted measure of rearrangement. RAIRO - Operations Research. 2023;57(3):1045-1058. doi:10.1051/ro/2023052
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 45361 | 
Schade R, Kenter T, Elgabarty H, Lass M, Kühne T, Plessl C. Breaking the exascale barrier for the electronic structure problem in ab-initio molecular dynamics. The International Journal of High Performance Computing Applications. Published online 2023. doi:10.1177/10943420231177631
LibreCat
| DOI
| Download (ext.)
2023 | Journal Article | LibreCat-ID: 48946
Gräßler I, Bodden E, Wiechel D, Pottebaum J. Defense-in-Depth als neues Paradigma der sicherheitsgerechten Produktentwicklung: interdisziplinäre, bedrohungsbewusste und lösungsorientierte Security. Konstruktion. 2023;75(11-12):60-65. doi:10.37544/0720-5953-2023-11-12-60
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 51357
Steffen E, Wolf IH. Rotation r-graphs. Discrete Mathematics. Published online 2023. doi:10.1016/j.disc.2023.113457
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 29843
Castenow J, Kling P, Knollmann T, Meyer auf der Heide F. A Discrete and Continuous Study of the Max-Chain-Formation Problem. Information and Computation. Published online 2022. doi:10.1016/j.ic.2022.104877
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 34700
Gharibian S, Santha M, Sikora J, Sundaram A, Yirka J. Quantum generalizations of the polynomial hierarchy with applications to QMA(2). Computational Complexity. 2022;31(2). doi:10.1007/s00037-022-00231-8
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 31543
Steffen E, Wolf IH. Even Factors in Edge-Chromatic-Critical Graphs with a Small Number of Divalent Vertices. Graphs and Combinatorics. 2022;38(3). doi:10.1007/s00373-022-02506-x
LibreCat
| DOI
| arXiv
2022 | Journal Article | LibreCat-ID: 45847
Kontinen J, Meier A, Mahmood Y. A parameterized view on the complexity of dependence and independence logic. Journal of Logic and Computation. 2022;32(8):1624-1644. doi:10.1093/logcom/exac070
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 33684 |
Schade R, Kenter T, Elgabarty H, et al. Towards electronic structure-based ab-initio molecular dynamics simulations with hundreds of millions of atoms. Parallel Computing. 2022;111. doi:10.1016/j.parco.2022.102920
LibreCat
| DOI
| Download (ext.)
2021 | Journal Article | LibreCat-ID: 30907
Rodriguez A, Otero A, Platzner M, De la Torre E. Exploiting Hardware-Based Data-Parallel and Multithreading Models for Smart Edge Computing in Reconfigurable FPGAs. IEEE Transactions on Computers. Published online 2021:1-1. doi:10.1109/tc.2021.3107196
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 34042
Li J, Ma Y, Miao Z, Shi Y, Wang W, Zhang C-Q. Nowhere-zero 3-flows in toroidal graphs. Journal of Combinatorial Theory, Series B. 2021;153:61-80. doi:10.1016/j.jctb.2021.11.001
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 37146
Stieglitz S, Mirbabaie M, Möllmann NRJ, Rzyski J. Collaborating with Virtual Assistants in Organizations: Analyzing Social Loafing Tendencies and Responsibility Attribution. Information Systems Frontiers. 2021;24(3):745-770. doi:10.1007/s10796-021-10201-0
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 53333
Winkler M. $L^1$ solutions to parabolic Keller-Segel systems involving arbitrary superlinear degradation. ANNALI SCUOLA NORMALE SUPERIORE - CLASSE DI SCIENZE. Published online 2021:141-172. doi:10.2422/2036-2145.202005_016
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 45845
Mahmood Y, Meier A, Schmidt J. Parameterized complexity of abduction in Schaefer’s framework. Journal of Logic and Computation. 2020;31(1):266-296. doi:10.1093/logcom/exaa079
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 46266
Alizadeh B, Behnam P, Sadeghi-Kohan S. A Scalable Formal Debugging Approach with Auto-Correction Capability based on Static Slicing and Dynamic Ranking for RTL Datapath Designs. IEEE Transactions on Computers. Published online 2014:1-1. doi:10.1109/tc.2014.2329687
LibreCat
| DOI