EasyChair Smart SlideDocs/Log in
Author: Radu Iosif

This page shows all presentations of this author published in EasyChair Smart Slide.

Decision Problems in a Logic for Reasoning About Reconfigurable Distributed Systems

Decision Problems in a Logic for Reasoning About Reconfigurable Distributed Systems

Marius Bozga, Lucas Bueri and Radu Iosif

On the Expressiveness of a Logic of Separated Relations

On the Expressiveness of a Logic of Separated Relations

Radu Iosif and Florian Zuleger

Entailment Checking in Separation Logic with Inductive Definitions is 2-EXPTIME hard

Entailment Checking in Separation Logic with Inductive Definitions is 2-EXPTIME hard

Mnacho Echenim, Radu Iosif and Nicolas Peltier

The Complexity of Prenex Separation Logic with One Selector

The Complexity of Prenex Separation Logic with One Selector

Mnacho Echenim, Radu Iosif and Nicolas Peltier

An Entailment Checker for Separation Logic with Inductive Definitions

An Entailment Checker for Separation Logic with Inductive Definitions

Radu Iosif and Cristina Serban

Presentations in this collection: 5
Copyright © 2002 – 2024 EasyChair