Carlos Olarte

Associate Professor

Sorbonne Université

France

Research Interests

Explore related searches

Professors in France

Contact this professor

Get a free first email built on one of their papers, ready for you to edit and send yourself.

Articles (6)

Year:

2024

Year:

2023

Year:

2022

Year:

2021

Year:

2020

Year:

2020

Collaborators (5)

MAURIZIO GABBRIELLI

Professor

University of Bologna

ITALY

View details

Wojciech Penczek

Professor

POLAND

View details

Elaine Pimentel

Associate Professor

University College London

UNITED KINGDOM

View details

Teofil Sidoruk

Institute of Computer Science, Polish Academy of Sciences

POLAND

View details

Moreno FALASCHI

Professor

University of Siena

ITALY

View details

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Carlos Olarte

Research Interests

Explore related searches

Contact this professor

Articles (6)

Optimal Scheduling of Agents in ADTrees: Specialized Algorithm and Declarative Models

A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems

A linear logic framework for multimodal logics

A focused linear logical framework and its application to metatheory of object logics

Dynamic Slicing for Concurrent Constraint Languages

Verification Techniques for a Network Algebra

Collaborators (5)

MAURIZIO GABBRIELLI

Wojciech Penczek

Elaine Pimentel

Teofil Sidoruk

Moreno FALASCHI

Make your next move.