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
@article{Castenow_Harbig_Jung_Knollmann_Meyer auf der Heide_2023, title={Gathering a Euclidean Closed Chain of Robots in Linear Time and Improved Algorithms for Chain-Formation}, volume={939}, DOI={10.1016/j.tcs.2022.10.031}, journal={Theoretical Computer Science}, publisher={Elsevier BV}, author={Castenow, Jannik and Harbig, Jonas and Jung, Daniel and Knollmann, Till and Meyer auf der Heide, Friedhelm}, year={2023}, pages={261–291} }
LibreCat
| DOI
| arXiv
2023 | Journal Article | LibreCat-ID: 44857
@article{Silva_Rubert_Araujo_Steffen_Doerr_Martinez_2023, title={Algorithms for the genome median under a restricted measure of rearrangement}, volume={57}, DOI={10.1051/ro/2023052}, number={3}, journal={RAIRO - Operations Research}, publisher={EDP Sciences}, author={Silva, Helmuth O.M. and Rubert, Diego P. and Araujo, Eloi and Steffen, Eckhard and Doerr, Daniel and Martinez, Fábio V.}, year={2023}, pages={1045–1058} }
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 45361 | 
@article{Schade_Kenter_Elgabarty_Lass_Kühne_Plessl_2023, title={Breaking the exascale barrier for the electronic structure problem in ab-initio molecular dynamics}, DOI={10.1177/10943420231177631}, number={109434202311776}, journal={The International Journal of High Performance Computing Applications}, publisher={SAGE Publications}, author={Schade, Robert and Kenter, Tobias and Elgabarty, Hossam and Lass, Michael and Kühne, Thomas and Plessl, Christian}, year={2023} }
LibreCat
| DOI
| Download (ext.)
2023 | Journal Article | LibreCat-ID: 48946
@article{Gräßler_Bodden_Wiechel_Pottebaum_2023, title={Defense-in-Depth als neues Paradigma der sicherheitsgerechten Produktentwicklung: interdisziplinäre, bedrohungsbewusste und lösungsorientierte Security}, volume={75}, DOI={10.37544/0720-5953-2023-11-12-60}, number={11–12}, journal={Konstruktion}, publisher={VDI Fachmedien GmbH and Co. KG}, author={Gräßler, Iris and Bodden, Eric and Wiechel, Dominik and Pottebaum, Jens}, year={2023}, pages={60–65} }
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 51357
@article{Steffen_Wolf_2023, title={Rotation r-graphs}, DOI={10.1016/j.disc.2023.113457}, number={113457}, journal={Discrete Mathematics}, publisher={Elsevier BV}, author={Steffen, Eckhard and Wolf, Isaak Hieronymus}, year={2023} }
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 29843
@article{Castenow_Kling_Knollmann_Meyer auf der Heide_2022, title={A Discrete and Continuous Study of the Max-Chain-Formation Problem}, DOI={10.1016/j.ic.2022.104877}, number={104877}, journal={Information and Computation}, publisher={Elsevier BV}, author={Castenow, Jannik and Kling, Peter and Knollmann, Till and Meyer auf der Heide, Friedhelm}, year={2022} }
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 34700
@article{Gharibian_Santha_Sikora_Sundaram_Yirka_2022, title={Quantum generalizations of the polynomial hierarchy with applications to QMA(2)}, volume={31}, DOI={10.1007/s00037-022-00231-8}, number={213}, journal={Computational Complexity}, publisher={Springer Science and Business Media LLC}, author={Gharibian, Sevag and Santha, Miklos and Sikora, Jamie and Sundaram, Aarthi and Yirka, Justin}, year={2022} }
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 31543
@article{Steffen_Wolf_2022, title={Even Factors in Edge-Chromatic-Critical Graphs with a Small Number of Divalent Vertices}, volume={38}, DOI={10.1007/s00373-022-02506-x}, number={3104}, journal={Graphs and Combinatorics}, publisher={Springer Science and Business Media LLC}, author={Steffen, Eckhard and Wolf, Isaak Hieronymus}, year={2022} }
LibreCat
| DOI
| arXiv
2022 | Journal Article | LibreCat-ID: 45847
@article{Kontinen_Meier_Mahmood_2022, title={A parameterized view on the complexity of dependence and independence logic}, volume={32}, DOI={10.1093/logcom/exac070}, number={8}, journal={Journal of Logic and Computation}, publisher={Oxford University Press (OUP)}, author={Kontinen, Juha and Meier, Arne and Mahmood, Yasir}, year={2022}, pages={1624–1644} }
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 33684 |
@article{Schade_Kenter_Elgabarty_Lass_Schütt_Lazzaro_Pabst_Mohr_Hutter_Kühne_et al._2022, title={Towards electronic structure-based ab-initio molecular dynamics simulations with hundreds of millions of atoms}, volume={111}, DOI={10.1016/j.parco.2022.102920}, number={102920}, journal={Parallel Computing}, publisher={Elsevier BV}, author={Schade, Robert and Kenter, Tobias and Elgabarty, Hossam and Lass, Michael and Schütt, Ole and Lazzaro, Alfio and Pabst, Hans and Mohr, Stephan and Hutter, Jürg and Kühne, Thomas and et al.}, year={2022} }
LibreCat
| DOI
| Download (ext.)
2021 | Journal Article | LibreCat-ID: 30907
@article{Rodriguez_Otero_Platzner_De la Torre_2021, title={Exploiting Hardware-Based Data-Parallel and Multithreading Models for Smart Edge Computing in Reconfigurable FPGAs}, DOI={10.1109/tc.2021.3107196}, journal={IEEE Transactions on Computers}, publisher={Institute of Electrical and Electronics Engineers (IEEE)}, author={Rodriguez, Alfonso and Otero, Andres and Platzner, Marco and De la Torre, Eduardo}, year={2021}, pages={1–1} }
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 34042
@article{Li_Ma_Miao_Shi_Wang_Zhang_2021, title={Nowhere-zero 3-flows in toroidal graphs}, volume={153}, DOI={10.1016/j.jctb.2021.11.001}, journal={Journal of Combinatorial Theory, Series B}, publisher={Elsevier BV}, author={Li, Jiaao and Ma, Yulai and Miao, Zhengke and Shi, Yongtang and Wang, Weifan and Zhang, Cun-Quan}, year={2021}, pages={61–80} }
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 37146
@article{Stieglitz_Mirbabaie_Möllmann_Rzyski_2021, title={Collaborating with Virtual Assistants in Organizations: Analyzing Social Loafing Tendencies and Responsibility Attribution}, volume={24}, DOI={10.1007/s10796-021-10201-0}, number={3}, journal={Information Systems Frontiers}, publisher={Springer Science and Business Media LLC}, author={Stieglitz, Stefan and Mirbabaie, Milad and Möllmann, Nicholas R. J. and Rzyski, Jannik}, year={2021}, pages={745–770} }
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 53333
@article{Winkler_2021, title={$L^1$ solutions to parabolic Keller-Segel systems involving arbitrary superlinear degradation}, DOI={10.2422/2036-2145.202005_016}, journal={ANNALI SCUOLA NORMALE SUPERIORE - CLASSE DI SCIENZE}, publisher={Scuola Normale Superiore - Edizioni della Normale}, author={Winkler, Michael}, year={2021}, pages={141–172} }
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 45845
@article{Mahmood_Meier_Schmidt_2020, title={Parameterized complexity of abduction in Schaefer’s framework}, volume={31}, DOI={10.1093/logcom/exaa079}, number={1}, journal={Journal of Logic and Computation}, publisher={Oxford University Press (OUP)}, author={Mahmood, Yasir and Meier, Arne and Schmidt, Johannes}, year={2020}, pages={266–296} }
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 46266
@article{Alizadeh_Behnam_Sadeghi-Kohan_2014, title={A Scalable Formal Debugging Approach with Auto-Correction Capability based on Static Slicing and Dynamic Ranking for RTL Datapath Designs}, DOI={10.1109/tc.2014.2329687}, journal={IEEE Transactions on Computers}, publisher={Institute of Electrical and Electronics Engineers (IEEE)}, author={Alizadeh, Bijan and Behnam, Payman and Sadeghi-Kohan, Somayeh}, year={2014}, pages={1–1} }
LibreCat
| DOI