( en | de | ru )

 

Disambiguierung von "Rocha, Camilo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Towards a Maude Formal Environment.

, , und . Formal Modeling: Actors, Open Systems, Biological Systems, Volume 7000 von Lecture Notes in Computer Science, Seite 329-351. Springer, (2011)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Camilo Gerhard

Paula Suares Rocha

Nino Rocha

Jacqueline Rocha

Marcio Rocha

 

Weitere Publikationen von Autoren mit dem selben Namen

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