LORIA)
Identifiers
- name variant LORIA) 0.60 · backfill
Papers (8)
- Language and Proofs for Higher-Order SMT (Work in Progress) cs.LO · 2017 · author #4
- Determinism and Computational Power of Real Measurement-based Quantum Computation quant-ph · 2016 · author #3
- Enrichissement des contenus par la r\'eindexation des usagers : un \'etat de l'art sur la probl\'ematique cs.IR · 2009 · author #4
- Allocation of control and data channels for Large-Scale Wireless Sensor Networks cs.NI · 2008 · author #4
- Large Deviations Analysis for Distributed Algorithms in an Ergodic Markovian Environment math.PR · 2007 · author #4
- Le travail collaboratif dans le cadre d'un projet architectural cs.HC · 2007 · author #2
- Memory and compiler optimizations for low-power and -energy cs.PL · 2006 · author #2
- Distributed Algorithms in an Ergodic Markovian Environment math.PR · 2005 · author #4
Mentions
Frequent Coauthors
- Francis Comets (PMA) 2 shared papers
- Francois Delarue (PMA) 2 shared papers
- Anis Koub\^aa (IPP-Hurray! Research Group) 1 shared papers
- Azza Harbaoui (ENSI-Riadi-GDL) 1 shared papers
- CARTE 1 shared papers
- CNRS 1 shared papers
- Daniel El Ouraoui (University of Lorraine 1 shared papers
- Haniel Barbosa (University of Lorraine 1 shared papers
- Inria 1 shared papers
- Jamila Ben Slimane (INRIA Lorraine - Loria 1 shared papers
- Jasmin Christian Blanchette (University of Lorraine 1 shared papers
- LORIA 1 shared papers
- Luc Sanselme (CARAMBA 1 shared papers
- Malek Ghenima (ENSI-Riadi-GDL) 1 shared papers
- Marie-France Ango-Obiang (SITE 1 shared papers
- Max-Planck-Institut f\"ur Informatik) 1 shared papers
- Mediatron) 1 shared papers
- Mounir Frikha (MEDIATRON) 1 shared papers
- Olivier Zendra (INRIA Lorraine - LORIA 1 shared papers
- Pascal Fontaine (University of Lorraine 1 shared papers