1. Recherche
73 résultats  enregistrer la recherche
...
inria-00200957v1  Communication dans un congrès
Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden. Probability of Error in Information-Hiding Protocols
20th IEEE Computer Security Foundations Symposium (CSF20), Jul 2007, Venice, Italy. IEEE Computer Society, pp.341-354, 2007, Proceedings of the 20th IEEE Computer Security Foundations Symposium (CSF20). <10.1109/CSF.2007.13>
...
inria-00424854v1  Communication dans un congrès
Konstantinos Chatzikokolakis, Sophia Knight, Prakash Panangaden. Epistemic Strategies and Games on Concurrent Processes
SOFSEM 2009, Jan 2009, Špindlerův Mlýn, Czech Republic. Springer, 5404, pp.153-166, 2009, Lecture Notes in Computer Science
...
inria-00477554v1  Communication dans un congrès
Sagar Sen, Benoit Baudry, Hans Vangheluwe. Domain-specific Model Editors with Model Completion
In Proceedings of MPM Workshop associated to MoDELS'07, 2007, Nashville, TN, USA, United States. 2007
...
inria-00331231v1  Communication dans un congrès
Manal El Dick, Esther Pacitti, Bettina Kemme. Flower-CDN: A hybrid P2P overlay for Efficient Query Processing in CDN
12th International Conference on Extending Database Technology (EDBT), Mar 2009, Saint-Petersbourg, Russia. 2009
...
inria-00201110v1  Communication dans un congrès
Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden. Anonymity Protocols as Noisy Channels
Ugo Montanari and Don Sannella. 2nd Symposium on Trustworthy Global Computing (TGC), Nov 2006, Lucca, Italy. Springer, 4661, pp.281-300, 2006, Lecture Notes in Computer Science; Proceedings of the 2nd Symposium on Trustworthy Global Computing. <10.1007/978-3-540-75336-0_18>
hal-01056127v1  Article dans une revue
Nicolas Broutin, Luc Devroye, Gabor Lugosi. Almost optimal sparsification of random geometric graphs
The Annals of Applied Probability : an official journal of the institute of mathematical statistics, The Institute of Mathematical Statistics, 2016, 26, pp.3078-3109. <10.1214/15-AAP1170>
...
inria-00442788v1  Communication dans un congrès
Hazel Everett, Sylvain Lazard, Steve Robbins, H. Schröder, Sue Whitesides. Convexifying Star-Shaped Polygons
10th Canadian Conference on Computational Geometry (CCCG'98), 1998, Montreal, Canada. pp.10-12, 1998
...
inria-00414473v1  Communication dans un congrès
Manal El Dick, Esther Pacitti, Bettina Kemme. A Highly Robust P2P-CDN Under Large-Scale and Dynamic Participation
IEEE Computer Society. First International Conference on Advances in P2P Systems, Oct 2009, Sliema, Malta. 2009
lirmm-00830929v1  Article dans une revue
Fady Draidi, Esther Pacitti, Bettina Kemme. P2Prec: A P2P Recommendation System for Large-Scale Data Sharing
Transactions on Large-Scale Data- and Knowledge-Centered Systems, Springer Berlin / Heidelberg, 2011, Part III - Special Issue on Data and Knowledge Management in Grid and P2P Systems, 6790 (LNCS), pp.87-116. <10.1007/978-3-642-23074-5_4>
hal-00483490v1  Communication dans un congrès
Manal El Dick, Esther Pacitti, Bettina Kemme. Un Réseau Pair-à-Pair de Distribution de contenu Exploitant les Intérêts et les Localités des Pairs
BDA: Bases de Données Avancées, 2009, Namur, Belgium. pp.388-407, 2009
...
lirmm-00325147v1  Communication dans un congrès
Louigi Addario-Berry, Omid Amini, Jean-Sébastien Sereni, Stéphan Thomassé. Guarding Art Galleries: The Extra Cost for Sculptures is Linear
SWAT'08: 11th Scandinavian Workshop on Algorithm Theory, Jul 2008, Gothenburg, Sweden. Springer, pp.41-52, 2008, LNCS. <http://www.dmist.net/swat2008/>. <10.1007/978-3-540-69903-3>
...
inria-00551133v1  Rapport
Louigi Addario-Berry, Frédéric Havet, Claudia Linhares Sales, Bruce Reed, Stéphan Thomassé. Oriented trees in digraphs.
[Research Report] RR-7502, INRIA. 2011
...
inria-00543298v1  Rapport
Fady Draidi, Esther Pacitti, Patrick Valduriez, Bettina Kemme. P2Prec: a Social-based P2P Recommendation System for Large-scale Data Sharing
[Research Report] 2010
lirmm-00324589v1  Communication dans un congrès
David Bremner, Jonathan Lenchner, Giuseppe Liotta, Christophe Paul, Marc Pouget et al.  A Note on α-Drawable k-Trees
CCCG'08: Canadian Conference on Computational Geometry, Canada. pp.23-27, 2008
hal-01415690v1  Chapitre d'ouvrage
Franck Quaine, Lionel Reveret, Simon Courtemanche, Paul Kry. Postural regulation and motion simulation in rock climbing
Ludovic Seifert; Peter Wolf; Andreas Schweizer. The science of climbing and mountaineering, Routledge, pp.111-128, 2017, Routledge Research in Sport and exercise Science, 978-1-138-92758-2. <https://www.routledge.com/The-Science-of-Climbing-and-Mountaineering/Seifert-Wolf-Schweizer/p/book/9781138927582>
...
hal-00932737v1  Article dans une revue
Bettina Kemme, Ganesan Ramalingam, André Schiper, Marc Shapiro, Kapil Vaswani. Consistency in Distributed Systems
Dagstuhl Reports, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2013, 3 (2), pp.92-126. <10.4230/DagRep.3.2.92>
...
inria-00560623v2  Pré-publication, Document de travail
Gérard Biau, Frédéric Chazal, David Cohen-Steiner, Luc Devroye, Carlos Rodriguez. A Weighted k-Nearest Neighbor Density Estimate for Geometric Inference
2011
...
inria-00444791v1  Chapitre d'ouvrage
Marc Shapiro, Bettina Kemme. Eventual Consistency
Ózsu, M. Tamer and Liu, Ling. Encyclopedia of Database Systems, springer, 2009
...
hal-00778520v2  Pré-publication, Document de travail
Gérard Biau, Luc Devroye. Cellular Tree Classifiers
2013
...
inria-00504677v1  Communication dans un congrès
Jacques Klein, Jörg Kienzle, Brice Morin, Jean-Marc Jézéquel. Aspect Model Unweaving
ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems (MODELS'09), 2009, Denver, Colorado, USA, United States. 2009
...
hal-00761116v1  Communication dans un congrès
Sophia Knight, Catuscia Palamidessi, Prakash Panangaden, Frank D. Valencia. Spatial and Epistemic Modalities in Constraint-Based Process Calculi
Maciej Koutny and Irek Ulidowski. CONCUR 2012 - 23rd International Conference on Concurrency Theory, Sep 2012, Newcastle upon Tyne, United Kingdom. Springer, 7454, pp.317-332, 2012, Lecture Notes in Computer Science. <10.1007/978-3-642-32940-1>
...
hal-00760967v1  Communication dans un congrès
Sophia Knight, Radu Mardare, Prakash Panangaden. Combining Epistemic Logic and Hennessy-Milner Logic
Robert L. Constable and Alexandra Silva. Logic and Program Semantics - Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday, Apr 2012, Ithaca, United States. Springer, 7230, pp.219-243, 2012, Lecture Notes in Computer Science. <10.1007/978-3-642-29485-3_14>
...
hal-00655850v2  Rapport
Gérard Biau, Luc Devroye, Vida Dujmovic, Adam Krzyzak. An Affine Invariant $k$-Nearest Neighbor Regression Estimate
2012
...
inria-00336502v1  Communication dans un congrès
Linqiao Zhang, Hazel Everett, Sylvain Lazard, Christophe Weibel, Sue Whitesides. On the Size of the 3D Visibility Skeleton: Experimental Results
16th Annual European Symposium on Algorithms - ESA 2008, Sep 2008, Karlsruhe, Germany. Springer, LNCS 5193/2008, pp.805--816, 2008, Lecture Notes in Computer Science; Algorithms - ESA 2008. <10.1007/978-3-540-87744-8_67>
...
inria-00538458v1  Communication dans un congrès
Brice Morin, Jacques Klein, Jörg Kienzle, Jean-Marc Jézéquel. Flexible Model Element Introduction Policies for Aspect-Oriented Modeling
13rd ACM/IEEE International Conference on Model-Driven Engineering Languages and Systems (MODELS 2010), 2010, Oslo, Norway, Norway. 2010
...
hal-00684717v1  Communication dans un congrès
Moussa Amrani, Levi Lucio, Gehan Selim, Benoit Combemale, Jürgen Dingel et al.  A Tridimensional Approach for Studying the Formal Verification of Model Transformations
Verification and validation Of model Transformations (VOLT), Apr 2012, Montreal, Canada. IEEE, 2012
...
inria-00261827v1  Communication dans un congrès
Romain Beauxis, Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden. Formal Approaches to Information-Hiding (Tutorial)
Gilles Barthe and Cédric Fournet. Trustworthy Global Computing, Nov 2007, Sophia-Antipolis, France. Springer, 4912, pp.347-362, 2008, Lecture Notes in Computer Science; Proceedings of the Third Symposium on Trustworthy Global Computing (TGC 2007). <10.1007/978-3-540-78663-4_23>
...
inria-00071226v1  Rapport
Hervé Brönnimann, Olivier Devillers, Vida Dujmovic, Hazel Everett, Marc Glisse et al.  On the Number of Maximal Free Line Segments Tangent to Arbitrary Three-dimensional Convex Polyhedra
[Research Report] RR-5671, INRIA. 2005

Contact


archive-ouverte@inria.fr