( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Deciding and Interpolating Algebraic Data Types by Reduction.

, и . SYNASC, стр. 145-152. IEEE Computer Society, (2017)

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.

Majid Hojjat

Hojjat Ahmadzadehfar

Hojjat Allah Haghgoo

Hossein Karbasian

Hossein Gholaman

 

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

Deciding and Interpolating Algebraic Data Types by Reduction (Technical Report)., и . CoRR, (2018)Compositional Learning for Interleaving Parallel Automata., , , и . FoSSaCS, том 13992 из Lecture Notes in Computer Science, стр. 413-435. Springer, (2023)On Strings in Software Model Checking., , и . APLAS, том 11893 из Lecture Notes in Computer Science, стр. 19-30. Springer, (2019)Life on the Edge: Unraveling Policies into Configurations., , , , , и . ANCS, стр. 178-190. IEEE Computer Society, (2017)The FMCAD 2016 graduate student forum.. FMCAD, стр. 8. IEEE, (2016)The Homeostasis Protocol: Avoiding Transaction Coordination Through Program Analysis., , , , , , , и . SIGMOD Conference, стр. 1311-1326. ACM, (2015)Process algebraic verification of SystemC codes., , и . ACSD, стр. 62-67. IEEE, (2008)Partial Order Reduction for Timed Actors., , , , и . VSTTE, том 13124 из Lecture Notes in Computer Science, стр. 43-60. Springer, (2021)Avenir: Managing Data Plane Diversity with Control Plane Synthesis., , , , , , , , , и . NSDI, стр. 133-153. USENIX Association, (2021)Efficient synthesis of network updates., , , и . PLDI, стр. 196-207. ACM, (2015)