Typestates to Automata and back: a tool. - André Trindade; João Mota; António Ravara (ICE, 2020)

Measuring the Welfare of Intermediaries. - Javier D. Donna; Pedro Pereira 002; Tiago Pires; André Trindade (Manag. Sci., 2022)