Léonard Brice

19 papers A* 1A 1B 4Journal 11Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
CoRR
Léonard Brice, Thomas A. Henzinger, K. S. Thejaswini
2026 J jnl
CoRR
Léonard Brice, Thomas A. Henzinger, Alipasha Montaseri, Ali Shafiee, K. S. Thejaswini
2025 B conf
MFCS
Léonard Brice, Thomas A. Henzinger, K. S. Thejaswini
2025 J jnl
CoRR
Léonard Brice, Thomas A. Henzinger, K. S. Thejaswini
2025 A conf
CSF
Léonard Brice, Jean-François Raskin, Mathieu Sassolas, Guillaume Scerri, Marie van den Bogaard
2025 conf
FSTTCS
Ali Asadi, Léonard Brice, Krishnendu Chatterjee, K. S. Thejaswini
2025 J jnl
CoRR
Ali Asadi, Léonard Brice, Krishnendu Chatterjee, K. S. Thejaswini
2024 conf
Principles of Verification (2)
Léonard Brice, F. Thomas Bruss, Anirban Majumdar, Jean-François Raskin
2024 J jnl
CoRR
Léonard Brice, Jean-François Raskin, Mathieu Sassolas, Guillaume Scerri, Marie van den Bogaard
2023 B conf
MFCS
Léonard Brice, Jean-François Raskin, Marie van den Bogaard
2023 J jnl
CoRR
Léonard Brice, Jean-François Raskin, Marie van den Bogaard
2023 J jnl
Log. Methods Comput. Sci.
Léonard Brice, Marie van den Bogaard, Jean-François Raskin
2022 B conf
CSL
Léonard Brice, Jean-François Raskin, Marie van den Bogaard
2022 J jnl
CoRR
Léonard Brice, Marie van den Bogaard, Jean-François Raskin
2022 A* conf
ICALP
Léonard Brice, Jean-François Raskin, Marie van den Bogaard
2022 J jnl
CoRR
Léonard Brice, Jean-François Raskin, Marie van den Bogaard
2021 J jnl
CoRR
Léonard Brice, Marie van den Bogaard, Jean-François Raskin
2021 B conf
CONCUR
Léonard Brice, Jean-François Raskin, Marie van den Bogaard
2021 J jnl
CoRR
Léonard Brice, Jean-François Raskin, Marie van den Bogaard