Ben Wegbreit

Gregory D. Hager, Ben Wegbreit: Scene parsing using a prior world model. I. J. Robotic Res. 30(12): 1477-1507 (2011)

Stephen P. Boyd, Ben Wegbreit: Fast Computation of Optimal Contact Forces. IEEE Transactions on Robotics 23(6): 1117-1132 (2007)

Sebastian Thrun, Ben Wegbreit: Shape from Symmetry. ICCV 2005: 1824-1831

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

Dirk Hähnel, Sebastian Thrun, Ben Wegbreit, Wolfram Burgard: Towards Lazy Data Association in SLAM. ISRR 2003: 421-431

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

James H. Morris Jr., Ben Wegbreit: Subgoal Induction. Commun. ACM 20(4): 209-222 (1977)

Ben Wegbreit: Complexity of Synthesizing Inductive Assertions. J. ACM 24(3): 504-512 (1977)

Ben Wegbreit: Constructive Methods in Program Verification. IEEE Trans. Software Eng. 3(3): 193-209 (1977)

Ben Wegbreit: Faster Retrieval from Context Trees. Commun. ACM 19(9): 526-529 (1976)

Ben Wegbreit, Jay M. Spitzen: Proving Properties of Complex Data Structures. J. ACM 23(2): 389-396 (1976)

Ben Wegbreit: Verifying Program Performance. J. ACM 23(4): 691-699 (1976)

Daniel G. Bobrow, Ben Wegbreit: A Model for Control Structures for Artificial Intelligence Programming Languages. IEEE Trans. Computers 25(4): 347-353 (1976)

Ben Wegbreit: Goal-Directed Program Transformation. IEEE Trans. Software Eng. 2(2): 69-80 (1976)

Ben Wegbreit: Goal-Directed Program Transformation. POPL 1976: 153-170

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

Ben Wegbreit: Mechanical Program Analysis. Commun. ACM 18(9): 528-539 (1975)

Ben Wegbreit: Retrieval from Context Trees. Inf. Process. Lett. 3(4): 119-120 (1975)

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

Ben Wegbreit: Property Extraction in Well-Founded Property Sets. IEEE Trans. Software Eng. 1(3): 270-285 (1975)

Steven M. German, Ben Wegbreit: A synthesizer of inductive assertions. AFIPS National Computer Conference 1975: 369-376

Jay M. Spitzen, Ben Wegbreit: The Verification and Synthesis of Data Structures. Acta Inf. 4: 127-144 (1974)

Ben Wegbreit: The Synthesis of Loop Predicates. Commun. ACM 17(2): 102-112 (1974)

Ben Wegbreit: The Treatment of Data Types in EL1. Commun. ACM 17(5): 251-264 (1974)

Ben Wegbreit: Procedure Closure in EL1. Comput. J. 17(1): 38-43 (1974)

Daniel G. Bobrow, Ben Wegbreit: A Model and Stack Implementation of Multiple Environments. Commun. ACM 16(10): 591-603 (1973)

Ben Wegbreit: Heuristic Methods for Mechanically Deriving Inductive Assertions. IJCAI 1973: 524-536

Ben Wegbreit: A generalised compactifying garbage collector. Comput. J. 15(3): 204-208 (1972)

Thomas E. Cheatham Jr., Ben Wegbreit: A laboratory for the study of automating programming. AFIPS Spring Joint Computing Conference 1972: 11-21

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

Ronald V. Book, Ben Wegbreit: A Note on AFLs and Bounding Erasing. Information and Control 19(1): 18-29 (1971)

Ben Wegbreit: The ECL programming system. AFIPS Fall Joint Computing Conference 1971: 253-262

Ben Wegbreit: Studies in Extensible Programming Languages. Outstanding Dissertations in the Computer Sciences, Garland Publishing, New York 1970, isbn 0-8240-4423-1

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

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

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

Ben Wegbreit: A Generator of Contex-Sensitive Languages. J. Comput. Syst. Sci. 3(4): 456-461 (1969)