Tatjana Petrovic
According to our database1,
Tatjana Petrovic
authored at least 7 papers
between 1991 and 1994.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
1994
1993
Parallel computation of symbolic robot models and control laws: Theory and application to transputer networks.
J. Field Robotics, 1993
A Parallel Computer Architecture for Real-Time Control Applications in Grasping and Manipulation.
Proceedings of the 1993 IEEE International Conference on Robotics and Automation, 1993
1992
A Tableaux Retlated Method for Modal Theorem Proving (Extended Abstract).
Proceedings of the Workshop Theorem Proving with Analytic Tableaux and Related Methods, 1992
Prover 91 - A Parallel Theorem Prover (Extended Abstract).
Proceedings of the Workshop Theorem Proving with Analytic Tableaux and Related Methods, 1992
Parallel computation of symbolic robot models and control laws: theory and application on transputer networks.
Proceedings of the 1992 IEEE International Conference on Robotics and Automation, 1992
1991