Publications

Multivariate Archimax Copulas

Revues Internationales 2014

Auteur(s) : Charpentier, A., Fougères, A.-L., Genest, Ch. & Neslehova, C. J.
Source : Journal of Multivariate Analysis, 126
Pages : 118-136
Lien : http://www.researchgate.net/publication/260232611_Multivariate_Archimax_copulas

Improving Users’ Isolation in IaaS: Virtual Machine Placement with Security Constraints

Revues Internationales 2014

Auteur(s) : Eddy Caron, Jonathan Rouzaud-Cornabas
Source : Rapport de Recherche - CLOUD, 2014, 2014 IEEE 7th International Conference on Cloud Computing (CLOUD), DOI:10.1109/CLOUD.2014.19
Pages : 64-71
Lien : https://hal.inria.fr/hal-00924296

Asymptotic dimensional reduction of a Robin type elasticity boundary value problem in thin beams

Revues Internationales 2014

Auteur(s) : Bare D.Z., Orlik J., Panasenko G.
Source : Applicable Analysis, 93 (6), DOI:10.1080/00036811.2013.823481
Pages : 1217-1238
Lien : http://www.tandfonline.com/doi/abs/10.1080/00036811.2013.823481#

Interactive Realizability for second-order Heyting arithmetic with EM1 and SK1

Revues Internationales 2014

Auteur(s) : Federico Aschieri
Source : Mathematical Structures in Computer Science 24 (6)
Lien : https://hal.inria.fr/hal-00657054

On a class of first order Hamilton-Jacobi equations in metric spaces

Revues Internationales 2014

Auteur(s) : L. Ambrosio and J. Feng
Source : Journal of Differential Equations, Vol 256 (7)
Pages : 2194-2245
Lien : https://www.math.ku.edu/~jfeng/AF-revise.pdf

A New View on HJLS and PSLQ: Sums and Projections of Lattices.

Actes, monographies, ouvrages collectifs 2013

Auteur(s) : Jingwei Chen, Damien Stehlé, Gilles Villard
Source : In proc. ISSAC'13, Boston, USA, Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation
Pages : 149-156
Lien : http://dl.acm.org/citation.cfm?id=2465936

Brzozowski’s and Up-To Algorithms for Must Testing. Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11

Actes, monographies, ouvrages collectifs 2013

Auteur(s) : Filippo Bonchi, Georgiana Caltais, Damien Pous, Alexandra Silva
Source : Programming Languages and Systems, Lecture Notes in Computer Science, Volume 8301
Pages : 0-16
Lien : http://link.springer.com/chapter/10.1007%2F978-3-319-03542-0_1#page-1

Non-Determinism, Non-Termination and the Strong Normalization of System T Proceedings

Actes, monographies, ouvrages collectifs 2013

Source : Typed Lambda Calculi and Applications, Springer Lecture Notes in Computer Science, vol. 7941
Pages : 31-47
Lien : http://link.springer.com/chapter/10.1007%2F978-3-642-38946-7_5#page-1

Strong Normalization for HA + EM1 by Non-Deterministic Choice. Proceedings First Workshop on Control Operators and their Semantics (COS)

Actes, monographies, ouvrages collectifs 2013

Auteur(s) : Federico Aschieri
Source : Electronic Proceedings in Theoretical Computer Science (EPTCS) 127. 2013.
Pages : 0-14
Lien : http://eptcs.web.cse.unsw.edu.au/paper.cgi?COS2013.1

Realizability and Strong Normalization for a Curry-Howard Interpretation of HA + EM1.

Actes, monographies, ouvrages collectifs 2013

Auteur(s) : Federico Aschieri, Stefano Berardi, Giovanni Birolo
Source : Computer Science Logic (CSL) Torino, Italy
Pages : 45-60
Lien : http://memsic.ccsd.cnrs.fr/LIP/hal-00951843

1 2 3