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

Link: https://doi.org/10.3390/..

2

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

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

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

5

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

6

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

7

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

8

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

9

Logarithmic space and permutations:

Aubert, Clément ; Seiller, Thomas
Information and Computation. 248 (2016) - p. 2-21 , 2016

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

10

Standard dosing of amikacin and gentamicin in critically il..:

Roger, Claire ; Nucci, Bastian ; Molinari, Nicolas...
International Journal of Antimicrobial Agents. 46 (2015) 1 - p. 21-27 , 2015

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

11

Characterizingco-NLby a group action:

AUBERT, CLÉMENT ; SEILLER, THOMAS
Mathematical Structures in Computer Science. 26 (2014) 4 - p. 606-638 , 2014

Link: https://doi.org/10.1017/..

12

pymwp: MWP analysis on C code in Python:

Aubert, Clément ; Rubiano, Thomas ; Rusch, Neea.
https://github.com/statycc/pymwp/tree/0.4.1. , 2023

Link: https://zenodo.org/recor..

13

The Correctness of Concurrencies in (Reversible) Concurrent..:

Aubert, Clément
hal-03950347. , 2023

Link: https://hal.science/hal-..

14

Distributing and Parallelizing Non-canonical Loops:

Aubert, Clément ; Rubiano, Thomas ; Rusch, Neea.
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-24950-1_1. , 2023

Link: https://hal.science/hal-..

15

Distributing and Parallelizing Non-canonical Loops:

Aubert, Clément ; Rubiano, Thomas ; Rusch, Neea.
info:eu-repo/semantics/altIdentifier/arxiv/2206.08760. , 2023

Link: https://hal.science/hal-..