Tiago Cogumbreiro
发表
Kuldeep S. Meel,
John M. Mellor-Crummey,
Karthik Murthy,
2016,
Euro-Par.
Francisco Martins,
Vasco Thudichum Vasconcelos,
Tiago Cogumbreiro,
2013,
COORDINATION.
Vivek Sarkar,
Francisco Martins,
Vasco Thudichum Vasconcelos,
2017,
Proc. ACM Program. Lang..
Francisco Martins,
Vasco Thudichum Vasconcelos,
Tiago Cogumbreiro,
2010,
PLACES.
Francisco Martins,
Vasco Thudichum Vasconcelos,
Tiago Cogumbreiro,
2009,
PLACES.
Vivek Sarkar,
Tiago Cogumbreiro,
Caleb Voss,
2019,
PPoPP.
Nobuko Yoshida,
Raymond Hu,
Francisco Martins,
2015,
PPoPP.
Vivek Sarkar,
Jun Shirako,
Tiago Cogumbreiro,
2017,
J. Log. Algebraic Methods Program..
Vivek Sarkar,
Jun Shirako,
Tiago Cogumbreiro,
2016,
PLACES.
Francisco Martins,
Vasco Thudichum Vasconcelos,
Tiago Cogumbreiro,
2009,
Electron. Notes Theor. Comput. Sci..
Nobuko Yoshida,
Raymond Hu,
Francisco Martins,
2018,
ACM Trans. Program. Lang. Syst..
Julien Lange,
Tiago Cogumbreiro,
Dennis Liew Zhen Rong,
2021,
CAV.