Skip to Main content Skip to Navigation

inria-00100446v1  Journal articles
Rakesh VermaMichaël RusinowitchDenis Lugiez. Algorithms and Reductions for Rewriting Problems
Fundamenta Informatica, 2001, 46 (3), pp.257-276
inria-00100450v1  Book sections
Denys DuchierClaire Gardent. Tree Descriptions, Constraints and Incrementality
H. Bunt, R. Muskens and E. Thijsse (eds). Computing Meaning, Kluwer Academic Publishers, 23 p, 2001, Studies in Linguistics and Philosophy Series
hal-02081868v1  Directions of work or proceedings
Konstantin AvrachenkovLongbo HuangJason MardenMarceau CoupechouxAnastasios Giovanidis. Game Theory for Networks: 8th International EAI Conference, GameNets 2019, Proceedings
Avrachenkov, Konstantin; Huang, Longbo; Marden, Jason R.; Coupechoux, Marceau; Giovanidis, Anastasios. Apr 2019, 2019, 978-3-030-16989-3. ⟨10.1007/978-3-030-16989-3⟩
inria-00100771v1  Conference papers
Nancy IdeLaurent Romary. Standards for Language Resources
Third International Conference on Language Resources and Evaluation - LREC 2002, May 2002, Las Palmas, Spain, France. 9 p
hal-01087624v1  Conference papers
Francesca BugiottiDamian BursztynAlin DeutschIoana IleanaIoana Manolescu. Invisible Glue: Scalable Self-Tuning Multi-Stores
Conference on Innovative Data Systems Research (CIDR), Jan 2015, Asilomar, United States
hal-01371272v1  Conference papers
Héctor RíosLaurentiu HetelDenis Efimov. Observer-based Control for Linear Sampled-Data Systems: An Impulsive System Approach
Proc. 55th IEEE Conference on Decision and Control (CDC), Dec 2016, Las Vegas, United States
hal-01813313v1  Conference papers
Géraldine TexierValérie Issarny. Leveraging the Power of the Crowd and Offloading Urban IoT Networks to Extend their Lifetime
LANMAN 2018 - IEEE International Symposium on Local and Metropolitan Area Networks, Jun 2018, Washington, DC, United States. pp.1-6
hal-01848211v1  Journal articles
Victoria InterranteTobias HollererAnatole Lécuyer. Virtual and Augmented Reality
IEEE Computer Graphics and Applications, Institute of Electrical and Electronics Engineers, 2018, 38 (2), pp.28-30. ⟨10.1109/MCG.2018.021951630⟩
hal-01110877v1  Journal articles
Jian LuS. Rosenblum DavidTevfik BultanValérie IssarnySchahram Dustdar et al.  Roundtable on "The Future of Software Engineering for Internet Computing
IEEE Software, Institute of Electrical and Electronics Engineers, 2015, Jan/Feb Issue, 32 (1), pp.91-97
hal-01261012v1  Conference papers
James HolstonValérie IssarnyCristhian Parra. Engineering Software Assemblies for Participatory Democracy: The Participatory Budgeting Use Case
Software Engineering in Society at ICSE, May 2016, Austin, TX, United States
hal-01372047v1  Conference papers
H RíosDenis EfimovJ.A. MorenoW Perruquetti. Finite-Time Identification Algorithm based on Time-Varying Homogeneity and Lyapunov Approach
Proc. 10th IFAC Symposium on Nonlinear Control Systems (NOLCOS), Aug 2016, Monterey, United States
hal-01174301v1  Conference papers
Francesca BugiottiDamian BursztynAlin DeutschIoana IleanaIoana Manolescu. Toward Scalable Hybrid Stores
SEBD Italian Symposium on Advanced Database Systems, Jun 2015, Gaeta, Italy
hal-00780999v1  Conference papers
Basak AlperBenjamin BachNathalie Henry RicheTobias IsenbergJean-Daniel Fekete. Weighted Graph Comparison Techniques for Brain Connectivity Analysis
Proceedings of the 2013 Annual Conference on Human Factors in Computing Systems (CHI 2013, April 27-May 2, 2013, Paris, France), ACM, Apr 2013, New York, United States. pp.483-492, ⟨10.1145/2470654.2470724⟩
lirmm-01177564v1  Conference papers
Maximilien ServajeanEsther PacittiMiguel Liroz-GistauSihem Amer-YahiaAmr El Abbadi. Exploiting Diversification in Distributed Recommendation
BDA: Gestion de Données — Principes, Technologies et Applications, IMAG, Oct 2014, Autrans, France
hal-02066420v1  Conference papers
Ronny ChevalierStefano CristalliChristophe HauserYan ShoshitaishviliRuoyu Wang et al.  BootKeeper: Validating Software Integrity Properties on Boot Firmware Images
CODASPY 2019 - Conference on Data and Application Security and Privacy, Mar 2019, Dallas, United States. pp.1-11, ⟨10.1145/3292006.3300026⟩
hal-01401405v1  Conference papers
Angela BonifatiIoana IleanaMichele Linardi. Functional Dependencies Unleashed for Scalable Data Exchange
International Conference on Scientific and Statistical Database Management (SSDBM), Jul 2016, Budapest, Hungary. pp.2:1-2:12, ⟨10.1145/2949689.2949698⟩
inria-00098986v1  Journal articles
Miki HermannPhokion G. Kolaitis. Computational Complexity of Simultaneous Elementary Matching Problems
Journal of Automated Reasoning, Springer Verlag, 1999, 23 (2), pp.107-136