dblp.uni-trier.dewww.uni-trier.de

Ben Wegbreit Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2007
33EEStephen P. Boyd, Ben Wegbreit: Fast Computation of Optimal Contact Forces. IEEE Transactions on Robotics 23(6): 1117-1132 (2007)
2005
32EESebastian 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
30EEDirk 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)
26EEBen Wegbreit: Complexity of Synthesizing Inductive Assertions. J. ACM 24(3): 504-512 (1977)
1976
25EEJim 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)
20EEBen Wegbreit, Jay M. Spitzen: Proving Properties of Complex Data Structures. J. ACM 23(2): 389-396 (1976)
19EEBen Wegbreit: Verifying Program Performance. J. ACM 23(4): 691-699 (1976)
1975
18EESteven 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
7EEBen 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)

Coauthor Index

1Daniel G. Bobrow [8] [22]
2Ronald V. Book [2] [3] [4] [6]
3Stephen P. Boyd [33]
4Wolfram Burgard [30]
5Steven M. German [16] [18]
6Sheila A. Greibach [2] [3] [4]
7Dirk Hähnel [30]
8Oscar H. Ibarra [2]
9Daphne Koller [29] [31]
10Jim Mitchell [25]
11Michael Montemerlo [29] [31]
12James H. Morris Jr. [28]
13Jay M. Spitzen [13] [20]
14Sebastian Thrun [29] [30] [31] [32]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)