Find research data

Search results

• pymwp: MWP analysis on C code in Python

  Aubert, C. (Creator), Rubiano, T. (Creator), Rusch, N. (Creator) & Seiller, T. (Creator), ZENODO, Apr 30 2023

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

  Dataset

• Artifact associated with "A Dependent Dependency Calculus"

  Choudhury, P. (Creator), Kovacs-Kasa, A. (Creator) & Weirich, S. (Creator), ZENODO, Jan 25 2022

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

  Dataset

• Loss of Ufl1/Ufbp1 in hepatocytes promotes liver pathological damage and carcinogenesis through activating mTOR signaling

  Chen, F. (Creator), Sheng, L. (Creator), Zhou, T. (Creator), Yan, L. (Creator), Loveless, R. (Creator), Li, H. (Creator), Teng, Y. (Creator) & Cai, Y. (Creator), figshare, 2023

  DOI: 10.6084/m9.figshare.c.6627375, https://springernature.figshare.com/collections/Loss_of_Ufl1_Ufbp1_in_hepatocytes_promotes_liver_pathological_damage_and_carcinogenesis_through_activating_mTOR_signaling/6627375

  Dataset

• In vitro Antimycobacterial Activity and Physicochemical Characterization of Diaryl Ether Triclosan Analogues as Potential InhA Reductase Inhibitors

  Lough, M. L. (Creator), ZENODO, Jan 28 2020

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

  Dataset

• Mediation of PKM2-dependent glycolytic and non-glycolytic pathways by ENO2 in head and neck cancer development

  Gao, L. (Creator), Yang, F. (Creator), Tang, D. (Creator), Xu, Z. (Creator), Tang, Y. (Creator), Yang, D. (Creator), Sun, D. (Creator), Chen, Z. (Creator) & Teng, Y. (Creator), figshare, 2023

  DOI: 10.6084/m9.figshare.c.6579647, https://springernature.figshare.com/collections/Mediation_of_PKM2-dependent_glycolytic_and_non-glycolytic_pathways_by_ENO2_in_head_and_neck_cancer_development/6579647

  Dataset

• pymwp: MWP analysis in Python

  Aubert, C. (Creator), Rubiano, T. (Creator), Rusch, N. (Creator) & Seiller, T. (Creator), ZENODO, May 8 2023

  DOI: 10.5281/zenodo.7908484, https://zenodo.org7908484

  Dataset

• pymwp: A Tool for Guaranteeing Complexity Bounds for C Programs

  Aubert, C. (Creator), Rubiano, T. (Creator), Rusch, N. (Creator) & Seiller, T. (Creator), ZENODO, Oct 13 2022

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

  Dataset

• Distributing and Parallelizing Non-canonical Loops -- Artifact

  Aubert, C. (Creator), Rubiano, T. (Creator), Rusch, N. (Creator) & Seiller, T. (Creator), ZENODO, Sep 14 2022

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

  Dataset