A Generator of Contex-Sensitive Languages. - Ben Wegbreit (J. Comput. Syst. Sci., 1969)

Studies in Extensible Programming Languages - Ben Wegbreit (Garland Publishing, New York, 1970)

Tape- and Time-Bounded Turing Acceptors and AFLs: Extended Abstract - Ronald V. Book; Sheila A. Greibach; Ben Wegbreit (STOC, 1970)

Tape-Bounded Turing Acceptors and Principal AFLs. - Ronald V. Book; Sheila A. Greibach; Oscar H. Ibarra; Ben Wegbreit (J. Comput. Syst. Sci., 1970)

Time- and Tape-Bounded Turing Acceptors and AFLs. - Ronald V. Book; Sheila A. Greibach; Ben Wegbreit (J. Comput. Syst. Sci., 1970)

The ECL programming system. - Ben Wegbreit (AFIPS Fall Joint Computing Conference, 1971)

An overview of the ECL programming system. - Ben Wegbreit (International Symposium on Extensible Languages, 1971)

A Note on AFLs and Bounding Erasing - Ronald V. Book; Ben Wegbreit (Inf. Control., 1971)

A laboratory for the study of automating programming. - Thomas E. Cheatham Jr.; Ben Wegbreit (AFIPS Spring Joint Computing Conference, 1972)

Multiple evaluators in an extensible programming system. - Ben Wegbreit (AFIPS Fall Joint Computing Conference (2), 1972)

A generalised compactifying garbage collector. - Ben Wegbreit (Comput. J., 1972)

An implementation of backtracking for programming languages. - Charles J. Prenner; Jay M. Spitzen; Ben Wegbreit (ACM SIGPLAN Notices, 1972)

A Space-Efficient List Structure Tracing Algorithm. - Ben Wegbreit (IEEE Trans. Computers, 1972)

Heuristic Methods for Mechanically Deriving Inductive Assertions. - Ben Wegbreit (IJCAI, 1973)

A Model and Stack Implementation of Multiple Environments. - Daniel G. Bobrow; Ben Wegbreit (Commun. ACM, 1973)

The Verification and Synthesis of Data Structures. - Jay M. Spitzen; Ben Wegbreit (Acta Informatica, 1974)

The Synthesis of Loop Predicates. - Ben Wegbreit (Commun. ACM, 1974)

The Treatment of Data Types in EL1. - Ben Wegbreit (Commun. ACM, 1974)

Procedure Closure in EL1. - Ben Wegbreit (Comput. J., 1974)

Mechanical Program Analysis. - Ben Wegbreit (Commun. ACM, 1975)

Retrieval from Context Trees. - Ben Wegbreit (Inf. Process. Lett., 1975)

A Synthesizer of Inductive Assertions. - Steven M. German; Ben Wegbreit (IEEE Trans. Software Eng., 1975)

Property Extraction in Well-Founded Property Sets. - Ben Wegbreit (IEEE Trans. Software Eng., 1975)

A Next Step in Data Structuring for Programming Languages. - Jim Mitchell; Ben Wegbreit (Conference on Data: Abstraction, Definition and Structure, 1976)

Faster Retrieval from Context Trees. - Ben Wegbreit (Commun. ACM, 1976)

Verifying Program Performance. - Ben Wegbreit (J. ACM, 1976)

Proving Properties of Complex Data Structures. - Ben Wegbreit; Jay M. Spitzen (J. ACM, 1976)

A Model for Control Structures for Artificial Intelligence Programming Languages. - Daniel G. Bobrow; Ben Wegbreit (IEEE Trans. Computers, 1976)

Goal-Directed Program Transformation. - Ben Wegbreit (IEEE Trans. Software Eng., 1976)

Subgoal Induction. - James H. Morris Jr.; Ben Wegbreit (Commun. ACM, 1977)

Complexity of Synthesizing Inductive Assertions. - Ben Wegbreit (J. ACM, 1977)

Constructive Methods in Program Verification. - Ben Wegbreit (IEEE Trans. Software Eng., 1977)

FastSLAM: A Factored Solution to the Simultaneous Localization and Mapping Problem. - Michael Montemerlo; Sebastian Thrun; Daphne Koller; Ben Wegbreit (AAAI/IAAI, 2002)

FastSLAM 2.0: An Improved Particle Filtering Algorithm for Simultaneous Localization and Mapping that Provably Converges. - Michael Montemerlo; Sebastian Thrun; Daphne Koller; Ben Wegbreit (IJCAI, 2003)

Towards Lazy Data Association in SLAM. - Dirk Hähnel; Sebastian Thrun; Ben Wegbreit; Wolfram Burgard (ISRR, 2003)

Shape from Symmetry. - Sebastian Thrun; Ben Wegbreit (ICCV, 2005)

Fast Computation of Optimal Contact Forces. - Stephen P. Boyd; Ben Wegbreit (IEEE Trans. Robotics, 2007)

Scene parsing using a prior world model. - Gregory D. Hager; Ben Wegbreit (Int. J. Robotics Res., 2011)