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