Skip to Main content Skip to Navigation

hal-01433127v1  Conference papers
Flavio Oquendo. π-Calculus for SoS: A Novel π-Calculus for the Formal Modeling of Software-intensive Systems-of-Systems
38th International Conference on Communicating Process Architectures (CPA 2016), Aug 2016, Copenhagen, Denmark
hal-01433093v1  Conference papers
Flavio Oquendo. π-Calculus for SoS: A foundation for formally describing software-intensive Systems-of-Systems
11th IEEE System of Systems Engineering Conference (SoSE), Jun 2016, Kongsberg, Norway. pp.1-6, ⟨10.1109/SYSOSE.2016.7542925⟩
hal-01218958v1  Conference papers
Matteo GuerraCarlos VázquezDenis EfimovGang ZhengLeonid Freidovich et al.  ε-Invariant Output Stabilization: Homogeneous Approach and Dead Zone Compensation
54th IEEE Conference on Decision and Control (CDC), 2015, Dec 2015, Osaka, Japan
hal-01423494v1  Conference papers
Oumayma BahriEl-Ghazali TalbiNahla Benamor. β-Robustness approach for fuzzy multi-objective problems
IPMU‘2016 - 16th Int. Conference On Information Processing and Management on Uncertainty in Knowledge-based Systems, 2016, Eindhoeven, Netherlands. pp.225-237, ⟨10.1007/978-3-319-40581-0_19⟩
hal-00931028v1  Journal articles
Lars GrüneHasnaa Zidani. Zubov's equation for state-constrained perturbed nonlinear systems
Mathematical Control and Related Fields, AIMS, 2015, 5 (1), pp.55-71. ⟨10.3934/mcrf.2015.5.55⟩
hal-01391281v1  Conference papers
Mathieu Le GocLawrence KimAli ParsaeiJean-Daniel FeketePierre Dragicevic et al.  Zooids: Building Blocks for Swarm User Interfaces
Proceedings of the 29th Annual Symposium on User Interface Software and Technology (UIST), Oct 2016, Tokyo, Japan. ⟨10.1145/2984511.2984547⟩
hal-01091949v1  Conference papers
Clément MariaSteve Oudot. Zigzag Persistence via Reflections and Transpositions
ACM-SIAM Symposium on Discrete Algorithms, Jan 2015, San Diego, United States
hal-01424094v1  Conference papers
Gerardo Rubino. Zero-variance Approaches in Static Reliability Problems
SIAM Conference on Uncertainty Quantification, EPFL, Suisse, Apr 2016, Lausanne, Switzerland
hal-01428994v1  Conference papers
Stéphane Gaubert. Zero-sum games, non-archimedean convexity and sinuous central paths
Workshop: Advances in Convex Analysis and Optimization, Jul 2016, Erice, Italy
hal-01428997v1  Conference papers
Stéphane Gaubert. Zero-sum games, non-archimedean convexity and sinuous central paths
2016 Conference on Applied Mathematics, Aug 2016, Hong Kong, China
hal-01141135v1  Conference papers
Stefan MarrChris SeatonStéphane Ducasse. Zero-Overhead Metaprogramming
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Jun 2015, Portland, OR, USA, France. ⟨10.1145/2737924.2737963⟩
inria-00315920v1  Conference papers
Richard BonichonDavid DelahayeDamien Doligez. Zenon: an Extensible Automated Theorem Prover Producing Checkable Proofs
LPAR 2007 - 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, Oct 2007, Yerevan, Armenia. pp.151-165, ⟨10.1007/978-3-540-75560-9_13⟩
hal-01279011v1  Conference papers
Diana JoumblattFrançois EspinetD. Rossi. Zen and the art of network troubleshooting: a hands on experimental study
Traffic Monitoring and Analysis (TMA'15), Apr 2015, Barcellona, Spain
inria-00189423v1  Conference papers
Laszlo SzathmaryAmedeo NapoliSergei O. Kuznetsov. ZART: A Multifunctional Itemset Mining Algorithm
5th International Conference on Concept Lattices and Their Applications (CLA '07), Oct 2007, Montpellier, France. pp.26--37
hal-01258718v1  Conference papers
Francesco de Comite. Yvon-Villarceau Circle Equivalents on Dupin Cyclides
Bridges 2015: Mathematics, Music, Art, Architecture, Culture , Jul 2015, Baltimore, United States
hal-01185075v1  Conference papers
Karine PiresGwendal Simon. YouTube Live and Twitch: A Tour of User-Generated Live Streaming Systems
MMSys 2015 : 6th ACM Multimedia Systems Conference, Mar 2015, Portland, United States. pp.225 - 230
hal-01261209v1  Conference papers
Gerardo RubinoSofiene Jelassi. YouSOS: A victim-centered management solution of rescue operations
2nd International Conference on Information and Communication Technologies for Disaster Management (ICT-DM 2015), Dec 2015, Rennes, France
hal-01354248v1  Journal articles
Somayeh SardashtiAndré SeznecDavid A. Wood. Yet Another Compressed Cache: a Low Cost Yet Effective Compressed Cache
ACM Transactions on Architecture and Code Optimization, Association for Computing Machinery, 2016, 13, pp.1-25. ⟨10.1145/2976740⟩
hal-01271216v1  Conference papers
Christine Morin. XtreemOS: A Grid Operating System Making your Computer Ready for Participating in Virtual Organizations
ISORC '07: Proceedings of the 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing, May 2007, Santorini Island, Greece. pp.393--402, ⟨10.1109/ISORC.2007.62⟩
hal-01082635v3  Conference papers
Pierre GenevèsNils Gesbert. XQuery and Static Typing: Tackling the Problem of Backward Axes
ICFP (International Conference on Functional Programming), ACM SIGPLAN, Aug 2015, Vancouver, Canada. ⟨10.1145/2784731.2784746⟩
hal-01396142v1  Journal articles
Carlos Aguilar MelchorJoris BarrierLaurent FousseMarc-Olivier Killijian. XPIR : Private Information Retrieval for Everyone
Proceedings on Privacy Enhancing Technologies, De Gruyter Open, 2016, 2016, pp.155-174. ⟨10.1515/popets-2016-0010⟩