Publications HAL de la collection COMETE

Article dans une revue

Article dans une revue

titre
Genetic Determinism of Primary Early-Onset Osteoarthritis
auteur
Juliette Aury-Landas, Christian Marcelli, Sylvain Leclercq, Karim Boumédiene, Catherine Baugé
article
Trends in Molecular Medicine, Elsevier, 2015, pp.38-52. ⟨10.1016/j.molmed.2015.11.006⟩
DOI
DOI : 10.1016/j.molmed.2015.11.006
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01249005/file/Aury-Landas_TMM_2016_HAL.pdf BibTex
titre
Ultrasound-assisted surgical release of carpal tunnel syndrome: Results of a pilot open-label uncontrolled trial conducted outside the operating theatre
auteur
Bertrand Lecoq, Nathalie Hanouz, Rémy Morello, Pierre-Yves Jean-Jacques, Jean-Jacques Jean-Jacques, Christophe Hulet, Christian Marcelli
article
Joint Bone Spine, Elsevier Masson, 2015, 82 (6), pp.442-445. ⟨10.1016/j.jbspin.2015.01.024⟩
DOI
DOI : 10.1016/j.jbspin.2015.01.024
Accès au bibtex
BibTex
titre
State of the art of endoscopic frontal sinus cerebrospinal fluid leak repair
auteur
V. Patron, V. Roger, S. Moreau, E. Babin, M. Hitier
article
European Annals of Otorhinolaryngology, Head and Neck Diseases, Elsevier Masson, 2015, 132 (6), pp.347-352. ⟨10.1016/j.anorl.2015.08.031⟩
DOI
DOI : 10.1016/j.anorl.2015.08.031
Accès au bibtex
BibTex
titre
Killing epsilons with a dagger: A coalgebraic study of systems with algebraic label structure
auteur
Filippo Bonchi, Stefan Milius, Alexandra Silva, Fabio Zanasi
article
Theoretical Computer Science, Elsevier, 2015, 604, pp. 102-126. ⟨10.1016/j.tcs.2015.03.024⟩
DOI
DOI : 10.1016/j.tcs.2015.03.024
Accès au bibtex
BibTex
titre
Multiple Object Tracking While Walking: Similarities and Differences Between Young, Young-Old, and Old-Old Adults
auteur
Kristell Pothier, Nicolas Benguigui, Richard Kulpa, Chantal Chavoix
article
Journals of Gerontology Series B: Psychological Sciences and Social Sciences, The Gerontological Society of America, 2015, 70 (6), pp.840-849. ⟨10.1093/geronb/gbu047⟩
DOI
DOI : 10.1093/geronb/gbu047
Accès au bibtex
BibTex
titre
Effects of long-term methylphenidate treatment in adolescent and adult rats on hippocampal shape, functional connectivity and adult neurogenesis
auteur
K. van der Marel, V. Bouet, G.F. Meerhoff, T. Freret, M. Boulouard, F. Dauphin, A. Klomp, P.J. Lucassen, J.R. Homberg, M. Dijkhuizen, L. Reneman
article
Neuroscience, Elsevier - International Brain Research Organization, 2015, 309, pp.243-258. ⟨10.1016/j.neuroscience.2015.04.044⟩
DOI
DOI : 10.1016/j.neuroscience.2015.04.044
Accès au bibtex
BibTex
titre
sAβPPα Improves Hippocampal NMDA-Dependent Functional Alterations Linked to Healthy Aging
auteur
Laura Moreno, Christiane Rose, Arun Mohanraj, Bernadette Allinquant, Jean-Marie Billard, Patrick Dutar, Ottavio Arancio
article
Journal of Alzheimer's Disease, IOS Press, 2015, 48 (4), pp.927-935. ⟨10.3233/JAD-150297⟩
DOI
DOI : 10.3233/JAD-150297
Accès au bibtex
BibTex
titre
Environmental Enrichment Duration Differentially Affects Behavior and Neuroplasticity in Adult Mice
auteur
Marianne Leger, Eleni Paizanis, Kwamivi Dzahini, Anne Quiedeville, Valentine Bouet, Jean-Christophe Cassel, Thomas Freret, Pascale Schumann-Bard, Michel Boulouard
article
Cerebral Cortex, Oxford University Press (OUP), 2015, 25 (11), pp.4048-4061. ⟨10.1093/cercor/bhu119⟩
DOI
DOI : 10.1093/cercor/bhu119
Accès au bibtex
BibTex
titre
Effect of an acute increase in central blood volume on cerebral hemodynamics
auteur
Shigehiko Ogoh, Ai Hirasawa, Peter Raven, Thomas Rebuffat, Pierre Denise, Romain Lericollais, Jun Sugawara, Hervé Normand
article
AJP - Regulatory, Integrative and Comparative Physiology, American Physiological Society, 2015, 309 (8), pp.R902-R911. ⟨10.1152/ajpregu.00137.2015⟩
DOI
DOI : 10.1152/ajpregu.00137.2015
Accès au bibtex
BibTex
titre
Therapeutic Potential of 5-HT 6 Receptor Agonists
auteur
Delphine Karila, Thomas Freret, Valentine Bouet, Michel Boulouard, Patrick Dallemagne, Christophe Rochais
article
Journal of Medicinal Chemistry, American Chemical Society, 2015, 58 (20), pp.7901-7912. ⟨10.1021/acs.jmedchem.5b00179⟩
DOI
DOI : 10.1021/acs.jmedchem.5b00179
Accès au bibtex
BibTex
titre
Time and space profiling of NMDA receptor co-agonist functions
auteur
Jean-Pierre Mothet, Matildé Le Bail, Jean-Marie Billard
article
Journal of Neurochemistry, Wiley, 2015, 135 (2), pp.210-225. ⟨10.1111/jnc.13204⟩
DOI
DOI : 10.1111/jnc.13204
Accès au bibtex
BibTex
titre
Effects of acute administration of melatonin on attentional, executive, and working memory processes in rats
auteur
Christophe Liet, Fella Amenouche, Thomas Freret, Michel Boulouard, Benoit Mauvieux, Véronique Boulouard, Marie-Laure Bocca
article
Fundamental and Clinical Pharmacology, Wiley, 2015, 29 (5), pp.472-477. ⟨10.1111/fcp.12134⟩
DOI
DOI : 10.1111/fcp.12134
Accès au bibtex
BibTex
titre
Tumor necrosis factor inhibitors continuation rates in patients with psoriatic arthritis: A French retrospective monocentre study
auteur
Simon Rio, Fabien Vincent, Murielle Michel, Johann Cesini, Christian Marcelli
article
Joint Bone Spine, Elsevier Masson, 2015, 82 (5), pp.377-378. ⟨10.1016/j.jbspin.2014.12.012⟩
DOI
DOI : 10.1016/j.jbspin.2014.12.012
Accès au bibtex
BibTex
titre
Chronic activation of 5-HT4 receptors or blockade of 5-HT6 receptors improve memory performances
auteur
Anne Quiedeville, Michel Boulouard, Katia Hamidouche, Virginie da Silva Costa-Aze, Gerald Nee, Christophe Rochais, Patrick Dallemagne, Frédéric Fabis, Thomas Freret, Valentine Bouet
article
Behavioural Brain Research, Elsevier, 2015, 293, pp.10-17. ⟨10.1016/j.bbr.2015.07.020⟩
DOI
DOI : 10.1016/j.bbr.2015.07.020
Accès au bibtex
BibTex
titre
Trabecular Bone Score: Where are we now?
auteur
Valérie Bousson, Catherine Bergot, Bruno Sutter, Thierry Thomas, Sauveur Bendavid, Claude-Laurent Benhamou, Hubert Blain, Michel Brazier, Véronique Breuil, Karine Briot, Roland Chapurlat, Laure Chapuis, Martine Cohen Solal, Patrice Fardellone, Jean-Marc Feron, Jean-Bernard Gauvain, Michel Laroche, Erick Legrand, Eric Lespessailles, Agnès Linglart, Christian Marcelli, Christian Roux, Jean-Claude Souberbielle, Florence Trémollières, Georges Weryha, Bernard Cortet
article
Joint Bone Spine, Elsevier Masson, 2015, 82 (5), pp.320-325. ⟨10.1016/j.jbspin.2015.02.005⟩
DOI
DOI : 10.1016/j.jbspin.2015.02.005
Accès au bibtex
BibTex
titre
The forgotten foramina: a study of the anterior cribriform plate
auteur
Vincent Patron, Julie Berkaoui, Roger Jankowski, Emmanuelle Lechapt-Zalcman, Sylvain Moreau, Martin Hitier
article
Surgical and Radiologic Anatomy, Springer Verlag (Germany), 2015, 37 (7), pp.835-840. ⟨10.1007/s00276-015-1471-2⟩
DOI
DOI : 10.1007/s00276-015-1471-2
Accès au bibtex
BibTex
titre
Usefulness of Time-Point Serum Cortisol and ACTH Measurements for the Adjustment of Glucocorticoid Replacement in Adrenal Insufficiency
auteur
Elise Rousseau, Michael Joubert, Géraldine Trzepla, Jean Jacques Parienti, Thomas Freret, Marie Christine Vanthygem, Rachel Desailloud, Hervé Lefebvre, Antoine Coquerel, Yves Reznik, Susanne Kaser
article
PLoS ONE, Public Library of Science, 2015, 10 (8), pp.e0135975. ⟨10.1371/journal.pone.0135975⟩
DOI
DOI : 10.1371/journal.pone.0135975
Accès au bibtex
BibTex
titre
Jugular bulb abnormalities in patients with Ménière’s disease using high-resolution computed tomography
auteur
Martin Hitier, Go Sato, Sylvain Moreau, Vincent Patron
article
European Archives of Oto-Rhino-Laryngology, Springer Verlag, 2015, 272 (8), pp.2083-2084. ⟨10.1007/s00405-014-3063-x⟩
DOI
DOI : 10.1007/s00405-014-3063-x
Accès au bibtex
BibTex
titre
Utilisation du lambeau antéro-latéral de cuisse selon la technique du chausson aux pommes pour la couverture d’une large perte de substance thoracique
auteur
J. Coudurier, M. Hitier, C. Ochala, C. Hamou
article
Annales de Chirurgie Plastique Esthétique, Elsevier Masson, 2015, 60 (3), pp.231-234. ⟨10.1016/j.anplas.2014.03.005⟩
DOI
DOI : 10.1016/j.anplas.2014.03.005
Accès au bibtex
BibTex
titre
Time decay of object, place and temporal order memory in a paradigm assessing simultaneously episodic-like memory components in mice
auteur
Hassina Belblidia, Abdelmalek Abdelouadoud, Christelle Jozet-Alves, Hélène Dumas, Thomas Freret, Marianne Leger, Pascale Schumann-Bard
article
Behavioural Brain Research, Elsevier, 2015, 286, pp.80--84. ⟨10.1016/j.bbr.2015.02.043⟩
DOI
DOI : 10.1016/j.bbr.2015.02.043
Accès au bibtex
BibTex
titre
Constructing elastic distinguishability metrics for location privacy
auteur
Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati
article
Proceedings on Privacy Enhancing Technologies, De Gruyter Open, 2015, 2015 (2), pp.156-170. ⟨10.1515/popets-2015-0023⟩
DOI
DOI : 10.1515/popets-2015-0023
Accès au bibtex
https://arxiv.org/pdf/1503.00756 BibTex
titre
Concurrency cannot be observed, asynchronously
auteur
Filippo Bonchi, Fabio Gadducci, Paolo Baldan, Valentina Monreale
article
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2015, ⟨10.1017/S0960129513000108⟩
DOI
DOI : 10.1017/S0960129513000108
Accès au bibtex
BibTex
titre
Novel Multitarget-Directed Ligands (MTDLs) with Acetylcholinesterase (AChE) Inhibitory and Serotonergic Subtype 4 Receptor (5-HT 4 R) Agonist Activities As Potential Agents against Alzheimer’s Disease: The Design of Donecopride
auteur
Christophe Rochais, Cédric Lecoutey, Florence Gaven, Patrizia Giannoni, Katia Hamidouche, Damien Hedou, Emmanuelle Dubost, David Genest, Samir Yahiaoui, Thomas Freret, Valentine Bouet, François Dauphin, Jana Sopkova-de Oliveira Santos, Céline Ballandonne, Sophie Corvaisier, Aurélie Malzert-Fréon, Rémi Legay, Michel Boulouard, Sylvie Claeysen, Patrick Dallemagne
article
Journal of Medicinal Chemistry, American Chemical Society, 2015, 58 (7), pp.3172-3187. ⟨10.1021/acs.jmedchem.5b00115⟩
DOI
DOI : 10.1021/acs.jmedchem.5b00115
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02043873/file/2015%20JMedChem%20Rochais.pdf BibTex
titre
Vestibular function and cochlear implant
auteur
Laetitia Robard, Martin Hitier, Catherine Lebas, Sylvain Moreau
article
European Archives of Oto-Rhino-Laryngology, Springer Verlag, 2015, 272 (3), pp.523-530. ⟨10.1007/s00405-014-3040-4⟩
DOI
DOI : 10.1007/s00405-014-3040-4
Accès au bibtex
BibTex
titre
Sensitivity and Validity of Psychometric Tests for Assessing Driving Impairment: Effects of Sleep Deprivation
auteur
Stefan Jongen, Joy Perrier, Eric Vuurman, Johannes Ramaekers, Annemiek Vermeeren
article
PLoS ONE, Public Library of Science, 2015, 10 (2), pp.e0117045. ⟨10.1371/journal.pone.0117045⟩
DOI
DOI : 10.1371/journal.pone.0117045
Accès au texte intégral et bibtex
https://www.hal.inserm.fr/inserm-03152637/file/Jongen_2015.pdf BibTex
titre
Vestibular loss disrupts daily rhythm in rats
auteur
Tristan Martin, B. Mauvieux, J. Bulla, G. Quarck, D. Davenne, P. Denise, B. Philoxene, S. Besnard
article
Journal of Applied Physiology, American Physiological Society, 2015, 118 (3), pp.310-318. ⟨10.1152/japplphysiol.00811.2014⟩
DOI
DOI : 10.1152/japplphysiol.00811.2014
Accès au bibtex
BibTex
titre
Spatial memory deficit across aging: current insights of the role of 5-HT7 receptors
auteur
Gregory Beaudet, Valentine Bouet, Christelle Jozet-Alves, Pascale Schumann-Bard, Francois Dauphin, Eleni Paizanis, Michel Boulouard, Thomas Freret
article
Frontiers in Behavioral Neuroscience, Frontiers, 2015, 8, pp.448. ⟨10.3389/fnbeh.2014.00448⟩
DOI
DOI : 10.3389/fnbeh.2014.00448
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01472654/file/Beaudet_et_al_-_Front_Behav_Neurosci-2015.pdf BibTex
titre
Beneficial effects of vitamin D on falls and fractures: is cognition rather than bone or muscle behind these benefits?
auteur
C. Marcelli, Chantal Chavoix, P. Dargent-Molina
article
Osteoporosis International, Springer Verlag, 2015, 26 (1), pp.1-10. ⟨10.1007/s00198-014-2829-8⟩
DOI
DOI : 10.1007/s00198-014-2829-8
Accès au bibtex
BibTex
titre
Promotion de l’activité physique chez les seniors. Revue systématique des programmes d’intervention centrés sur les barrières affectives
auteur
Mickaël Campo, Benoit Louvet, Fabrice Dosseville, Claude Ferrand, Martin Hagger, Guillaume Martinent, Michel Nicolas, Daniel Réguer, Xavier Sanchez
article
STAPS : Revue internationale des sciences du sport et de l'éducation physique, De Boeck Supérieur 2015, 110 (4), pp.115. ⟨10.3917/sta.110.0115⟩
DOI
DOI : 10.3917/sta.110.0115
Accès au bibtex
BibTex
titre
Weak CCP bisimilarity with strong procedures
auteur
Luis Pino, Andres Aristizabal, Filippo Bonchi, Frank Valencia
article
Science of Computer Programming, Elsevier, 2015, 100, pp.84-104. ⟨10.1016/j.scico.2014.09.007⟩
DOI
DOI : 10.1016/j.scico.2014.09.007
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00976768/file/scp13-final.pdf BibTex
titre
Editorial: The Vestibular System in Cognitive and Memory Processes in Mammalians
auteur
Stéphane Besnard, Christophe Lopez, Thomas Brandt, Pierre Denise, Paul Smith
article
Frontiers in Integrative Neuroscience, Frontiers, 2015, 1, pp.55 - 55. ⟨10.3389/fnint.2015.00055⟩
DOI
DOI : 10.3389/fnint.2015.00055
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01449846/file/besnard%20Lopez%20et%20al%202015%20Front%20Integr%20Neurosci.pdf BibTex
titre
Chronotype, sport participation, and positive personality-trait-like individual differences.
auteur
Sylvain Laborde, Félix Guillén, Fabrice Dosseville, Mark Allen
article
Chronobiology International, Taylor & Francis, 2015, 32 (7), pp.942-951. ⟨10.3109/07420528.2015.1055755⟩
DOI
DOI : 10.3109/07420528.2015.1055755
Accès au bibtex
BibTex
titre
Lateral Semicircular Canal Asymmetry in Idiopathic Scoliosis: An Early Link between Biomechanical, Hormonal and Neurosensory Theories?
auteur
Martin Hitier, Michèle Hamon, Pierre Denise, Julien Lacoudre, Marie-Aude Thenint, Jean-François Mallet, Sylvain Moreau, Gaëlle Quarck
article
PLoS ONE, Public Library of Science, 2015, 10 (7), pp.e0131120. ⟨10.1371/journal.pone.0131120⟩
DOI
DOI : 10.1371/journal.pone.0131120
Accès au texte intégral et bibtex
https://hal-normandie-univ.archives-ouvertes.fr/hal-02190877/file/journal.pone.0131120.PDF BibTex
titre
Efficient Algorithms for Program Equivalence for Confluent Concurrent Constraint Programming
auteur
Luis Fernando Pino Duque, Filippo Bonchi, Frank Valencia
article
Science of Computer Programming, Elsevier, 2015, 111, pp.135-155. ⟨10.1016/j.scico.2014.12.003⟩
DOI
DOI : 10.1016/j.scico.2014.12.003
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01098502/file/SCP14-HAL.pdf BibTex
titre
Abstract Interpretation of Temporal Concurrent Constraint Programs
auteur
Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi
article
Theory and Practice of Logic Programming, Cambridge University Press (CUP), 2015, 15 (3), pp.312-357
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00945462/file/utcc-abs-tplp-CR.pdf BibTex
titre
On the information leakage of differentially-private mechanisms
auteur
Mário Sérgio Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Pierpaolo Degano, Catuscia Palamidessi
article
Journal of Computer Security, IOS Press, 2015, 23 (4), pp.427-469. ⟨10.3233/JCS-150528⟩
DOI
DOI : 10.3233/JCS-150528
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00940425/file/full%28numbered_pages%29.pdf BibTex
titre
Introduction to the special issue: Officials in sports
auteur
Fabrice Dosseville, Sylvain Laborde
article
Movement & Sport Sciences - Science & Motricité, EDP sciences, 2015, Les officiels des pratiques sportives / Officials in sports, pp.3-10. ⟨10.1051/sm/2015006⟩
DOI
DOI : 10.1051/sm/2015006
Accès au bibtex
BibTex

Communication dans un congrès

Communication dans un congrès

titre
Opinions and Beliefs as constraint system operators
auteur
Salim Perchy, Frank Valencia
article
Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Aug 2015, Cork, Ireland. pp.1
Accès au bibtex
BibTex
titre
An Algebraic View of Space/Belief and Extrusion/Utterance for Concurrency/Epistemic Logic
auteur
Stefan Haar, Salim Perchy, Camilo Rueda, Frank Valencia
article
17th International Symposium on Principles and Practice of Declarative Programming (PPDP 2015), Jul 2015, Siena, Italy. pp.161-172, ⟨10.1145/2790449.2790520⟩
DOI
DOI : 10.1145/2790449.2790520
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01256984/file/mccp-ppdp-author-copy.pdf BibTex
titre
Towards Trace Metrics via Functor Lifting
auteur
Paolo Baldan, Filippo Bonchi, Kerstan Henning, Barbara König
article
6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015, Jun 2015, Nijmegen, Netherlands. ⟨10.4230/LIPIcs.CALCO.2015.35⟩
DOI
DOI : 10.4230/LIPIcs.CALCO.2015.35
Accès au bibtex
BibTex
titre
Asynchronous Traces and Open Petri Nets
auteur
Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Valentina Monreale
article
Programming Languages with Applications to Biology and Security - Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday, Jun 2015, Pisa, Italy. pp.86-102, ⟨10.1007/978-3-319-25527-9_8⟩
DOI
DOI : 10.1007/978-3-319-25527-9_8
Accès au bibtex
BibTex
titre
A Labelled Semantics for Soft Concurrent Constraint Programming
auteur
Fabio Gadducci, Francesco Santini, Luis Pino, Frank Valencia
article
17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.133-149, ⟨10.1007/978-3-319-19282-6_9⟩
DOI
DOI : 10.1007/978-3-319-19282-6_9
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01149227/file/coordination15.pdf BibTex
titre
Quantitative Information Flow for Scheduler-Dependent Systems
auteur
Yusuke Kawamoto, Thomas Given-Wilson
article
The 13th International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2015), Apr 2015, London, United Kingdom
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01114778/file/QAPL2015long.pdf BibTex
titre
Geo-indistinguishability: A Principled Approach to Location Privacy
auteur
Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati
article
ICDCIT 2015 - Proceedings of the 11th International Conference on Distributed Computing and Internet Technology, Feb 2015, Bhubaneswar, India. pp.49-72, ⟨10.1007/978-3-319-14977-6_4⟩
DOI
DOI : 10.1007/978-3-319-14977-6_4
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01114241/file/paper.pdf BibTex
titre
Full Abstraction for Signal Flow Graphs
auteur
Filippo Bonchi, Fabio Zanasi, Pawel Sobocinski
article
Proceedings of the 42nd Annual Symposium on Principles of Programming Languages, 2015,, Jan 2015, Mumbai, India. ⟨10.1145/2676726.2676993⟩
DOI
DOI : 10.1145/2676726.2676993
Accès au bibtex
BibTex
titre
Quantitative Approaches to the Protection of Private Information: State of the Art and Some Open Challenges
auteur
Catuscia Palamidessi
article
Proceedings of the 4th International Conference on Principles of Security and Trust (POST), 2015, London, United Kingdom. pp.3-7
Accès au bibtex
BibTex
titre
Location Privacy via Geo-Indistinguishability
auteur
Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati
article
Proceedings of the 12th International Colloquium on Theoretical Aspects of Computing (ICTAC), 2015, Cali, Colombia. pp.28-38
Accès au bibtex
BibTex

Chapitre d'ouvrage

Chapitre d'ouvrage

titre
A Declarative View of Signaling Pathways
auteur
Davide Chiarugi, Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi
article
Chiara Bodei; Gian Luigi Ferrari; Corrado Priami. Programming Languages with Applications to Biology and Security, 9465, Springer, pp.183-201, 2015, Lecture Notes in Computer Science, 978-3-319-25526-2
Accès au bibtex
BibTex

Direction d'ouvrage, Proceedings, Dossier

Direction d'ouvrage, Proceedings, Dossier

titre
Theoretical Aspects of Computing - ICTAC 2015
auteur
Martin Leucker, Camilo Rueda, Frank Valencia
article
France. 9399, Springer, 2015, Lecture Notes in Computer Science, 978-3-319-25149-3. ⟨10.1007/978-3-319-25150-9⟩
DOI
DOI : 10.1007/978-3-319-25150-9
Accès au bibtex
BibTex
titre
Proceedings of the IEEE/ACM Symposium on Logic in Computer Science (LICS)
auteur
Catuscia Palamidessi
article
Palamidessi, Catuscia. 2015
Accès au bibtex
BibTex
titre
Special Issue on Quantitative Information Flow
auteur
Miguel E. Andrés, Geoffrey Smith, Catuscia Palamidessi
article
Andrés, Miguel; Palamidessi, Catuscia; Smith, Geoffrey. Cambridge University Press, 2015, ⟨10.1017/S0960129513000583⟩
DOI
DOI : 10.1017/S0960129513000583
Accès au bibtex
BibTex

Thèse

Thèse

titre
Designing Location Privacy Mechanisms for flexibility over time and space
auteur
Marco Stronati
article
Cryptography and Security [cs.CR]. Ecole Polytechnique, 2015. English
Accès au texte intégral et bibtex
https://pastel.archives-ouvertes.fr/tel-01243295/file/thesis.pdf BibTex
titre
Formal Verification of Differential Privacy in Concurrent Systems
auteur
Lili Xu
article
Cryptography and Security [cs.CR]. Ecole Polytechnique (Palaiseau, France), 2015. English
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01384363/file/Lili%20Xu%20Thesis.pdf BibTex