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: /record/33947
DOI: 10.1016/j.tcs.2022.10.031
arXiv: 2010.04424 

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: /record/44857
DOI: 10.1051/ro/2023052

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: /record/45361
DOI: 10.1177/10943420231177631

Defense-in-Depth als neues Paradigma der sicherheitsgerechten Produktentwicklung: interdisziplinäre, bedrohungsbewusste und lösungsorientierte Security
I. Gräßler, E. Bodden, D. Wiechel, J. Pottebaum, Konstruktion 75 (2023) 60–65.
LibreCat: /record/48946
DOI: 10.37544/0720-5953-2023-11-12-60

Rotation r-graphs
E. Steffen, I.H. Wolf, Discrete Mathematics (2023).
LibreCat: /record/51357
DOI: 10.1016/j.disc.2023.113457

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: /record/29843
DOI: 10.1016/j.ic.2022.104877

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: /record/34700
DOI: 10.1007/s00037-022-00231-8

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: /record/31543
DOI: 10.1007/s00373-022-02506-x
arXiv: 2109.11447

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: /record/45847
DOI: 10.1093/logcom/exac070

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: /record/33684
DOI: 10.1016/j.parco.2022.102920

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: /record/30907
DOI: 10.1109/tc.2021.3107196

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: /record/34042
DOI: 10.1016/j.jctb.2021.11.001

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: /record/37146
DOI: 10.1007/s10796-021-10201-0

$L^1$ solutions to parabolic Keller-Segel systems involving arbitrary superlinear degradation
M. Winkler, ANNALI SCUOLA NORMALE SUPERIORE - CLASSE DI SCIENZE (2021) 141–172.
LibreCat: /record/53333
DOI: 10.2422/2036-2145.202005_016

Parameterized complexity of abduction in Schaefer’s framework
Y. Mahmood, A. Meier, J. Schmidt, Journal of Logic and Computation 31 (2020) 266–296.
LibreCat: /record/45845
DOI: 10.1093/logcom/exaa079

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