Kalmer Apinis
From MaRDI portal
Person:1785849
Available identifiers
zbMath Open apinis.kalmerMaRDI QIDQ1785849
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| Improving thread-modular abstract interpretation | 2022-06-17 | Paper |
| Demand-driven interprocedural analysis for map-based abstract domains | 2018-10-01 | Paper |
| Enhancing Top-Down Solving with Widening and Narrowing | 2016-03-23 | Paper |
| Precise Analysis of Value-Dependent Synchronization in Priority Scheduled Programs | 2015-01-13 | 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: Kalmer Apinis
