21 citations · 38 across the 18 of their papers we have counts for
Showing 2019Show all
3 papers · 1 filter
cs.LO2019
Query Preserving Watermarking Schemes for Locally Treelike Databases
Agnishom Chattopadhyay, M. Praveen
Watermarking is a way of embedding information in digital documents. Much research has been done on techniques for watermarking relational databases and XML documents, where the pr…
cs.CC2019★ 1 cited
Verification of Flat FIFO Systems
Alain Finkel, M. Praveen
The decidability and complexity of reachability problems and model-checking for flat counter machines have been explored in detail. However, only few results are known for flat (lo…
cs.FL2019★ 4 cited
On Functions Weakly Computable by Pushdown Petri Nets and Related Systems
J. Leroux, M. Praveen, Ph. Schnoebelen +1
We consider numerical functions weakly computable by grammar-controlled vector addition systems (GVASes, a variant of pushdown Petri nets). GVASes can weakly compute all fast growi…