( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Categories and String Diagrams for Game Semantics. (Catégories et diagrammes de cordes pour les jeux concurrents).

. Grenoble Alpes University, France, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Clovis Clad

Clovis Clad

Clovis Clad

Clovis Galiez

Clóvis Zimmermann

 

Другие публикации лиц с тем же именем

Formal Verification of Safety Architectures for Automated Driving., , , и . IV, стр. 1-8. IEEE, (2023)Justified Sequences in String Diagrams: a Comparison Between Two Approaches to Concurrent Game Semantics., и . CALCO, том 72 из LIPIcs, стр. 10:1-10:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Scenario Sampling for Cyber Physical Systems using Combinatorial Testing., , , и . ICST Workshops, стр. 198-199. IEEE, (2019)Categories and String Diagrams for Game Semantics. (Catégories et diagrammes de cordes pour les jeux concurrents).. Grenoble Alpes University, France, (2018)Architecture-Guided Test Resource Allocation via Logic., , , , , , и . TAP@STAF, том 12740 из Lecture Notes in Computer Science, стр. 22-38. Springer, (2021)An Intensionally Fully-abstract Sheaf Model for pi., , и . CALCO, том 35 из LIPIcs, стр. 86-100. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)What's in a game?: A theory of game models., и . LICS, стр. 374-383. ACM, (2018)Formal Verification of Intersection Safety for Automated Driving., , , , и . ITSC, стр. 107-114. IEEE, (2023)Fully-abstract concurrent games for pi., , и . CoRR, (2013)Goal-Aware RSS for Complex Scenarios via Program Logic., , , , , , , , , и 5 other автор(ы). CoRR, (2022)