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/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)

• Seminar/2012-07-04  + (by Étienne Renault (doctorant))

• 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)