Marc de Visme

21 papers A* 1B 5C 1Journal 13
YearRankTypeTitle / Venue / Authors
2025 J jnl
Complete Compositional Syntax for Finite Transducers on Finite and Bi-Infinite Words.
CoRR
Titouan Carette, Marc de Visme, Vivien Ducros, Victor H. Lutfalla, Etienne Moutot
2025 B conf
Minimality in Finite-Dimensional ZW-Calculi.
CSL
Marc de Visme, Renaud Vilmart
2025 J jnl
Quantum Petri Nets with Event Structure semantics.
CoRR
Julien Saan Joachim, Marc de Visme, Stefan Haar, Glynn Winskel
2025 J jnl
Quantum Petri Nets with Event Structures semantics.
CoRR
Julien Saan Joachim, Marc de Visme, Stefan Haar
2025 J jnl
The Many-Worlds Calculus.
Log. Methods Comput. Sci.
Kostia Chardonnet, Marc de Visme, Benoît Valiron, Renaud Vilmart
2025 J jnl
The Tensor-Plus Calculus.
CoRR
Kostia Chardonnet, Marc de Visme, Benoît Valiron, Renaud Vilmart
2024 B conf
Non-deterministic, Probabilistic, and Quantum Effects Through the Lens of Event Structures.
APLAS
Vítor Fernandes, Marc de Visme, Benoît Valiron
2024 J jnl
Non-deterministic, probabilistic, and quantum effects through the lens of event structures (Technical report).
CoRR
Vítor Fernandes, Marc de Visme, Benoît Valiron
2023 J jnl
Causal Unfoldings and Disjunctive Causes.
Log. Methods Comput. Sci.
Marc de Visme, Glynn Winskel
2022 J jnl
The Many-Worlds Calculus: Representing Quantum Control.
CoRR
Kostia Chardonnet, Marc de Visme, Benoît Valiron, Renaud Vilmart
2021 A* conf
Graphical Language with Delayed Trace: Picturing Quantum Computing with Finite Memory.
LICS
Titouan Carette, Marc de Visme, Simon Perdrix
2020 J jnl
Causal Unfoldings and Disjunctive Causes.
CoRR
Marc de Visme, Glynn Winskel
2020 J jnl
Full abstraction for the quantum lambda-calculus.
Proc. ACM Program. Lang.
Pierre Clairambault, Marc de Visme
2020 — —
Quantum Game Semantics. (Sémantique des Jeux Quantique).
Marc de Visme
2019 B conf
Causal Unfoldings.
CALCO
Marc de Visme, Glynn Winskel
2019 C conf
Concurrent Quantum Strategies.
RC
Pierre Clairambault, Marc de Visme, Glynn Winskel
2019 B conf
Event Structures for Mixed Choice.
CONCUR
Marc de Visme
2019 J jnl
Game semantics for quantum programming.
Proc. ACM Program. Lang.
Pierre Clairambault, Marc de Visme, Glynn Winskel
2019 J jnl
Intersection types and runtime errors in the pi-calculus.
Proc. ACM Program. Lang.
Ugo Dal Lago, Marc de Visme, Damiano Mazza, Akira Yoshimizu
2017 B conf
Strategies with Parallel Causes.
CSL
Marc de Visme, Glynn Winskel
2016 J jnl
Strategies with Parallel Causes.
CoRR
Marc de Visme, Glynn Winskel