Departamento de Informática (UM)

8226

Maria Guillermina Cledou

Ass. Convidado

E-mail

Qualificações: (por integrar)

Página pessoal: https://www.linkedin.com/in/guillerminacledou/

Investigação

Centro

HASLab

Repositórios

ORCID | Scopus | DBLP

Publicações selecionadas

• Guillermina Cledou, José Proença, Bernhard H. C. Sputh, Eric Verhulst: Hubs for VirtuosoNext: Online verification of real-time coordinators. Sci. Comput. Program. 203: 102566 (2021)
• Guillermina Cledou, Luc Edixhoven, Sung-Shik Jongmans, José Proença: API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Artifact). Dagstuhl Artifacts Ser. 8(2): 19:1-19:4 (2022)
• Guillermina Cledou, Luc Edixhoven, Sung-Shik Jongmans, José Proença: API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3. ECOOP 2022: 27:1-27:28
• Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker, José Proença: Featured Team Automata. FM 2021: 483-502

Projetos

(por integrar)

Docência

Regências: Nenhuma atribuída actualmente

Aulas:

• Programação Funcional [J301N4]: turnos TP 5 e TP 6

Serviço

(por integrar)