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