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
inria-00001059v1  Conference papers
Michel FliessMamadou MboupHugues MounierHebertt Sira-Ramirez. Questioning some paradigms of signal processing via concrete examples
Algebraic Methods in Flatness, Signal Processing and State Estimation, Nov 2003, Mexico, pp. 1-21
inria-00001096v1  Conference papers
Michel FliessHebertt Sira-Ramirez. Control via state estimations of some nonlinear systems
IFAC Symposium on Nonlinear Control Systtems (NOLCOS 2004), 2004, Stuttgart, Germany
inria-00001042v1  Lectures
Michel Fliess. Variations sur la notion de contrôlabilité
Doctoral. Société mathématique de France, Paris, 2000
inria-00201101v1  Conference papers
Mohit BhargavaCatuscia Palamidessi. Probabilistic Anonymity
CONCUR'05, Aug 2005, San Francisco, United States. pp.171-185, ⟨10.1007/11539452_16⟩
inria-00201107v1  Conference papers
Diletta CacciagranoFlavio CorradiniCatuscia Palamidessi. Separation of synchronous and asynchronous communication via testing
Proceedings of the 12th International Workshop on Expressiveness in Concurrency (EXPRESS 2005), Aug 2005, San Francisco, United States. pp.95-108, ⟨10.1016/j.entcs.2006.05.009⟩
inria-00201123v1  Conference papers
Yuxin DengCatuscia Palamidessi. Axiomatizations for probabilistic finite-state behaviors
8th International Conference on Foundations of Software Science and Computational Structures (FOSSACS 2005), Apr 2005, Edinburgh, United Kingdom. pp.110-124, ⟨10.1007/b106850⟩
inria-00201087v1  Conference papers
Yuxin DengTom ChothiaCatuscia PalamidessiJun Pang. Metrics for Action-labelled Quantitative Transition Systems
Third Workshop on Quantitative Aspects of Programming Languages (QAPL 2005), Apr 2005, Edinburgh, United Kingdom. pp.79-96, ⟨10.1016/j.entcs.2005.10.033⟩
inria-00201109v1  Conference papers
Konstantinos ChatzikokolakisCatuscia Palamidessi. Probable Innocence Revisited
Third International Workshop on Formal Aspects in Security and Trust (FAST 2005), Jul 2005, Newcastle Upon Tyne, United Kingdom. pp.142-157
inria-00201124v1  Conference papers
Maria Grazia VigliottiIain PhillipsCatuscia Palamidessi. Expressiveness via Leader Election Problems
4th International Symposium on Formal Methods for Components and Objects (FMCO), Nov 2005, Amsterdam, Netherlands. pp.172-194, ⟨10.1007/11804192_9⟩
inria-00200912v1  Conference papers
Yuxin DengCatuscia PalamidessiJun Pang. Weak Probabilistic Anonymity
3rd International Workshop on Security Issues in Concurrency (SecCo), Aug 2005, San Francisco, United States. pp.55-76, ⟨10.1016/j.entcs.2005.05.043⟩
hal-00654544v1  Journal articles
Cédric AdjihEmmanuel BaccelliThomas Heide ClausenPhilippe JacquetGeorgios Rodolakis. Fish Eye OLSR Scaling Properties
Journal of Communications and Networks, IEEE & Korea Information and Communications Society, 2004, 6 (4), pp.352-361. ⟨10.1109/JCN.2004.6596835⟩
hal-00004352v1  Journal articles
Gilles SchaefferPaul Zinn-Justin. On the Asymptotic Number of Plane Curves and Alternating Knots
Experimental Mathematics, Taylor & Francis, 2004, 13, pp.4
inria-00001187v1  Conference papers
Luca Castelli AleardiOlivier DevillersGilles Schaeffer. Dynamic updates of succinct triangulations
18th Canadian Conference on Computational Geometry, 2005, Windsor, Canada, France
inria-00201158v1  Journal articles
Catuscia PalamidessiFrank Valencia. Recursion vs Replication in Process Calculi: Expressiveness
Bulletin- European Association for Theoretical Computer Science, European Association for Theoretical Computer Science; 1999, 2005, 87, pp.105-125
inria-00201100v1  Book sections
Yuxin DengCatuscia PalamidessiJun Pang. Compositional Reasoning for Probabilistic Finite-State Behaviors
Aart Middeldorp and Vincent van Oostrom and Femke van Raamsdonk and Roel C. de Vrijer. Processes, Terms and Cycles: Steps on the Road to Infinity, 3838, Springer, pp.309-337, 2005, Lecture Notes in Computer Science, ⟨10.1007/11601548_17⟩
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⟩
tel-00007532v1  Theses
Emmanuel Thomé. Algorithmes de calcul de logarithmes discrets dans les corps finis
Génie logiciel [cs.SE]. Ecole Polytechnique X, 2003. Français
inria-00090707v1  Conference papers
Luca Castelli AleardiOlivier DevillersGilles Schaeffer. Succinct representation of triangulations with a boundary
9th Workshop on Algorithms and Data Structures, Aug 2005, Waterloo, Canada, pp.134--135