2007 |
33 | EE | Stephen P. Boyd,
Ben Wegbreit:
Fast Computation of Optimal Contact Forces.
IEEE Transactions on Robotics 23(6): 1117-1132 (2007) |
2005 |
32 | EE | Sebastian Thrun,
Ben Wegbreit:
Shape from Symmetry.
ICCV 2005: 1824-1831 |
2003 |
31 | | 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 |
30 | EE | Dirk Hähnel,
Sebastian Thrun,
Ben Wegbreit,
Wolfram Burgard:
Towards Lazy Data Association in SLAM.
ISRR 2003: 421-431 |
2002 |
29 | | 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 |
28 | | James H. Morris Jr.,
Ben Wegbreit:
Subgoal Induction.
Commun. ACM 20(4): 209-222 (1977) |
27 | | Ben Wegbreit:
Constructive Methods in Program Verification.
IEEE Trans. Software Eng. 3(3): 193-209 (1977) |
26 | EE | Ben Wegbreit:
Complexity of Synthesizing Inductive Assertions.
J. ACM 24(3): 504-512 (1977) |
1976 |
25 | EE | Jim Mitchell,
Ben Wegbreit:
A Next Step in Data Structuring for Programming Languages.
Conference on Data: Abstraction, Definition and Structure 1976: 69-70 |
24 | | Ben Wegbreit:
Goal-Directed Program Transformation.
POPL 1976: 153-170 |
23 | | Ben Wegbreit:
Faster Retrieval from Context Trees.
Commun. ACM 19(9): 526-529 (1976) |
22 | | Daniel G. Bobrow,
Ben Wegbreit:
A Model for Control Structures for Artificial Intelligence Programming Languages.
IEEE Trans. Computers 25(4): 347-353 (1976) |
21 | | Ben Wegbreit:
Goal-Directed Program Transformation.
IEEE Trans. Software Eng. 2(2): 69-80 (1976) |
20 | EE | Ben Wegbreit,
Jay M. Spitzen:
Proving Properties of Complex Data Structures.
J. ACM 23(2): 389-396 (1976) |
19 | EE | Ben Wegbreit:
Verifying Program Performance.
J. ACM 23(4): 691-699 (1976) |
1975 |
18 | EE | Steven M. German,
Ben Wegbreit:
A synthesizer of inductive assertions.
AFIPS National Computer Conference 1975: 369-376 |
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) |