Tiago Soares

Identifiers

• name variant Tiago Soares 0.60 · backfill

Papers (3)

1. A Framework for the Automated Verification of Algebraic Effects and Handlers (extended version) cs.LO · 2023 · author #1
2. Liberalized market designs for district heating networks under the EMB3Rs platform physics.soc-ph · 2021 · author #2
3. Peer-to-peer and community-based markets: A comprehensive review cs.CY · 2018 · author #2

Mentions

• 2302.01265 #1 · arxiv_oai · confidence 0.70 Tiago Soares
• 2101.10727 #2 · arxiv_oai · confidence 0.70 Tiago Soares
• 1810.09859 #2 · arxiv_oai · confidence 0.70 Tiago Soares

Frequent Coauthors

• Ant\'onio Faria 1 shared papers
• Etienne Sorin 1 shared papers
• Fabio Moret 1 shared papers
• Jos\'e Maria Cunha 1 shared papers
• M\'ario Pereira 1 shared papers
• Pierre Pinson 1 shared papers
• Thomas Baroche 1 shared papers
• Tiago Sousa 1 shared papers
• Zenaida Mour\~ao 1 shared papers