Department of Computer Science

Search results

• Cyclone: A Heterogeneous Tool for Checking Infinite Descent (Software Artifact)

  Rowe, R. (Creator), Cohen, L. (Creator) & Shaked, M. (Creator), ZENODO, 25 Oct 2024

  DOI: 10.5281/zenodo.13990264, https://zenodo.org/records/13990264

  Dataset

• Cyclone: A Heterogeneous Tool for Checking Infinite Descent (Software Artifact)

  Rowe, R. (Creator), Cohen, L. (Creator) & Shaked, M. (Creator), ZENODO, 5 Feb 2025

  DOI: 10.5281/zenodo.14743891, https://zenodo.org/records/14743891

  Dataset

• Exploring Design Smells for Smell-Based Defect Prediction

  Sotto-Mayor De Castro Machado, B. M. (Creator), Elmishali, A. (Creator), Kalech, M. (Creator) & Abreu, R. (Creator), ZENODO, 2020

  DOI: 10.5281/zenodo.4110652, https://zenodo.org/record/4110652

  Dataset

• The Complex(ity) Landscape of Checking Infinite Descent (Software Artifact)

  Cohen, L. (Creator), Jabarin, A. (Creator), Popescu, A. (Creator) & Rowe, R. N. S. (Creator), ZENODO, 9 Oct 2023

  DOI: 10.5281/zenodo.8422899, https://zenodo.org/record/8422899

  Dataset

• CatLion.py

  Hartwig, F. (Creator), Sassen, J. (Creator), Azencot, O. (Creator), Rumpf, M. (Creator), Ben Chen, M. (Creator) & Hartwig, F. (Contributor), bonndata, 2023

  DOI: 10.60507/fk2/dxoehj/grue9x, https://bonndata.uni-bonn.de/file.xhtml?persistentId=doi:10.60507/FK2/DXOEHJ/GRUE9X

  Dataset

• homerA_landmarksInfo.txt

  Hartwig, F. (Creator), Sassen, J. (Creator), Azencot, O. (Creator), Rumpf, M. (Creator), Ben Chen, M. (Creator) & Hartwig, F. (Contributor), bonndata, 2023

  DOI: 10.60507/fk2/dxoehj/su7xdb, https://bonndata.uni-bonn.de/file.xhtml?persistentId=doi:10.60507/FK2/DXOEHJ/SU7XDB

  Dataset

• teaser.png

  Hartwig, F. (Creator), Sassen, J. (Creator), Azencot, O. (Creator), Rumpf, M. (Creator), Ben Chen, M. (Creator) & Hartwig, F. (Contributor), bonndata, 2023

  DOI: 10.60507/fk2/dxoehj/cekwfb, https://bonndata.uni-bonn.de/file.xhtml?persistentId=doi:10.60507/FK2/DXOEHJ/CEKWFB

  Dataset

• headA_landmarks.txt

  Hartwig, F. (Creator), Sassen, J. (Creator), Azencot, O. (Creator), Rumpf, M. (Creator), Ben Chen, M. (Creator) & Hartwig, F. (Contributor), bonndata, 2023

  DOI: 10.60507/fk2/dxoehj/z7ejto, https://bonndata.uni-bonn.de/file.xhtml?persistentId=doi:10.60507/FK2/DXOEHJ/Z7EJTO

  Dataset

• headB.obj

  Hartwig, F. (Creator), Sassen, J. (Creator), Azencot, O. (Creator), Rumpf, M. (Creator), Ben Chen, M. (Creator) & Hartwig, F. (Contributor), bonndata, 2023

  DOI: 10.60507/fk2/dxoehj/x9s0fu, https://bonndata.uni-bonn.de/file.xhtml?persistentId=doi:10.60507/FK2/DXOEHJ/X9S0FU

  Dataset

• headA_landmarkinfo.txt

  Hartwig, F. (Creator), Sassen, J. (Creator), Azencot, O. (Creator), Rumpf, M. (Creator), Ben Chen, M. (Creator) & Hartwig, F. (Contributor), bonndata, 2023

  DOI: 10.60507/fk2/dxoehj/rmzxx1, https://bonndata.uni-bonn.de/file.xhtml?persistentId=doi:10.60507/FK2/DXOEHJ/RMZXX1

  Dataset

• __init__.py

  Hartwig, F. (Creator), Sassen, J. (Creator), Azencot, O. (Creator), Rumpf, M. (Creator), Ben Chen, M. (Creator) & Hartwig, F. (Contributor), bonndata, 2023

  DOI: 10.60507/fk2/dxoehj/hepodk, https://bonndata.uni-bonn.de/file.xhtml?persistentId=doi:10.60507/FK2/DXOEHJ/HEPODK

  Dataset

• VMP_HP-ext

  Droby, A. (Creator), Shapira, D. V. (Creator), Rabaev, I. (Creator), Bakarat, B. K. (Creator) & El-Sana, J. (Creator), ZENODO, 27 Mar 2022

  DOI: 10.5281/zenodo.6387471, https://zenodo.org/record/6387471

  Dataset

• Tracking: PPoPP 22 - Detectable Recovery of Lock-Free Data Structures

  Attiya, H. (Creator), Ben-Baruch, O. (Creator), Fatourou, P. (Creator), Hendler, D. (Creator) & Kosmas, E. (Creator), ZENODO, 2022

  DOI: 10.5281/zenodo.5816339, https://zenodo.org/record/5816339

  Dataset

• __init__.py

  Hartwig, F. (Creator), Sassen, J. (Creator), Azencot, O. (Creator), Rumpf, M. (Creator), Ben Chen, M. (Creator) & Hartwig, F. (Contributor), bonndata, 2023

  DOI: 10.60507/fk2/dxoehj/cgkzbi, https://bonndata.uni-bonn.de/file.xhtml?persistentId=doi:10.60507/FK2/DXOEHJ/CGKZBI

  Dataset

• evaluation.py

  Hartwig, F. (Creator), Sassen, J. (Creator), Azencot, O. (Creator), Rumpf, M. (Creator), Ben Chen, M. (Creator) & Hartwig, F. (Contributor), bonndata, 2023

  DOI: 10.60507/fk2/dxoehj/arduli, https://bonndata.uni-bonn.de/file.xhtml?persistentId=doi:10.60507/FK2/DXOEHJ/ARDULI

  Dataset

• gt_homerA_homerB.txt

  Hartwig, F. (Creator), Sassen, J. (Creator), Azencot, O. (Creator), Rumpf, M. (Creator), Ben Chen, M. (Creator) & Hartwig, F. (Contributor), bonndata, 2023

  DOI: 10.60507/fk2/dxoehj/mlfscj, https://bonndata.uni-bonn.de/file.xhtml?persistentId=doi:10.60507/FK2/DXOEHJ/MLFSCJ

  Dataset

• Implementation of An Elastic Basis for Spectral Shape Correspondence

  Hartwig, F. (Creator), Sassen, J. (Creator), Azencot, O. (Creator), Rumpf, M. (Creator), Ben Chen, M. (Creator) & Hartwig, F. (Contributor), bonndata, 2023

  DOI: 10.60507/fk2/dxoehj, https://bonndata.uni-bonn.de/citation?persistentId=doi:10.60507/FK2/DXOEHJ

  Dataset

• homerA.obj

  Hartwig, F. (Creator), Sassen, J. (Creator), Azencot, O. (Creator), Rumpf, M. (Creator), Ben Chen, M. (Creator) & Hartwig, F. (Contributor), bonndata, 2023

  DOI: 10.60507/fk2/dxoehj/2vx8r2, https://bonndata.uni-bonn.de/file.xhtml?persistentId=doi:10.60507/FK2/DXOEHJ/2VX8R2

  Dataset

• utilsEF.py

  Hartwig, F. (Creator), Sassen, J. (Creator), Azencot, O. (Creator), Rumpf, M. (Creator), Ben Chen, M. (Creator) & Hartwig, F. (Contributor), bonndata, 2023

  DOI: 10.60507/fk2/dxoehj/rq2c59, https://bonndata.uni-bonn.de/file.xhtml?persistentId=doi:10.60507/FK2/DXOEHJ/RQ2C59

  Dataset

• README.md

  Hartwig, F. (Creator), Sassen, J. (Creator), Azencot, O. (Creator), Rumpf, M. (Creator), Ben Chen, M. (Creator) & Hartwig, F. (Contributor), bonndata, 2023

  DOI: 10.60507/fk2/dxoehj/nuuurj, https://bonndata.uni-bonn.de/file.xhtml?persistentId=doi:10.60507/FK2/DXOEHJ/NUUURJ

  Dataset

• LeoParDS

  Izsak, N. (Creator), ZENODO, 13 Apr 2024

  DOI: 10.5281/zenodo.10968038, https://zenodo.org10968038

  Dataset

• LeoParDS

  Izsak, N. (Creator), ZENODO, 23 Apr 2024

  DOI: 10.5281/zenodo.11080250, https://zenodo.org11080250

  Dataset

• The Complex(ity) Landscape of Checking Infinite Descent (Software Artifact)

  Cohen, L. (Creator), Jabarin, A. (Creator), Popescu, A. (Creator) & Rowe, R. N. S. (Creator), ZENODO, 5 Nov 2023

  DOI: 10.5281/zenodo.10073582, https://zenodo.org10073582

  Dataset

• Exploring Design Smells for Smell-Based Defect Prediction

  Sotto-Mayor De Castro Machado, B. M. (Creator), Elmishali, A. (Creator), Kalech, M. (Creator) & Abreu, R. (Creator), ZENODO, 2020

  DOI: 10.5281/zenodo.4103861, https://zenodo.org/record/4103861

  Dataset

• LICENSE

  Hartwig, F. (Creator), Sassen, J. (Creator), Azencot, O. (Creator), Rumpf, M. (Creator), Ben Chen, M. (Creator) & Hartwig, F. (Contributor), bonndata, 2023

  DOI: 10.60507/fk2/dxoehj/uxvqzd, https://bonndata.uni-bonn.de/file.xhtml?persistentId=doi:10.60507/FK2/DXOEHJ/UXVQZD

  Dataset