International Cooperation
German Israeli Cooperation (1995-1997)
E. Graedel and J.A. Makowsky
French Israeli Cooperation (1993-1995)
A. Arnold, B. Courcelle and J.A. Makowsky
United States Israel Science Foundation (1989-1995)
E. Clarke and O. Grumberg
- E. Clarke
- Carnegie Mellon University, CS Department