Tomás Fiedor

According to our database1, Tomás Fiedor authored at least 6 papers between 2015 and 2019.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Nested antichains for WS1S.
Acta Inf., 2019

2018
From Shapes to Amortized Complexity.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018

2017
Lazy Automata Techniques for WS1S.
CoRR, 2017

Lazy Automata Techniques for WS1S.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

2015
Nested Antichains for WS1S.
CoRR, 2015

Nested Antichains for WS1S.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015


  Loading...