Sonia R. Sachs

According to our database1, Sonia R. Sachs authored at least 8 papers between 1993 and 2007.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2007
Multi-agent Model of Technological Shifts.
Proceedings of the Multi-Agent-Based Simulation VIII, International Workshop, 2007

A New Way to Plan for the Future.
Proceedings of the 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), 2007

2003
Taming heterogeneity - the Ptolemy approach.
Proceedings of the IEEE, 2003

2002
Reprogrammable Platforms for High-Speed Data Acquisition.
Design Autom. for Emb. Sys., 2002

1997
Formal Verification of a Distributed Computer System.
Formal Methods in System Design, 1997

1996
Working Group Report on Electronic Notebooks.
Proceedings of the 5th Workshop on Enabling Technologies, 1996

1995
Modelling Asynchrony with a Synchronous Model.
Proceedings of the Computer Aided Verification, 1995

1993
A Structural Linearization Principle for Processes.
Proceedings of the Computer Aided Verification, 5th International Conference, 1993


  Loading...