Filter your results
- 2127
- 680
- 12
- 1306
- 768
- 213
- 171
- 119
- 112
- 56
- 13
- 13
- 11
- 10
- 9
- 6
- 5
- 4
- 2
- 1
- 97
- 5
- 4
- 3
- 1
- 2819
- 526
- 165
- 97
- 37
- 22
- 21
- 20
- 11
- 10
- 2
- 1
- 1
- 64
- 28
- 26
- 31
- 241
- 227
- 180
- 183
- 179
- 167
- 128
- 138
- 142
- 138
- 190
- 144
- 132
- 152
- 80
- 98
- 108
- 59
- 24
- 19
- 14
- 15
- 8
- 3
- 1
- 4
- 1
- 1
- 3
- 1
- 4
- 1
- 3
- 2651
- 165
- 2
- 1
- 2819
- 1551
- 308
- 123
- 110
- 95
- 94
- 81
- 76
- 59
- 48
- 43
- 41
- 41
- 41
- 40
- 38
- 32
- 31
- 30
- 29
- 28
- 26
- 26
- 25
- 25
- 24
- 24
- 23
- 23
- 23
- 22
- 21
- 21
- 21
- 19
- 17
- 17
- 17
- 16
- 16
- 16
- 15
- 14
- 14
- 14
- 13
- 13
- 13
- 13
- 13
- 13
- 12
- 12
- 12
- 11
- 11
- 11
- 11
- 11
- 11
- 10
- 9
- 9
- 9
- 9
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 120
- 113
- 97
- 93
- 89
- 77
- 73
- 60
- 57
- 56
- 55
- 54
- 41
- 39
- 39
- 39
- 36
- 36
- 35
- 35
- 34
- 34
- 31
- 31
- 31
- 29
- 28
- 27
- 27
- 25
- 25
- 23
- 23
- 23
- 23
- 22
- 22
- 21
- 21
- 20
- 20
- 20
- 19
- 19
- 19
- 18
- 18
- 18
- 17
- 17
- 17
- 17
- 16
- 16
- 16
- 15
- 15
- 15
- 14
- 14
- 14
- 14
- 14
- 14
- 14
- 14
- 14
- 13
- 13
- 13
- 13
- 13
- 13
- 13
- 13
- 13
- 13
- 12
- 12
- 12
- 12
- 12
- 12
- 12
- 12
- 12
- 12
- 12
- 12
- 12
- 11
- 11
- 11
- 11
- 11
- 11
- 11
- 11
- 11
- 11
|
Cell cycle progression is regulated by intertwined redox oscillatorsTheoretical Biology and Medical Modelling, 2015, 12 (1), pp.10. ⟨10.1186/s12976-015-0005-2⟩
Journal articles
hal-01158514v1
|
||
|
Bijective evaluation of the connection coefficients of the double coset algebra23rd International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2011), 2011, Reykjavik, Iceland. pp.681-692, ⟨10.46298/dmtcs.2944⟩
Conference papers
hal-00755301v2
|
||
|
Unraveling the molecular architecture of a G protein-coupled receptor/β-arrestin/Erk module complexScientific Reports, 2015, 5, pp.5:10760. ⟨10.1038/srep10760⟩
Journal articles
lirmm-01162594v1
|
||
|
Linear lambda terms as invariants of rooted trivalent mapsJournal of Functional Programming, 2016, 26, ⟨10.1017/S095679681600023X⟩
Journal articles
hal-01247757v1
|
||
Structural Cryptanalysis of McEliece Schemes with Algebraic Geometry codesArithmétique, Géométrie, Cryptographie et Théorie des Codes, CIRM - Centre International de rencontres Mathématiques, May 2015, Luminy, France
Conference papers
hal-01243394v1
|
|||
|
Compact data structures for triangulationsEncyclopedia of Algorithms, Springer, 2015, ⟨10.1007/978-3-642-27848-8_589-1⟩
Book sections
hal-01168565v1
|
||
|
From Geometric Semantics to Asynchronous ComputabilityDISC 2015, Toshimitsu Masuzawa; Koichi Wada, Oct 2015, Tokyo, Japan. ⟨10.1007/978-3-662-48653-5_29⟩
Conference papers
hal-01207146v1
|
||
|
On Subexponentials, Synthetic Connectives, and Multi-level Delimited ControlLPAR 20 - International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Nov 2015, Suva, Fiji. pp.297-312, ⟨10.1007/978-3-662-48899-7_21⟩
Conference papers
hal-01239753v1
|
||
|
Average profiles, from tries to suffix-trees2005 International Conference on Analysis of Algorithms, 2005, Barcelona, Spain. pp.257-266, ⟨10.46298/dmtcs.3390⟩
Conference papers
hal-01184225v1
|
||
|
Logarithmic hyperseriesTransactions of the American Mathematical Society, 2019, 372 (7), pp.5199-5241. ⟨10.1090/tran/7876⟩
Journal articles
hal-02350409v1
|
||
|
Faster Polynomial Multiplication over Finite FieldsJournal of the ACM (JACM), 2017, 63 (6), pp.1-23. ⟨10.1145/3005344⟩
Journal articles
hal-02350386v1
|
||
|
Modular SIMD arithmetic in M athemagixACM Transactions on Mathematical Software, 2016, 43 (1), pp.1-37. ⟨10.1145/2876503⟩
Journal articles
hal-02350504v1
|
||
|
Interfacing mathemagix with C++the 38th international symposium on Symbolic and Algebraic Computation (ISSAC 2013), Jun 2013, Boston, France. pp.363, ⟨10.1145/2465506.2465511⟩
Conference papers
hal-02350473v1
|
||
|
Non-kissing versus non-crossingFPSAC 2019 - 31th International Conference on Formal Power Series and Algebraic Combinatorics, Jul 2019, Ljubljana, Slovenia
Conference papers
hal-02345102v1
|
||
Uncertainty propagation using probabilistic affine forms and concentration of measure inequalitiesTools and Algorithms for the Construction and Analysis of Systems. TACAS 2016. Lecture Notes in Computer Science, Apr 2016, Eindhoven, Netherlands. pp.225-243, ⟨10.1007/978-3-662-49674-9_13⟩
Conference papers
cea-01834974v1
|
|||
|
Fast reduction of bivariate polynomials with respect to sufficiently regular Gröbner bases2018
Preprints, Working Papers, ...
hal-01702547v2
|
||
|
Strengthening the sequential convex MINLP technique by perspective reformulationsOptimization Letters, 2019, 13 (4), pp.673-684. ⟨10.1007/s11590-018-1360-9⟩
Journal articles
hal-02322638v1
|
||
Lower Bounds for Parallel Machines Scheduling.RIVF'2006, Research, Innovation and Vision for the Future, 2006, Ho Chi Minh Ville, Vietnam
Conference papers
hal-01721167v1
|
|||
|
Expressing Additives Using Multiplicatives and SubexponentialsMathematical Structures in Computer Science, 2018, 28 (5), pp.651-666
Journal articles
hal-01222767v1
|
||
|
A Proof-theoretic Characterization of Independence in Type Theory13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015), Jul 2015, Warsaw, Poland. pp.332--346, ⟨10.4230/LIPIcs.TLCA.2015.332⟩
Conference papers
hal-01222743v1
|
||
|
Kripke Models for Classical LogicAnnals of Pure and Applied Logic, 2010, Special Issue: Classical Logic and Computation (2008), 161 (11), pp.1367-1378. ⟨10.1016/j.apal.2010.04.007⟩
Journal articles
inria-00371959v4
|
||
|
Digital Signatures for Admittance Control in the Optimized Link State Routing Protocol version 2[Research Report] RR-7216, INRIA. 2010
Reports
inria-00460057v1
|
||
|
On the asynchronous nature of the asynchronous π-calculusRocco De Nicola, Pierpaolo Degano, and José Meseguer. Concurrency, Graphs and Models, Springer, pp.473-492, 2008, Lecture Notes in Computer Science, ⟨10.1007/978-3-540-68679-8_29⟩
Book sections
inria-00349226v2
|
||
|
A model-free approach to delta hedging[Research Report] 2010
Reports
inria-00457222v1
|
||
|
Supervisory Control for Modal Specifications of Services[Research Report] RR-7247, INRIA. 2010
Reports
inria-00472736v1
|
||
|
On the bit-complexity of sparse polynomial and series multiplication2010
Preprints, Working Papers, ...
hal-00476223v1
|
||
|
Isogenies and the Discrete Logarithm Problem in Jacobians of Genus 3 Hyperelliptic CurvesEurocrypt 2008, International Association for Cryptologic Research, Apr 2008, Istanbul, Turkey. pp.163-180, ⟨10.1007/978-3-540-78967-3_10⟩
Conference papers
inria-00537860v1
|
||
|
An extension of Kedlaya's algorithm to superelliptic curvesAsiacrypt, 2001, Gold Coast, Australia. pp.480-494, ⟨10.1007/3-540-45682-1_28⟩
Conference papers
inria-00514826v1
|
||
|
On the invariants of the quotients of the Jacobian of a curve of genus 2Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC 14, Nov 2001, Melbourne, Australia. pp.373-386, ⟨10.1007/3-540-45624-4_39⟩
Conference papers
inria-00514434v1
|
||
|
Strategic Computation and DeductionChristoph Benzmüller and Chad E. Brown and Jörg Siekmann and Richard Statman. Reasoning in Simple Type Theory. Festchrift in Honour of Peter B. Andrews on His 70th Birthday, 17, College Publications, pp.339-364, 2008, Studies in Logic and the Foundations of Mathematics, 978-1-904987-70-3
Book sections
inria-00433745v1
|