unset title
>
Contact_plural
>
Lacroix
login
login
password
log in
cancel
search
Lacroix
lastname
Lacroix
firstname
Mathieu
organisation
Equipe AOC du LIPN, IUT de Villetaneuse
website
http://lipn.univ-paris13.fr/~lacroix/
old_uid
9822
responsibles_object
New perspectives on invexity and its algorithmic applications
Around Classical and Intuitionistic Linear Processes
A recipe for the semantics of reversible programming
Linear approximation of the ?-calculus: a new presentation of an old thing
Characterisations of polynomial-time and -space complexity classes over the reals
Informatique de Paris Nord (séminaire du laboratoire d’- (LIPN), UMR 7030 CNRS, Institut Galilée – Université Sorbonne Paris Nord) (2024)
Languages of Higher Dimensional Timed Automata
Efficient Elimination and Reduction of Useless Mutants in Real-Time Model-based Systems