M. Praveen

Available identifiers

zbMath Open praveen.mMaRDI QIDQ1949743

List of research outcomes

Publication	Date of Publication	Type
Realizability problem for constraint LTL	2024-01-18	Paper
Verification of Flat FIFO Systems	2023-02-03	Paper
Query Preserving Watermarking Schemes for Locally Treelike Databases.	2023-02-03	Paper
Checking regular invariance under tightly-controlled string modifications	2022-08-11	Paper
Playing with Repetitions in Data Words Using Energy Games	2021-01-20	Paper
https://portal.mardi4nfdi.de/entity/Q5129947	2020-11-03	Paper
Playing with Repetitions in Data Words Using Energy Games	2020-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q5207052	2020-01-03	Paper
Hyper-Ackermannian bounds for pushdown vector addition systems	2018-04-23	Paper
Nesting Depth of Operators in Graph Database Queries: Expressiveness Vs. Evaluation Complexity	2017-12-19	Paper
Reasoning about Data Repetitions with Counter Systems	2017-07-03	Paper
Extending the Rackoff technique to Affine nets	2017-01-26	Paper
Reasoning about Data Repetitions with Counter Systems	2016-09-08	Paper
ω-Petri Nets: Algorithms and Complexity	2016-05-11	Paper
Does Treewidth Help in Modal Satisfiability?	2015-09-17	Paper
Analyzing Reachability for Some Petri Nets With Fast Growing Markings	2015-03-23	Paper
A Relational Trace Logic for Vector Addition Systems with Application to Context-Freeness	2013-08-12	Paper
ω-Petri Nets	2013-06-28	Paper
Small vertex cover makes Petri net coverability and boundedness easier	2013-05-16	Paper
Modelchecking counting properties of 1-safe nets with buffers in paraPSPACE	2012-10-24	Paper
Parameterized Complexity Results for 1-safe Petri Nets	2011-09-02	Paper
Small vertex cover makes Petri net coverability and boundedness easier	2010-12-07	Paper
Does Treewidth Help in Modal Satisfiability?	2010-09-03	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: M. Praveen