Página Pessoal

Vasco Thudichum Vasconcelos

Contactos

Departamento de Informática

Sala/Gabinete 6.3.12
Ext. Principal 26312
Telefone Direto 217500608
Email vmvasconcelos@ciencias.ulisboa.pt
Página Pessoal

Carreira Docente Universitário
Categoria Professor Catedrático

Indicadores

Google Scholar

Interesses Científicos

Especificação e verificação e de sistemas computacionais, linguagens de programação, sistemas de tipos.


Scientific Interests

Specification and verification of computer systems, programming languages, type systems.


Publicações selecionadas
  • K. Honda, VT. Vasconcelos, and M. Kubo. Language primitives and type discipline for structured communication-based programming. LNCS, 1381:122–138, Springer, 1998
  • Modular session types for distributed object-oriented programming SJ Gay, VT Vasconcelos, A Ravara, N Gesbert, AZ Caldeira ACM Sigplan Notices 45 (1), 299-312. 2010
  • VT. Vasconcelos. Typed concurrent objects. LNCS, 821:100–117, Springer, 1994
  • K. Honda, VT. Vasconcelos, and N. Yoshida. Secure information flow as typed process behaviour. LNCS1872:188–199, Springer, 2000
  • Linear type theory for asynchronous session types SJ Gay, VT Vasconcelos Journal of Functional Programming 20 (1), 19-50. 2010

Ver todas as Publicações