Departamento de Informática (UM)

Página institucional

3708

N.Mec.NomeCategoriaGrupo Científico-PedagógicoContactosEspaço

3708

José Miguel Paiva Proença

Prof. Auxiliar Convidado

E-mail

Qualificações: 2011 - Doutoramento em Computer Science (U.Leiden (NL))

Página pessoal: http://jose.proenca.org

Investigação

Centro

S/I

Repositórios

ORCID | Scopus | DBLP

Publicações selecionadas

  • 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
  • José Proença, Markus Lumpe: 'Special issue on selected papers from the 14th International Conference on Formal Aspects of Component Software (FACS 2017)'. Sci. Comput. Program. 218: 102803 (2022)
  • José Proença, Sina Borrami, Jorge Sanchez de Nova, David Pereira, Giann Spilere Nandi: 'Verification of Multiple Models of a Safety-Critical Motor Controller in Railway Systems'. RSSRail 2022: 83-94
  • Sung-Shik Jongmans, José Proença: 'ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming'. ISoLA (1) 2022: 460-478

Projetos

S/I

Docência

Regências: Nenhuma atribuída actualmente

Sem aulas.

Serviço

S/I

[ Quadro de todo o pessoal do DIUM ]