Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Aubert, Clément
6  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
1

Implementation of a Reversible Distributed Calculus:

, In: Reversible Computation; Lecture Notes in Computer Science,
Aubert, Clément ; Browning, Peter - p. 210-217 , 2023
Link: https://doi.org/10.1007/..
 
?
2

pymwp: A Static Analyzer Determining Polynomial Growth Boun..:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,
Aubert, Clément ; Rubiano, Thomas ; Rusch, Neea. - p. 263-275 , 2023
Link: https://doi.org/10.1007/..
 
?
3

Distributing and Parallelizing Non-canonical Loops:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,
Aubert, Clément ; Rubiano, Thomas ; Rusch, Neea. - p. 1-24 , 2023
Link: https://doi.org/10.1007/..
 
?
4

Replications in Reversible Concurrent Calculi:

, In: Reversible Computation; Lecture Notes in Computer Science,
Aubert, Clément - p. 15-23 , 2023
Link: https://doi.org/10.1007/..
 
?
5

Concurrencies in Reversible Concurrent Calculi:

, In: Reversible Computation; Lecture Notes in Computer Science,
Aubert, Clément - p. 146-163 , 2022
Link: https://doi.org/10.1007/..
 
?
6

Explicit Identifiers and Contexts in Reversible Concurrent ..:

, In: Reversible Computation; Lecture Notes in Computer Science,
Aubert, Clément ; Medić, Doriana - p. 144-162 , 2021
Link: https://doi.org/10.1007/..
 
1-6