Finkel, Alain; Praveen, M. Verification of flat FIFO systems. (English) Zbl 07269251 Log. Methods Comput. Sci. 16, No. 4, Paper No. 4, 29 p. (2020). MSC: 03B70 68 PDF BibTeX XML Cite \textit{A. Finkel} and \textit{M. Praveen}, Log. Methods Comput. Sci. 16, No. 4, Paper No. 4, 29 p. (2020; Zbl 07269251) Full Text: Link arXiv
Figueira, Diego; Majumdar, Anirban; Praveen, M. Playing with repetitions in data words using energy games. (English) Zbl 07226003 Log. Methods Comput. Sci. 16, No. 3, Paper No. 1, 42 p. (2020). MSC: 03B70 68 91A05 PDF BibTeX XML Cite \textit{D. Figueira} et al., Log. Methods Comput. Sci. 16, No. 3, Paper No. 1, 42 p. (2020; Zbl 07226003) Full Text: Link arXiv
Demri, Stéphane; Figueira, Diego; Praveen, M. Reasoning about data repetitions with counter systems. (English) Zbl 1448.68339 Log. Methods Comput. Sci. 12, No. 3, Paper No. 1, 55 p. (2016). MSC: 68Q85 03B44 68Q25 PDF BibTeX XML Cite \textit{S. Demri} et al., Log. Methods Comput. Sci. 12, No. 3, Paper No. 1, 55 p. (2016; Zbl 1448.68339) Full Text: DOI
Demri, Stéphane; Figueira, Diego; Praveen, M. Reasoning about data repetitions with counter systems. (English) Zbl 1366.68202 Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25–28, 2013. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-5020-6). 33-42 (2013). MSC: 68Q85 03B44 68Q25 PDF BibTeX XML Cite \textit{S. Demri} et al., in: Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25--28, 2013. Los Alamitos, CA: IEEE Computer Society. 33--42 (2013; Zbl 1366.68202) Full Text: DOI
Praveen, M. Does treewidth help in modal satisfiability? (English) Zbl 1354.68133 ACM Trans. Comput. Log. 14, No. 3, Article No. 18, 32 p. (2013). MSC: 68Q25 03B45 68Q17 PDF BibTeX XML Cite \textit{M. Praveen}, ACM Trans. Comput. Log. 14, No. 3, Article No. 18, 32 p. (2013; Zbl 1354.68133) Full Text: DOI
Leroux, Jérôme; Praveen, M.; Sutre, Grégoire A relational trace logic for vector addition systems with application to context-freeness. (English) Zbl 1390.68478 D’Argenio, Pedro R. (ed.) et al., CONCUR 2013 – concurrency theory. 24th international conference, CONCUR 2013, Buenos Aires, Argentina, August 27–30, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40183-1/pbk). Lecture Notes in Computer Science 8052, 137-151 (2013). MSC: 68Q85 03B70 PDF BibTeX XML Cite \textit{J. Leroux} et al., Lect. Notes Comput. Sci. 8052, 137--151 (2013; Zbl 1390.68478) Full Text: DOI
Praveen, M. Does treewidth help in modal satisfiability? (Extended abstract). (English) Zbl 1287.68080 Hliněný, Petr (ed.) et al., Mathematical foundations of computer science 2010. 35th international symposium, MFCS 2010, Brno, Czech Republic, August 23–27, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15154-5/pbk). Lecture Notes in Computer Science 6281, 580-591 (2010). MSC: 68Q25 03B45 PDF BibTeX XML Cite \textit{M. Praveen}, Lect. Notes Comput. Sci. 6281, 580--591 (2010; Zbl 1287.68080) Full Text: DOI