Skip to Main content Skip to Navigation

inria-00610934v1  Journal articles
Jianneng CaoPanagiotis KarrasChedy RaïssiKian-Lee Tan. ρ-uncertainty: Inference-Proof Transaction Anonymization
Proceedings of the VLDB Endowment (PVLDB), VLDB Endowment, 2010, 3 (1), pp.1033-1044
hal-00495279v1  Journal articles
Antoine LambertRomain BourquiD. Auber. Winding Roads: Routing edges into bundles
Computer Graphics Forum, Wiley, 2010, 29 (3), pp.853-862
hal-00624029v1  Journal articles
Benjamin NguyenAntoine VionFrancois-Xavier DudouetDario ColazzoIoana Manolescu. Webstand, une plateforme de gestion de données web pour applications sociologiques
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2010, 29 (8-9), pp.1055-1080
inria-00537943v1  Journal articles
Mohsen RouachedWalid FdhilaClaude Godart. Web Services Compositions Modelling and Choreographies Analysis
International Journal of Web Services Research, Idea Group Pub, 2010, 7 (2), pp.78-110. ⟨10.4018/jwsr.2010040105⟩
lirmm-00512776v1  Journal articles
Omid AminiFrédéric HavetFlorian HucStéphan Thomassé. WDM and Directed Star Arboricity
Combinatorics, Probability and Computing, Cambridge University Press (CUP), 2010, 19, pp.161-182
inria-00550267v1  Journal articles
Lenka JerabkovaGuillaume BousquetSébastien BarbierFrançois FaureJérémie Allard. Volumetric modeling and interactive cutting of deformable bodies
Progress in Biophysics and Molecular Biology, Elsevier, 2010, Special Issue on Biomechanical Modelling of Soft Tissue Motion, 103 (2-3), pp.217-224. ⟨10.1016/j.pbiomolbio.2010.09.012⟩
inria-00502446v2  Journal articles
Jérémie AllardFrançois FaureHadrien CourtecuisseFlorent FalipouChristian Duriez et al.  Volume Contact Constraints at Arbitrary Resolution
ACM Transactions on Graphics, Association for Computing Machinery, 2010, Proceedings of SIGGRAPH 2010, 29 (3), pp.Article No. 82. ⟨10.1145/1778765.1778819⟩
inria-00537821v1  Journal articles
Frédéric BessonGuillaume DufayeThomas JensenDavid Pichardie. Verifying Resource Access Control on Mobile Interactive Devices
Journal of Computer Security, IOS Press, 2010, 18 (6), pp.971-998
inria-00503157v1  Journal articles
Gilles AubertDaniele Graziani. Variational approximation for detecting point-like target problems
ESAIM: Control, Optimisation and Calculus of Variations, EDP Sciences, 2010, 23p
inria-00449022v1  Journal articles
Laurent BienvenuMathieu Hoyrup. Une brève introduction à la théorie effective de l'aléatoire
Gazette des Mathématiciens, Société Mathématique de France, 2010, 123, pp.35-47
inria-00541865v1  Journal articles
Ngoc DuongEmmanuel VincentRémi Gribonval. Under-determined reverberant audio source separation using a full-rank spatial covariance model
IEEE Transactions on Audio, Speech and Language Processing, Institute of Electrical and Electronics Engineers, 2010, 18 (7), pp.1830--1840. ⟨10.1109/TASL.2010.2050716⟩
hal-00552170v1  Journal articles
Matias BjorlingPhilippe BonnetLuc BouganimBjörn Pór Jónsson. uFLIP: Understanding the Energy Consumption of Flash Devices
Bulletin of the Technical Committee on Data Engineering, IEEE Computer Society, 2010, 33 (4), pp.48-54
inria-00638209v1  Journal articles
Stefan Haar. Types of Asynchronous Diagnosability and the Reveals-Relation in Occurrence Nets
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2010, 55 (10), pp.2310-2320. ⟨10.1016/j.ic.2009.11.009⟩
hal-00847301v1  Journal articles
Sapna NundlollLudovic MailleretFrédéric Grognard. Two models of interfering predators in impulsive biological control
Journal of Biological Dynamics, Taylor & Francis Open, 2010, 4 (1), pp.102-114. ⟨10.1080/17513750902968779⟩
inria-00413861v1  Journal articles
Daniel ArchambaultTamara MunznerD. Auber. Tugging Graphs Faster: Efficiently Modifying Path-Preserving Hierarchies for Browsing Paths
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, 2010
hal-00533808v1  Journal articles
Frederic LangGwen SalaünRémi HérilierJeff KramerJeff Magee. Translating FSP into LOTOS and Networks of Automata
Formal Aspects of Computing, Springer Verlag, 2010, 22, pp.681-711
hal-00505809v1  Journal articles
Luca de FeoÉric Schost. transalpyne: a language for automatic transposition
ACM Communications in Computer Algebra, Association for Computing Machinery (ACM), 2010, 44 (1/2), pp.59-71. ⟨10.1145/1838599.1838624⟩
hal-01586549v1  Journal articles
Mourad AbbasKamel SmaïliDaoud Berkani. TR-Classifier and kNN Evaluation for Topic Identification tasks
International Journal on Information and Communication Technologies, Serials Publications, 2010, 3 (3), pp.10
inria-00408308v1  Journal articles
Christian BassacBruno MeryChristian Retoré. Towards a Type-Theoretical Account of Lexical Semantics
Journal of Logic, Language and Information, Springer Verlag, 2010, pp.229-245
inria-00423550v1  Journal articles
Vincent AcaryOlivier BonnefonBernard Brogliato. Time-stepping numerical simulation of switched circuits with the nonsmooth dynamical systems approach
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, IEEE, 2010, 29 (7), pp.1042-1055. ⟨10.1109/TCAD.2010.2049134⟩
inria-00499599v1  Journal articles
Vincent MartinJean-Marcel TravereFrancois BremondVictor MoncadaGwenaël Dunand. Thermal Event Recognition Applied to Protection of Tokamak Plasma-Facing Components
IEEE Transactions on Instrumentation and Measurement, Institute of Electrical and Electronics Engineers, 2010, 59 (5), pp.1182-1191. ⟨10.1109/TIM.2009.2038032⟩