---
_id: '63651'
author:
- first_name: Khoren
  full_name: Grigoryan, Khoren
  last_name: Grigoryan
- first_name: Jessica
  full_name: Lamarz, Jessica
  last_name: Lamarz
- first_name: Lucas
  full_name: Martin, Lucas
  last_name: Martin
- first_name: Laban
  full_name: Asmar, Laban
  last_name: Asmar
- first_name: Martin
  full_name: Rabe, Martin
  last_name: Rabe
- first_name: Arno
  full_name: Kühn, Arno
  last_name: Kühn
- first_name: Timm
  full_name: Fichtler, Timm
  id: '66731'
  last_name: Fichtler
  orcid: https://orcid.org/0000-0001-6034-4399
- first_name: Lisa Irene
  full_name: Petzke, Lisa Irene
  id: '63192'
  last_name: Petzke
- first_name: Felix
  full_name: Bruchhage, Felix
  last_name: Bruchhage
- first_name: Christian
  full_name: Koldewey, Christian
  id: '43136'
  last_name: Koldewey
  orcid: https://orcid.org/0000-0001-7992-6399
citation:
  ama: Grigoryan K, Lamarz J, Martin L, et al. <i>product.intelligence - Datenbasiertes
    Produktmanagement</i>.; 2025. doi:<a href="https://doi.org/10.24406/PUBLICA-4198">10.24406/PUBLICA-4198</a>
  apa: Grigoryan, K., Lamarz, J., Martin, L., Asmar, L., Rabe, M., Kühn, A., Fichtler,
    T., Petzke, L. I., Bruchhage, F., &#38; Koldewey, C. (2025). <i>product.intelligence
    - Datenbasiertes Produktmanagement</i>. <a href="https://doi.org/10.24406/PUBLICA-4198">https://doi.org/10.24406/PUBLICA-4198</a>
  bibtex: '@book{Grigoryan_Lamarz_Martin_Asmar_Rabe_Kühn_Fichtler_Petzke_Bruchhage_Koldewey_2025,
    title={product.intelligence - Datenbasiertes Produktmanagement}, DOI={<a href="https://doi.org/10.24406/PUBLICA-4198">10.24406/PUBLICA-4198</a>},
    author={Grigoryan, Khoren and Lamarz, Jessica and Martin, Lucas and Asmar, Laban
    and Rabe, Martin and Kühn, Arno and Fichtler, Timm and Petzke, Lisa Irene and
    Bruchhage, Felix and Koldewey, Christian}, year={2025} }'
  chicago: Grigoryan, Khoren, Jessica Lamarz, Lucas Martin, Laban Asmar, Martin Rabe,
    Arno Kühn, Timm Fichtler, Lisa Irene Petzke, Felix Bruchhage, and Christian Koldewey.
    <i>product.intelligence - Datenbasiertes Produktmanagement</i>, 2025. <a href="https://doi.org/10.24406/PUBLICA-4198">https://doi.org/10.24406/PUBLICA-4198</a>.
  ieee: K. Grigoryan <i>et al.</i>, <i>product.intelligence - Datenbasiertes Produktmanagement</i>.
    2025.
  mla: Grigoryan, Khoren, et al. <i>product.intelligence - Datenbasiertes Produktmanagement</i>.
    2025, doi:<a href="https://doi.org/10.24406/PUBLICA-4198">10.24406/PUBLICA-4198</a>.
  short: K. Grigoryan, J. Lamarz, L. Martin, L. Asmar, M. Rabe, A. Kühn, T. Fichtler,
    L.I. Petzke, F. Bruchhage, C. Koldewey, product.intelligence - Datenbasiertes
    Produktmanagement, 2025.
date_created: 2026-01-16T12:49:34Z
date_updated: 2026-01-16T12:53:44Z
department:
- _id: '563'
doi: 10.24406/PUBLICA-4198
language:
- iso: ger
status: public
title: product.intelligence - Datenbasiertes Produktmanagement
type: report
user_id: '66731'
year: '2025'
...
---
_id: '63703'
author:
- first_name: Tilman
  full_name: Hoffbauer, Tilman
  last_name: Hoffbauer
- first_name: Holger H.
  full_name: Hoos, Holger H.
  last_name: Hoos
- first_name: Jakob
  full_name: Bossek, Jakob
  id: '102979'
  last_name: Bossek
  orcid: 0000-0002-4121-4668
citation:
  ama: 'Hoffbauer T, Hoos HH, Bossek J. KernelMatmul: Scaling Gaussian Processes to
    Large Time Series. In: Walsh T, Shah J, Kolter Z, eds. <i>AAAI-25, Sponsored by
    the Association for the Advancement of Artificial Intelligence, February 25 -
    March 4, 2025, Philadelphia, PA, USA</i>. AAAI Press; 2025:17223–17230. doi:<a
    href="https://doi.org/10.1609/AAAI.V39I16.33893">10.1609/AAAI.V39I16.33893</a>'
  apa: 'Hoffbauer, T., Hoos, H. H., &#38; Bossek, J. (2025). KernelMatmul: Scaling
    Gaussian Processes to Large Time Series. In T. Walsh, J. Shah, &#38; Z. Kolter
    (Eds.), <i>AAAI-25, Sponsored by the Association for the Advancement of Artificial
    Intelligence, February 25 - March 4, 2025, Philadelphia, PA, USA</i> (pp. 17223–17230).
    AAAI Press. <a href="https://doi.org/10.1609/AAAI.V39I16.33893">https://doi.org/10.1609/AAAI.V39I16.33893</a>'
  bibtex: '@inproceedings{Hoffbauer_Hoos_Bossek_2025, title={KernelMatmul: Scaling
    Gaussian Processes to Large Time Series}, DOI={<a href="https://doi.org/10.1609/AAAI.V39I16.33893">10.1609/AAAI.V39I16.33893</a>},
    booktitle={AAAI-25, Sponsored by the Association for the Advancement of Artificial
    Intelligence, February 25 - March 4, 2025, Philadelphia, PA, USA}, publisher={AAAI
    Press}, author={Hoffbauer, Tilman and Hoos, Holger H. and Bossek, Jakob}, editor={Walsh,
    Toby and Shah, Julie and Kolter, Zico}, year={2025}, pages={17223–17230} }'
  chicago: 'Hoffbauer, Tilman, Holger H. Hoos, and Jakob Bossek. “KernelMatmul: Scaling
    Gaussian Processes to Large Time Series.” In <i>AAAI-25, Sponsored by the Association
    for the Advancement of Artificial Intelligence, February 25 - March 4, 2025, Philadelphia,
    PA, USA</i>, edited by Toby Walsh, Julie Shah, and Zico Kolter, 17223–17230. AAAI
    Press, 2025. <a href="https://doi.org/10.1609/AAAI.V39I16.33893">https://doi.org/10.1609/AAAI.V39I16.33893</a>.'
  ieee: 'T. Hoffbauer, H. H. Hoos, and J. Bossek, “KernelMatmul: Scaling Gaussian
    Processes to Large Time Series,” in <i>AAAI-25, Sponsored by the Association for
    the Advancement of Artificial Intelligence, February 25 - March 4, 2025, Philadelphia,
    PA, USA</i>, 2025, pp. 17223–17230, doi: <a href="https://doi.org/10.1609/AAAI.V39I16.33893">10.1609/AAAI.V39I16.33893</a>.'
  mla: 'Hoffbauer, Tilman, et al. “KernelMatmul: Scaling Gaussian Processes to Large
    Time Series.” <i>AAAI-25, Sponsored by the Association for the Advancement of
    Artificial Intelligence, February 25 - March 4, 2025, Philadelphia, PA, USA</i>,
    edited by Toby Walsh et al., AAAI Press, 2025, pp. 17223–17230, doi:<a href="https://doi.org/10.1609/AAAI.V39I16.33893">10.1609/AAAI.V39I16.33893</a>.'
  short: 'T. Hoffbauer, H.H. Hoos, J. Bossek, in: T. Walsh, J. Shah, Z. Kolter (Eds.),
    AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence,
    February 25 - March 4, 2025, Philadelphia, PA, USA, AAAI Press, 2025, pp. 17223–17230.'
date_created: 2026-01-22T14:42:21Z
date_updated: 2026-01-22T14:45:23Z
department:
- _id: '819'
doi: 10.1609/AAAI.V39I16.33893
editor:
- first_name: Toby
  full_name: Walsh, Toby
  last_name: Walsh
- first_name: Julie
  full_name: Shah, Julie
  last_name: Shah
- first_name: Zico
  full_name: Kolter, Zico
  last_name: Kolter
language:
- iso: eng
page: 17223–17230
publication: AAAI-25, Sponsored by the Association for the Advancement of Artificial
  Intelligence, February 25 - March 4, 2025, Philadelphia, PA, USA
publisher: AAAI Press
status: public
title: 'KernelMatmul: Scaling Gaussian Processes to Large Time Series'
type: conference
user_id: '15504'
year: '2025'
...
---
_id: '63704'
author:
- first_name: Dominic
  full_name: Wittner, Dominic
  last_name: Wittner
- first_name: Jakob
  full_name: Bossek, Jakob
  id: '102979'
  last_name: Bossek
  orcid: 0000-0002-4121-4668
citation:
  ama: 'Wittner D, Bossek J. Cluster Prevention in Evolutionary Diversity Optimization
    for Parallel Machine Scheduling. In: Filipic B, ed. <i>Proceedings of the Genetic
    and Evolutionary Computation Conference, GECCO 2025, NH Malaga Hotel, Malaga,
    Spain, July 14-18, 2025</i>. ACM; 2025:340–348. doi:<a href="https://doi.org/10.1145/3712256.3726357">10.1145/3712256.3726357</a>'
  apa: Wittner, D., &#38; Bossek, J. (2025). Cluster Prevention in Evolutionary Diversity
    Optimization for Parallel Machine Scheduling. In B. Filipic (Ed.), <i>Proceedings
    of the Genetic and Evolutionary Computation Conference, GECCO 2025, NH Malaga
    Hotel, Malaga, Spain, July 14-18, 2025</i> (pp. 340–348). ACM. <a href="https://doi.org/10.1145/3712256.3726357">https://doi.org/10.1145/3712256.3726357</a>
  bibtex: '@inproceedings{Wittner_Bossek_2025, title={Cluster Prevention in Evolutionary
    Diversity Optimization for Parallel Machine Scheduling}, DOI={<a href="https://doi.org/10.1145/3712256.3726357">10.1145/3712256.3726357</a>},
    booktitle={Proceedings of the Genetic and Evolutionary Computation Conference,
    GECCO 2025, NH Malaga Hotel, Malaga, Spain, July 14-18, 2025}, publisher={ACM},
    author={Wittner, Dominic and Bossek, Jakob}, editor={Filipic, Bogdan}, year={2025},
    pages={340–348} }'
  chicago: Wittner, Dominic, and Jakob Bossek. “Cluster Prevention in Evolutionary
    Diversity Optimization for Parallel Machine Scheduling.” In <i>Proceedings of
    the Genetic and Evolutionary Computation Conference, GECCO 2025, NH Malaga Hotel,
    Malaga, Spain, July 14-18, 2025</i>, edited by Bogdan Filipic, 340–348. ACM, 2025.
    <a href="https://doi.org/10.1145/3712256.3726357">https://doi.org/10.1145/3712256.3726357</a>.
  ieee: 'D. Wittner and J. Bossek, “Cluster Prevention in Evolutionary Diversity Optimization
    for Parallel Machine Scheduling,” in <i>Proceedings of the Genetic and Evolutionary
    Computation Conference, GECCO 2025, NH Malaga Hotel, Malaga, Spain, July 14-18,
    2025</i>, 2025, pp. 340–348, doi: <a href="https://doi.org/10.1145/3712256.3726357">10.1145/3712256.3726357</a>.'
  mla: Wittner, Dominic, and Jakob Bossek. “Cluster Prevention in Evolutionary Diversity
    Optimization for Parallel Machine Scheduling.” <i>Proceedings of the Genetic and
    Evolutionary Computation Conference, GECCO 2025, NH Malaga Hotel, Malaga, Spain,
    July 14-18, 2025</i>, edited by Bogdan Filipic, ACM, 2025, pp. 340–348, doi:<a
    href="https://doi.org/10.1145/3712256.3726357">10.1145/3712256.3726357</a>.
  short: 'D. Wittner, J. Bossek, in: B. Filipic (Ed.), Proceedings of the Genetic
    and Evolutionary Computation Conference, GECCO 2025, NH Malaga Hotel, Malaga,
    Spain, July 14-18, 2025, ACM, 2025, pp. 340–348.'
date_created: 2026-01-22T14:42:45Z
date_updated: 2026-01-22T14:46:04Z
department:
- _id: '819'
doi: 10.1145/3712256.3726357
editor:
- first_name: Bogdan
  full_name: Filipic, Bogdan
  last_name: Filipic
language:
- iso: eng
page: 340–348
publication: Proceedings of the Genetic and Evolutionary Computation Conference, GECCO
  2025, NH Malaga Hotel, Malaga, Spain, July 14-18, 2025
publisher: ACM
status: public
title: Cluster Prevention in Evolutionary Diversity Optimization for Parallel Machine
  Scheduling
type: conference
user_id: '15504'
year: '2025'
...
---
_id: '63107'
abstract:
- lang: eng
  text: We construct good GKP (Gottesman-Kitaev-Preskill) codes (in the sense of Conrad,
    Eisert and Seifert proposed) from standard short integer solution lattices (SIS)
    as well as from ring SIS and module SIS lattices, R-SIS and M-SIS lattices, respectively.
    These lattice are crucial for lattice-based cryptography. Our construction yields
    GKP codes with distance $\sqrt{n/πe}$. This compares favorably with the NTRU-based
    construction by Conrad et al. that achieves distance $Ω(\sqrt{n/q}),$ with $n\le
    q^2/0.28$. Unlike their codes, our codes do not have secret keys that can be used
    to speed-up the decoding. However, we present a simple decoding algorithm that,
    for many parameter choices, experimentally yields decoding results similar to
    the ones for NTRU-based codes. Using the R-SIS and M-SIS construction, our simple
    decoding algorithm runs in nearly linear time. Following Conrad, Eisert and Seifert's
    work, our construction of GKP codes follows directly from an explicit, randomized
    construction of symplectic lattices with (up to constants $\approx 1$) minimal
    distance $(1/σ_{2n})^{1/2n}\approx \sqrt{\frac{n}{πe}}$, where $σ_{2n}$ is the
    volume of the 2n-dimensional unit ball. Before this result, Buser and Sarnak gave
    a non-constructive proof for the existence of such symplectic lattices.
author:
- first_name: Johannes
  full_name: Blömer, Johannes
  last_name: Blömer
- first_name: Yinzi
  full_name: Xiao, Yinzi
  last_name: Xiao
- first_name: Zahra
  full_name: Raissi, Zahra
  last_name: Raissi
- first_name: Stanislaw
  full_name: Soltan, Stanislaw
  last_name: Soltan
citation:
  ama: Blömer J, Xiao Y, Raissi Z, Soltan S. Symplectic Lattices and GKP Codes --
    Simple Randomized Constructions from Cryptographic Lattices. <i>arXiv:250910183</i>.
    Published online 2025.
  apa: Blömer, J., Xiao, Y., Raissi, Z., &#38; Soltan, S. (2025). Symplectic Lattices
    and GKP Codes -- Simple Randomized Constructions from Cryptographic Lattices.
    In <i>arXiv:2509.10183</i>.
  bibtex: '@article{Blömer_Xiao_Raissi_Soltan_2025, title={Symplectic Lattices and
    GKP Codes -- Simple Randomized Constructions from Cryptographic Lattices}, journal={arXiv:2509.10183},
    author={Blömer, Johannes and Xiao, Yinzi and Raissi, Zahra and Soltan, Stanislaw},
    year={2025} }'
  chicago: Blömer, Johannes, Yinzi Xiao, Zahra Raissi, and Stanislaw Soltan. “Symplectic
    Lattices and GKP Codes -- Simple Randomized Constructions from Cryptographic Lattices.”
    <i>ArXiv:2509.10183</i>, 2025.
  ieee: J. Blömer, Y. Xiao, Z. Raissi, and S. Soltan, “Symplectic Lattices and GKP
    Codes -- Simple Randomized Constructions from Cryptographic Lattices,” <i>arXiv:2509.10183</i>.
    2025.
  mla: Blömer, Johannes, et al. “Symplectic Lattices and GKP Codes -- Simple Randomized
    Constructions from Cryptographic Lattices.” <i>ArXiv:2509.10183</i>, 2025.
  short: J. Blömer, Y. Xiao, Z. Raissi, S. Soltan, ArXiv:2509.10183 (2025).
date_created: 2025-12-15T15:34:08Z
date_updated: 2026-01-23T09:59:34Z
department:
- _id: '34'
- _id: '64'
- _id: '623'
external_id:
  arxiv:
  - '2509.10183'
language:
- iso: eng
project:
- _id: '191'
  name: 'PhoQuant: Photonische Quantencomputer -  Quantencomputing Testplattform'
publication: arXiv:2509.10183
status: public
title: Symplectic Lattices and GKP Codes -- Simple Randomized Constructions from Cryptographic
  Lattices
type: preprint
user_id: '41047'
year: '2025'
...
---
_id: '63713'
author:
- first_name: 'Oliver '
  full_name: 'Linssen, Oliver '
  last_name: Linssen
- first_name: Alexander
  full_name: Volland, Alexander
  last_name: Volland
- first_name: Enes
  full_name: Yigitbas, Enes
  id: '8447'
  last_name: Yigitbas
  orcid: 0000-0002-5967-833X
- first_name: Martin
  full_name: Engstler, Martin
  last_name: Engstler
- first_name: Martin
  full_name: Bertram, Martin
  last_name: Bertram
- first_name: Eckhart
  full_name: Hanser, Eckhart
  last_name: Hanser
- first_name: Axel
  full_name: Kalenborn, Axel
  last_name: Kalenborn
citation:
  ama: Linssen O, Volland A, Yigitbas E, et al. <i>Projektmanagement Und Vorgehensmodelle
    2025 – Post-Agilität, Resilienz, Transformation</i>.; 2025.
  apa: Linssen, O., Volland, A., Yigitbas, E., Engstler, M., Bertram, M., Hanser,
    E., &#38; Kalenborn, A. (2025). <i>Projektmanagement Und Vorgehensmodelle 2025
    – Post-Agilität, Resilienz, Transformation</i>.
  bibtex: '@book{Linssen_Volland_Yigitbas_Engstler_Bertram_Hanser_Kalenborn_2025,
    title={Projektmanagement Und Vorgehensmodelle 2025 – Post-Agilität, Resilienz,
    Transformation}, author={Linssen, Oliver  and Volland, Alexander and Yigitbas,
    Enes and Engstler, Martin and Bertram, Martin and Hanser, Eckhart and Kalenborn,
    Axel}, year={2025} }'
  chicago: Linssen, Oliver , Alexander Volland, Enes Yigitbas, Martin Engstler, Martin
    Bertram, Eckhart Hanser, and Axel Kalenborn. <i>Projektmanagement Und Vorgehensmodelle
    2025 – Post-Agilität, Resilienz, Transformation</i>, 2025.
  ieee: O. Linssen <i>et al.</i>, <i>Projektmanagement Und Vorgehensmodelle 2025 –
    Post-Agilität, Resilienz, Transformation</i>. 2025.
  mla: Linssen, Oliver, et al. <i>Projektmanagement Und Vorgehensmodelle 2025 – Post-Agilität,
    Resilienz, Transformation</i>. 2025.
  short: O. Linssen, A. Volland, E. Yigitbas, M. Engstler, M. Bertram, E. Hanser,
    A. Kalenborn, Projektmanagement Und Vorgehensmodelle 2025 – Post-Agilität, Resilienz,
    Transformation, 2025.
date_created: 2026-01-23T09:11:27Z
date_updated: 2026-01-23T09:11:40Z
department:
- _id: '66'
- _id: '534'
language:
- iso: eng
status: public
title: Projektmanagement Und Vorgehensmodelle 2025 – Post-Agilität, Resilienz, Transformation
type: book
user_id: '8447'
year: '2025'
...
---
_id: '63786'
author:
- first_name: Bianca
  full_name: Löhnert, Bianca
  last_name: Löhnert
- first_name: Nikolaus
  full_name: Augsten, Nikolaus
  last_name: Augsten
- first_name: Cem
  full_name: Okulmus, Cem
  id: '114410'
  last_name: Okulmus
  orcid: 0000-0002-7742-0439
- first_name: Magdalena
  full_name: Ortiz, Magdalena
  last_name: Ortiz
citation:
  ama: 'Löhnert B, Augsten N, Okulmus C, Ortiz M. Query Rewriting for Nested Navigational
    Queries over Property Graphs. In: Tendera L, Ibanez Garcia Y, Koopmann P, eds.
    <i>Proceedings of the 38th International Workshop on Description Logics (DL 2025),
    Opole, Poland, September 3-6, 2025.</i> Vol 4091. CEUR Workshop Proceedings. ;
    2025.'
  apa: Löhnert, B., Augsten, N., Okulmus, C., &#38; Ortiz, M. (2025). Query Rewriting
    for Nested Navigational Queries over Property Graphs. In L. Tendera, Y. Ibanez
    Garcia, &#38; P. Koopmann (Eds.), <i>Proceedings of the 38th International Workshop
    on Description Logics (DL 2025), Opole, Poland, September 3-6, 2025.</i> (Vol.
    4091).
  bibtex: '@inproceedings{Löhnert_Augsten_Okulmus_Ortiz_2025, place={Opole, Poland},
    series={CEUR Workshop Proceedings}, title={Query Rewriting for Nested Navigational
    Queries over Property Graphs}, volume={4091}, booktitle={Proceedings of the 38th
    International Workshop on Description Logics (DL 2025), Opole, Poland, September
    3-6, 2025.}, author={Löhnert, Bianca and Augsten, Nikolaus and Okulmus, Cem and
    Ortiz, Magdalena}, editor={Tendera, Lidia and Ibanez Garcia, Yazmin and Koopmann,
    Patrick}, year={2025}, collection={CEUR Workshop Proceedings} }'
  chicago: Löhnert, Bianca, Nikolaus Augsten, Cem Okulmus, and Magdalena Ortiz. “Query
    Rewriting for Nested Navigational Queries over Property Graphs.” In <i>Proceedings
    of the 38th International Workshop on Description Logics (DL 2025), Opole, Poland,
    September 3-6, 2025.</i>, edited by Lidia Tendera, Yazmin Ibanez Garcia, and Patrick
    Koopmann, Vol. 4091. CEUR Workshop Proceedings. Opole, Poland, 2025.
  ieee: B. Löhnert, N. Augsten, C. Okulmus, and M. Ortiz, “Query Rewriting for Nested
    Navigational Queries over Property Graphs,” in <i>Proceedings of the 38th International
    Workshop on Description Logics (DL 2025), Opole, Poland, September 3-6, 2025.</i>,
    2025, vol. 4091.
  mla: Löhnert, Bianca, et al. “Query Rewriting for Nested Navigational Queries over
    Property Graphs.” <i>Proceedings of the 38th International Workshop on Description
    Logics (DL 2025), Opole, Poland, September 3-6, 2025.</i>, edited by Lidia Tendera
    et al., vol. 4091, 2025.
  short: 'B. Löhnert, N. Augsten, C. Okulmus, M. Ortiz, in: L. Tendera, Y. Ibanez
    Garcia, P. Koopmann (Eds.), Proceedings of the 38th International Workshop on
    Description Logics (DL 2025), Opole, Poland, September 3-6, 2025., Opole, Poland,
    2025.'
date_created: 2026-01-28T10:37:05Z
date_updated: 2026-01-28T10:38:17Z
department:
- _id: '888'
editor:
- first_name: Lidia
  full_name: Tendera, Lidia
  last_name: Tendera
- first_name: Yazmin
  full_name: Ibanez Garcia, Yazmin
  last_name: Ibanez Garcia
- first_name: Patrick
  full_name: Koopmann, Patrick
  last_name: Koopmann
intvolume: '      4091'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://ceur-ws.org/Vol-4091/paper40.pdf
oa: '1'
place: Opole, Poland
publication: Proceedings of the 38th International Workshop on Description Logics
  (DL 2025), Opole, Poland, September 3-6, 2025.
publication_status: published
series_title: CEUR Workshop Proceedings
status: public
title: Query Rewriting for Nested Navigational Queries over Property Graphs
type: conference
user_id: '114410'
volume: 4091
year: '2025'
...
---
_id: '63801'
author:
- first_name: Lara
  full_name: Gildehaus, Lara
  last_name: Gildehaus
- first_name: Michael
  full_name: Liebendörfer, Michael
  last_name: Liebendörfer
- first_name: Sven
  full_name: Hüsing, Sven
  id: '58465'
  last_name: Hüsing
- first_name: Rebecca
  full_name: Gottschalk, Rebecca
  last_name: Gottschalk
- first_name: Franzisca
  full_name: Strauß, Franzisca
  last_name: Strauß
citation:
  ama: 'Gildehaus L, Liebendörfer M, Hüsing S, Gottschalk R, Strauß F. Normatives
    Modellieren im Kontext des Klimawandels – wie viel CO2 stoßen Lebensmittel aus?
    In: <i>Realitätsbezüge im Mathematikunterricht</i>. Springer Berlin Heidelberg;
    2025. doi:<a href="https://doi.org/10.1007/978-3-662-69989-8_6">10.1007/978-3-662-69989-8_6</a>'
  apa: Gildehaus, L., Liebendörfer, M., Hüsing, S., Gottschalk, R., &#38; Strauß,
    F. (2025). Normatives Modellieren im Kontext des Klimawandels – wie viel CO2 stoßen
    Lebensmittel aus? In <i>Realitätsbezüge im Mathematikunterricht</i>. Springer
    Berlin Heidelberg. <a href="https://doi.org/10.1007/978-3-662-69989-8_6">https://doi.org/10.1007/978-3-662-69989-8_6</a>
  bibtex: '@inbook{Gildehaus_Liebendörfer_Hüsing_Gottschalk_Strauß_2025, place={Berlin,
    Heidelberg}, title={Normatives Modellieren im Kontext des Klimawandels – wie viel
    CO2 stoßen Lebensmittel aus?}, DOI={<a href="https://doi.org/10.1007/978-3-662-69989-8_6">10.1007/978-3-662-69989-8_6</a>},
    booktitle={Realitätsbezüge im Mathematikunterricht}, publisher={Springer Berlin
    Heidelberg}, author={Gildehaus, Lara and Liebendörfer, Michael and Hüsing, Sven
    and Gottschalk, Rebecca and Strauß, Franzisca}, year={2025} }'
  chicago: 'Gildehaus, Lara, Michael Liebendörfer, Sven Hüsing, Rebecca Gottschalk,
    and Franzisca Strauß. “Normatives Modellieren im Kontext des Klimawandels – wie
    viel CO2 stoßen Lebensmittel aus?” In <i>Realitätsbezüge im Mathematikunterricht</i>.
    Berlin, Heidelberg: Springer Berlin Heidelberg, 2025. <a href="https://doi.org/10.1007/978-3-662-69989-8_6">https://doi.org/10.1007/978-3-662-69989-8_6</a>.'
  ieee: 'L. Gildehaus, M. Liebendörfer, S. Hüsing, R. Gottschalk, and F. Strauß, “Normatives
    Modellieren im Kontext des Klimawandels – wie viel CO2 stoßen Lebensmittel aus?,”
    in <i>Realitätsbezüge im Mathematikunterricht</i>, Berlin, Heidelberg: Springer
    Berlin Heidelberg, 2025.'
  mla: Gildehaus, Lara, et al. “Normatives Modellieren im Kontext des Klimawandels
    – wie viel CO2 stoßen Lebensmittel aus?” <i>Realitätsbezüge im Mathematikunterricht</i>,
    Springer Berlin Heidelberg, 2025, doi:<a href="https://doi.org/10.1007/978-3-662-69989-8_6">10.1007/978-3-662-69989-8_6</a>.
  short: 'L. Gildehaus, M. Liebendörfer, S. Hüsing, R. Gottschalk, F. Strauß, in:
    Realitätsbezüge im Mathematikunterricht, Springer Berlin Heidelberg, Berlin, Heidelberg,
    2025.'
date_created: 2026-01-29T10:01:05Z
date_updated: 2026-01-29T10:08:20Z
department:
- _id: '67'
doi: 10.1007/978-3-662-69989-8_6
language:
- iso: ger
place: Berlin, Heidelberg
publication: Realitätsbezüge im Mathematikunterricht
publication_identifier:
  isbn:
  - '9783662699881'
  - '9783662699898'
  issn:
  - 2625-3550
  - 2625-3569
publication_status: published
publisher: Springer Berlin Heidelberg
status: public
title: Normatives Modellieren im Kontext des Klimawandels – wie viel CO2 stoßen Lebensmittel
  aus?
type: book_chapter
user_id: '58465'
year: '2025'
...
---
_id: '63805'
author:
- first_name: Hannes
  full_name: Stoppel, Hannes
  last_name: Stoppel
- first_name: Sven
  full_name: Hüsing, Sven
  id: '58465'
  last_name: Hüsing
citation:
  ama: Stoppel H, Hüsing S. Konstruktionistisches Geometrielernen durch epistemisches
    Programmieren in Scratch. <i>Beiträge zum Mathematikunterricht; 58</i>. Published
    online 2025. doi:<a href="https://doi.org/10.17877/DE290R-25995">10.17877/DE290R-25995</a>
  apa: Stoppel, H., &#38; Hüsing, S. (2025). Konstruktionistisches Geometrielernen
    durch epistemisches Programmieren in Scratch. <i>Beiträge Zum Mathematikunterricht;
    58</i>. <a href="https://doi.org/10.17877/DE290R-25995">https://doi.org/10.17877/DE290R-25995</a>
  bibtex: '@article{Stoppel_Hüsing_2025, title={Konstruktionistisches Geometrielernen
    durch epistemisches Programmieren in Scratch}, DOI={<a href="https://doi.org/10.17877/DE290R-25995">10.17877/DE290R-25995</a>},
    journal={Beiträge zum Mathematikunterricht; 58}, publisher={Gesellschaft für Didaktik
    der Mathematik}, author={Stoppel, Hannes and Hüsing, Sven}, year={2025} }'
  chicago: Stoppel, Hannes, and Sven Hüsing. “Konstruktionistisches Geometrielernen
    Durch Epistemisches Programmieren in Scratch.” <i>Beiträge Zum Mathematikunterricht;
    58</i>, 2025. <a href="https://doi.org/10.17877/DE290R-25995">https://doi.org/10.17877/DE290R-25995</a>.
  ieee: 'H. Stoppel and S. Hüsing, “Konstruktionistisches Geometrielernen durch epistemisches
    Programmieren in Scratch,” <i>Beiträge zum Mathematikunterricht; 58</i>, 2025,
    doi: <a href="https://doi.org/10.17877/DE290R-25995">10.17877/DE290R-25995</a>.'
  mla: Stoppel, Hannes, and Sven Hüsing. “Konstruktionistisches Geometrielernen Durch
    Epistemisches Programmieren in Scratch.” <i>Beiträge Zum Mathematikunterricht;
    58</i>, Gesellschaft für Didaktik der Mathematik, 2025, doi:<a href="https://doi.org/10.17877/DE290R-25995">10.17877/DE290R-25995</a>.
  short: H. Stoppel, S. Hüsing, Beiträge Zum Mathematikunterricht; 58 (2025).
date_created: 2026-01-29T10:07:30Z
date_updated: 2026-01-29T10:08:55Z
department:
- _id: '67'
doi: 10.17877/DE290R-25995
language:
- iso: eng
publication: Beiträge zum Mathematikunterricht; 58
publisher: Gesellschaft für Didaktik der Mathematik
status: public
title: Konstruktionistisches Geometrielernen durch epistemisches Programmieren in
  Scratch
type: journal_article
user_id: '58465'
year: '2025'
...
---
_id: '63803'
author:
- first_name: Sven
  full_name: Hüsing, Sven
  id: '58465'
  last_name: Hüsing
- first_name: Susanne
  full_name: Podworny, Susanne
  id: '30619'
  last_name: Podworny
  orcid: 0000-0002-6313-5987
citation:
  ama: 'Hüsing S, Podworny S. Empowering Students to Gain Insights within Data Exploration
    Projects in the Classroom - Using, Modifying, and Creating Data Moves through
    a Scaffolded Use of Digital Tools. In: <i>Symposium on Integrating AI and Data
    Science into School Education across Disciplines</i>. ; 2025.'
  apa: Hüsing, S., &#38; Podworny, S. (2025). Empowering Students to Gain Insights
    within Data Exploration Projects in the Classroom - Using, Modifying, and Creating
    Data Moves through a Scaffolded Use of Digital Tools. <i>Symposium on Integrating
    AI and Data Science into School Education across Disciplines</i>.
  bibtex: '@inproceedings{Hüsing_Podworny_2025, title={Empowering Students to Gain
    Insights within Data Exploration Projects in the Classroom - Using, Modifying,
    and Creating Data Moves through a Scaffolded Use of Digital Tools}, booktitle={Symposium
    on integrating AI and data science into school education across disciplines},
    author={Hüsing, Sven and Podworny, Susanne}, year={2025} }'
  chicago: Hüsing, Sven, and Susanne Podworny. “Empowering Students to Gain Insights
    within Data Exploration Projects in the Classroom - Using, Modifying, and Creating
    Data Moves through a Scaffolded Use of Digital Tools.” In <i>Symposium on Integrating
    AI and Data Science into School Education across Disciplines</i>, 2025.
  ieee: S. Hüsing and S. Podworny, “Empowering Students to Gain Insights within Data
    Exploration Projects in the Classroom - Using, Modifying, and Creating Data Moves
    through a Scaffolded Use of Digital Tools,” 2025.
  mla: Hüsing, Sven, and Susanne Podworny. “Empowering Students to Gain Insights within
    Data Exploration Projects in the Classroom - Using, Modifying, and Creating Data
    Moves through a Scaffolded Use of Digital Tools.” <i>Symposium on Integrating
    AI and Data Science into School Education across Disciplines</i>, 2025.
  short: 'S. Hüsing, S. Podworny, in: Symposium on Integrating AI and Data Science
    into School Education across Disciplines, 2025.'
date_created: 2026-01-29T10:03:06Z
date_updated: 2026-01-29T10:09:10Z
department:
- _id: '67'
language:
- iso: eng
publication: Symposium on integrating AI and data science into school education across
  disciplines
status: public
title: Empowering Students to Gain Insights within Data Exploration Projects in the
  Classroom - Using, Modifying, and Creating Data Moves through a Scaffolded Use of
  Digital Tools
type: conference
user_id: '58465'
year: '2025'
...
---
_id: '58763'
abstract:
- lang: eng
  text: Utilizing data is crucial for economic success, but a lack of interoperability
    and concerns about the misuse of ones own data are hindering the cross-organizational
    use of data. Dataspaces provide the infrastructure necessary to integrate heterogeneous
    data sources within an organization or ecosystem, enabling seamless data interaction
    and interoperability. In addition, data spaces strengthen data sovereignty through
    their decentralized nature, which enables organizations to effectively control
    and manage their data. However, challenges persist in managing the complexity
    and dynamic nature of dataspaces, requiring significant resources and technical
    expertise. The decentralized nature leads to a large and diverse number of stakeholders,
    who need to agree on the use and scope of a dataspace. Modeling is a common approach
    to cope with technical complexity and heterogeneous stakeholders. In this paper,
    we propose a version of SysML and a corresponding method that focus on the modelling
    of data spaces. We provide a dataspace modelling method to unify the understanding
    of dataspaces and scope among all stakeholders to simplify the design and development
    process.
author:
- first_name: Pranav Jayant
  full_name: Kulkarni, Pranav Jayant
  id: '86782'
  last_name: Kulkarni
- first_name: Julian
  full_name: Zerbin, Julian
  id: '51711'
  last_name: Zerbin
- first_name: Christian
  full_name: Koldewey, Christian
  id: '43136'
  last_name: Koldewey
  orcid: https://orcid.org/0000-0001-7992-6399
- first_name: Ruslan
  full_name: Bernijazov, Ruslan
  id: '36312'
  last_name: Bernijazov
- first_name: Roman
  full_name: Dumitrescu, Roman
  id: '16190'
  last_name: Dumitrescu
citation:
  ama: 'Kulkarni PJ, Zerbin J, Koldewey C, Bernijazov R, Dumitrescu R. Using SysML
    as a Modelling Language for Dataspaces. In: <i>2024 IEEE International Conference
    on Technology Management, Operations and Decisions (ICTMOD)</i>. IEEE; 2025. doi:<a
    href="https://doi.org/10.1109/ictmod63116.2024.10878227">10.1109/ictmod63116.2024.10878227</a>'
  apa: Kulkarni, P. J., Zerbin, J., Koldewey, C., Bernijazov, R., &#38; Dumitrescu,
    R. (2025). Using SysML as a Modelling Language for Dataspaces. <i>2024 IEEE International
    Conference on Technology Management, Operations and Decisions (ICTMOD)</i>. 2024
    IEEE International Conference on Technology Management, Operations and Decisions
    (ICTMOD), Sharjah, United Arab Emirates . <a href="https://doi.org/10.1109/ictmod63116.2024.10878227">https://doi.org/10.1109/ictmod63116.2024.10878227</a>
  bibtex: '@inproceedings{Kulkarni_Zerbin_Koldewey_Bernijazov_Dumitrescu_2025, title={Using
    SysML as a Modelling Language for Dataspaces}, DOI={<a href="https://doi.org/10.1109/ictmod63116.2024.10878227">10.1109/ictmod63116.2024.10878227</a>},
    booktitle={2024 IEEE International Conference on Technology Management, Operations
    and Decisions (ICTMOD)}, publisher={IEEE}, author={Kulkarni, Pranav Jayant and
    Zerbin, Julian and Koldewey, Christian and Bernijazov, Ruslan and Dumitrescu,
    Roman}, year={2025} }'
  chicago: Kulkarni, Pranav Jayant, Julian Zerbin, Christian Koldewey, Ruslan Bernijazov,
    and Roman Dumitrescu. “Using SysML as a Modelling Language for Dataspaces.” In
    <i>2024 IEEE International Conference on Technology Management, Operations and
    Decisions (ICTMOD)</i>. IEEE, 2025. <a href="https://doi.org/10.1109/ictmod63116.2024.10878227">https://doi.org/10.1109/ictmod63116.2024.10878227</a>.
  ieee: 'P. J. Kulkarni, J. Zerbin, C. Koldewey, R. Bernijazov, and R. Dumitrescu,
    “Using SysML as a Modelling Language for Dataspaces,” presented at the 2024 IEEE
    International Conference on Technology Management, Operations and Decisions (ICTMOD),
    Sharjah, United Arab Emirates , 2025, doi: <a href="https://doi.org/10.1109/ictmod63116.2024.10878227">10.1109/ictmod63116.2024.10878227</a>.'
  mla: Kulkarni, Pranav Jayant, et al. “Using SysML as a Modelling Language for Dataspaces.”
    <i>2024 IEEE International Conference on Technology Management, Operations and
    Decisions (ICTMOD)</i>, IEEE, 2025, doi:<a href="https://doi.org/10.1109/ictmod63116.2024.10878227">10.1109/ictmod63116.2024.10878227</a>.
  short: 'P.J. Kulkarni, J. Zerbin, C. Koldewey, R. Bernijazov, R. Dumitrescu, in:
    2024 IEEE International Conference on Technology Management, Operations and Decisions
    (ICTMOD), IEEE, 2025.'
conference:
  end_date: 2024-11-06
  location: 'Sharjah, United Arab Emirates '
  name: 2024 IEEE International Conference on Technology Management, Operations and
    Decisions (ICTMOD)
  start_date: 2024-11-04
date_created: 2025-02-21T15:25:13Z
date_updated: 2026-01-30T09:05:24Z
department:
- _id: '563'
doi: 10.1109/ictmod63116.2024.10878227
keyword:
- Dataspaces
- Modelling
- SysML
- Gaia-X
- System Specification
language:
- iso: eng
publication: 2024 IEEE International Conference on Technology Management, Operations
  and Decisions (ICTMOD)
publication_status: published
publisher: IEEE
quality_controlled: '1'
status: public
title: Using SysML as a Modelling Language for Dataspaces
type: conference
user_id: '51711'
year: '2025'
...
---
_id: '63407'
author:
- first_name: A
  full_name: Anonymous, A
  last_name: Anonymous
citation:
  ama: Anonymous A. <i>Limitations of the Random Oracle Model</i>.; 2025.
  apa: Anonymous, A. (2025). <i>Limitations of the Random Oracle Model</i>.
  bibtex: '@book{Anonymous_2025, title={Limitations of the Random Oracle Model}, author={Anonymous,
    A}, year={2025} }'
  chicago: Anonymous, A. <i>Limitations of the Random Oracle Model</i>, 2025.
  ieee: A. Anonymous, <i>Limitations of the Random Oracle Model</i>. 2025.
  mla: Anonymous, A. <i>Limitations of the Random Oracle Model</i>. 2025.
  short: A. Anonymous, Limitations of the Random Oracle Model, 2025.
date_created: 2025-12-23T11:32:25Z
date_updated: 2026-02-04T14:20:08Z
department:
- _id: '34'
- _id: '64'
language:
- iso: eng
status: public
supervisor:
- first_name: Johannes
  full_name: Blömer, Johannes
  id: '23'
  last_name: Blömer
title: Limitations of the Random Oracle Model
type: bachelorsthesis
user_id: '41047'
year: '2025'
...
---
_id: '63408'
author:
- first_name: A
  full_name: Anonymous, A
  last_name: Anonymous
citation:
  ama: Anonymous A. <i>Clustering with Rényi Divergence</i>.; 2025.
  apa: Anonymous, A. (2025). <i>Clustering with Rényi Divergence</i>.
  bibtex: '@book{Anonymous_2025, title={Clustering with Rényi Divergence}, author={Anonymous,
    A}, year={2025} }'
  chicago: Anonymous, A. <i>Clustering with Rényi Divergence</i>, 2025.
  ieee: A. Anonymous, <i>Clustering with Rényi Divergence</i>. 2025.
  mla: Anonymous, A. <i>Clustering with Rényi Divergence</i>. 2025.
  short: A. Anonymous, Clustering with Rényi Divergence, 2025.
date_created: 2025-12-23T11:35:05Z
date_updated: 2026-02-04T14:20:16Z
department:
- _id: '34'
- _id: '64'
language:
- iso: eng
status: public
supervisor:
- first_name: Johannes
  full_name: Blömer, Johannes
  id: '23'
  last_name: Blömer
title: Clustering with Rényi Divergence
type: mastersthesis
user_id: '41047'
year: '2025'
...
---
_id: '63406'
author:
- first_name: A
  full_name: Anoynmous, A
  last_name: Anoynmous
citation:
  ama: Anoynmous A. <i>BUFF Transform</i>.; 2025.
  apa: Anoynmous, A. (2025). <i>BUFF Transform</i>.
  bibtex: '@book{Anoynmous_2025, title={BUFF Transform}, author={Anoynmous, A}, year={2025}
    }'
  chicago: Anoynmous, A. <i>BUFF Transform</i>, 2025.
  ieee: A. Anoynmous, <i>BUFF Transform</i>. 2025.
  mla: Anoynmous, A. <i>BUFF Transform</i>. 2025.
  short: A. Anoynmous, BUFF Transform, 2025.
date_created: 2025-12-23T11:31:38Z
date_updated: 2026-02-04T14:20:13Z
department:
- _id: '34'
- _id: '64'
language:
- iso: eng
status: public
supervisor:
- first_name: Johannes
  full_name: Blömer, Johannes
  id: '23'
  last_name: Blömer
title: BUFF Transform
type: bachelorsthesis
user_id: '41047'
year: '2025'
...
---
_id: '61065'
abstract:
- lang: eng
  text: Abduction is the task of computing a sufficient extension of a knowledge base
    (KB) that entails a conclusion not entailed by the original KB. It serves to compute
    explanations, or hypotheses, for such missing entailments. While this task has
    been intensively investigated for perfect data and under classical semantics,
    less is known about abduction when erroneous data results in inconsistent KBs.
    In this paper we define a suitable notion of abduction under repair semantics
    and propose a set of minimality criteria that guides abduction towards `useful'
    hypotheses. We provide initial complexity results on deciding existence of and
    verifying abductive solutions with these criteria, under different repair semantics
    and for the description logics DL-Lite and EL_bot.
author:
- first_name: Anselm
  full_name: Haak, Anselm
  id: '109969'
  last_name: Haak
- first_name: Patrick
  full_name: Koopmann, Patrick
  last_name: Koopmann
- first_name: Yasir
  full_name: Mahmood, Yasir
  id: '99353'
  last_name: Mahmood
- first_name: Anni-Yasmin
  full_name: Turhan, Anni-Yasmin
  id: '104470'
  last_name: Turhan
citation:
  ama: Haak A, Koopmann P, Mahmood Y, Turhan A-Y. Why not? Developing ABox Abduction
    beyond Repairs. <i>arXiv:250721955</i>. Published online 2025.
  apa: Haak, A., Koopmann, P., Mahmood, Y., &#38; Turhan, A.-Y. (2025). Why not? Developing
    ABox Abduction beyond Repairs. In <i>arXiv:2507.21955</i>.
  bibtex: '@article{Haak_Koopmann_Mahmood_Turhan_2025, title={Why not? Developing
    ABox Abduction beyond Repairs}, journal={arXiv:2507.21955}, author={Haak, Anselm
    and Koopmann, Patrick and Mahmood, Yasir and Turhan, Anni-Yasmin}, year={2025}
    }'
  chicago: Haak, Anselm, Patrick Koopmann, Yasir Mahmood, and Anni-Yasmin Turhan.
    “Why Not? Developing ABox Abduction beyond Repairs.” <i>ArXiv:2507.21955</i>,
    2025.
  ieee: A. Haak, P. Koopmann, Y. Mahmood, and A.-Y. Turhan, “Why not? Developing ABox
    Abduction beyond Repairs,” <i>arXiv:2507.21955</i>. 2025.
  mla: Haak, Anselm, et al. “Why Not? Developing ABox Abduction beyond Repairs.” <i>ArXiv:2507.21955</i>,
    2025.
  short: A. Haak, P. Koopmann, Y. Mahmood, A.-Y. Turhan, ArXiv:2507.21955 (2025).
date_created: 2025-08-29T07:58:08Z
date_updated: 2026-02-05T13:55:48Z
department:
- _id: '574'
- _id: '888'
external_id:
  arxiv:
  - '2507.21955'
language:
- iso: eng
project:
- _id: '121'
  name: 'TRR 318; TP B01: Ein dialogbasierter Ansatz zur Erklärung von Modellen des
    maschinellen Lernens'
publication: arXiv:2507.21955
status: public
title: Why not? Developing ABox Abduction beyond Repairs
type: preprint
user_id: '109969'
year: '2025'
...
---
_id: '63888'
author:
- first_name: Anselm
  full_name: Haak, Anselm
  id: '109969'
  last_name: Haak
- first_name: Patrick
  full_name: Koopmann, Patrick
  last_name: Koopmann
- first_name: Yasir
  full_name: Mahmood, Yasir
  id: '99353'
  last_name: Mahmood
- first_name: Anni-Yasmin
  full_name: Turhan, Anni-Yasmin
  id: '104470'
  last_name: Turhan
citation:
  ama: 'Haak A, Koopmann P, Mahmood Y, Turhan A-Y. Why not? Developing ABox Abduction
    beyond Repairs. In: Tendera L, Ibanez Garcia Y, Koopmann P, eds. <i>Proceedings
    of the 38th International Workshop on Description Logics - DL 2025</i>. ; 2025.'
  apa: Haak, A., Koopmann, P., Mahmood, Y., &#38; Turhan, A.-Y. (2025). Why not? Developing
    ABox Abduction beyond Repairs. In L. Tendera, Y. Ibanez Garcia, &#38; P. Koopmann
    (Eds.), <i>Proceedings of the 38th International Workshop on Description Logics
    - DL 2025</i>.
  bibtex: '@inproceedings{Haak_Koopmann_Mahmood_Turhan_2025, title={Why not? Developing
    ABox Abduction beyond Repairs}, booktitle={Proceedings of the 38th International
    Workshop on Description Logics - DL 2025}, author={Haak, Anselm and Koopmann,
    Patrick and Mahmood, Yasir and Turhan, Anni-Yasmin}, editor={Tendera, Lidia and
    Ibanez Garcia, Yazmin and Koopmann, Patrick}, year={2025} }'
  chicago: Haak, Anselm, Patrick Koopmann, Yasir Mahmood, and Anni-Yasmin Turhan.
    “Why Not? Developing ABox Abduction beyond Repairs.” In <i>Proceedings of the
    38th International Workshop on Description Logics - DL 2025</i>, edited by Lidia
    Tendera, Yazmin Ibanez Garcia, and Patrick Koopmann, 2025.
  ieee: A. Haak, P. Koopmann, Y. Mahmood, and A.-Y. Turhan, “Why not? Developing ABox
    Abduction beyond Repairs,” in <i>Proceedings of the 38th International Workshop
    on Description Logics - DL 2025</i>, Opole, Poland, 2025.
  mla: Haak, Anselm, et al. “Why Not? Developing ABox Abduction beyond Repairs.” <i>Proceedings
    of the 38th International Workshop on Description Logics - DL 2025</i>, edited
    by Lidia Tendera et al., 2025.
  short: 'A. Haak, P. Koopmann, Y. Mahmood, A.-Y. Turhan, in: L. Tendera, Y. Ibanez
    Garcia, P. Koopmann (Eds.), Proceedings of the 38th International Workshop on
    Description Logics - DL 2025, 2025.'
conference:
  end_date: 2025-09-06
  location: Opole, Poland
  name: Description Logics 2025
  start_date: 2025-09-03
date_created: 2026-02-05T13:54:08Z
date_updated: 2026-02-05T13:55:27Z
department:
- _id: '888'
- _id: '574'
editor:
- first_name: Lidia
  full_name: Tendera, Lidia
  last_name: Tendera
- first_name: Yazmin
  full_name: Ibanez Garcia, Yazmin
  last_name: Ibanez Garcia
- first_name: Patrick
  full_name: Koopmann, Patrick
  last_name: Koopmann
language:
- iso: eng
main_file_link:
- url: https://ceur-ws.org/Vol-4091/paper25.pdf
publication: Proceedings of the 38th International Workshop on Description Logics
  - DL 2025
status: public
title: Why not? Developing ABox Abduction beyond Repairs
type: conference
user_id: '109969'
year: '2025'
...
---
_id: '62285'
abstract:
- lang: eng
  text: 'The sliding square model is a widely used abstraction for studying self-reconfigurable
    robotic systems, where modules are square-shaped robots that move by sliding or
    rotating over one another. In this paper, we propose a novel distributed algorithm
    that enables a group of modules to reconfigure into a rhombus shape, starting
    from an arbitrary side-connected configuration. It is connectivity-preserving
    and operates under minimal assumptions: one leader module, common chirality, constant
    memory per module, and visibility and communication restricted to immediate neighbors.
    Unlike prior work, which relaxes the original sliding square move-set, our approach
    uses the unmodified move-set, addressing the additional challenge of handling
    locked configurations. Our algorithm is sequential in nature and operates with
    a worst-case time complexity of O(n^2) rounds, which is optimal for sequential
    algorithms. To improve runtime, we introduce two parallel variants of the algorithm.
    Both rely on a spanning tree data structure, allowing modules to make decisions
    based on local connectivity. Our experimental results show a significant speedup
    for the first variant, and a linear average runtime for the second variant, which
    is worst-case optimal for parallel algorithms.'
author:
- first_name: Irina
  full_name: Kostitsyna, Irina
  last_name: Kostitsyna
- first_name: David Jan
  full_name: Liedtke, David Jan
  id: '55557'
  last_name: Liedtke
- first_name: Christian
  full_name: Scheideler, Christian
  id: '20792'
  last_name: Scheideler
citation:
  ama: 'Kostitsyna I, Liedtke DJ, Scheideler C. Invited Paper: Distributed Rhombus
    Formation of Sliding Squares. In: Bonomi S, Mandal PS, Robinson P, Sharma G, Tixeuil
    S, eds. <i>Stabilization, Safety, and Security of Distributed Systems</i>. Springer
    Nature Switzerland; 2025:325-342. doi:<a href="https://doi.org/10.1007/978-3-032-11127-2_26">10.1007/978-3-032-11127-2_26</a>'
  apa: 'Kostitsyna, I., Liedtke, D. J., &#38; Scheideler, C. (2025). Invited Paper:
    Distributed Rhombus Formation of Sliding Squares. In S. Bonomi, P. S. Mandal,
    P. Robinson, G. Sharma, &#38; S. Tixeuil (Eds.), <i>Stabilization, Safety, and
    Security of Distributed Systems</i> (pp. 325–342). Springer Nature Switzerland.
    <a href="https://doi.org/10.1007/978-3-032-11127-2_26">https://doi.org/10.1007/978-3-032-11127-2_26</a>'
  bibtex: '@inproceedings{Kostitsyna_Liedtke_Scheideler_2025, place={Cham}, title={Invited
    Paper: Distributed Rhombus Formation of Sliding Squares}, DOI={<a href="https://doi.org/10.1007/978-3-032-11127-2_26">10.1007/978-3-032-11127-2_26</a>},
    booktitle={Stabilization, Safety, and Security of Distributed Systems}, publisher={Springer
    Nature Switzerland}, author={Kostitsyna, Irina and Liedtke, David Jan and Scheideler,
    Christian}, editor={Bonomi, Silvia and Mandal, Partha Sarathi and Robinson, Peter
    and Sharma, Gokarna and Tixeuil, Sebastien}, year={2025}, pages={325–342} }'
  chicago: 'Kostitsyna, Irina, David Jan Liedtke, and Christian Scheideler. “Invited
    Paper: Distributed Rhombus Formation of Sliding Squares.” In <i>Stabilization,
    Safety, and Security of Distributed Systems</i>, edited by Silvia Bonomi, Partha
    Sarathi Mandal, Peter Robinson, Gokarna Sharma, and Sebastien Tixeuil, 325–42.
    Cham: Springer Nature Switzerland, 2025. <a href="https://doi.org/10.1007/978-3-032-11127-2_26">https://doi.org/10.1007/978-3-032-11127-2_26</a>.'
  ieee: 'I. Kostitsyna, D. J. Liedtke, and C. Scheideler, “Invited Paper: Distributed
    Rhombus Formation of Sliding Squares,” in <i>Stabilization, Safety, and Security
    of Distributed Systems</i>, Kathmandu, 2025, pp. 325–342, doi: <a href="https://doi.org/10.1007/978-3-032-11127-2_26">10.1007/978-3-032-11127-2_26</a>.'
  mla: 'Kostitsyna, Irina, et al. “Invited Paper: Distributed Rhombus Formation of Sliding
    Squares.” <i>Stabilization, Safety, and Security of Distributed Systems</i>, edited
    by Silvia Bonomi et al., Springer Nature Switzerland, 2025, pp. 325–42, doi:<a
    href="https://doi.org/10.1007/978-3-032-11127-2_26">10.1007/978-3-032-11127-2_26</a>.'
  short: 'I. Kostitsyna, D.J. Liedtke, C. Scheideler, in: S. Bonomi, P.S. Mandal,
    P. Robinson, G. Sharma, S. Tixeuil (Eds.), Stabilization, Safety, and Security
    of Distributed Systems, Springer Nature Switzerland, Cham, 2025, pp. 325–342.'
conference:
  end_date: 2025-10-11
  location: Kathmandu
  name: 27th International Symposium on Stabilization, Safety, and Security of Distributed
    Systems (SSS)
  start_date: 2025-10-09
date_created: 2025-11-23T21:07:12Z
date_updated: 2026-02-11T08:31:14Z
department:
- _id: '79'
doi: 10.1007/978-3-032-11127-2_26
editor:
- first_name: Silvia
  full_name: Bonomi, Silvia
  last_name: Bonomi
- first_name: Partha Sarathi
  full_name: Mandal, Partha Sarathi
  last_name: Mandal
- first_name: Peter
  full_name: Robinson, Peter
  last_name: Robinson
- first_name: Gokarna
  full_name: Sharma, Gokarna
  last_name: Sharma
- first_name: Sebastien
  full_name: Tixeuil, Sebastien
  last_name: Tixeuil
language:
- iso: eng
page: 325-342
place: Cham
publication: Stabilization, Safety, and Security of Distributed Systems
publication_identifier:
  isbn:
  - '9783032111265'
  - '9783032111272'
  issn:
  - 0302-9743
  - 1611-3349
publication_status: published
publisher: Springer Nature Switzerland
status: public
title: 'Invited Paper: Distributed Rhombus Formation of Sliding Squares'
type: conference
user_id: '15578'
year: '2025'
...
---
_id: '64098'
author:
- first_name: Christian
  full_name: Scheideler, Christian
  id: '20792'
  last_name: Scheideler
- first_name: Andreas
  full_name: Padalkin, Andreas
  id: '88238'
  last_name: Padalkin
- first_name: Manish
  full_name: Kumar, Manish
  last_name: Kumar
citation:
  ama: 'Scheideler C, Padalkin A, Kumar M. Reconfiguration and locomotion with joint
    movements in the amoebot model. Auton. Robots 49(3): 22 (2025). <i>Reconfiguration
    and locomotion with joint movements in the amoebot model Auton Robots 49(3): 22
    (2025)</i>. Published online 2025.'
  apa: 'Scheideler, C., Padalkin, A., &#38; Kumar, M. (2025). Reconfiguration and
    locomotion with joint movements in the amoebot model. Auton. Robots 49(3): 22
    (2025). <i>Reconfiguration and Locomotion with Joint Movements in the Amoebot
    Model. Auton. Robots 49(3): 22 (2025)</i>.'
  bibtex: '@article{Scheideler_Padalkin_Kumar_2025, title={Reconfiguration and locomotion
    with joint movements in the amoebot model. Auton. Robots 49(3): 22 (2025)}, journal={Reconfiguration
    and locomotion with joint movements in the amoebot model. Auton. Robots 49(3):
    22 (2025)}, author={Scheideler, Christian and Padalkin, Andreas and Kumar, Manish},
    year={2025} }'
  chicago: 'Scheideler, Christian, Andreas Padalkin, and Manish Kumar. “Reconfiguration
    and Locomotion with Joint Movements in the Amoebot Model. Auton. Robots 49(3):
    22 (2025).” <i>Reconfiguration and Locomotion with Joint Movements in the Amoebot
    Model. Auton. Robots 49(3): 22 (2025)</i>, 2025.'
  ieee: 'C. Scheideler, A. Padalkin, and M. Kumar, “Reconfiguration and locomotion
    with joint movements in the amoebot model. Auton. Robots 49(3): 22 (2025),” <i>Reconfiguration
    and locomotion with joint movements in the amoebot model. Auton. Robots 49(3):
    22 (2025)</i>, 2025.'
  mla: 'Scheideler, Christian, et al. “Reconfiguration and Locomotion with Joint Movements
    in the Amoebot Model. Auton. Robots 49(3): 22 (2025).” <i>Reconfiguration and
    Locomotion with Joint Movements in the Amoebot Model. Auton. Robots 49(3): 22
    (2025)</i>, 2025.'
  short: 'C. Scheideler, A. Padalkin, M. Kumar, Reconfiguration and Locomotion with
    Joint Movements in the Amoebot Model. Auton. Robots 49(3): 22 (2025) (2025).'
date_created: 2026-02-10T09:41:12Z
date_updated: 2026-02-11T09:11:49Z
department:
- _id: '34'
- _id: '7'
- _id: '79'
language:
- iso: eng
publication: 'Reconfiguration and locomotion with joint movements in the amoebot model.
  Auton. Robots 49(3): 22 (2025)'
status: public
title: 'Reconfiguration and locomotion with joint movements in the amoebot model.
  Auton. Robots 49(3): 22 (2025)'
type: journal_article
user_id: '15578'
year: '2025'
...
---
_id: '64094'
author:
- first_name: Christian
  full_name: Scheideler, Christian
  id: '20792'
  last_name: Scheideler
- first_name: Matthias
  full_name: Artmann, Matthias
  id: '63743'
  last_name: Artmann
- first_name: 'Tobias '
  full_name: 'Maurer, Tobias '
  last_name: Maurer
- first_name: Andreas
  full_name: Padalkin, Andreas
  id: '88238'
  last_name: Padalkin
- first_name: Daniel
  full_name: Warner, Daniel
  id: '3902'
  last_name: Warner
citation:
  ama: 'Scheideler C, Artmann M, Maurer T, Padalkin A, Warner D. AmoebotSim 2.0: A
    Visual Simulation Environment for the Amoebot Model with Reconfigurable Circuits
    and Joint Movements (Media Exposition). . In: ; 2025.'
  apa: 'Scheideler, C., Artmann, M., Maurer, T., Padalkin, A., &#38; Warner, D. (2025).
    <i>AmoebotSim 2.0: A Visual Simulation Environment for the Amoebot Model with
    Reconfigurable Circuits and Joint Movements (Media Exposition). </i>.'
  bibtex: '@inproceedings{Scheideler_Artmann_Maurer_Padalkin_Warner_2025, place={SoCG
    2025: 81:1-81:5}, title={AmoebotSim 2.0: A Visual Simulation Environment for the
    Amoebot Model with Reconfigurable Circuits and Joint Movements (Media Exposition).
    }, author={Scheideler, Christian and Artmann, Matthias and Maurer, Tobias  and
    Padalkin, Andreas and Warner, Daniel}, year={2025} }'
  chicago: 'Scheideler, Christian, Matthias Artmann, Tobias  Maurer, Andreas Padalkin,
    and Daniel Warner. “AmoebotSim 2.0: A Visual Simulation Environment for the Amoebot
    Model with Reconfigurable Circuits and Joint Movements (Media Exposition). .”
    SoCG 2025: 81:1-81:5, 2025.'
  ieee: 'C. Scheideler, M. Artmann, T. Maurer, A. Padalkin, and D. Warner, “AmoebotSim
    2.0: A Visual Simulation Environment for the Amoebot Model with Reconfigurable
    Circuits and Joint Movements (Media Exposition). ,” 2025.'
  mla: 'Scheideler, Christian, et al. <i>AmoebotSim 2.0: A Visual Simulation Environment
    for the Amoebot Model with Reconfigurable Circuits and Joint Movements (Media
    Exposition). </i>. 2025.'
  short: 'C. Scheideler, M. Artmann, T. Maurer, A. Padalkin, D. Warner, in: SoCG 2025:
    81:1-81:5, 2025.'
date_created: 2026-02-10T09:01:15Z
date_updated: 2026-02-11T09:11:42Z
department:
- _id: '34'
- _id: '7'
- _id: '79'
language:
- iso: eng
place: 'SoCG 2025: 81:1-81:5'
status: public
title: 'AmoebotSim 2.0: A Visual Simulation Environment for the Amoebot Model with
  Reconfigurable Circuits and Joint Movements (Media Exposition). '
type: conference
user_id: '15578'
year: '2025'
...
---
_id: '64099'
citation:
  ama: Scheideler C, Meeks K, eds. <i>4th Symposium on Algorithmic Foundations of
    Dynamic Networks.</i>; 2025.
  apa: Scheideler, C., &#38; Meeks, K. (Eds.). (2025). <i>4th Symposium on Algorithmic
    Foundations of Dynamic Networks.</i>
  bibtex: '@book{Scheideler_Meeks_2025, place={SAND 2025, Liverpool, UK, June 9-11,
    2025. LIPIcs 330, Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, title={4th
    Symposium on Algorithmic Foundations of Dynamic Networks.}, year={2025} }'
  chicago: Scheideler, Christian, and Kitty Meeks, eds. <i>4th Symposium on Algorithmic
    Foundations of Dynamic Networks.</i> SAND 2025, Liverpool, UK, June 9-11, 2025.
    LIPIcs 330, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025.
  ieee: C. Scheideler and K. Meeks, Eds., <i>4th Symposium on Algorithmic Foundations
    of Dynamic Networks.</i> SAND 2025, Liverpool, UK, June 9-11, 2025. LIPIcs 330,
    Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025.
  mla: Scheideler, Christian, and Kitty Meeks, editors. <i>4th Symposium on Algorithmic
    Foundations of Dynamic Networks.</i> 2025.
  short: C. Scheideler, K. Meeks, eds., 4th Symposium on Algorithmic Foundations of
    Dynamic Networks., SAND 2025, Liverpool, UK, June 9-11, 2025. LIPIcs 330, Schloss
    Dagstuhl - Leibniz-Zentrum für Informatik, 2025.
date_created: 2026-02-10T09:49:03Z
date_updated: 2026-02-11T09:11:09Z
department:
- _id: '34'
- _id: '7'
- _id: '79'
editor:
- first_name: Christian
  full_name: Scheideler, Christian
  id: '20792'
  last_name: Scheideler
- first_name: Kitty
  full_name: Meeks, Kitty
  last_name: Meeks
language:
- iso: eng
place: SAND 2025, Liverpool, UK, June 9-11, 2025. LIPIcs 330, Schloss Dagstuhl - Leibniz-Zentrum
  für Informatik
publication_identifier:
  unknown:
  - ISBN 978-3-95977-368-3
status: public
title: 4th Symposium on Algorithmic Foundations of Dynamic Networks.
type: book_editor
user_id: '15578'
year: '2025'
...
---
_id: '64097'
author:
- first_name: Christian
  full_name: Scheideler, Christian
  id: '20792'
  last_name: Scheideler
- first_name: Matthias
  full_name: Artmann, Matthias
  id: '63743'
  last_name: Artmann
- first_name: Andreas
  full_name: Padalkin, Andreas
  id: '88238'
  last_name: Padalkin
citation:
  ama: 'Scheideler C, Artmann M, Padalkin A. On the Shape Containment Problem Within
    the Amoebot Model with Reconfigurable Circuits. . In: ; 2025.'
  apa: Scheideler, C., Artmann, M., &#38; Padalkin, A. (2025). <i>On the Shape Containment
    Problem Within the Amoebot Model with Reconfigurable Circuits. </i>.
  bibtex: '@inproceedings{Scheideler_Artmann_Padalkin_2025, place={DISC 2025: 7:1-7:22},
    title={On the Shape Containment Problem Within the Amoebot Model with Reconfigurable
    Circuits. }, author={Scheideler, Christian and Artmann, Matthias and Padalkin,
    Andreas}, year={2025} }'
  chicago: 'Scheideler, Christian, Matthias Artmann, and Andreas Padalkin. “On the
    Shape Containment Problem Within the Amoebot Model with Reconfigurable Circuits.
    .” DISC 2025: 7:1-7:22, 2025.'
  ieee: C. Scheideler, M. Artmann, and A. Padalkin, “On the Shape Containment Problem
    Within the Amoebot Model with Reconfigurable Circuits. ,” 2025.
  mla: Scheideler, Christian, et al. <i>On the Shape Containment Problem Within the
    Amoebot Model with Reconfigurable Circuits. </i>. 2025.
  short: 'C. Scheideler, M. Artmann, A. Padalkin, in: DISC 2025: 7:1-7:22, 2025.'
date_created: 2026-02-10T09:17:54Z
date_updated: 2026-02-11T09:11:19Z
department:
- _id: '34'
- _id: '7'
- _id: '79'
language:
- iso: eng
place: 'DISC 2025: 7:1-7:22'
status: public
title: 'On the Shape Containment Problem Within the Amoebot Model with Reconfigurable
  Circuits. '
type: conference
user_id: '15578'
year: '2025'
...
