Sonia R. Sachs

Publication Activity (10 Years)

Years Active: 1988-2007
Publications (10 Years): 0

Publications

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
A New Way to Plan for the Future. HICSS (2007)
James G. McCarthy, Tony Sabbadini, Sonia R. Sachs
Multi-agent Model of Technological Shifts. MABS (2007)
Johan Eker, Jörn W. Janneck, Edward A. Lee, Jie Liu, Xiaojun Liu, Jozsef Ludvig, Stephen Neuendorffer, Sonia R. Sachs, Yuhong Xiong
Taming heterogeneity - the Ptolemy approach. Proc. IEEE 91 (1) (2003)
Jozsef Ludvig, James G. McCarthy, Stephen Neuendorffer, Sonia R. Sachs
Reprogrammable Platforms for High-Speed Data Acquisition. Des. Autom. Embed. Syst. 7 (4) (2002)
Robert P. Kurshan, Michael Merritt, Ariel Orda, Sonia R. Sachs
Modelling Asynchrony with a Synchronous Model. Formal Methods Syst. Des. 15 (3) (1999)
Michael Merritt, Ariel Orda, Sonia R. Sachs
Formal Verification of a Distributed Computer System. Formal Methods Syst. Des. 10 (1) (1997)
Sonia R. Sachs, James Meyers
Working Group Report on Electronic Notebooks. WETICE (1996)
Robert P. Kurshan, Michael Merritt, Ariel Orda, Sonia R. Sachs
Modelling Asynchrony with a Synchronous Model. CAV (1995)
Robert P. Kurshan, Michael Merritt, Ariel Orda, Sonia R. Sachs
A Structural Linearization Principle for Processes. Formal Methods Syst. Des. 5 (3) (1994)
Robert P. Kurshan, Michael Merritt, Ariel Orda, Sonia R. Sachs
A Structural Linearization Principle for Processes. CAV (1993)
Sonia R. Sachs
Alternative local area network access protocols. IEEE Commun. Mag. 26 (3) (1988)