# Rachel Faran

According to our database

Collaborative distances:

^{1}, Rachel Faran authored at least 3 papers between 2015 and 2018.Collaborative distances:

## 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