Follow
M. Praveen
M. Praveen
Associate professor, Chennai Mathemaitical Institute
Verified email at cmi.ac.in - Homepage
Title
Cited by
Cited by
Year
Reasoning about data repetitions with counter systems
S Demri, D Figueira, M Praveen
Logical Methods in Computer Science 12, 2016
412016
Hyper-Ackermannian bounds for pushdown vector addition systems
J Leroux, M Praveen, G Sutre
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014
372014
Verification of flat FIFO systems
A Finkel, M Praveen
Logical Methods in Computer Science 16, 2020
132020
Playing with repetitions in data words using energy games
D Figueira, M Praveen
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018
132018
Analyzing reachability for some Petri nets with fast growing markings
M Praveen, K Lodaya
Electronic Notes in Theoretical Computer Science 223, 215-237, 2008
132008
Does treewidth help in modal satisfiability?
M Praveen
ACM Transactions on Computational Logic (TOCL) 14 (3), 1-32, 2013
122013
Extending the Rackoff technique to affine nets
R Bonnet, A Finkel, M Praveen
IARCS Annual Conference on Foundations of Software Technology and …, 2012
122012
ω-Petri Nets
G Geeraerts, A Heußner, M Praveen, JF Raskin
Application and Theory of Petri Nets and Concurrency: 34th International …, 2013
102013
A relational trace logic for vector addition systems with application to context-freeness
J Leroux, M Praveen, G Sutre
International Conference on Concurrency Theory, 137-151, 2013
92013
ω-Petri nets: Algorithms and complexity
G Geeraerts, A Heußner, M Praveen, JF Raskin
Fundamenta Informaticae 137 (1), 29-60, 2015
72015
Parameterized complexity results for 1-safe Petri nets
M Praveen, K Lodaya
International Conference on Concurrency Theory, 358-372, 2011
72011
Modelchecking counting properties of 1-safe nets with buffers in paraPSPACE
M Praveen, K Lodaya
IARCS Annual Conference on Foundations of Software Technology and …, 2009
72009
On Functions Weakly Computable by Pushdown Petri Nets and Related Systems
J Leroux, M Praveen, P Schnoebelen, G Sutre
Logical Methods in Computer Science 15 (4), 2019
62019
Small vertex cover makes petri net coverability and boundedness easier
M Praveen
International Symposium on Parameterized and Exact Computation, 216-227, 2010
52010
Complexity of the reachability problem in subclasses of Petri nets
M Praveen
Master's thesis, Homi Bhabha National Institute, 2008
52008
Does treewidth help in modal satisfiability?
M Praveen
Mathematical Foundations of Computer Science 2010: 35th International …, 2010
32010
Realizability problem for constraint LTL
A Bhaskar, M Praveen
Information and Computation 296, 105126, 2024
22024
Logic, Courcelle’s theorem and application
M Praveen
IMPECS School on Parameterized and Exact Computation (December 2010), 2010
22010
On the piecewise complexity of words and periodic words
M Praveen, P Schnoebelen, J Veron, I Vialard
International Conference on Current Trends in Theory and Practice of …, 2024
12024
What You Must Remember When Transforming Datawords
M Praveen
40th IARCS Annual Conference on Foundations of Software Technology and …, 2020
12020
The system can't perform the operation now. Try again later.
Articles 1–20