M. Praveen

From MaRDI portal
Person:1949743

Available identifiers

zbMath Open praveen.mMaRDI QIDQ1949743

List of research outcomes

PublicationDate of PublicationType
Realizability problem for constraint LTL2024-01-18Paper
Verification of Flat FIFO Systems2023-02-03Paper
Query Preserving Watermarking Schemes for Locally Treelike Databases.2023-02-03Paper
Checking regular invariance under tightly-controlled string modifications2022-08-11Paper
Playing with Repetitions in Data Words Using Energy Games2021-01-20Paper
https://portal.mardi4nfdi.de/entity/Q51299472020-11-03Paper
Playing with Repetitions in Data Words Using Energy Games2020-07-30Paper
https://portal.mardi4nfdi.de/entity/Q52070522020-01-03Paper
Hyper-Ackermannian bounds for pushdown vector addition systems2018-04-23Paper
Nesting Depth of Operators in Graph Database Queries: Expressiveness Vs. Evaluation Complexity2017-12-19Paper
Reasoning about Data Repetitions with Counter Systems2017-07-03Paper
Extending the Rackoff technique to Affine nets2017-01-26Paper
Reasoning about Data Repetitions with Counter Systems2016-09-08Paper
ω-Petri Nets: Algorithms and Complexity2016-05-11Paper
Does Treewidth Help in Modal Satisfiability?2015-09-17Paper
Analyzing Reachability for Some Petri Nets With Fast Growing Markings2015-03-23Paper
A Relational Trace Logic for Vector Addition Systems with Application to Context-Freeness2013-08-12Paper
ω-Petri Nets2013-06-28Paper
Small vertex cover makes Petri net coverability and boundedness easier2013-05-16Paper
Modelchecking counting properties of 1-safe nets with buffers in paraPSPACE2012-10-24Paper
Parameterized Complexity Results for 1-safe Petri Nets2011-09-02Paper
Small vertex cover makes Petri net coverability and boundedness easier2010-12-07Paper
Does Treewidth Help in Modal Satisfiability?2010-09-03Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: M. Praveen