Universidade de Lisboa Repositório da Universidade de Lisboa

Repositório da Universidade de Lisboa >

Browsing by Author Vasconcelos, Vasco Thudichum, 1964-

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:   
Sort by: In order: Results/Page Authors/Record:
Showing results 1 to 12 of 12
Issue DateTitleAuthor(s)
2013A concurrent programming language with session typesVasconcelos, Vasco Thudichum, 1964-; Martins, Francisco Cipriano da Cunha, 1972-; Franco, Juliana Patrícia Vicente
2009Desenvolvimento de um RAD para aplicações WEB (Rapid Application Development)Vasconcelos, Vasco Thudichum, 1964-; Ile, Dan Mihai
2007Fligt Dynamics Facility - External InterfacesVasconcelos, Vasco Thudichum, 1964-; Teixeira, Luís; Gonçalves, João Manuel Ribeiro
2013Formal verification of parallel C+MPI programsMarques, Eduardo Resende Brandão; Vasconcelos, Vasco Thudichum, 1964-; Martins, Nuno Alexandre Dias
2008Integração da framework tapestry com o ide java intellij e eclipseVasconcelos, Vasco Thudichum, 1964-; Traça, Paulo; Carvalho, Mónica Sofia dos Santos
2012Investigação e desenvolvimento de um sistema automático de mapeamento e visualização de ativos numa rede empresarial de grande dimensãoVasconcelos, Vasco Thudichum, 1964-; Alegria, José; Martins, João Miguel Ribeiro
2010Linear and shared objects in concurrent programmingVasconcelos, Vasco Thudichum, 1964-; Campos, Joana Correia
2014Uma linguagem de protocolos para descrever sistemas distribuídos tolerantes a falhasVasconcelos, Vasco Thudichum, 1964-; Bessani, Alysson Neves, 1978-; Henriques, Daniela Pedro
2013Uma máquina virtual para uma linguagem concorrente intermédiaMartins, Francisco Cipriano da Cunha, 1972-; Vasconcelos, Vasco Thudichum, 1964-; Silva, Roberto Rosa da
2014Protocol based programming of concurrent systemsMartins, Francisco Cipriano da Cunha, 1972-; Vasconcelos, Vasco Thudichum, 1964-; Santos, César Augusto Ribeiro dos
2014Synthesis of correct-by-construction MPI programsVasconcelos, Vasco Thudichum, 1964-; Marques, Eduardo Resende Brandão; Lemos, Filipe Emanuel Ventura Pires de Matos
2014Tools and techniques for the static verification of progress in communication-centred systemsVasconcelos, Vasco Thudichum, 1964-; Vieira, Hugo Filipe Mendes Torres; Camacho, André Filipe Marinhas Henriques da Silva
Showing results 1 to 12 of 12

 

  © Universidade de Lisboa / SIBUL
Alameda da Universidade | Cidade Universitária | 1649-004 Lisboa | Portugal
Tel. +351 217967624 | Fax +351 217933624 | repositorio@reitoria.ul.pt - Feedback - Statistics
DeGóis
Promotores do RCAAP   Financiadores do RCAAP

Fundação para a Ciência e a Tecnologia Universidade do Minho   Governo Português Ministério da Educação e Ciência PO Sociedade do Conhecimento (POSC) Portal oficial da União Europeia