Skip to Main content Skip to Navigation


...
hal-01320646v1  Journal articles
Tarek AbbesAdel BouhoulaMichaël Rusinowitch. Detection of firewall configuration errors with updatable tree
International Journal of Information Security, Springer Verlag, 2016, 15 (3), pp.301-317. ⟨10.1007/s10207-015-0290-0⟩
...
hal-01402062v1  Conference papers
Younes AbidAbdessamad ImineAmedeo NapoliChedy RaïssiMichaël Rusinowitch. Online link disclosure strategies for social networks
The 11th International Conference on Risks and Security of Internet and Systems, Sep 2016, Roscoff, France
...
hal-01241619v1  Poster communications
Younes AbidAbdessamad ImineAmedeo NapoliChedy RaïssiMarc Rigolot et al.  Analyse d'activité et exposition de la vie privée sur les médias sociaux
16ème conférence francophone sur l'Extraction et la Gestion des Connaissances (EGC 2016), Jan 2016, Reims, France. 2016
...
hal-01377655v1  Conference papers
Eriká AbrahámJohn AbbottBernd BeckerAnna BigattiMartin Brain et al.  SC 2 : Satisfiability Checking meets Symbolic Computation (Project Paper)
Intelligent Computer Mathematics, Jul 2016, Bialystok, Poland
...
hal-01353925v1  Conference papers
Yinoussa AdagolodjoLaurent GoffinMichel de MathelinHadrien Courtecuisse. Inverse real-time Finite Element simulation for robotic control of flexible needle insertion in deformable tissues
IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2016) , Oct 2016, Daejeon, South Korea
...
hal-00726146v2  Journal articles
Kamil AdiloğluEmmanuel Vincent. Variational Bayesian Inference for Source Separation and Robust Feature Extraction
IEEE Transactions on Audio, Speech and Language Processing, Institute of Electrical and Electronics Engineers, 2016, ⟨10.1109/TASLP.2016.2583794⟩
...
hal-01420751v1  Conference papers
Mehwish AlamThi Nhu Nguyen LeAmedeo Napoli. LatViz: A New Practical Tool for Performing Interactive Exploration over Concept Lattices
CLA 2016 - Thirteenth International Conference on Concept Lattices and Their Applications , Jul 2016, Moscow, Russia
...
hal-01420752v1  Conference papers
Mehwish AlamThi Nhu Nguyen LeAmedeo Napoli. Interactive Exploration over Concept Lattices with LatViz
European Conference on Artificial Intelligence, Software Demo Track., Aug 2016, The Hague, Netherlands
...
hal-01420753v1  Conference papers
Mehwish AlamThi Nhu Nguyen LeAmedeo Napoli. Steps Towards Interactive Formal Concept Analysis with LatViz
Proceedings of the 5th International Workshop "What can FCA do for Artificial Intelligence"? co-located with the European Conference on Artificial Intelligence ECAI 2016, Aug 2016, The Hague, Netherlands
...
hal-01414145v1  Journal articles
Maxime Amblard. Pour un TAL responsable
Traitement Automatique des Langues, ATALA, 2016, 57 (2), pp.21 - 45
...
hal-01280932v1  Conference papers
Maxime Amblard. L'informaticien face au traitement du langage : que peut-on faire et que croit-on que nous faisons ?
Séminaire 2015/2016 « Images du savoir pratique : les figures de l’informaticien et du médecin dans les récits de fiction populaire contemporains, Feb 2016, Strasbourg, France
...
tel-01415967v2  Habilitation à diriger des recherches
Maxime Amblard. Sémantique et discours - de la modélisation à l'interprétation
Informatique [cs]. Université de Lorraine (Nancy), 2016
...
tel-01754666v2  Theses
Luc André. Préservation des Intentions et Maintien de la Cohérence des Données Répliquées en Temps Réel
Algorithme et structure de données [cs.DS]. Université de Lorraine, 2016. Français. ⟨NNT : 2016LORR0089⟩
...
hal-01196042v2  Journal articles
Mihai AndriesOlivier SimoninFrançois Charpillet. Localisation of humans, objects and robots interacting on load-sensing floors
IEEE Sensors Journal, Institute of Electrical and Electronics Engineers, 2016, 16 (4), pp.1026-1037. ⟨10.1109/JSEN.2015.2493122⟩
...
hal-01276808v1  Book sections
Xavier AntoineChristophe Geuzaine. Optimized Schwarz domain decomposition methods for scalar and vector Helmholtz equations
D. Lahaye, J. Tang and K. Vuik. Modern Solvers for Helmholtz Problems, Springer International Publishing, pp.189-213, 2016, Lecture notes in geosystems mathematics and computing, ⟨10.1007/978-3-319-28832-1_8⟩
...
hal-00591456v1  Book sections
Xavier AntoineMarion Darbas. Integral Equations and Iterative Schemes for Acoustic Scattering Problems
F. Magoulès. Numerical Methods for Acoustics Problems, Saxe-Coburg Editors, 2016, 978-1-874672-46-3
...
hal-01351398v1  Conference papers
Myrto ArapinisVéronique CortierSteve Kremer. When are three voters enough for privacy properties?
21st European Symposium on Research in Computer Security, 2016, Heraklion, Crete, Greece
...
hal-01335959v1  Conference papers
Andrés AristizábalDariusz BiernackiSergueï LengletPiotr Polesiuk. Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation
1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016), Jun 2016, Porto, Portugal. ⟨10.4230/LIPIcs.FSCD.2016.9⟩
...
hal-01269578v1  Journal articles
Michael AronMarie-Odile BergerErwan KerrienBrigitte Wrobel-DautcourtBlaise Potard et al.  Multimodal acquisition of articulatory data: Geometrical and temporal registration
Journal of the Acoustical Society of America, Acoustical Society of America, 2016, 139 (2), pp.13. ⟨10.1121/1.4940666⟩
...
hal-01384396v2  Journal articles
Dominique AttaliOlivier DevillersMarc GlisseSylvain Lazard. Recognizing Shrinkable Complexes Is NP-Complete
Journal of Computational Geometry, Carleton University, Computational Geometry Laboratory, 2016, 7 (1), pp.430--443. ⟨10.20382/jocg.v7i1a18⟩
...
hal-01405820v1  Conference papers
Elian AubryThomas SilverstonIsabelle Chrisment. Green Growth in NDN: Deployment of Content Stores
LANMAN 2016 - IEEE International Symposium on Local and Metropolitan Area Networks, IEEE, Jun 2016, Rome, Italy. ⟨10.1109/LANMAN.2016.7548850⟩
...
hal-01304444v1  Conference papers
Elian AubryThomas SilverstonIsabelle Chrisment. Croissance Verte dans NDN: Déploiement des Content Stores
ALGOTEL 2016 - 18èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2016, Bayonne, France
...
hal-01322335v1  Conference papers
Selma AzaiezDamien DoligezMatthieu LemerreTomer LibalStephan Merz. Proving Determinacy of the PharOS Real-Time Operating System
Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, May 2016, Linz, Austria. pp.70-85, ⟨10.1007/978-3-319-33600-8_4⟩
...
hal-01394707v1  Poster communications
Romain AzaïsJean-Baptiste DurandChristophe Godin. Lossy compression of unordered rooted trees
DCC 2016 - Data Compression Conference, Mar 2016, Snowbird, Utah, United States. ⟨10.1109/DCC.2016.73⟩
...
hal-01168651v2  Journal articles
Romain AzaïsAurélie Muller. Optimal choice among a class of nonparametric estimators of the jump rate for piecewise-deterministic Markov processes
Electronic journal of statistics , Shaker Heights, OH : Institute of Mathematical Statistics, 2016, 10 (2), pp.3648-3692. ⟨10.1214/16-EJS1207⟩
...
hal-01539139v1  Conference papers
Romain AzaïsAurélie Muller. Estimation non paramétrique optimale du taux de saut d'un processus markovien déterministe par morceaux
48èmes journées de Statistique de la SFDS, Montpellier, May 2016, Montpellier, France
...
hal-01322342v1  Conference papers
Noran AzmyStephan MerzChristoph Weidenbach. A Rigorous Correctness Proof for Pastry
Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, 2016, Linz, Austria. pp.86-101, ⟨10.1007/978-3-319-33600-8_5⟩
...
hal-01253322v1  Conference papers
Lénaïc BagnèresOleksandr ZinenkoStéphane HuotCédric Bastoul. Opening Polyhedral Compiler's Black Box
CGO 2016 - 14th Annual IEEE/ACM International Symposium on Code Generation and Optimization, Mar 2016, Barcelona, Spain
...
hal-01089507v1  Journal articles
Shi BaiCyril BouvierAlexander KruppaPaul Zimmermann. Better polynomials for GNFS
Mathematics of Computation, American Mathematical Society, 2016, 85, pp.12. ⟨10.1090/mcom3048⟩
...
hal-01388976v1  Conference papers
Haniel Barbosa. Efficient Instantiation Techniques in SMT (Work In Progress)
PAAR 2016 - 5th Workshop on Practical Aspects of Automated Reasoning co-located with IJCAR 2016 - 8th International Joint Conference on Automated Reasoning, Jul 2016, Coimbra, Portugal. pp.1-10
...
hal-01271998v1  Conference papers
Cédric Bastoul. Mapping Deviation: A Technique to Adapt or to Guard Loop Transformation Intuitions for Legality
CC'2016 25th International Conference on Compiler Construction, Mar 2016, Barcelone, Spain
...
hal-01277395v2  Reports
Walid BelkhirNicolas RatierDuy Duc NguyenMichel Lenczner. Closed combination of context-embedding iterative strategies
[Technical Report] LORIA - Université de Lorraine; FEMTO-ST. 2016
...
hal-01316799v1  Conference papers
Meriem Ben AbdallahMarie BlonskiSophie Wantz-MézièresYann GaudeauLuc Taillandier et al.  Modèles prédictifs pour les gliomes diffus de bas grade sous chimiothérapie
18e Colloque Compression et Représentation des Signaux Audiovisuels, CORESA 2016, May 2016, Nancy, France
...
hal-01316865v1  Conference papers
Meriem Ben AbdallahMarie BlonskiSophie Wantz-MézièresYann GaudeauLuc Taillandier et al.  Predictive models for diffuse low-grade glioma patients under chemotherapy
38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC’16, Aug 2016, Orlando, Florida, United States
...
hal-01316879v1  Conference papers
Meriem Ben AbdallahMarie BlonskiSophie Wantz-MézièresYann GaudeauLuc Taillandier et al.  Statistical evaluation of manual segmentation of a diffuse low-grade glioma MRI dataset
38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC’16, Aug 2016, Orlando, Florida, United States
...
hal-01316788v1  Conference papers
Meriem Ben AbdallahMarie BlonskiSophie Wantz-MézièresYann GaudeauLuc Taillandier et al.  Evaluation statistique de la segmentation manuelle de données IRM de gliomes diffus de bas grade
18e Colloque Compression et Représentation des Signaux Audiovisuels, CORESA 2016, May 2016, Nancy, France
...
hal-01384153v1  Reports
Béatrice BérardOlga KouchnarenkoJohn MullinsMathieu Sassolas. Opacity for Linear Constraint Markov Chains
[Research Report] LIP6 UMR 7606 UPMC Sorbonne Universités, France; Univ. de Franche-Comté; Ecole Polytechnique de Montréal; LACL, Université Paris-Est. 2016
...
hal-01389228v1  Conference papers
Raphaël BerthonChristophe Ringeissen. Satisfiability Modulo Free Data Structures Combined with Bridging Functions
14th International Workshop on Satisfiability Modulo Theories, affiliated with IJCAR 2016, Jul 2016, Coimbra, Portugal. pp.71--80
...
hal-01356053v1  Conference papers
Kahina BessaiFrançois Charoy. Optimization of Orchestration of Geocrowdsourcing Activities
Third International Conference on Information Systems for Crisis Response and Management in Mediterranean Countries (ISCRAM-med 2016), Oct 2016, Madrid, Spain
...
hal-01345697v1  Journal articles
Pierre BessièreJulien DiardFrancis Colas. Modèles probabilistes formels pour problèmes cognitifs usuels
Intellectica - La revue de l’Association pour la Recherche sur les sciences de la Cognition (ARCo), Association pour la Recherche sur la Cognition, 2016, Nouvelles approches en robotique cognitive, 65 (1), pp.111-141. ⟨10.3406/intel.2016.1792⟩
...
hal-01011979v2  Journal articles
Chiara BianchiniAntoine HenrotTakéo Takahashi. Elastic energy of a convex body
Mathematical News / Mathematische Nachrichten, Wiley-VCH Verlag, 2016, 289 (5-6), pp.546-574. ⟨10.1002/mana201400256⟩
...
hal-01386988v1  Journal articles
Jasmin BlanchetteCezary KaliszykLawrence PaulsonJosef Urban. Hammering towards QED
Journal of Formalized Reasoning, ASDD-AlmaDL, 2016, 9 (1), pp.101-148
...
hal-01336074v1  Conference papers
Jasmin Christian BlanchetteMathias FleuryChristoph Weidenbach. A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality
8th International Joint Conference on Automated Reasoning (IJCAR 2016), Jun 2016, Coimbra, Portugal. ⟨10.1007/978-3-319-40229-1_4⟩
...
hal-01401812v1  Conference papers
Jasmin BlanchetteAymeric BouzyAndreas LochbihlerAndrei PopescuDmitriy Traytel. Friends with Benefits
Isabelle Workshop 2016, Aug 2016, Nancy, France
...
hal-01255944v1  Journal articles
Benoît BlaysatMichel GrediacFrédéric Sur. Effect of interpolation on noise propagation from images to DIC displacement maps
International Journal for Numerical Methods in Engineering, Wiley, 2016, 108 (3), pp.213-232. ⟨10.1002/nme.5212⟩
...
hal-01276386v1  Conference papers
Mikhail BogdanovMonique TeillaudGert Vegter. Delaunay triangulations on orientable surfaces of low genus
32nd International Symposium on Computational Geometry, Jun 2016, Boston, United States. pp.20:1--20:15, ⟨10.4230/LIPIcs.SoCG.2016.20⟩
...
hal-01349023v2  Reports
Dobrina BoltchevaBruno Lévy. Simple and Scalable Surface Reconstruction
[Research Report] LORIA - Université de Lorraine; INRIA Nancy. 2016
...
tel-01754669v2  Theses
Ahmed Bouchami. Sécurité des ressources collaboratives dans les réseaux sociaux d'entreprise
Cryptographie et sécurité [cs.CR]. Université de Lorraine, 2016. Français. ⟨NNT : 2016LORR0091⟩
...
hal-01404913v1  Conference papers
Quentin BrabantMiguel CouceiroFabien LaberniaAmedeo Napoli. Une approche de réduction de dimensionnalité pour l'agrégation de préférences qualitatives
16ème Journées Francophones Extraction et Gestion des Connaissances, EGC 2016, Jan 2016, Reims, France. pp.345-350
...
hal-01404567v1  Conference papers
Quentin BrabantMiguel Couceiro. Apprentissage d’intégrales de Sugeno à partir de données inconsistantes
25èmes Rencontre Francophone sur la Logique Floue et ses Applications, Nov 2016, La Rochelle, France. pp.49-56
...
hal-02074061v1  Conference papers
Quentin BrabantMiguel CouceiroFabien LaberniaAmedeo Napoli. A dimensionality Reduction Approach for Qualitative Preference Aggregation
International Symposium on Aggregation and Structures (ISAS 2016), Jul 2016, Luxembourg, Luxembourg
...
hal-01366148v1  Conference papers
David BremnerOlivier DevillersMarc GlisseSylvain LazardGiuseppe Liotta et al.  Monotone Simultaneous Paths Embeddings in $\mathbb{R}^d$
24th International Symposium on Graph Drawing & Network Visualization, Sep 2016, Athens, Greece
...
hal-01343941v1  Conference papers
Loïck BriotPascal UrsoMarc Shapiro. High Responsiveness for Group Editing CRDTs
ACM International Conference on Supporting Group Work, Nov 2016, Sanibel Island, FL, United States. ⟨10.1145/2957276.2957300⟩
...
hal-01403214v1  Conference papers
Martin BrombergerChristoph Weidenbach. Computing a Complete Basis for Equalities Implied by a System of LRA Constraints
14th International Workshop on Satisfiability Modulo Theories, 2016, Coimbra, Portugal. pp.15-30
...
hal-01403200v1  Conference papers
Martin BrombergerChristoph Weidenbach. Fast Cube Tests for LIA Constraint Solving
Automated Reasoning - 8th International Joint Conference (IJCAR 2016), 2016, Coimbra, Portugal. pp.116-132, ⟨10.1007/978-3-319-40229-1_9⟩
...
hal-00940743v3  Journal articles
Nicolas BroutinOlivier DevillersRoss Hemsley. Efficiently navigating a random Delaunay triangulation
Random Structures and Algorithms, Wiley, 2016, 49 (1), pp.95--136. ⟨10.1002/rsa.20630⟩
...
tel-01273964v1  Theses
Tomasz Buchert. Managing large-scale, distributed systems research experiments with control-flows
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Lorraine, 2016. English
...
hal-01326059v1  Conference papers
Xavier BultelJannik DreierJean-Guillaume DumasPascal Lafourcade. Physical Zero-Knowledge Proofs for Akari, Takuzu, Kakuro and KenKen
8th International Conference on Fun with Algorithms, Jun 2016, La Maddalena, Italy. pp.8:1-8:20, ⟨10.4230/LIPIcs.FUN.2016.8⟩
...
hal-01162225v4  Journal articles
Renata BunoiuKarim Ramdani. Homogenization of materials with sign changing coefficients
Communications in Mathematical Sciences, International Press, 2016, 14 (4), pp.1137-1154. ⟨10.4310/CMS.2016.v14.n4.a13⟩
...
hal-01421000v1  Conference papers
Aleksey BuzmakovAmedeo Napoli. On Scaling of Fuzzy FCA to Pattern Structures
The 13th International Conference on Concept Lattices and their Applications (CLA2016), Jul 2016, Moscow, Russia
...
hal-01420997v1  Conference papers
Aleksey BuzmakovAmedeo Napoli. How Fuzzy FCA and Pattern Structures are connected?
5th Workshop "What can FCA do for Artificial Intelligence?" (FCA4AI'2016), Aug 2016, The Hague, Netherlands
...
hal-01186715v1  Journal articles
Aleksey BuzmakovElias EghoNicolas JaySergei O. KuznetsovAmedeo Napoli et al.  On Mining Complex Sequential Data by Means of FCA and Pattern Structures
International Journal of General Systems, Taylor & Francis, 2016, 45 (2), pp.135-159. ⟨10.1080/03081079.2015.1072925⟩
...
hal-01398229v1  Book sections
Martine Cadot. Recoder les variables pour obtenir un modèle implicatif optimal
Régis Gras. L'Analyse Statisqtique Implicative, Cépaduès, 2016
...
hal-01399978v1  Reports
Benjamin CamusThomas ParisJulien VaubourgYannick PresseChristine Bourjot et al.  MECSYCO: a Multi-agent DEVS Wrapping Platform for the Co-simulation of Complex Systems
[Research Report] LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy; Inria Nancy - Grand Est (Villers-lès-Nancy, France). 2016
...
hal-01307616v1  Conference papers
Benjamin CamusVirginie GaltierMathieu CaujolleVincent ChevrierJulien Vaubourg et al.  Hybrid Co-simulation of FMUs using DEV&DESS in MECSYCO
Symposium on Theory of Modeling & Simulation - DEVS Integrative M&S Symposium, Apr 2016, Pasadena, CA, United States. pp.568-575
...
hal-01256738v1  Reports
Benjamin CamusVirginie GaltierMathieu CaujolleVincent ChevrierJulien Vaubourg et al.  Hybrid Co-simulation of FMUs using DEV&DESS in MECSYCO
[Research Report] Université de Lorraine, CNRS, Inria, LORIA, UMR 7503; CentraleSupélec UMI GT-CNRS 2958 Université Paris-Saclay; EDF - R&D MIRE/R44. 2016
...
hal-01294409v1  Journal articles
Manuel CaroliMonique Teillaud. Delaunay triangulations of closed Euclidean d-orbifolds
Discrete and Computational Geometry, Springer Verlag, 2016, 55 (4), pp.827--853. ⟨10.1007/s00454-016-9782-6⟩
...
hal-01231444v2  Journal articles
Edwin Chacon-GolcherSever Adrian HirstoagaMathieu Lutz. Optimization of Particle-In-Cell simulations for Vlasov-Poisson system with strong magnetic field
ESAIM: Proceedings and Surveys, EDP Sciences, 2016, CEMRACS 2014 - Numerical Modeling of Plasmas, 53, pp.177-190. ⟨10.1051/proc/201653011⟩
...
hal-01306561v1  Journal articles
Rohit ChadhaVincent ChevalŞtefan CiobâcǎSteve Kremer. Automated verification of equivalence properties of cryptographic protocols
ACM Transactions on Computational Logic, Association for Computing Machinery, 2016, 17 (4), ⟨10.1145/2926715⟩
...
hal-01377917v1  Conference papers
Pyrros ChaidosVéronique CortierGeorg FuchsbauerDavid Galindo. BeleniosRF: A Non-interactive Receipt-Free Electronic Voting Scheme
23rd ACM Conference on Computer and Communications Security (CCS'16), Oct 2016, Vienna, Austria. ⟨10.1145/2976749.2978337⟩
...
hal-01342751v1  Conference papers
François Charoy. Keynote : From group collaboration to large scale social collaboration
25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE-2016), Jun 2016, Paris, France