Aleksandr Karbyshev

Available identifiers

zbMath Open karbyshev.aleksandrMaRDI QIDQ2324193

List of research outcomes

Publication	Date of Publication	Type
Compositional non-interference for concurrent programs via separation and framing	2019-09-16	Paper
Property-Directed Inference of Universal Invariants or Proving Their Absence	2018-08-02	Paper
Property-directed inference of universal invariants or proving their absence	2018-03-01	Paper
Decidability of inferring inductive invariants	2016-10-24	Paper
Decentralizing SDN Policies	2016-09-29	Paper
On Monadic Parametricity of Second-Order Functionals	2013-03-18	Paper
Verifying a Local Generic Solver in Coq	2010-10-01	Paper
What Is a Pure Functional?	2010-09-07	Paper

Research outcomes over time

This page was built for person: Aleksandr Karbyshev