Menezes, Rafael

1. ESBMC-Python: A Bounded Model Checker for Python Programs
   2024/07/03 by Bruno Farias, Farias, Bruno, Rafael Menezes +7 · 2 citations
   Computer Science · #Computational Physics and Python Applications #FOS: Computer and information sciences #Software Engineering (cs.SE)
2. Spatial moment dynamics and biomass density equations provide complementary, yet limited, descriptions of pattern formation in individual-based simulations
   2024/10/30 by Anudeep Surendran, Surendran, Anudeep, David Pinto-Ramos +5 · 2 citations
   Environmental Science · #Adaptation and Self-Organizing Systems (nlin.AO) #Ecology and Vegetation Dynamics Studies #Ecosystem dynamics and resilience #FOS: Biological sciences #FOS: Physical sciences #Pattern Formation and Solitons (nlin.PS) #Peatlands and Wetlands Ecology #Populations and Evolution (q-bio.PE)