| 2025 | ECAI | REACTS: Reasoning-Based, Explainable and Adaptive Contextual Tool for Smart Energy Management. | Brigida Teixeira, Gabriel Santos, Letcia Gomes, David Arajo, Tiago Pinto, Zita Vale |
| 2025 | EPIA | Reinforcement Learning for Real-Time Price Prediction in Energy Systems. | David Arajo, Gabriel Santos, Brigida Teixeira, Pedro Faria, Zita Vale |
| 2024 | FM | Partially Observable Stochastic Games with Neural Perception Mechanisms. | Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska |
| 2022 | MFCS | Probabilistic Model Checking for Strategic Equilibria-Based Decision Making: Advances and Challenges (Invited Talk). | Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos, Rui Yan |
| 2022 | UAI | Finite-horizon equilibria for neuro-symbolic concurrent stochastic games. | Rui Yan, Gabriel Santos, Xiaoming Duan, David Parker, Marta Kwiatkowska |
| 2022 | TACAS | Correlated Equilibria and Fairness in Concurrent Stochastic Games. | Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos |
| 2021 | PAAMS | Semantic Services Catalog for Multiagent Systems Society. | Gabriel Santos, Alda Canito, Rui Carvalho, Tiago Pinto, Zita A. Vale, Goreti Marreiros, Juan M. Corchado |
| 2021 | PAAMS | Semantic Interoperability for Multiagent Simulation and Decision Support in Power Systems. | Gabriel Santos, Tiago Pinto, Zita A. Vale, Juan M. Corchado |
| 2020 | CAV | PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time. | Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos |
| 2019 | EPIA | Semantic Web Services for Multi-Agent Systems Interoperability. | Alda Canito, Gabriel Santos, Juan M. Corchado, Goreti Marreiros, Zita A. Vale |
| 2019 | FM | Equilibria-Based Probabilistic Model Checking for Concurrent Stochastic Games. | Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos |
| 2018 | MABS | Multi-agent Systems Society for Power and Energy Systems Simulation. | Gabriel Santos, Tiago Pinto, Zita A. Vale |
| 2018 | PAAMS | Demonstration of Tools Control Center for Multi-agent Energy Systems Simulation. | Brigida Teixeira, Francisco Silva, Tiago Pinto, Gabriel Santos, Isabel Praa, Zita A. Vale |
| 2017 | EPIA | Nord Pool Ontology to Enhance Electricity Markets Simulation in MASCEM. | Gabriel Santos, Tiago Pinto, Isabel Praa, Zita A. Vale |
| 2017 | ICIN | Ontology-based model for trusted critical site supervision in FUSE-IT. | Shohreh Ahvar, Gabriel Santos, Nouredine Tamani, Bernard Istasse, Isabel Praa, Paul-Emmanuel Brun, Yacine Ghamri-Doudane, Nol Crespi |
| 2017 | PAAMS | Ontologies for the Interoperability of Heterogeneous Multi-agent Systems in the Scope of Power and Energy Systems. | Gabriel Santos, Tiago Pinto, Zita A. Vale |
| 2017 | PAAMS | Tools Control Center to Enable the Joint Simulation of Multi-agent Systems. | Brigida Teixeira, Tiago Pinto, Gabriel Santos, Isabel Praa, Zita A. Vale |
| 2016 | PAAMS | Demonstration of ALBidS: Adaptive Learning Strategic Bidding System. | Tiago Pinto, Zita A. Vale, Isabel Praa, Gabriel Santos |
| 2016 | PAAMS | Electricity Markets Ontology to Support MASCEM's Simulations. | Gabriel Santos, Tiago Pinto, Zita A. Vale, Isabel Praa, Hugo Morais |
| 2015 | DCAI | Solar Intensity Characterization Using Data-Mining to Support Solar Forecasting. | Tiago Pinto, Gabriel Santos, Luis Marques, Tiago M. Sousa, Isabel Praa, Zita A. Vale, Samuel L. Abreu |
| 2015 | PAAMS | Agent-Based Smart Grid Market Simulation with Connection to Real Infrastructures. | Gabriel Santos, Tiago Pinto, Luis Gomes, Marco R. Silva, Hugo Morais, Zita A. Vale, Isabel Praa |
| 2015 | PAAMS | Demonstration of Realistic Multi-agent Scenario Generator for Electricity Markets Simulation. | Francisco Silva, Brigida Teixeira, Tiago Pinto, Gabriel Santos, Isabel Praa, Zita A. Vale |
| 2014 | PAAMS | Elspot: Nord Pool Spot Integration in MASCEM Electricity Market Simulator. | Ricardo Fernandes, Gabriel Santos, Isabel Praa, Tiago Pinto, Hugo Morais, Ivo F. Pereira, Zita A. Vale |
| 2013 | DCAI | Upper Ontology for Multi-Agent Energy Systems' Applications. | Gabriel Santos, Tiago Pinto, Zita A. Vale, Hugo Morais, Isabel Praa |
| 2013 | PAAMS | Demonstration of the Multi-Agent Simulator of Competitive Electricity Markets. | Tiago Pinto, Isabel Praa, Gabriel Santos, Zita A. Vale |
| 2009 | IOLTS | Controllability and observability in mixed signal cores. | Jos F. da Rocha, Nuno Dias, Angelo Monteiro, Alexandre Neves, Gabriel Santos, Marcelino B. Santos, Joo Paulo Teixeira |