On the rational scope of probabilistic rule-based inference systems. - Shimon Schocken (UAI, 1986)

Artificial intelligence dialects of the Bayesian belief revision language. - Shimon Schocken; Paul R. Kleindorfer (IEEE Trans. Syst. Man Cybern., 1989)

Panel 16: Business Applications of Neural Networks: Problems and Opportunities. - Shimon Schocken (ICIS, 1990)

Meta-interpreters for rule-based inference under uncertainty. - Shimon Schocken; Tim Finin (Decis. Support Syst., 1990)

On the Use of the Dempster Shafer Model in Information Indexing and Retrieval Applications. - Shimon Schocken; Robert A. Hummel (Int. J. Man Mach. Stud., 1993)

Reframing Decision Problems: A Graph-Grammar Approach. - Shimon Schocken; Christopher Jones (Inf. Syst. Res., 1993)

A Comparative Analysis of the Empirical Validity of Two Rule-Based Belief Languages. - Shimon Schocken; Yu-Ming Wang (Inf. Syst. Res., 1993)

Multilayer feedforward networks with a nonpolynomial activation function can approximate any function. - Moshe Leshno; Vladimir Ya. Lin; Allan Pinkus; Shimon Schocken (Neural Networks, 1993)

Compromise Reaching Mechanisms in Multi-Group/Multi-Player Negotiation Processes. - Shimon Schocken; Robert A. Hummel (HICSS (4), 1994)

Neural networks for decision support: : Problems and opportunities. - Shimon Schocken; Gad Ariav (Decis. Support Syst., 1994)

Toward a Logical/Physical Theory of Spreadsheet Modeling. - Tomás Isakowitz; Shimon Schocken; Henry C. Lucas Jr. (ACM Trans. Inf. Syst., 1995)

The Elements of Computing Systems - Building a Modern Computer from First Principles. - Noam Nisan; Shimon Schocken (MIT Press, 2005)

Using history of computing to address problems and opportunities. - Orit Hazzan; John Impagliazzo; Raymond Lister; Shimon Schocken (SIGCSE, 2005)

The Elements of Computing Systems - Building a Modern Computer from First Principles. - Noam Nisan; Shimon Schocken (MIT Press, 2008)

Virtual machines: abstraction and implementation. - Shimon Schocken (ITiCSE, 2009)

A synthesis course in hardware architecture, compilers, and software engineering. - Shimon Schocken; Noam Nisan; Michal Armoni (SIGCSE, 2009)

Taming complexity in large-scale system projects. - Shimon Schocken (SIGCSE, 2012)

The Rational and Computational Scope of Probabilistic Rule-Based Expert Systems - Shimon Schocken (CoRR, 2013)

Nand to Tetris: Building a Modern Computer System from First Principles (Abstract Only). - Shimon Schocken (SIGCSE, 2018)

Nand to Tetris: Building a Modern Computer System from First Principles. - Shimon Schocken (Commun. ACM, 2024)