E-LIB Suche - Ergebnisse für: Aubert, Clément

1

Estimating Total Length of Partially Submerged Crocodylians..:

Aubert, Clément ; Le Moguédec, Gilles ; Velasco, Alvaro...
Drones. 8 (2024) 3 - p. 115 , 2024

2

FAIR reporting of clinical trials for public health practic:

Balas, E. Andrew ; Bussi, Bussi S. ; Asem, Noha...
Proceedings of the European Academy of Sciences and Arts. 3 (2024) - p. , 2024

Link: https://doi.org/10.4081/..

3

The correctness of concurrencies in (reversible) concurrent..:

Aubert, Clément
Journal of Logical and Algebraic Methods in Programming. 136 (2024) - p. 100924 , 2024

Link: https://doi.org/10.1016/..

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

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/..

6

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/..

7

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/..

8

Data Integration for the Study of Outstanding Productivity ..:

Aubert, Clément ; Balas, E Andrew ; Townsend, Tiffany..
Procedia Computer Science. 211 (2022) - p. 196-200 , 2022

Link: https://doi.org/10.1016/..

9

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/..

10

Processes against tests: On defining contextual equivalence:

Aubert, Clément ; Varacca, Daniele
Journal of Logical and Algebraic Methods in Programming. 129 (2022) - p. 100799 , 2022

Link: https://doi.org/10.1016/..

11

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/..

12

Contribution of a DNA barcode to an assessment of the speci..:

BLATRIX, Rumsais ; AUBERT, Clement ; DECAENS, Thibaud...
European Journal of Entomology. 117 (2020) - p. 420-429 , 2020

Link: https://doi.org/10.14411..

13

Variation in Host Plant Usage and Diet Breadth Predict Sibl..:

Windsor, Donald M ; Aubert, Clément ; Morrison, Colin R
Environmental Entomology. 48 (2019) 2 - p. 382-394 , 2019

Link: https://doi.org/10.1093/..

14

Performing pull-ups with small climbing holds influences gr..:

Vigouroux, Laurent ; Devise, Marine ; Cartier, Théo..
Journal of Sports Sciences. 37 (2018) 8 - p. 886-894 , 2018

Link: https://doi.org/10.1080/..

15

Contextual equivalences in configuration structures and rev..:

Aubert, Clément ; Cristescu, Ioana
Journal of Logical and Algebraic Methods in Programming. 86 (2017) 1 - p. 77-106 , 2017

Link: https://doi.org/10.1016/..