Clément Aubert | DeepAI

DeepAI AI Chat

Featured Co-authors

Thomas Seiller
17 publications
Larisa Safina
13 publications
Alceste Scalas
12 publications
Ross Horne
9 publications
Simon Fowler
9 publications
Cinzia Di Giusto
7 publications
Christian Johansen
7 publications
Thomas Rubiano
5 publications
Neea Rusch
5 publications
Ioana Cristescu
5 publications
Doriana Medic
4 publications

∙ 08/17/2023

Proceedings 16th Interaction and Concurrency Experience

This volume contains the proceedings of ICE'23, the 16th Interaction and...

0 Clément Aubert, et al. ∙

∙ 09/06/2022

Bisimulations Respecting Duration and Causality for the Non-interleaving Applied π-Calculus

This paper shows how we can make use of an asynchronous transition syste...

0 Clément Aubert, et al. ∙

∙ 08/08/2022

Proceedings 15th Interaction and Concurrency Experience

This volume contains the proceedings of ICE'22, the 15th Interaction and...

0 Clément Aubert, et al. ∙

∙ 05/18/2022

A Novel Loop Fission Technique Inspired by Implicit Computational Complexity

This work explores an unexpected application of Implicit Computational C...

0 Clément Aubert, et al. ∙

∙ 03/10/2022

Realizing Implicit Computational Complexity

This abstract aims at presenting an ongoing effort to apply a novel typi...

1 Clément Aubert, et al. ∙

∙ 03/08/2022

mwp-Analysis Improvement and Implementation: Realizing Implicit Computational Complexity

Implicit Computational Complexity (ICC) drives better understanding of c...

0 Clément Aubert, et al. ∙

∙ 10/25/2021

Causal Consistent Replication in Reversible Concurrent Calculi

Reversible computation is key in developing new, energy-efficient paradi...

0 Clément Aubert, et al. ∙

∙ 06/24/2021

An implementation of flow calculus for complexity analysis (tool paper)

Abstract. We present a tool to automatically perform the data-size analy...

0 Clément Aubert, et al. ∙

∙ 06/24/2021

An extended and more practical mwp flow analysis

We improve and refine a method for certifying that the values' sizes com...

0 Clément Aubert, et al. ∙

∙ 03/29/2021

Enabling Replications and Contexts in Reversible Concurrent Calculus

Existing formalisms for the algebraic specification and representation o...

0 Clément Aubert, et al. ∙

∙ 07/16/2020

Process, Systems and Tests: Three Layers in Concurrent Computation

In this position paper, we would like to offer a new template to study p...

0 Clément Aubert, et al. ∙

∙ 05/14/2020

Structural Equivalences for Reversible Calculi of Communicating Systems (Oral communication)

The formalization of process algebras usually starts with a minimal core...

0 Clément Aubert, et al. ∙

∙ 05/14/2020

How Reversibility Can Solve Traditional Questions: The Example of Hereditary History-Preserving Bisimulation

Reversible computation opens up the possibility of overcoming some of th...

0 Clément Aubert, et al. ∙

∙ 10/11/2019

Categories for Me, and You?

A non-self-contained gathering of notes on category theory, including th...

0 Clément Aubert, et al. ∙

∙ 05/29/2018

Unification and Logarithmic Space

We present an algebraic characterization of the complexity classes Logsp...

0 Clément Aubert, et al. ∙

∙ 04/27/2018

History-Preserving Bisimulations on Reversible Calculus of Communicating Systems

History-and hereditary history-preserving bisimulation (HPB and HHPB) ar...

0 Clément Aubert, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world