| 2007 |
|---|
| 31 | EE | Stephen P. Boyd,
Ben Wegbreit:
Fast Computation of Optimal Contact Forces.
IEEE Transactions on Robotics 23(6): 1117-1132 (2007) |
| 2005 |
|---|
| 30 | EE | Sebastian Thrun,
Ben Wegbreit:
Shape from Symmetry.
ICCV 2005: 1824-1831 |
| 2003 |
|---|
| 29 | | 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 |
| 2002 |
|---|
| 28 | | Michael Montemerlo,
Sebastian Thrun,
Daphne Koller,
Ben Wegbreit:
FastSLAM: A Factored Solution to the Simultaneous Localization and Mapping Problem.
AAAI/IAAI 2002: 593-598 |
| 1977 |
|---|
| 27 | | James H. Morris Jr.,
Ben Wegbreit:
Subgoal Induction.
Commun. ACM 20(4): 209-222 (1977) |
| 26 | | Ben Wegbreit:
Constructive Methods in Program Verification.
IEEE Trans. Software Eng. 3(3): 193-209 (1977) |
| 25 | EE | Ben Wegbreit:
Complexity of Synthesizing Inductive Assertions.
J. ACM 24(3): 504-512 (1977) |
| 1976 |
|---|
| 24 | EE | Jim Mitchell,
Ben Wegbreit:
A Next Step in Data Structuring for Programming Languages.
Conference on Data: Abstraction, Definition and Structure 1976: 69-70 |
| 23 | | Ben Wegbreit:
Goal-Directed Program Transformation.
POPL 1976: 153-170 |
| 22 | | Ben Wegbreit:
Faster Retrieval from Context Trees.
Commun. ACM 19(9): 526-529 (1976) |
| 21 | | Daniel G. Bobrow,
Ben Wegbreit:
A Model for Control Structures for Artificial Intelligence Programming Languages.
IEEE Trans. Computers 25(4): 347-353 (1976) |
| 20 | | Ben Wegbreit:
Goal-Directed Program Transformation.
IEEE Trans. Software Eng. 2(2): 69-80 (1976) |
| 19 | EE | Ben Wegbreit,
Jay M. Spitzen:
Proving Properties of Complex Data Structures.
J. ACM 23(2): 389-396 (1976) |
| 18 | EE | Ben Wegbreit:
Verifying Program Performance.
J. ACM 23(4): 691-699 (1976) |
| 1975 |
|---|
| 17 | | Ben Wegbreit:
Mechanical Program Analysis.
Commun. ACM 18(9): 528-539 (1975) |
| 16 | | Steven M. German,
Ben Wegbreit:
A Synthesizer of Inductive Assertions.
IEEE Trans. Software Eng. 1(1): 68-75 (1975) |
| 15 | | Ben Wegbreit:
Property Extraction in Well-Founded Property Sets.
IEEE Trans. Software Eng. 1(3): 270-285 (1975) |
| 14 | | Ben Wegbreit:
Retrieval from Context Trees.
Inf. Process. Lett. 3(4): 119-120 (1975) |
| 1974 |
|---|
| 13 | | Jay M. Spitzen,
Ben Wegbreit:
The Verification and Synthesis of Data Structures
Acta Inf. 4: 127-144 (1974) |
| 12 | | Ben Wegbreit:
The Synthesis of Loop Predicates.
Commun. ACM 17(2): 102-112 (1974) |
| 11 | | Ben Wegbreit:
The Treatment of Data Types in EL1.
Commun. ACM 17(5): 251-264 (1974) |
| 10 | | Ben Wegbreit:
Procedure Closure in EL1.
Comput. J. 17(1): 38-43 (1974) |
| 1973 |
|---|
| 9 | | Ben Wegbreit:
Heuristic Methods for Mechanically Deriving Inductive Assertions.
IJCAI 1973: 524-536 |
| 8 | | Daniel G. Bobrow,
Ben Wegbreit:
A Model and Stack Implementation of Multiple Environments.
Commun. ACM 16(10): 591-603 (1973) |
| 1972 |
|---|
| 7 | EE | Ben Wegbreit:
A generalised compactifying garbage collector.
Comput. J. 15(3): 204-208 (1972) |
| 1971 |
|---|
| 6 | | Ronald V. Book,
Ben Wegbreit:
A Note on AFLs and Bounding Erasing
Information and Control 19(1): 18-29 (1971) |
| 1970 |
|---|
| 5 | | Ben Wegbreit:
Studies in Extensible Programming Languages
Garland Publishing, New York 1970 |
| 4 | | Ronald V. Book,
Sheila A. Greibach,
Ben Wegbreit:
Tape- and Time-Bounded Turing Acceptors and AFLs: Extended Abstract
STOC 1970: 92-99 |
| 3 | | 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) |
| 2 | | 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) |
| 1969 |
|---|
| 1 | | Ben Wegbreit:
A Generator of Contex-Sensitive Languages.
J. Comput. Syst. Sci. 3(4): 456-461 (1969) |
