Search by property
This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.
List of results
- Seminar/2020-12-16 + (by Stefan Schwoon, ENS Paris-Saclay)
- Seminar/2016-02-17 + (by Stephan Hadinger, Head of Solutions Architecture, AWS)
- Seminar/2015-10-14 + (by Tamy Boubekeur, Telecom ParisTech - CNRS - University Paris-Saclay)
- Seminar/2013-02-20 + (by Thierry Géraud, EPITA-LRDE)
- Seminar/2008-11-05 + (by Thomas Quinot, AdaCore)
- Seminar/2021-02-10 + (by Uli Fahrenberg, Ecole Polytechnique)
- Seminar/2011-11-16 + (by Ullrich Köthe)
- Seminar/2014-03-12 + (by Vincent Balat, Université Paris Diderot et INRIA)
- Seminar/2014-02-05 + (by Vincent Balat, Université Paris Diderot et INRIA)
- Seminar/2008-02-20 + (by Vitor Vasconcelos Araujo Silva, LORIA Nancy)
- Seminar/2008-11-26 + (by Laurent Plagne ; EDF R&D Clamart.)
- Seminar/2015-02-18 + (by Yann Azoury, Faveod)
- Seminar/2010-06-02 + (by Julien Lamy)
- Seminar/2009-03-25 + (by Yann Régis-Gianas, laboratoire PPS (Univ. Paris Diderot), équipe πr² (INRIA))
- Seminar/2009-09-30 + (by Yannick Allusse et Patrick Horain)
- Seminar/2012-07-04 + (by Ala Eddine Ben Salem (doctorant))
- Seminar/2019-12-17 + (by Yongchao Xu, Associate Professor at the School of Electronic Information and Communications, HUST, China)
- Seminar/2014-02-18 + (by Yves Caseau, Bouygues Telecom & Académie des Technologies)
- The LRDE hosts a new member: Étienne Renault (2011-10-03) + (Étienne Renault has been graduated in real-time and distributed systems and he is interested in formal methods and model checking for distributed)