Carlos Olarte

Available identifiers

zbMath Open olarte.carlosWikidataQ58232836 ScholiaQ58232836MaRDI QIDQ281157

List of research outcomes

Publication	Date of Publication	Type
An assertion language for slicing constraint logic languages	2023-11-09	Paper
A logical framework for modelling breast cancer progression	2023-10-20	Paper
Proving structural properties of sequent systems in rewriting logic	2023-07-28	Paper
https://portal.mardi4nfdi.de/entity/Q6159917	2023-06-23	Paper
A linear logic framework for multimodal logics	2023-04-19	Paper
A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems	2022-11-16	Paper
A focused linear logical framework and its application to metatheory of object logics	2022-01-20	Paper
https://portal.mardi4nfdi.de/entity/Q5018490	2021-12-20	Paper
Slicing concurrent constraint programs	2021-05-20	Paper
A constraint-based language for multiparty interactions	2021-02-22	Paper
A fresh view of linear logic as a logical framework	2021-02-22	Paper
A Rewriting Logic Approach to Specification, Proof-search, and Meta-proofs in Sequent Systems	2021-01-08	Paper
Verification Techniques for a Network Algebra	2020-11-09	Paper
A game model for proofs with costs	2020-05-14	Paper
Mechanizing focused linear logic in Coq	2019-11-12	Paper
Hybrid linear logic, revisited	2019-10-09	Paper
A uniform framework for substructural logics with modalities	2019-01-10	Paper
A concurrent constraint programming interpretation of access permissions	2018-05-31	Paper
From cut-free calculi to automated deduction: the case of bounded contraction	2018-04-23	Paper
Hybrid and subexponential linear logics	2018-04-23	Paper
Abstract interpretation of temporal concurrent constraint programs	2017-11-09	Paper
Slicing concurrent constraint programs	2017-10-13	Paper
On subexponentials, focusing and modalities in concurrent systems	2017-09-12	Paper
On concurrent behaviors and focusing in linear logic	2017-06-15	Paper
Symbolic Semantics for Multiparty Interactions in the Link-Calculus	2017-04-04	Paper
Verification of spatial and temporal modalities in biochemical systems	2016-12-16	Paper
A symbolic model for timed concurrent constraint programming	2016-08-01	Paper
Proving concurrent constraint programming correct, revisited	2016-08-01	Paper
A proof theoretic view of spatial and temporal dependencies in biochemical systems	2016-07-15	Paper
Dynamic spaces in concurrent constraint programming	2016-05-10	Paper
A Declarative View of Signaling Pathways	2016-01-08	Paper
Subexponential concurrent constraint programming	2015-12-08	Paper
Foundations for Reliable and Flexible Interactive Multimedia Scores	2015-08-20	Paper
Models and emerging trends of concurrent constraint programming	2015-06-15	Paper
A Proof Theoretic Study of Soft Concurrent Constraint Programming	2014-11-25	Paper
A General Proof System for Modalities in Concurrent Constraint Programming	2013-08-12	Paper
Declarative Diagnosis of Temporal Concurrent Constraint Programs	2009-03-05	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Carlos Olarte