Grivaux, Julien Parabolic automorphisms of projective surfaces (after M. H. Gizatullin). (English) Zbl
Mosc. Math. J. 16, No. 2, Summary: In [Izv. Akad. Nauk SSSR, Ser. Mat. 44, 110–144 (

Source URL: jgrivaux.perso.math.cnrs.fr

Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) First International Competition on Runtime Verification Rules, Benchmarks, Tools, and Final Results of CRV 2014 Ezio Bartocci1 , Yli`

Source URL: julien.signoles.free.fr

• Computing
• Software engineering
• Computer programming
• Functional languages
• Program analysis
• Data types
• Programming languages
• Object-oriented programming languages
• ANSI/ISO C Specification Language
• Runtime verification
• Benchmark
• KeY

Grivaux, Julien  Formality of derived intersections. (English) Zbl
Doc. Math., J. DMV 19, ). Summary: We study derived intersections of smooth analytic cycles, and provide in some cases nece

Source URL: jgrivaux.perso.math.cnrs.fr

Grivaux, Julien; Hubert, Pascal Loci in strata of  meromorphic quadratic differentials with fully degenerate Lyapunov spectrum. (English) Zbl
J. Mod. Dyn. 8, No. 1, Summary: We construct expl

Source URL: jgrivaux.perso.math.cnrs.fr

• Geometry
• Mathematics
• Dynamical systems
• Moduli theory
• Algebraic geometry
• Riemann surfaces
• Lyapunov exponent
• Complex manifolds
• Translation surface
• Giovanni Forni
• Teichmller space
• Zbl

Proposition de stage niveau bac+5 Composition de composants et de contrats pour systèmes synchrones : formalisation en Why3 Cadre

Source URL: julien.signoles.free.fr

PDF Document

Source URL: julien.ponge.org

PDF Document

Source URL: julien.dutant.free.fr

PDF Document

Source URL: julien.ponge.org

PDF Document

Source URL: julien.ponge.org

PDF Document

Source URL: julien.dutant.free.fr