We stand with Ukraine  

Dawit Legesse Tirore

Orcid: 0000-0002-1997-5161

Affiliations:
  • IT University of Copenhagen, Denmark


According to our database1, Dawit Legesse Tirore authored at least 3 papers between 2022 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
The Concurrent Calculi Formalisation Benchmark.
[BibTeX]
[DOI]
Marco Carbone
,
David Castro-Perez
,
Francisco Ferreira
,
Lorenzo Gheri
,
Frederik Krogsdal Jacobsen
,
Alberto Momigliano
,
Luca Padovani
,
Alceste Scalas
,
Dawit Legesse Tirore
,
Martin Vassor
,
Nobuko Yoshida
,
Daniel Zackon
Proceedings of the Coordination Models and Languages, 2024

2023
A Sound and Complete Projection for Global Types.
[BibTeX]
[DOI]
Dawit Legesse Tirore
,
Jesper Bengtson
,
Marco Carbone
Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023

2022
VeriMon: A Formally Verified Monitoring Tool.
[BibTeX]
[DOI]
David A. Basin
,
Thibault Dardinier
,
Nico Hauser
,
Lukas Heimes
,
Jonathan Julián Huerta y Munive
,
Nicolas Kaletsch
,
Srdan Krstic
,
Emanuele Marsicano
,
Martin Raszyk
,
Joshua Schneider
,
Dawit Legesse Tirore
,
Dmitriy Traytel
,
Sheila Zingg
Proceedings of the Theoretical Aspects of Computing - ICTAC 2022, 2022


  Loading...