Skip to Main content Skip to Navigation
Help


...
hal-00987578v2  Journal articles
Thomas Given-WilsonDaniele GorlaBarry Jay. A Concurrent Pattern Calculus
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2014, 10 (3), pp.1-46. ⟨10.2168/LMCS-10(3:10)2014⟩
...
hal-01248760v2  Journal articles
Benjamin AudouxAlain Couvreur. On tensor products of CSS Codes
Annales de l’Institut Henri Poincaré (D) Combinatorics, Physics and their Interactions, European Mathematical Society, 2019, 6 (2), pp.239-287. ⟨10.4171/AIHPD/71⟩
...
inria-00432448v1  Journal articles
Thierry CoquandArnaud Spiwack. A Proof of Strong Normalisation Using Domain Theory
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2007, 16 p. ⟨10.2168/LMCS-3(4:12)2007⟩
...
hal-01662524v1  Journal articles
Pierre-Louis CurienSamuel Mimram. Coherent Presentations of Monoidal Categories
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2017, 13 (3), pp.1-38. ⟨10.23638/LMCS-13(3:31)2017⟩
...
inria-00081461v1  Journal articles
Michel Fliess. Approche intrinsèque des fluctuations browniennes en mécanique stochastique
Comptes rendus de l'Académie des sciences. Série I, Mathématique, Elsevier, 2006
...
inria-00439226v1  Journal articles
Michel FliessCédric JoinMamadou Mboup. Algebraic change-point detection
Applicable Algebra in Engineering, Communication and Computing, Springer Verlag, 2010, 21 (2), pp.131-143. ⟨10.1007/s00200-010-0119-z⟩
...
inria-00288107v3  Journal articles
Michel FliessCédric Join. Commande sans modèle et commande à modèle restreint
e-STA Sciences et Technologies de l’Automatique, SEE - Société de l'Electricité, de l'Electronique et des Technologies de l'Information et de la Communication 2008, 5 (4), pp.1-23
...
hal-01066046v1  Journal articles
Johannes StarlingerBryan BrancotteSarah Cohen-BoulakiaUlf Leser. Similarity Search for Scientific Workflows
Proceedings of the VLDB Endowment (PVLDB), VLDB Endowment, 2014, 7 (12), pp.1143-1154. ⟨10.14778/2732977.2732988⟩
...
hal-01653884v1  Journal articles
Ali KassemYliès FalconePascal Lafourcade. Formal analysis and offline monitoring of electronic exams
Formal Methods in System Design, Springer Verlag, 2017, 51 (1), pp.117 - 153. ⟨10.1007/s10703-017-0280-0⟩
...
hal-00874925v1  Journal articles
Benjamin Smith. Easy scalar decompositions for efficient scalar multiplication on elliptic curves and genus 2 Jacobians
Contemporary mathematics, American Mathematical Society, 2015, Algorithmic Arithmetic, Geometry, and Coding Theory, 637, pp.15
...
inria-00541894v1  Journal articles
Alain Couvreur. Differential Approach for the Study of Duals of Algebraic-Geometric Codes on Surfaces
Journal de Théorie des Nombres de Bordeaux, Société Arithmétique de Bordeaux, 2011, 23 (1), pp.95-120
...
hal-00488441v1  Journal articles
Jean-Daniel BoissonnatFrank NielsenRichard Nock. Bregman Voronoi diagrams
Discrete and Computational Geometry, Springer Verlag, 2010, pp.200
...
inria-00497177v2  Journal articles
Vincent SilesHugo Herbelin. Pure Type System conversion is always typable
Journal of Functional Programming, Cambridge University Press (CUP), 2012, 22 (2), pp.153 - 180. ⟨10.1017/S0956796812000044⟩
...
inria-00343509v1  Journal articles
Louis ChatriotChristophe FiterGuillaume ChaslotSylvain GellyJean-Baptiste Hoock et al.  Combiner connaissances expertes, hors-ligne, transientes et en ligne pour l'exploration Monte-Carlo
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, Lavoisier, 2008
...
inria-00112838v1  Journal articles
Sylvain GellyOlivier Teytaud. Bayesian Networks: a Non-Frequentist Approach for Parametrization, and a more Accurate Structural Complexity Measure
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, Lavoisier, 2006
...
inria-00112840v1  Journal articles
Sylvain GellyOlivier TeytaudNicolas BredecheMarc Schoenauer. Universal Consistency and Bloat in GP
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, Lavoisier, 2006
...
hal-01255499v2  Journal articles
Alice HéliouMartine LéonardLaurent MouchardMikaël Salson. Efficient dynamic range minimum query
Theoretical Computer Science, Elsevier, 2016, 656, pp.108-117. ⟨10.1016/j.tcs.2016.07.002⟩
...
inria-00200928v1  Journal articles
Yuxin DengCatuscia Palamidessi. Axiomatizations for probabilistic finite-state behaviors
Theoretical Computer Science, Elsevier, 2007, 373 (1-2), pp.92-114. ⟨10.1016/j.tcs.2006.12.008⟩