( en | de | ru )

 

Disambiguation of "Rocha, Camilo"

Author of the publication

copydeleteadd this publication to your clipboard
A Formal Interactive Verification Environment for the Plan Execution Interchange Language.

, , , and . IFM, volume 7321 of Lecture Notes in Computer Science, page 343-357. Springer, (2012)

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. You can also use the button next to the name to display some publications already assigned to the person.

Camilo Gerhard

Jacqueline Rocha

Nino Rocha

Paula Suares Rocha

Marcio Rocha

 

Other publications of authors with the same name

A rewriting logic approach to resource allocation analysis in business process models., , and . Sci. Comput. Program., (2019)Spectral Evolution of Twitter Mention Networks., , and . COMPLEX NETWORKS (1), volume 881 of Studies in Computational Intelligence, page 532-542. Springer, (2019)Constructors, Sufficient Completeness, and Deadlock Freedom of Rewrite Theories., and . LPAR (Yogyakarta), volume 6397 of Lecture Notes in Computer Science, page 594-609. Springer, (2010)Proving Structural Properties of Sequent Systems in Rewriting Logic., , and . WRLA@ETAPS, volume 11152 of Lecture Notes in Computer Science, page 115-135. Springer, (2018)Verification-driven development of ICAROUS based on automatic reachability analysis: a preliminary case study., , and . SPIN, page 94-97. ACM, (2017)A Network-based Approach for Inferring Thresholds in Co-expression Networks., , , and . COMPLEX NETWORKS (1), volume 1077 of Studies in Computational Intelligence, page 265-276. Springer, (2022)Tool Interoperability in the Maude Formal Environment., , and . CALCO, volume 6859 of Lecture Notes in Computer Science, page 400-406. Springer, (2011)Real-Time Rewriting Logic Semantics for Spatial Concurrent Constraint Programming., , , and . WRLA@ETAPS, volume 11152 of Lecture Notes in Computer Science, page 226-244. Springer, (2018)Statistical Model Checking for sf P., , , and . FMICS, volume 14290 of Lecture Notes in Computer Science, page 40-56. Springer, (2023)A Formal Interactive Verification Environment for the Plan Execution Interchange Language., , , and . IFM, volume 7321 of Lecture Notes in Computer Science, page 343-357. Springer, (2012)