David, Julien
16564  Ergebnisse:
Personensuche X
?
1

Approximate Cartesian Tree Matching: An Approach Using Swap:

, In: String Processing and Information Retrieval; Lecture Notes in Computer Science,
 
?
2

Elementary moves on lattice polytopes:

David, Julien ; Pournin, Lionel ; Rakotonarivo, Rado
Journal of Combinatorial Theory, Series A.  172 (2020)  - p. 105200 , 2020
 
?
 
?
4

Average complexity of Moore's and Hopcroft's algorithms:

David, Julien
Theoretical Computer Science.  417 (2012)  - p. 50-65 , 2012
 
?
8

End-to-End Statistical Model Checking for Parameterization ..:

Julien, David ; Ardourel, Gilles ; Cantin, Guillaume.
ACM Transactions on Modeling and Computer Simulation.  34 (2024)  3 - p. 1-25 , 2024
 
?
10

End-to-End Statistical Model Checking for Parametric ODE Mo..:

, In: Quantitative Evaluation of Systems; Lecture Notes in Computer Science,
 
?
12

Design, characterisation, and bioefficiency of insulin–chit..:

Diop, M. ; Auberval, N. ; Viciglio, A....
International Journal of Pharmaceutics.  491 (2015)  1-2 - p. 402-408 , 2015
 
1-15