Reasoning about data repetitions with counter systems S Demri, D Figueira, M Praveen Logical Methods in Computer Science 12, 2016 | 41 | 2016 |
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 | 37 | 2014 |
Verification of flat FIFO systems A Finkel, M Praveen Logical Methods in Computer Science 16, 2020 | 13 | 2020 |
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 | 13 | 2018 |
Analyzing reachability for some Petri nets with fast growing markings M Praveen, K Lodaya Electronic Notes in Theoretical Computer Science 223, 215-237, 2008 | 13 | 2008 |
Does treewidth help in modal satisfiability? M Praveen ACM Transactions on Computational Logic (TOCL) 14 (3), 1-32, 2013 | 12 | 2013 |
Extending the Rackoff technique to affine nets R Bonnet, A Finkel, M Praveen IARCS Annual Conference on Foundations of Software Technology and …, 2012 | 12 | 2012 |
ω-Petri Nets G Geeraerts, A Heußner, M Praveen, JF Raskin Application and Theory of Petri Nets and Concurrency: 34th International …, 2013 | 10 | 2013 |
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 | 9 | 2013 |
ω-Petri nets: Algorithms and complexity G Geeraerts, A Heußner, M Praveen, JF Raskin Fundamenta Informaticae 137 (1), 29-60, 2015 | 7 | 2015 |
Parameterized complexity results for 1-safe Petri nets M Praveen, K Lodaya International Conference on Concurrency Theory, 358-372, 2011 | 7 | 2011 |
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 | 7 | 2009 |
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 | 6 | 2019 |
Small vertex cover makes petri net coverability and boundedness easier M Praveen International Symposium on Parameterized and Exact Computation, 216-227, 2010 | 5 | 2010 |
Complexity of the reachability problem in subclasses of Petri nets M Praveen Master's thesis, Homi Bhabha National Institute, 2008 | 5 | 2008 |
Does treewidth help in modal satisfiability? M Praveen Mathematical Foundations of Computer Science 2010: 35th International …, 2010 | 3 | 2010 |
Realizability problem for constraint LTL A Bhaskar, M Praveen Information and Computation 296, 105126, 2024 | 2 | 2024 |
Logic, Courcelle’s theorem and application M Praveen IMPECS School on Parameterized and Exact Computation (December 2010), 2010 | 2 | 2010 |
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 | 1 | 2024 |
What You Must Remember When Transforming Datawords M Praveen 40th IARCS Annual Conference on Foundations of Software Technology and …, 2020 | 1 | 2020 |