Edit Profile Praveen, M. Compute Distance To: Compute Author ID: praveen.m Published as: Praveen, M. Documents Indexed: 18 Publications since 2008 all top 5 Co-Authors 4 single-authored 3 Figueira, Diego 3 Leroux, Jérôme 3 Lodaya, Kamal 3 Sutre, Grégoire 2 Demri, Stéphane P. 2 Finkel, Alain 2 Geeraerts, Gilles 2 Heußner, Alexander 2 Raskin, Jean-François 1 Bonnet, Remi 1 Majumdar, Anirban 1 Schnoebelen, Philippe 1 Srivathsan, B Serials 4 Logical Methods in Computer Science 1 Algorithmica 1 Fundamenta Informaticae 1 ACM Transactions on Computational Logic Fields 18 Computer science (68-XX) 7 Mathematical logic and foundations (03-XX) 2 Combinatorics (05-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 12 Publications have been cited 28 times in 23 Documents Cited by ▼ Year ▼ Reasoning about data repetitions with counter systems. Zbl 1366.68202Demri, Stéphane; Figueira, Diego; Praveen, M. 5 2013 Hyper-Ackermannian bounds for pushdown vector addition systems. Zbl 1392.68307Leroux, Jérôme; Praveen, M.; Sutre, Grégoire 4 2014 Modelchecking counting properties of 1-safe nets with buffers in paraPSPACE. Zbl 1248.68356Praveen, M.; Lodaya, Kamal 4 2009 \(\omega \)-Petri nets. Zbl 1381.68202Geeraerts, Gilles; Heussner, Alexander; Praveen, M.; Raskin, Jean-François 3 2013 Reasoning about data repetitions with counter systems. Zbl 1448.68339Demri, Stéphane; Figueira, Diego; Praveen, M. 2 2016 \(\omega\)-Petri nets: algorithms and complexity. Zbl 1335.68172Geeraerts, Gilles; Heußner, Alexander; Praveen, M.; Raskin, Jean-François 2 2015 Parameterized complexity results for 1-safe Petri nets. Zbl 1238.68103Praveen, M.; Lodaya, Kamal 2 2011 Small vertex cover makes Petri net coverability and boundedness easier. Zbl 1253.68250Praveen, M. 2 2010 Does treewidth help in modal satisfiability? Zbl 1354.68133Praveen, M. 1 2013 A relational trace logic for vector addition systems with application to context-freeness. Zbl 1390.68478Leroux, Jérôme; Praveen, M.; Sutre, Grégoire 1 2013 Extending the Rackoff technique to affine nets. Zbl 1354.68190Bonnet, Rémi; Finkel, Alain; Praveen, M. 1 2012 Analyzing reachability for some Petri nets with fast growing markings. Zbl 1337.68190Praveen, M.; Lodaya, Kamal 1 2008 Reasoning about data repetitions with counter systems. Zbl 1448.68339Demri, Stéphane; Figueira, Diego; Praveen, M. 2 2016 \(\omega\)-Petri nets: algorithms and complexity. Zbl 1335.68172Geeraerts, Gilles; Heußner, Alexander; Praveen, M.; Raskin, Jean-François 2 2015 Hyper-Ackermannian bounds for pushdown vector addition systems. Zbl 1392.68307Leroux, Jérôme; Praveen, M.; Sutre, Grégoire 4 2014 Reasoning about data repetitions with counter systems. Zbl 1366.68202Demri, Stéphane; Figueira, Diego; Praveen, M. 5 2013 \(\omega \)-Petri nets. Zbl 1381.68202Geeraerts, Gilles; Heussner, Alexander; Praveen, M.; Raskin, Jean-François 3 2013 Does treewidth help in modal satisfiability? Zbl 1354.68133Praveen, M. 1 2013 A relational trace logic for vector addition systems with application to context-freeness. Zbl 1390.68478Leroux, Jérôme; Praveen, M.; Sutre, Grégoire 1 2013 Extending the Rackoff technique to affine nets. Zbl 1354.68190Bonnet, Rémi; Finkel, Alain; Praveen, M. 1 2012 Parameterized complexity results for 1-safe Petri nets. Zbl 1238.68103Praveen, M.; Lodaya, Kamal 2 2011 Small vertex cover makes Petri net coverability and boundedness easier. Zbl 1253.68250Praveen, M. 2 2010 Modelchecking counting properties of 1-safe nets with buffers in paraPSPACE. Zbl 1248.68356Praveen, M.; Lodaya, Kamal 4 2009 Analyzing reachability for some Petri nets with fast growing markings. Zbl 1337.68190Praveen, M.; Lodaya, Kamal 1 2008 all cited Publications top 5 cited Publications all top 5 Cited by 41 Authors 5 Praveen, M. 3 Blondin, Michael 3 Finkel, Alain 2 Figueira, Diego 2 Goubault-Larrecq, Jean 2 Leroux, Jérôme 2 Rosa-Velardo, Fernando 2 Sutre, Grégoire 1 Abriola, Sergio 1 Atig, Mohamed Faouzi 1 Cai, Xiaojuan 1 Decker, Normann 1 Demri, Stéphane P. 1 Ding, Zuohua 1 Fernau, Henning 1 Figueira, Santiago 1 Garavel, Hubert 1 Ge, Qi-Wei 1 Hague, Matthew 1 Heggernes, Pinar 1 Klin, Bartek 1 Łełyk, Mateusz 1 Li, Chunmiao 1 Lin, Anthony Widjaja 1 Lodaya, Kamal 1 Lück, Martin 1 Majumdar, Anirban 1 Martos-Salgado, María 1 McKenzie, Pierre 1 Meier, Arne 1 Meyer, Roland 1 Muskalla, Sebastian 1 Saivasan, Prakash 1 Schindler, Irena 1 Schnoebelen, Philippe 1 Shen, Hui 1 Song, Fu 1 Thoma, Daniel 1 Totzke, Patrick 1 Villanger, Yngve 1 Wu, Zhilin all top 5 Cited in 9 Serials 4 Logical Methods in Computer Science 2 Journal of Computer and System Sciences 2 Information and Computation 1 Acta Informatica 1 Information Sciences 1 Theoretical Computer Science 1 Algorithmica 1 ACM Transactions on Computational Logic 1 Journal of Logical and Algebraic Methods in Programming Cited in 4 Fields 23 Computer science (68-XX) 5 Mathematical logic and foundations (03-XX) 2 Combinatorics (05-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year