2 citations · 3 across the 8 of their papers we have counts for
5 papers · 1 filter
Formally Verifying the Safety of Pipelined Moonshot Consensus Protocol
M. Praveen, Raghavendra Ramesh, Isaac Doidge
Decentralized Finance (DeFi) has emerged as a contemporary competitive as well as complementary to traditional centralized finance systems. As of 23rd January 2024, per Defillama a…
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…
Nesting Depth of Operators in Graph Database Queries: Expressiveness Vs. Evaluation Complexity
M. Praveen, B. Srivathsan
Designing query languages for graph structured data is an active field of research, where expressiveness and efficient algorithms for query evaluation are conflicting goals. To bet…
ω-Petri nets
Gilles Geeraerts, Alexander Heußner, M. Praveen +1
We introduce ω-Petri nets (ωPN), an extension of plain Petri nets with ω-labeled input and output arcs, that is well-suited to analyse parametric concurrent systems with dynamic th…
Parameterized complexity results for 1-safe Petri nets
M. Praveen, Kamal Lodaya
We associate a graph with a 1-safe Petri net and study the parameterized complexity of various problems with parameters derived from the graph. With treewidth as the parameter, we…