29.3k citations
- F. Rossi2 profiles18 · h 27
- S. Tixeuil2 profiles16 · h 35
- F. Bach14 · h 108
- Laurent Romary3 profiles14 · h 26
- M. Fliess2 profiles10 · h 51
- Fabien Mathieu9 · h 15
- M. Potop-Butucaru2 profiles9 · h 31
- N. Carbonell2 profiles9 · h 14
- P. Robert9 · h 20
- S. Gaubert9 · h 47
- W. Visser9 · h 20
- Yves Bertot3 profiles9 · h 24
- Laboratoire Lorrain de Recherche en Informatique et ses ApplicationsFR96 papers
- Centre National de la Recherche ScientifiqueFR86 papers
- Centre Inria de SaclayFR64 papers
- Institut de Recherche en Informatique et Systèmes AléatoiresFR27 papers
- Sorbonne UniversitéFR26 papers
- Université Grenoble AlpesFR23 papers
- Centre Inria de l'université de BordeauxFR22 papers
- LIP6FR22 papers
- Centre Inria de l'Université de LilleFR21 papers
- Laboratoire de l'Informatique du ParallélismeFR21 papers
- Laboratoire d'Informatique de GrenobleFR20 papers
- Institut Élie Cartan de LorraineFR19 papers
32 papers · 1 filter
Proceedings International Workshop on Strategies in Rewriting, Proving, and Programming
Hélène Kirchner, César Muñoz
This volume contains selected papers from the proceedings of the First International Workshop on Strategies in Rewriting, Proving, and Programming (IWS 2010), which was held on Jul…
Non-redundant random generation from weighted context-free languages
Yann Ponty
We address the non-redundant random generation of k words of length n from a context-free language. Additionally, we want to avoid a predefined set of words. We study the limits of…
Differential Privacy versus Quantitative Information Flow
Mário S. Alvim, Konstantinos Chatzikokolakis, Pierpaolo Degano +1
Differential privacy is a notion of privacy that has become very popular in the database community. Roughly, the idea is that a randomized query mechanism provides sufficient priva…
List-decoding of binary Goppa codes up to the binary Johnson bound
Daniel Augot, Morgan Barbier, Alain Couvreur
We study the list-decoding problem of alternant codes, with the notable case of classical Goppa codes. The major consideration here is to take into account the size of the alphabet…
Nudelman interpolation, parametrizations of lossless functions and balanced realizations
Jean-Paul Marmorat, Martine Olivi
We investigate the parametrization issue for discrete-time stable all-pass multivariable systems by means of a Schur algorithm involving a Nudelman interpolation condition. A recur…
Canonical lossless state-space systems: Staircase forms and the Schur algorithm
Ralf L. M. Peeters, Bernard Hanzon, Martine Olivi
A new finite atlas of overlapping balanced canonical forms for multivariate discrete-time lossless systems is presented. The canonical forms have the property that the controllabil…