Roy Armoni
According to our database1,
Roy Armoni
authored at least 15 papers
between 1996 and 2013.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2013
Proceedings of the Computer Aided Verification - 25th International Conference, 2013
2007
Proceedings of the 12th Conference on Asia South Pacific Design Automation, 2007
2006
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2006
Proceedings of the Formal Approaches to Software Testing and Runtime Verification, 2006
2005
Proceedings of the 2005 International Conference on Computer-Aided Design, 2005
2004
Proceedings of the 2nd International Workshop on Bounded Model Checking, 2004
Formal verification coverage: computing the coverage gap between temporal specifications.
Proceedings of the 2004 International Conference on Computer-Aided Design, 2004
2003
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003
Proceedings of the Computer Aided Verification, 15th International Conference, 2003
2002
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002
2000
An <i>O</i>(log(<i>n</i>)<sup>4/3</sup>) space algorithm for (<i>s, t</i>) connectivity in undirected graphs.
J. ACM, 2000
1998
On the random resources needed by space bounded computational models (על משאבי האקראיות הדרושים למודלים חישוביים מוגבלי זכרון.).
PhD thesis, 1998
Proceedings of the Randomization and Approximation Techniques in Computer Science, 1998
1997
Proceedings of the Twenty-Ninth Annual ACM Symposium on the Theory of Computing, 1997
1996
Proceedings of the 37th Annual Symposium on Foundations of Computer Science, 1996