C. Urban

Available identifiers

zbMath Open urban.caterinaMaRDI QIDQ681347

List of research outcomes

Publication	Date of Publication	Type
Abstract interpretation of CTL properties	2023-05-26	Paper
Permission inference for array programs	2023-05-05	Paper
Conflict-driven conditional termination	2018-03-01	Paper
Inference of ranking functions for proving temporal properties by abstract interpretation	2018-01-30	Paper
Abstract interpretation as automated deduction	2017-06-29	Paper
Abstract Interpretation as Automated Deduction	2015-12-02	Paper
Proving guarantee and recurrence temporal properties by abstract interpretation	2015-02-04	Paper
An abstract domain to infer ordinal-valued ranking functions	2014-04-16	Paper
Strong normalisation of cut-elimination in classical logic	2002-03-14	Paper

Research outcomes over time

This page was built for person: C. Urban