Publications

Journal papers

Bates A, Primack R, Biggar B, Bird T, Clinton M, Command R et al. 2021. Global COVID-19 lockdown highlights humans as both threats and custodians of the environment. Biological Conservation, 263, 109175.

MacGregor-Fors I, Arbeláez-Crotés E, Estela F, Ocampo D, Sánchez-Sarria C, García-Arroyo M et al. 2022. Increases in Avian Diversity Associated with COVID-19 Lockdowns in Urban Colombia. Animal Biodiversity and Conservation, 45.2, 315-325.

Conference papers

Aguirre-Samboní G, Haar S, Paulevé L, Schwoon S and Würdemann N. Avoid One’s Doom: Finding Cliff-Edge Configurations in Petri Nets. GandALF 2022: Games, Automata, Logics, and Formal Verification, Sep 2022, Madrid, Spain. pp. 178--193.

Aguirre-Samboní G, Guacherel C, Haar S and Pommereau F. Reset Petri Net Unfolding Semantics for Ecosystem Hypergraphs. International Workshop on Petri Nets and Software Engineering (PNSE 2022), Jul 2022, Bergen, Norway. pp. 213--214

Aguirre-Samboní G, Rengifo-Valencia J, Mejía-Botero P, Torres-Mesías H, García-Cifuentes J. Rediseñando los Espacios de Aprendizaje del Futuro, para Estudiantes de Ingeniería, Ciencias de la Computación y Ciencias Naturales, mediante Design Thinking. EIEI ACOFI, Sep 2017, Cartagena, Colombia.

Submitted

Aguirre-Samboní G, Haar S, Paulevé L, Schwoon S and Würdemann N. Attractor Basins in Concurrent Systems. [preprint submitted to Logical Methods in Computer Science]. 2024.

In preparation...

Aguirre-Samboní G, Lemoine G, Molineros J, Massip F and Azencott CA. Advanced statistical machine learning methods to the analysis of genome-wide biobank data for determining genotype-phenotype associations. 2025.

Aguirre-Samboní G, Haar S, Pommereau F, Marzloff M and Guacherel C. Causal analysis of ecosystem trajectories using Petri net unfoldings. 2025.