( en | de | ru )

 

Disambiguation of "Pombo, Carlos Gustavo López"

Author of the publication

copydeleteadd this publication to your clipboard
Boosting the Reuse of Formal Specifications.

, , , and . ITP, volume 10895 of Lecture Notes in Computer Science, page 477-494. Springer, (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. You can also use the button next to the name to display some publications already assigned to the person.

Gustavo Salguero López

Carlos López Vriessen

Carlos López Laorden

Carlos Mülhaupt-López

Carlos López Tascón

 

Other publications of authors with the same name

HeteroGenius: A Framework for Hybrid Analysis of Heterogeneous Software Specifications., , , and . LAFM, volume 139 of EPTCS, page 65-70. (2013)A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules., , and . TABLEAUX, volume 9323 of Lecture Notes in Computer Science, page 6-21. Springer, (2015)TACO: Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight Bounds., , , and . IEEE Trans. Software Eng., 39 (9): 1283-1307 (2013)A Full Operational Semantics for Asynchronous Relational Networks., , , and . WADT, volume 9463 of Lecture Notes in Computer Science, page 131-150. Springer, (2014)Quality of Service Ranking by Quantifying Partial Compliance of Requirements., and . COORDINATION, volume 12134 of Lecture Notes in Computer Science, page 181-189. Springer, (2020)MoCheQoS: Automated Analysis of Quality of Service Properties of Communicating Systems., , and . CoRR, (2023)Integrating deduction and model finding in a language independent setting., and . CoRR, (2022)Communicating machines as a dynamic binding mechanism of services., , and . PLACES, volume 203 of EPTCS, page 85-98. (2015)On the construction of explosive relation algebras., , and . CoRR, (2020)A proof theoretic basis for relational semantics., and . CoRR, (2021)