Lukas Bartl

Orcid: 0009-0000-2439-5025

According to our database¹, Lukas Bartl authored at least 2 papers in 2025.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Bibliography

2025

Fault-Tolerant Multiparty Session Types with Global Escape Loops.

[BibT_eX]

[DOI]

Lukas Bartl

Julian Linne

Kirstin Peters

Proceedings of the Combined 32nd International Workshop on Expressiveness in Concurrency and 22nd Workshop on Structural Operational Semantics, October, 2025

Exploiting Instantiations from Paramodulation Proofs in Isabelle/HOL.

[BibT_eX]

[DOI]

Lukas Bartl

Jasmin Blanchette

Tobias Nipkow

Proceedings of the Automated Deduction - CADE 30, 2025

Lukas Bartl

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...