Sævar Örn Kjartansson

According to our database1, Sævar Örn Kjartansson authored at least 2 papers between 2017 and 2020.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
Determinizing monitors for HML with recursion.
J. Log. Algebraic Methods Program., 2020

2017
On the Complexity of Determinizing Monitors.
Proceedings of the Implementation and Application of Automata, 2017


  Loading...