Aubert, Clément

1. How Reversibility Can Solve Traditional Questions: The Example of Hereditary History-Preserving Bisimulation
   2020/05/14 by Clément Aubert, Ioana Cristescu, Aubert, Clément +1 · 3 citations
   Computer Science · Engineering · Mathematics · #Advanced Memory and Neural Computing #Distributed #Embedded Systems Design Techniques #FOS: Computer and information sciences #FOS: Mathematics #Formal Languages and Automata Theory (cs.FL) #Logic (math.LO) #Logic in Computer Science (cs.LO) #Parallel #Parallel Computing and Optimization Techniques #and Cluster Computing (cs.DC) #cs.DC #cs.FL #cs.LO #math.LO
2. Contextual equivalences in configuration structures and reversibility
   2015/11/18 by Clément Aubert, Aubert, Clément, Ioana Cristescu +1 · 1 citation
   Arts and Humanities · Computer Science · Mathematics · #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Syntax, Semantics, Linguistic Variation #cs.CC #cs.LO #math.LO
3. Dependence and Independence for Reversible Process Calculi
   2024/10/04 by Clément Aubert, Aubert, Clément, Iain Phillips +3 · 1 citation
   Computer Science · Mathematics · #68Q85 #Computability, Logic, AI Algorithms #Computer science #F.4.2 #FOS: Computer and information sciences #Independence (probability theory) #Logic in Computer Science (cs.LO) #Mathematics #Process (computing) #Statistics