| Applying SMT-based verification to hardware/software partitioning in embedded systems AB Trindade, LC Cordeiro Design Automation for Embedded Systems 20, 1-19, 2016 | 34 | 2016 |
| Automated formal verification of stand-alone solar photovoltaic systems A Trindade, L Cordeiro Solar Energy 193, 684-691, 2019 | 29 | 2019 |
| Biomass residues as electricity generation source in low HDI regions of Brazil ST Coelho, A Sanches-Pereira, LG Tudeschini, J Escobar, MMR Poveda, ... XI Latin-American congress on electricity generation and transmission—CLAGTEE, 2015 | 14 | 2015 |
| Multi-core model checking and maximum satisfiability applied to hardware-software partitioning AB Trindade, RDF Degelo, EGDS Junior, HI Ismail, HCD Silva, ... International Journal of Embedded Systems 9 (6), 570-582, 2017 | 7 | 2017 |
| Applying multi-core model checking to hardware-software partitioning in embedded systems A Trindade, H Ismail, L Cordeiro 2015 Brazilian Symposium on Computing Systems Engineering (SBESC), 102-105, 2015 | 7 | 2015 |
| Understanding household fuel choice behaviour in the Amazonas State, Brazil: effects of validation and feature selection KS Gyamfi, E Gaura, J Brusey, AB Trindade, N Verba Energies 13 (15), 3857, 2020 | 6 | 2020 |
| Aplicando verificação de modelos para o particionamento de hardware/software A Trindade, L Cordeiro SBESC, 6, 2014 | 6 | 2014 |
| Ferramenta de análise comparativa de projetos de eletrificação rural com fontes renováveis de energia na amazônia A Trindade IX Congresso sobre Geração Distribuída e Energia no Meio Rural-AGRENER GD …, 2013 | 6 | 2013 |
| Minimizando riscos na gestão estratégica: proposta de uso de inteligência competitiva em instituições de ensino e pesquisa AB TRINDADE, LMB REBELO ABRAIC. Prêmio de inovação em Inteligência competitiva, 47-67, 2005 | 4 | 2005 |
| Impact evaluation of solar photovoltaic electrification: indigenous community case study in Brazilian Amazon A Trindade, N Verba, N Farias, D Ramon, K Gyamfi, H da Silva, V Viana Environmental Sciences Proceedings 15 (1), 16, 2022 | 3 | 2022 |
| Synthesis of solar photovoltaic systems: Optimal sizing comparison A Trindade, LC Cordeiro International Workshop on Numerical Software Verification, 87-105, 2020 | 3 | 2020 |
| Optimal sizing of stand-alone solar PV systems via automated formal synthesis A Trindade, L Cordeiro arXiv preprint arXiv:1909.13139, 2019 | 3 | 2019 |
| Automated verification of stand-alone solar photovoltaic systems A Trindade, L Cordeiro arXiv preprint arXiv:1811.09438, 2018 | 3 | 2018 |
| Aplicando verificação de modelos baseada nas teorias do módulo da satisfabilidade para o particionamento de hardware/software em sistemas embarcados AB Trindade Universidade Federal do Amazonas, 2015 | 2 | 2015 |
| Desenvolvimento Tecnológico e inovação: vetor de integração regional e negócios na Amazônia C Frota, A Trindade Revista T&C Amazônia, Ano VI, 2008 | 2 | 2008 |
| Multi-core synthesis and maximum satisfiability applied to optimal sizing of solar photovoltaic systems A Trindade, E Galvão, L Cordeiro Authorea Preprints, 2023 | | 2023 |
| Multi-core synthesis and maximum satisfiability applied to optimal sizing of solar photovoltaic systems E Galvão, A Trindade, L Cordeiro | | 2021 |
| Automated Verification of Stand-alone Solar Photovoltaic Systems: Optimal Sizing and Project Validation AB Trindade Universidade Federal do Amazonas, 2020 | | 2020 |
| Applying Multi-Core Model Checking to Hardware-Software Partitioning in Embedded Systems (extended version) A Trindade, H Ismail, L Cordeiro arXiv preprint arXiv:1509.02492, 2015 | | 2015 |
| Aplicando verifica???? o de modelos baseada nas teorias do m?? dulo da satisfabilidade para o particionamento de hardware/software em sistemas embarcados AB Trindade | | 2015 |
Lucas C. CordeiroProfessor of Computer Science, University of Manchester | Universidade Federal do Amazonas在 manchester.ac.uk 的电子邮件经过验证
