Rachel Faran

According to our database1, Rachel Faran authored at least 3 papers between 2015 and 2018.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
LTL with Arithmetic and its Applications in Reasoning about Hierarchical Systems.
Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

2017
A Parametrized Analysis of Algorithms on Hierarchical Graphs.
Proceedings of the Descriptional Complexity of Formal Systems, 2017

2015
Spanning the Spectrum from Safety to Liveness.
Proceedings of the Automated Technology for Verification and Analysis, 2015


  Loading...