Tradeoffs and synergies among ecosystem services, biodiversity conservation, and food production in coffee agroforestry
Mayorga, Isabella, Vargas de Mendonça, Jose Luiz, Hajian-Forooshani, Zachary, Lugo-Perez, Javier, Perfecto, Ivette
Published in Frontiers in Forests and Global Change (18.08.2022)
Published in Frontiers in Forests and Global Change (18.08.2022)
Get full text
Journal Article
Work-in-Progress: Towards a Theory of Robust Quantitative Semantics for Signal Temporal Logic
Jeannin, Jean-Baptiste, Chen, Jiawei, de Mendonca, Jose Luiz Vargas, Mamouras, Konstantinos
Published in 2022 International Conference on Embedded Software (EMSOFT) (01.10.2022)
Published in 2022 International Conference on Embedded Software (EMSOFT) (01.10.2022)
Get full text
Conference Proceeding
Synchronous Programming with Refinement Types
Chen, Jiawei, de Mendonça, José Luiz Vargas, Ayele, Bereket Shimels, Bekele, Bereket Ngussie, Jalili, Shayan, Sharma, Pranjal, Wohlfeil, Nicholas, Zhang, Yicheng, Jeannin, Jean-Baptiste
Published in Proceedings of ACM on programming languages (15.08.2024)
Published in Proceedings of ACM on programming languages (15.08.2024)
Get full text
Journal Article
Synchronous Programming with Refinement Types
Chen, Jiawei, de Mendonça, José Luiz Vargas, Ayele, Bereket Shimels, Bekele, Bereket Ngussie, Jalili, Shayan, Sharma, Pranjal, Wohlfeil, Nicholas, Zhang, Yicheng, Jeannin, Jean-Baptiste
Year of Publication 10.06.2024
Year of Publication 10.06.2024
Get full text
Journal Article