( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Engineering Smart Contracts with Symboleo: A Progress Report.

, , , , , , , , , , и . CASCON, стр. 235-237. ACM, (2023)

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.

Johannes Marcour

Hans-Ernst Marcolin

Monika Marcotty

Carlos Javier Marcos Navas

Massimiliano Marcon

 

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

NUSMV: A New Symbolic Model Checker., , , и . Int. J. Softw. Tools Technol. Transf., 2 (4): 410-425 (2000)Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking., , , и . IJCAI, стр. 473-478. Morgan Kaufmann, (2001)Specification and analysis of legal contracts with Symboleo., , , , , , , и . Softw. Syst. Model., 21 (6): 2395-2427 (2022)A Markovian Model for the Spread of the SARS-CoV-2 Virus., , , и . CoRR, (2022)A Demonstration of BDI-Based Robotic Systems with ROS2., , , и . PAAMS, том 13616 из Lecture Notes in Computer Science, стр. 473-479. Springer, (2022)Revisiting Formal Verification in VeriSolid: An Analysis and Enhancements., , , и . OVERLAY@AI*IA, том 3629 из CEUR Workshop Proceedings, стр. 55-60. CEUR-WS.org, (2023)Computing unsatisfiable cores for LTLf specifications., , , и . PMAI@IJCAI, том 3310 из CEUR Workshop Proceedings, стр. 81-84. CEUR-WS.org, (2022)Verification of parametric system designs., , и . FMCAD, стр. 122-130. IEEE, (2012)When graphs meet game theory: a scalable approach for robotic car racing., , , и . COMPSAC, стр. 1-8. IEEE, (2023)Conformant Planning via Symbolic Model Checking., и . J. Artif. Intell. Res., (2000)