Skip to Main content Skip to Navigation


inria-00386299v1  Journal articles
Régis DupontAndreas EngeFrançois Morain. Building curves with arbitrary small MOV degree over finite prime fields
Journal of Cryptology, Springer Verlag, 2005, 18 (2), pp.79-89
inria-00123785v1  Journal articles
Philippe BaptisteClaude Le Pape. Scheduling a Single Machine to Minimize a Regular Objective Function under Setup Constraints
Discrete Optimization, Elsevier, 2005, Discrete Optimization, 2, pp.83--99
hal-00756923v1  Journal articles
Manuel BodirskyBarnaby MartinJan Kara. The Complexity of Surjective Homomorphism Problems -- a Survey
Discrete Applied Mathematics, Elsevier, 2012, 160 (12), pp.1680-1690
inria-00386311v1  Journal articles
Régis DupontAndreas Enge. Provably Secure Non-Interactive Key Distribution Based on Pairings
Discrete Applied Mathematics, Elsevier, 2006, 154 (2), pp.270-276
inria-00177084v1  Journal articles
Sylvain GellyRémi Munos. L'Ordinateur, champion de go ?
Pour la science, Société Pour la Science 2007, 354, pp.28-35
hal-01271678v1  Directions of work or proceedings
Miguel E. AndrésGeoffrey SmithCatuscia Palamidessi. Special Issue on Quantitative Information Flow
Andrés, Miguel; Palamidessi, Catuscia; Smith, Geoffrey. Cambridge University Press, 2015, ⟨10.1017/S0960129513000583⟩
hal-00760732v1  Directions of work or proceedings
Olivier BournezGilles Dowek. Natural Computing
France. Springer, pp.1, 2012
hal-00760740v1  Journal articles
Olivier BournezIgor Potapov. Reachability Problems (RP 2009) Special Issue
International Journal of Foundation of Computer Science, Springer, 2011, pp.1
cea-01010665v1  Journal articles
Éric FusyEmmanuel Guitter. The three-point function of general planar maps
Journal of Statistical Mechanics: Theory and Experiment, IOP Publishing, 2014, 14, pp.P09012. ⟨10.1088/1742-5468/2014/09/P09012⟩
inria-00123683v1  Conference papers
Wojciech JaworMarek ChrobakChristoph Dürr. Competitive Analysis of Scheduling Algorithms for Aggregated Links
Proceedings of Latin American Theoretical INformatics (LATIN), Mar 2006, Valdivia, Chile, pp.617--628
inria-00123679v1  Conference papers
Christoph DürrMathilde Hurand. Finding total unimodularity in optimization problems solved by linear programs
Proc. of the 14th Annual European Symposium on Algorithms (ESA)},, Sep 2006, Zürich, pp.315-326
inria-00123655v1  Conference papers
Abhinav BahadurChristoph DürrRaghav KulkarniThibault Lafaye. Quantum Query Complexity in Computational Geometry
Conference on Quantum Information and Computation IV by The International Society for Optical Engineering (SPIE), 2006, SPIE
inria-00133320v1  Conference papers
Sandra AlvesMaribel Fern{Á}ndezMÁrio FloridoIan Mackie. Iterator Types
Proceedings FOSSACS, Mar 2007, Braga, Portugal, pp.17--31
inria-00133321v1  Conference papers
Sandra AlvesMaribel Fern{Á}ndezMario FloridoIan Mackie. The Power of Linear Functions
Proceedings of the 15th EACSL Conference on Computer Science Logic (CSL'06), Sep 2006, Szeged, Hungay, pp.119--134
inria-00133323v1  Conference papers
Ian Mackie. Encoding Strategies in the Lambda Calculus with Interaction Nets
Implementation and Application of Functional Languages, 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, Sep 2005, Dublin, Ireland, pp.19--36, ⟨10.1007/11964681_2⟩
hal-00756942v1  Journal articles
Antonio MucherinoCarlile LavorLeo LibertiNelson Maculan. Recent Advances on the Discretizable Molecular Distance Geometry Problem
European Journal of Operational Research, Elsevier, 2012, 219, pp.698-706
hal-01093052v1  Journal articles
Virginia CostaAntonio MucherinoCarlile LavorAndrea CassioliLuiz Mariano Carvalho et al.  Discretization Orders for Protein Side Chains
Journal of Global Optimization, Springer Verlag, 2014, 60 (2), pp.333-349
hal-00756945v1  Conference papers
Antonio MucherinoCarlile LavorLeo LibertiNelson Maculan. On the Discretization of Distance Geometry Problems
Mathematics of Distances and Applications 2012 (MDA12), 2012, Varna, Bulgaria
hal-01093056v1  Journal articles
Leo LibertiCarlile LavorNelson MaculanAntonio Mucherino. Euclidean Distance Geometry and Applications
SIAM Review, Society for Industrial and Applied Mathematics, 2014, 56 (1), pp.3-69
hal-00756940v1  Journal articles
Antonio MucherinoCarlile LavorLeo LibertiNelson Maculan. The Discretizable Molecular Distance Geometry Problem
Computational Optimization and Applications, Springer Verlag, 2012, 52, pp.115-146
hal-00756946v1  Conference papers
Antonio MucherinoCarlile LavorLeo LibertiNelson Maculan. Finding Low-Energy Homopolymer Conformations by a Discrete Approach
Global Optimization Workshop 2012 (GOW12), 2012, Natal, Brazil
hal-00936319v1  Conference papers
Bruno Grenet. Computing low-degree factors of lacunary polynomials: a Newton-Puiseux approach
39th International Symposium on Symbolic and Algebraic Computation, Jul 2014, Kobe, Japan. p224-231, ⟨10.1145/2608628.2608649⟩
inria-00537860v1  Conference papers
Benjamin Smith. Isogenies and the Discrete Logarithm Problem in Jacobians of Genus 3 Hyperelliptic Curves
Eurocrypt 2008, International Association for Cryptologic Research, Apr 2008, Istanbul, Turkey. pp.163-180, ⟨10.1007/978-3-540-78967-3_10⟩
hal-00945678v1  Conference papers
Catuscia Palamidessi. Quantitative Approaches to Information Protection
Logic, Language, Information, and Computation - 20th International Workshop (WoLLIC 2013), Aug 2013, Darmstadt, Germany. pp.31-32, ⟨10.1007/978-3-642-39992-3_5⟩
hal-00548210v1  Conference papers
Catuscia Palamidessi. Compositionality of Secure Information Flow
Joint Conference: 10th International Conference on the Mathematics of Program Construction (MPC 2010), and 13th International Conference on Algebraic Methodology And Software Technology (AMAST 2010), Jun 2010, Lac Beaufort, Québec City, Canada. pp.19-19, ⟨10.1007/978-3-642-13321-3_2⟩
hal-00548211v1  Conference papers
Catuscia PalamidessiMário AlvimMiguel Andrés. Interactive Information Flow
Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (ARSPA-WITS 2010), Mar 2010, Paphos, Cyprus. pp.111-111, ⟨10.1007/978-3-642-16074-5_8⟩
hal-00923607v1  Journal articles
Maks OvsjanikovMirela Ben ChenOmri AzencotFrédéric Chazal. An operator Approach to Tangent Vector Field Processing
Computer Graphics Forum, Wiley, 2013, Proc. Eurographics Symposium on Geometry Processing 2013, 32 (5), pp.73-82. ⟨10.1111/cgf.12174⟩