1[期刊论文]

Small Vertex Cover makes Petri Net Coverability and Boundedness Easier

作者：M. Praveen

来源：Algorithmica. 2013 ;65(4):713-753.doi:10.1007/s00453-012-9687-6

出版社：Springer Nature

全文购买

2[期刊论文]

What You Must Remember When Transforming Datawords

作者：M. Praveen

来源：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;182:55:1-55:14.doi:10.4230/LIPIcs.FSTTCS.2020.55

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

开放获取

3[期刊论文]

Analyzing Reachability for Some Petri Nets With Fast Growing Markings

作者：M. Praveen ;Kamal Lodaya

来源：Electronic Notes in Theoretical Computer Science. 2008 ;223:215-237.doi:10.1016/j.entcs.2008.12.041

出版社：Elsevier BV

全文购买

4[期刊论文]

Verification of Flat FIFO Systems

作者：Alain Finkel ;M. Praveen

来源：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;140:12:1-12:17.doi:10.4230/LIPIcs.CONCUR.2019.12

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

开放获取

5[期刊论文]

Modelchecking counting properties of 1-safe nets with buffers in paraPSPACE

作者：M. Praveen ;Kamal Lodaya

来源：LIPIcs : Leibniz International Proceedings in Informatics. 2009 ;4:347-358.doi:10.4230/LIPIcs.FSTTCS.2009.2331

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

开放获取

6[期刊论文]

Nesting Depth of Operators in Graph Database Queries: Expressiveness vs. Evaluation Complexity

作者：M. Praveen ;B. Srivathsan

来源：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;55:117:1-117:14.doi:10.4230/LIPIcs.ICALP.2016.117

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

开放获取

7[期刊论文]

Query Preserving Watermarking Schemes for Locally Treelike Databases

作者：Agnishom Chattopadhyay ;M. Praveen

来源：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;150:36:1-36:14.doi:10.4230/LIPIcs.FSTTCS.2019.36

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

开放获取

8[期刊论文]

Corrosion behaviour and characterisation of Ni–Nb2O5 composites prepared by pulse electrodeposition

作者：R. Mohan Reddy ;B. M. Praveen ;C. M. Praveen Kumar

来源：Surface Engineering and Applied Electrochemistry. 2017 ;53(2):179-185.doi:10.3103/S1068375517020090

出版社：Allerton Press

全文购买

9[期刊论文]

An Customized Vector Space Model Implementation in Document Clustering to Enhance the Performance

作者：M. Praveen ;Dora Babu Sudarsa

来源：International Journal of Advanced Research In Computer Science and Software Engineering. 2013 ;3(5).

出版社：S.S. Mishra

开放获取

10[期刊论文]

A Survey on Hybrid Cloud Management Platform and its Contemporary Enterprise Applications

作者：Priyanka Madhiraju ;M. Praveen Kumar

来源：International Journal of Innovative Research in Computer and Communication Engineering. 2017 ;5(3):3910.doi:10.15680/IJIRCCE.2017.0503037

出版社：S&S Publications

开放获取