| 1993 | ||
|---|---|---|
| 3 | Nenad Kircanski, Tatjana Petrovic, Miomir Vukobratovic: A Parallel Computer Architecture for Real-Time Control Applications in Grasping and Manipulation. ICRA (2) 1993: 410-415 | |
| 1992 | ||
| 2 | Aleksandar Krapez, Miodrag Kapetanovic, Zoran Ognjanovic, Tatjana Petrovic: Prover 91 - A Parallel Theorem Prover (Extended Abstract). TABLEAUX 1992: 43-45 | |
| 1 | Zoran Ognjanovic, Dragan Urosevic, Tatjana Petrovic, Zorana Ristovic: A Tableaux Retlated Method for Modal Theorem Proving (Extended Abstract). TABLEAUX 1992: 61-63 | |
| 1 | Miodrag Kapetanovic | [2] |
| 2 | Nenad Kircanski | [3] |
| 3 | Aleksandar Krapez | [2] |
| 4 | Zoran Ognjanovic | [1] [2] |
| 5 | Zorana Ristovic | [1] |
| 6 | Dragan Urosevic | [1] |
| 7 | Miomir Vukobratovic | [3] |