The Lean Theorem Prover (System Description) von de Moura, Leonardo, Kong, Soonho, Avigad, Jeremy, van Doorn, Floris, von Raumer, Jakob

Volltext

Quantomatic: A Proof Assistant for Diagrammatic Reasoning von Kissinger, Aleks, Zamdzhiev, Vladimir

Volltext

Enzymatic synthesis of cyclic dinucleotide analogs by a promiscuous cyclic-AMP-GMP synthetase and analysis of cyclic dinucleotide responsive riboswitches von Launer-Felty, Katherine D, Strobel, Scott A

Volltext

Environmental estrogen-like endocrine disrupting chemicals and breast cancer von Morgan, Marisa, Deoraj, Alok, Felty, Quentin, Roy, Deodutta

Volltext

Preface to Special Issue: LSFA 2019 and 2020 von Felty, Amy, Reis, Giselle

Volltext

Hybrid: A Definitional Two-Level Approach to Reasoning with Higher-Order Abstract Syntax von Felty, Amy, Momigliano, Alberto

Volltext

Formalization of Metatheory of the Quipper Quantum Programming Language in a Linear Logic von Mahmoud, Mohamed Yousri, Felty, Amy P.

Volltext

More Than a Job: Student Fitness Instructors’ Leadership, Communication, and Relationship Building in Campus Recreation von Felty, Morgyn, Liu, Hungling

Volltext

Termination Competition (termCOMP 2015) von Giesl, Jürgen, Mesnard, Frédéric, Rubio, Albert, Thiemann, René, Waldmann, Johannes

Volltext

Molecular basis of the association between transcription regulators nuclear respiratory factor 1 and inhibitor of DNA binding protein 3 and the development of microvascular lesions von Perez, Christian Michael, Felty, Quentin

Volltext

Social Identity Theory and Intergroup Conflict in Israel/Palestine von Felty, Stephen

Volltext

Reactive oxygen species via redox signaling to PI3K/AKT pathway contribute to the malignant growth of 4-hydroxy estradiol-transformed mammary epithelial cells von Okoh, Victor O, Felty, Quentin, Parkash, Jai, Poppiti, Robert, Roy, Deodutta

Volltext

Endocrine Disrupting Chemicals Influence Hub Genes Associated with Aggressive Prostate Cancer von Alwadi, Diaaidden, Felty, Quentin, Yoo, Changwon, Roy, Deodutta, Deoraj, Alok

Volltext

Nuclear Respiratory Factor 1 (NRF1) Transcriptional Activity-Driven Gene Signature Association with Severity of Astrocytoma and Poor Prognosis of Glioblastoma von Bhawe, Kaumudi, Felty, Quentin, Yoo, Changwon, Ehtesham, Nasreen Z., Hasnain, Seyed E., Singh, Varindera Paul, Mohapatra, Ishani, Roy, Deodutta

Volltext

Exploring Teachers' Efforts to Develop Students' Interests and Talents in Elementary Schools von Yanti, Felty Wila

Volltext

Environmental Phenol and Paraben Exposure Risks and Their Potential Influence on the Gene Expression Involved in the Prognosis of Prostate Cancer von Alwadi, Diaaidden, Felty, Quentin, Roy, Deodutta, Yoo, Changwon, Deoraj, Alok

Volltext

A certified access control policy language: TEpla von Eaman, Amir, Felty, Amy

Volltext

Integrated Chip-Seq and RNA-Seq Data Analysis Coupled with Bioinformatics Approaches to Investigate Regulatory Landscape of Transcription Modulators in Breast Cancer Cells von Ramos, Jairo, Felty, Quentin, Roy, Deodutta

Volltext

KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems von Fulton, Nathan, Mitsch, Stefan, Quesel, Jan-David, Völp, Marcus, Platzer, André

Volltext

CTL Model Checking in Deduction Modulo von Ji, Kailiang

Volltext