Controllability and observability in mixed signal cores. - José F. da Rocha; Nuno Dias; Angelo Monteiro; Alexandre Neves; Gabriel Santos; Marcelino B. Santos; João Paulo Teixeira 001 (IOLTS, 2009)

Multi-agent Simulation of Continental, Regional, and Micro Electricity Markets. - Gabriel Santos; Tiago Pinto; Hugo Morais; Zita A. Vale; Isabel Praça (DEXA Workshops, 2012)

Upper Ontology for Multi-Agent Energy Systems' Applications. - Gabriel Santos; Tiago Pinto; Zita A. Vale; Hugo Morais; Isabel Praça (DCAI, 2013)

Scenarios generation for multi-agent simulation of electricity markets based on intelligent data analysis. - Gabriel Santos; Isabel Praça; Tiago Pinto; Sérgio Ramos; Zita A. Vale (IEEE IA, 2013)

Demonstration of the Multi-Agent Simulator of Competitive Electricity Markets. - Tiago Pinto; Isabel Praça; Gabriel Santos; Zita A. Vale (PAAMS, 2013)

Multi-agent Simulation of Bilateral Contracting in Competitive Electricity Markets. - Fernando Lopes 001; Hugo Algarvio; Jorge A. M. Sousa; Helder Coelho; Tiago Pinto; Gabriel Santos; Zita A. Vale; Isabel Praça (DEXA Workshops, 2014)

Realistic Multi-agent Simulation of Competitive Electricity Markets. - Tiago Pinto; Gabriel Santos; Zita A. Vale; Isabel Praça; Fernando Lopes 001; Hugo Algarvio (DEXA Workshops, 2014)

Data mining approach to support the generation of Realistic Scenarios for multi-agent simulation of electricity markets. - Brigida Teixeira; Francisco Silva 001; Tiago Pinto; Isabel Praça; Gabriel Santos; Zita A. Vale (IEEE IA, 2014)

Elspot: Nord Pool Spot Integration in MASCEM Electricity Market Simulator. - Ricardo Fernandes; Gabriel Santos; Isabel Praça; Tiago Pinto; Hugo Morais; Ivo F. Pereira; Zita A. Vale (PAAMS (Workshops), 2014)

Adaptive learning in agents behaviour: A framework for electricity markets simulation. - Tiago Pinto; Zita A. Vale; Tiago M. Sousa; Isabel Praça; Gabriel Santos; Hugo Morais (Integr. Comput. Aided Eng., 2014)

Solar Intensity Characterization Using Data-Mining to Support Solar Forecasting. - Tiago Pinto; Gabriel Santos; Luis Marques; Tiago M. Sousa; Isabel Praça; Zita A. Vale; Samuel L. Abreu (DCAI, 2015)

Pan-European Electricity Market Simulation Considering the European Power Network Capacities. - Tiago Pinto; Hugo Silva; Zita A. Vale; Gabriel Santos; Isabel Praça (DEXA Workshops, 2015)

Agent-Based Smart Grid Market Simulation with Connection to Real Infrastructures. - Gabriel Santos; Tiago Pinto; Luis Gomes 001; Marco R. Silva; Hugo Morais; Zita A. Vale; Isabel Praça (PAAMS (Workshops), 2015)

Demonstration of Realistic Multi-agent Scenario Generator for Electricity Markets Simulation. - Francisco Silva 001; Brigida Teixeira; Tiago Pinto; Gabriel Santos; Isabel Praça; Zita A. Vale (PAAMS, 2015)

Coalition of distributed generation units to Virtual Power Players - a game theory approach. - Hugo Morais; Tiago M. Sousa; Gabriel Santos; Tiago Pinto; Isabel Praça; Zita A. Vale (Integr. Comput. Aided Eng., 2015)

House management system with real and virtual resources: Energy efficiency in residential microgrid. - Gabriel Santos; Filipe Fernandes; Tiago Pinto; Marco R. Silva; Omid Abrishambaf; Hugo Morais; Zita A. Vale (GIIS, 2016)

Demonstration of ALBidS: Adaptive Learning Strategic Bidding System. - Tiago Pinto; Zita A. Vale; Isabel Praça; Gabriel Santos (PAAMS, 2016)

Electricity Markets Ontology to Support MASCEM's Simulations. - Gabriel Santos; Tiago Pinto; Zita A. Vale; Isabel Praça; Hugo Morais (PAAMS (Workshops), 2016)

Nord Pool Ontology to Enhance Electricity Markets Simulation in MASCEM. - Gabriel Santos; Tiago Pinto; Isabel Praça; Zita A. Vale (EPIA, 2017)

Ontology-based model for trusted critical site supervision in FUSE-IT. - Shohreh Ahvar; Gabriel Santos; Nouredine Tamani; Bernard Istasse; Isabel Praça; Paul-Emmanuel Brun; Yacine Ghamri-Doudane; Noël Crespi (ICIN, 2017)

Ontologies for the Interoperability of Heterogeneous Multi-agent Systems in the Scope of Power and Energy Systems. - Gabriel Santos; Tiago Pinto; Zita A. Vale (PAAMS (Special Sessions), 2017)

Tools Control Center to Enable the Joint Simulation of Multi-agent Systems. - Brigida Teixeira; Tiago Pinto; Gabriel Santos; Isabel Praça; Zita A. Vale (PAAMS (Special Sessions), 2017)

Rule-Based Model for Smart Building Supervision and Management. - Nouredine Tamani; Shohreh Ahvar; Gabriel Santos; Bernard Istasse; Isabel Praça; Paul-Emmanuel Brun; Yacine Ghamri-Doudane; Noël Crespi; Adrien Bécue (SCC, 2018)

Multi-agent Systems Society for Power and Energy Systems Simulation. - Gabriel Santos; Tiago Pinto; Zita A. Vale (MABS, 2018)

Demonstration of Tools Control Center for Multi-agent Energy Systems Simulation. - Brigida Teixeira; Francisco Silva 001; Tiago Pinto; Gabriel Santos; Isabel Praça; Zita A. Vale (PAAMS, 2018)

Automated Verification of Concurrent Stochastic Games. - Marta Kwiatkowska; Gethin Norman; David Parker 001; Gabriel Santos (QEST, 2018)

AffectPT-br: an Affective Lexicon based on LIWC 2015. - Flavio Carvalho; Gabriel Santos; Gustavo Paiva Guedes (SCCC, 2018)

Iberian electricity market ontology to enable smart grid market simulation. - Gabriel Santos; Tiago Pinto; Isabel Praça; Zita A. Vale (Energy Inform., 2018)

A context-based building security alarm through power and sensors analysis. - Francisco Silva 001; Gabriel Santos; Isabel Praça; Zita A. Vale (Energy Inform., 2018)

Practical Application of a Multi-Agent Systems Society for Energy Management and Control. - Tiago Pinto; Gabriel Santos; Zita A. Vale (AAMAS, 2019)

Semantic Web Services for Multi-Agent Systems Interoperability. - Alda Canito; Gabriel Santos; Juan M. Corchado; Goreti Marreiros; Zita A. Vale (EPIA (2), 2019)

Equilibria-Based Probabilistic Model Checking for Concurrent Stochastic Games. - Marta Kwiatkowska; Gethin Norman; David Parker 001; Gabriel Santos (FM, 2019)

Multi-Agent-Based CBR Recommender System for Intelligent Energy Management in Buildings. - Tiago Pinto; Ricardo Faia; María Navarro-Cáceres; Gabriel Santos; Juan Manuel Corchado; Zita A. Vale (IEEE Syst. J., 2019)

PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time. - Marta Kwiatkowska; Gethin Norman; David Parker 001; Gabriel Santos (CAV (2), 2020)

Multi-player Equilibria Verification for Concurrent Stochastic Games. - Marta Kwiatkowska; Gethin Norman; David Parker 001; Gabriel Santos (QEST, 2020)

Application Ontology for Multi-Agent and Web-Services' Co-Simulation in Power and Energy Systems. - Brigida Teixeira; Gabriel Santos; Tiago Pinto; Zita A. Vale; Juan M. Corchado (IEEE Access, 2020)

Automatic verification and strategy synthesis for zero-sum and equilibria properties of concurrent stochastic games. - Gabriel Santos (2020)

Semantic Services Catalog for Multiagent Systems Society. - Gabriel Santos; Alda Canito; Rui Carvalho; Tiago Pinto; Zita A. Vale; Goreti Marreiros; Juan M. Corchado (PAAMS, 2021)

Semantic Interoperability for Multiagent Simulation and Decision Support in Power Systems. - Gabriel Santos; Tiago Pinto; Zita A. Vale; Juan M. Corchado (PAAMS (Workshops), 2021)

Automatic verification of concurrent stochastic systems. - Marta Kwiatkowska; Gethin Norman; David Parker 001; Gabriel Santos (Formal Methods Syst. Des., 2021)

MARTINE Semantic Interoperability: Local Electricity Market Hour-Ahead Session. - Gabriel Santos; Luis Gomes 001; Tiago Pinto; Zita Vale; Pedro Faria (Zenodo, 2021)

Semantic Services Catalog: Demonstration of Multiagent Systems Society co-simulation. - Gabriel Santos; Alda Canito; Rui Carvalho; Tiago Pinto; Zita Vale; Goreti Marreiros; Juan M. Corchado (Zenodo, 2021)

Intelligent Energy Systems Ontology: Local flexibility market and power system co-simulation demonstration. - Gabriel Santos; Hugo Morais; Tiago Pinto; Juan M. Corchado; Zita Vale (Zenodo, 2021)

Symbolic Verification and Strategy Synthesis for Turn-Based Stochastic Games. - Marta Kwiatkowska; Gethin Norman; David Parker 001; Gabriel Santos (Principles of Systems Design, 2022)

Probabilistic Model Checking for Strategic Equilibria-Based Decision Making: Advances and Challenges (Invited Talk). - Marta Kwiatkowska; Gethin Norman; David Parker 001; Gabriel Santos; Rui Yan 002 (MFCS, 2022)

Correlated Equilibria and Fairness in Concurrent Stochastic Games. - Marta Kwiatkowska; Gethin Norman; David Parker 001; Gabriel Santos (TACAS (2), 2022)

Finite-horizon equilibria for neuro-symbolic concurrent stochastic games. - Rui Yan 002; Gabriel Santos; Xiaoming Duan; David Parker 001; Marta Kwiatkowska (UAI, 2022)

Probabilistic Model Checking for Strategic Equilibria-based Decision Making: Advances and Challenges. - Marta Kwiatkowska; Gethin Norman; David Parker 001; Gabriel Santos; Rui Yan 002 (CoRR, 2022)

Open-access tools for the modelling and simulation of electricity markets. - Rui Carvalho; Gabriel Santos; Zita Vale (Energy Inform., 2022)

Point-based Value Iteration for Neuro-Symbolic POMDPs. - Rui Yan 002; Gabriel Santos; Gethin Norman; David Parker 001; Marta Kwiatkowska (CoRR, 2023)

Demonstration of Simulation Tools for Electricity Markets considering Power Flow Analysis. - Bruno Veiga; Gabriel Santos; Tiago Pinto; Ricardo Faia; Carlos Ramos 001; Zita Vale (Zenodo, 2023)

Intelligent Energy Systems Ontology: Local flexibility market and power system co-simulation demonstration. - Gabriel Santos; Hugo Morais; Tiago Pinto; Juan M. Corchado; Zita Vale (Zenodo, 2023)

Expectation vs. Reality: Towards Verification of Psychological Games. - Marta Kwiatkowska; Gethin Norman; David Parker 001; Gabriel Santos (Principles of Verification (2), 2024)

Partially Observable Stochastic Games with Neural Perception Mechanisms. - Rui Yan 002; Gabriel Santos; Gethin Norman; David Parker 001; Marta Kwiatkowska (FM (1), 2024)

HSVI-based online minimax strategies for partially observable stochastic games with neural perception mechanisms. - Rui Yan 002; Gabriel Santos; Gethin Norman; David Parker 001; Marta Kwiatkowska (L4DC, 2024)

K-GBS3FCM - KNN Graph-Based Safe Semi-Supervised Fuzzy C-Means. - Gabriel Santos; Rita Maria da Silva Julia; Marcelo Zanchetta do Nascimento (CoRR, 2024)

Strategy synthesis for zero-sum neuro-symbolic concurrent stochastic games. - Rui Yan 002; Gabriel Santos; Gethin Norman; David Parker 001; Marta Kwiatkowska (Inf. Comput., 2024)