M. Praveen
发表
Alain Finkel,
Rémi Bonnet,
M. Praveen,
2012,
FSTTCS.
M. Praveen,
Kamal Lodaya,
M. Praveen,
2011,
CONCUR.
M. Praveen,
S. Lavanya,
G. SrinivasaRao,
2010
.
Stéphane Demri,
M. Praveen,
Diego Figueira,
2013,
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.
M. Praveen,
Diego Figueira,
2018,
LICS.
M. Praveen,
M. Praveen,
2010,
Algorithmica.
M. Praveen,
M. Praveen,
2011,
ArXiv.
Philippe Schnoebelen,
Grégoire Sutre,
M. Praveen,
2019,
Log. Methods Comput. Sci..
Anil Prabhakar,
Hema A. Murthy,
M. Praveen,
2013,
2013 International Conference Oriental COCOSDA held jointly with 2013 Conference on Asian Spoken Language Research and Evaluation (O-COCOSDA/CASLRE).
M. Praveen,
Kamal Lodaya,
2008,
Electron. Notes Theor. Comput. Sci..
M. Praveen,
A. V. Ramana Rao,
M. Praveen,
2013
.
M. Praveen,
2010,
IPEC.
M. Praveen,
Kamal Lodaya,
M. Praveen,
2009,
FSTTCS.
Jean-François Raskin,
Alexander Heußner,
M. Praveen,
2015,
Fundam. Informaticae.
M. Praveen,
2013
.
Jean-François Raskin,
Alexander Heußner,
M. Praveen,
2013,
Petri Nets.
Grégoire Sutre,
M. Praveen,
Jérôme Leroux,
2013,
CONCUR.
M. Praveen,
B. Srivathsan,
2016,
ICALP.
M. Praveen,
A. P. V. Raghavendra,
R. Sarath Kumar,
2014
.
M. Praveen,
M. Praveen,
2010,
MFCS.
M. Praveen,
2017
.
M. Praveen,
S. Senthilkumar,
M. Sasikumar,
2016
.
M. Praveen,
Gilles Geeraerts,
Jean-Franccois Raskin,
2013,
1301.6572.
M. Praveen,
B. Srivathsan,
2015,
PODS.
M. Praveen,
M. Praveen,
2011
.
M. Praveen,
M. Praveen,
2013,
TOCL.
Grégoire Sutre,
M. Praveen,
Jérôme Leroux,
2014,
CSL-LICS.
M. Praveen,
N. Karthik,
J. Venkatesh,
2016
.