Tiago Cogumbreiro (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

3 Francisco Martins, Vasco Thudichum Vasconcelos, Tiago Cogumbreiro: Types for X10 Clocks PLACES 2010: 111-129

2 Vasco Thudichum Vasconcelos, Francisco Martins, Tiago Cogumbreiro: Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language PLACES 2009: 95-109

1 Tiago Cogumbreiro, Francisco Martins, Vasco Thudichum Vasconcelos: Compiling the pi-calculus into a Multithreaded Typed Assembly Language. Electr. Notes Theor. Comput. Sci. 241: 57-84 (2009)

Selection of 3 from 3 records - Tiago Cogumbreiro has 2 coauthors

Last update 2012-02-17 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

3		Francisco Martins, Vasco Thudichum Vasconcelos, Tiago Cogumbreiro: Types for X10 Clocks PLACES 2010: 111-129
2		Vasco Thudichum Vasconcelos, Francisco Martins, Tiago Cogumbreiro: Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language PLACES 2009: 95-109
1		Tiago Cogumbreiro, Francisco Martins, Vasco Thudichum Vasconcelos: Compiling the pi-calculus into a Multithreaded Typed Assembly Language. Electr. Notes Theor. Comput. Sci. 241: 57-84 (2009)