Applications of Craig Interpolation to Model Checking K. L. McMillan Cadence Berkeley Labs.
What can we do in sublinear time? 0368.4612 Seminar on Sublinear Time Algorithms Lecture 1 Ronitt Rubinfeld.
Non-breaking Similarity of Genomes with Gene Repetitions
What can we do in sublinear time? 0368.4612 Seminar on Sublinear Time Algorithms Lecture 1
DESY Summer Student Lecture 31 st July 2002
