Skip to Main content Skip to Navigation

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-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-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-00424856v1  Journal articles
Gethin NormanCatuscia PalamidessiDavid ParkerPeng Wu. Model checking probabilistic and stochastic extensions of the $\pi$-calculus
IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 2009, 35 (2), pp.209--223
hal-02470995v1  Journal articles
Brice MinaudPatrick DerbezPierre-Alain FouquePierre Karpman. Key-Recovery Attacks on ASASA.
Journal of Cryptology, Springer Verlag, 2018, 31 (3), pp.845-884
hal-00643634v2  Journal articles
Olivier BournezDaniel GraçaEmmanuel Hainry. Computation with perturbed dynamical systems
Journal of Computer and System Sciences, Elsevier, 2013, 79 (5), pp.714-724. ⟨10.1016/j.jcss.2013.01.025⟩
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
hal-00710290v3  Journal articles
Alexander ZehSergey Bezzateev. A New Bound on the Minimum Distance of Cyclic Codes Using Small-Minimum-Distance Cyclic Codes
Designs, Codes and Cryptography, Springer Verlag, 2012, pp.229-246
hal-00705373v1  Conference papers
Michel FliessCédric Join. Preliminary remarks on option pricing and dynamic hedging
1st International Conference on Systems and Computer Science, Aug 2012, Villeneuve d'Ascq, France. pp.CDROM
inria-00425077v1  Conference papers
Michel FliessCédric Join. Systematic risk analysis: first steps towards a new definition of beta
Cognitive Systems with Interactive Sensors, COGIS'09, SEE, Nov 2009, Paris, France
inria-00319591v1  Conference papers
Jorge VillagraBrigitte d'Andréa-NovelMichel FliessHugues Mounier. Robust grey-box closed-loop stop-and-go control
47th IEEE Conference on Decision and Control, IEEE, Dec 2008, Cancun, Mexico
inria-00172366v1  Conference papers
Jean-Pierre BarbotMichel FliessThierry Floquet. An algebraic framework for the design of nonlinear observers with unknown inputs
46th IEEE Conference on Decision and Control, 2007, New Orleans, United States
inria-00259032v1  Conference papers
Hassane AbouaïssaMichel FliessCédric Join. Fast parametric estimation for macroscopic traffic flow model
17th IFAC World Congress, 2008, Seoul, South Korea
inria-00147702v1  Conference papers
Romain BourdaisMichel FliessCédric JoinWilfrid Perruquetti. Towards a model-free output tracking of switched nonlinear systems
NOLCOS 2007 - 7th IFAC Symposium on Nonlinear Control Systems, Aug 2007, Pretoria, South Africa
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
inria-00105673v1  Conference papers
Michel FliessStefan FuchshumerKurt SchlacherHebertt Sira-Ramirez. Discrete-time linear parametric identification: An algebraic approach
2èmes Journées Identification et Modélisation Expérimentale - JIME'2006, Nov 2006, Poitiers, France
inria-00289015v2  Journal articles
Jorge VillagraBrigitte d'Andréa-NovelMichel FliessHugues Mounier. Synthèse algébrique d'estimateurs de vitesses longitudinale et latérale d'une automobile
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 (3), pp.12-27
inria-00352834v1  Conference papers
Michel FliessCédric Join. A mathematical proof of the existence of trends in financial time series
Systems Theory: Modelling, Analysis and Control, May 2009, Fes, Morocco. pp.43-62
hal-01176445v1  Journal articles
Nicolas AnciauxDanae BoutaraBenjamin NguyenMichalis Vazirgiannis. Limiting Data Exposure in Multi-Label Classification Processes
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2015, 137 (2), pp.219-236. ⟨10.3233/FI-2015-1176⟩