S. Kaplan

发表

M. Okada, S. Kaplan, 1991 .

Michèle Soria, Christine Choppy, Stéphane Kaplan, 1987, RTA.

Stéphane Kaplan, S. Kaplan, 1984, Theor. Comput. Sci..

S. Kaplan, S. Kaplan, S. Kaplan, 1989, Theor. Comput. Sci..

Stéphane Kaplan, S. Kaplan, 1986, ESOP.

Nachum Dershowitz, David A. Plaisted, Stéphane Kaplan, 1989, ICALP.

Christine Choppy, Stéphane Kaplan, C. Choppy, 1990, [1990] Proceedings. 12th International Conference on Software Engineering.

Michèle Soria, Christine Choppy, Stéphane Kaplan, 1989, Theor. Comput. Sci..

Christine Choppy, Stéphane Kaplan, C. Choppy, 1989, RTA.

Stéphane Kaplan, S. Kaplan, 1987, RTA.

Stéphane Kaplan, S. Kaplan, 1988, CTRS.

Stéphane Kaplan, S. Kaplan, 1987, J. Symb. Comput..

Amir Pnueli, S. Kaplan, A. Pnueli, 1987, STACS.

Christine Choppy, G. Guiho, Stéphane Kaplan, 1985, TAPSOFT, Vol.1.

Nachum Dershowitz, David A. Plaisted, Stéphane Kaplan, 1991, Theor. Comput. Sci..