Kartik Nagar
From MaRDI portal
Person:2225103
Available identifiers
zbMath Open nagar.kartikMaRDI QIDQ2225103
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| Automated parameterized verification of CRDTs | 2024-02-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6083429 | 2023-12-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5009459 | 2021-08-04 | Paper |
| Semantics, specification, and bounded verification of concurrent libraries in replicated systems | 2021-02-04 | Paper |
| Path Sensitive Cache Analysis Using Cache Miss Paths | 2015-02-04 | 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: Kartik Nagar
