|
1 |
Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents
Lyon, Timothy. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
2 |
Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations
Lyon, Timothy. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
3 |
Self-powered rapid antigen-specific T-cell response assay for Mycobacterium tuberculosis infections
Enthalten in Nature biomedical engineering 27.6.2025: 1-11
|
|
|
|
4 |
Training the Next Generation of Researchers to Advance Cancer Health Equity: Five Years of Experience from the Florida-California Cancer Research, Education and Engagement (CaRE2) Health Equity Center
Enthalten in Journal of cancer education 26.6.2025: 1-9
|
|
|
|
5 |
Long term monitoring of the geoelectric field in the UK – 2012–2024
Enthalten in EGUsphere 06.06.2025: 1-29. 29 S.
|
|
|
|
6 |
Fundamental Principles of Cognitive Biology 2.0
Enthalten in Biological theory 2.5.2025: 1-17
|
|
|
|
7 |
Evolution of kimberlite exploration – systematic exploration using a ground geophysical toolbox for kimberlites, Slave Craton, NT, Canada
Enthalten in Mineralogy and petrology 30.4.2025: 1-9
|
|
|
|
8 |
The Cardiovascular Manifestations and Management Recommendations for Ogden Syndrome
Enthalten in Pediatric cardiology 28.4.2025: 1-12
|
|
|
|
9 |
Tagung „Assenheim: une communauté indépendante et inclusive à l’interface des sciences et de la société – Forscherheim Assenheim: eine unabhängige und inklusive Gemeinschaft an der Schnittstelle zwischen Wissenschaften und Gesellschaft“, Espace Marc Bloch, Maison des Sciences de l’Homme, Lyon, 20.–22. Juni 2024
Enthalten in Kieler sozialwissenschaftliche Revue Bd. 2, 2025, Nr. 2: 196-202
|
|
|
|
10 |
Unsupervised classification of organic coating performance using electrochemical impedance data
Enthalten in Journal of applied electrochemistry 1.2.2025: 1-16
|
|
Administration
