Tatjana Petrovic
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
1992–1993
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1993 | ICRA | A Parallel Computer Architecture for Real-Time Control Applications in Grasping and Manipulation. | Nenad Kircanski, Tatjana Petrovic, Miomir Vukobratovic |
| 1992 | ICRA | Parallel computation of symbolic robot models and control laws: theory and application on transputer networks. | Nenad Kircanski, Tatjana Petrovic, Miomir Vukobratovic |
| 1992 | TABLEAUX | Prover 91 - A Parallel Theorem Prover (Extended Abstract). | Aleksandar Krapez, Miodrag Kapetanovic, Zoran Ognjanovic, Tatjana Petrovic |
| 1992 | TABLEAUX | A Tableaux Retlated Method for Modal Theorem Proving (Extended Abstract). | Zoran Ognjanovic, Dragan Urosevic, Tatjana Petrovic, Zorana Ristovic |