Oded Fuhrmann

According to our database1, Oded Fuhrmann authored at least 3 papers between 2008 and 2011.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2011
Reducing the size of resolution proofs in linear time.
Int. J. Softw. Tools Technol. Transf., 2011

2009
On Extending Bounded Proofs to Inductive Proofs.
Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008
Linear-Time Reductions of Resolution Proofs.
Proceedings of the Hardware and Software: Verification and Testing, 2008


  Loading...