( en | de | ru )

 

Disambiguierung von "Pombo, Carlos Gustavo López"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
TACO: Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight Bounds.

, , , und . IEEE Trans. Software Eng., 39 (9): 1283-1307 (2013)

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.

Gustavo Salguero López

Carlos López Vriessen

Carlos López Laorden

Carlos Mülhaupt-López

Carlos López Tascón

 

Weitere Publikationen von Autoren mit dem selben Namen

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