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
Leroux, Jérôme; Praveen, M.; Schnoebelen, Philippe; Sutre, Grégoire On functions weakly computable by pushdown Petri nets and related systems. (English) Zbl 1427.68203 Log. Methods Comput. Sci. 15, No. 4, Paper No. 15, 26 p. (2019). MSC: 68Q85 68Q10 PDF BibTeX XML Cite \textit{J. Leroux} et al., Log. Methods Comput. Sci. 15, No. 4, Paper No. 15, 26 p. (2019; Zbl 1427.68203) Full Text: 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