Disciplines
Institutions
Contribute
Search
Add Thesis
Add Researcher
Add Institution
researcher /
Sophie Pinchinat
Sophie Pinchinat
at_id:
orcid_id:
Disciplines:
Computer sciences
Edit
Merge
See Links
Thesis:
Des bisimulations pour la sémantique des systèmes réactifs
Directed Thesis:
Assisted design and analysis of attack trees
Complexité théorique du raisonnement en logique épistémique dynamique et étude d’une approche symbolique
Fondations logiques des jeux à information imparfaite : stratégies uniformes
Spécification logique de réseaux de Petri