Carlos Olarte

Identifiers

No identifiers captured yet.

Papers (7)

1. Efficient Decision Procedures for RNmatrix Semantics cs.LO · 2026 · author #2
2. Collusion Relations and their Applications to Balance Theory cs.LO · 2026 · author #2
3. A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets cs.LO · 2024 · author #3
4. A Game Model for Proofs with Costs cs.LO · 2019 · author #2
5. An Assertion language for slicing Constraint Logic Languages cs.LO · 2018 · author #2
6. A Concurrent Constraint Programming Interpretation of Access Permissions cs.LO · 2018 · author #1
7. Slicing Concurrent Constraint Programs cs.LO · 2016 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Elaine Pimentel 3 shared papers
• Moreno Falaschi 2 shared papers
• Camilo Rueda 1 shared papers
• Catuscia Palamidessi 1 shared papers
• Christian Fermuller 1 shared papers
• Jaime Arias 1 shared papers
• Jean-Baptiste Joinet 1 shared papers
• Kyungmin Bae 1 shared papers
• Laure Petrucci 1 shared papers
• Maurizio Gabbrielli 1 shared papers
• Peter Csaba \"Olveczky 1 shared papers
• Renato R. Leme 1 shared papers
• Timo Lang 1 shared papers