Ankit Pradhan
From MaRDI portal
Person:2227936
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Bounded-memory runtime enforcement with probabilistic and performance analysis Formal Methods in System Design | 2024-06-28 | Paper |
| Compositional runtime enforcement revisited Formal Methods in System Design | 2023-06-29 | Paper |
| Graphs whose independence fractals are line segments Bulletin of the Malaysian Mathematical Sciences Society. Second Series | 2021-02-16 | Paper |
| Distributed multi-authority attribute-based encryption using cellular automata Cryptology and Network Security | 2020-07-20 | Paper |
Research outcomes over time
This page was built for person: Ankit Pradhan
