Francisco Martins | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Vasco T. Vasconcelos
16 publications
Dominic Orchard
12 publications
Eduardo R. B. Marques
3 publications
Nicholas Ng
3 publications
Nuno Martins
1 publication

research

∙ 03/31/2019

Proceedings Programming Language Approaches to Concurrency- and Communication-cEntric Software

Modern hardware platforms, from the very small to the very large, increa...

0 Francisco Martins, et al. ∙

research

∙ 12/10/2013

Towards deductive verification of MPI programs against session types

The Message Passing Interface (MPI) is the de facto standard message-pas...

0 Eduardo R. B. Marques, et al. ∙

Success!

An error occurred