Sonia R. Sachs

According to our database, Sonia R. Sachs authored at least 9 papers between 1988 and 2007.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2007

Multi-agent Model of Technological Shifts.

James G. McCarthy, Tony Sabbadini, Sonia R. Sachs

Proceedings of the Multi-Agent-Based Simulation VIII, International Workshop, 2007

A New Way to Plan for the Future.

Ray Strong, Joseph Ryan, Doug McDavid, Ying Leung, Ruoyi Zhou, Eric Strauss, John Bosma, Tony Sabbadini, David Jarvis, Sonia R. Sachs, Peter Bishop, Cody Clark

Proceedings of the 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), 2007

2003

Taming heterogeneity - the Ptolemy approach.

Johan Eker, Jörn W. Janneck, Edward A. Lee, Jie Liu, Xiaojun Liu, Jozsef Ludvig, Stephen Neuendorffer, Sonia R. Sachs, Yuhong Xiong

Proc. IEEE, 2003

2002

Reprogrammable Platforms for High-Speed Data Acquisition.

Jozsef Ludvig, James G. McCarthy, Stephen Neuendorffer, Sonia R. Sachs

Des. Autom. Embed. Syst., 2002

1997

Formal Verification of a Distributed Computer System.

Michael Merritt, Ariel Orda, Sonia R. Sachs

Formal Methods Syst. Des., 1997

1996

Working Group Report on Electronic Notebooks.

Sonia R. Sachs, James Meyers

Proceedings of the 5th Workshop on Enabling Technologies, 1996

1995

Modelling Asynchrony with a Synchronous Model.

Robert P. Kurshan, Michael Merritt, Ariel Orda, Sonia R. Sachs

Proceedings of the Computer Aided Verification, 1995

1993

A Structural Linearization Principle for Processes.

Robert P. Kurshan, Michael Merritt, Ariel Orda, Sonia R. Sachs

Proceedings of the Computer Aided Verification, 5th International Conference, 1993

1988

Alternative local area network access protocols.

Sonia R. Sachs

IEEE Commun. Mag., 1988