No. | Title | Author | Year |
---|---|---|---|
1 | What You Must Remember When Transforming Datawords | Praveen, M. | 2020 |
2 | Query Preserving Watermarking Schemes for Locally Treelike Databases | Chattopadhyay, Agnishom et al. | 2019 |
3 | Verification of Flat FIFO Systems | Finkel, Alain et al. | 2019 |
4 | Nesting Depth of Operators in Graph Database Queries: Expressiveness vs. Evaluation Complexity | Praveen, M. et al. | 2016 |
5 | Extending the Rackoff technique to Affine nets | Bonnet, Rémi et al. | 2012 |
6 | Modelchecking counting properties of 1-safe nets with buffers in paraPSPACE | Praveen, M. et al. | 2009 |
Current Page : | |
Number of result pages: | 1 |
Number of documents: | 6 |