Search the dblp DataBase
Ben Wegbreit :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Ben Wegbreit The Treatment of Data Types in EL1. [Citation Graph (3, 0)][DBLP ] Commun. ACM, 1974, v:17, n:5, pp:251-264 [Journal ] Daniel G. Bobrow , Ben Wegbreit A Model and Stack Implementation of Multiple Environments. [Citation Graph (1, 0)][DBLP ] Commun. ACM, 1973, v:16, n:10, pp:591-603 [Journal ] Ben Wegbreit Verifying Program Performance. [Citation Graph (1, 0)][DBLP ] J. ACM, 1976, v:23, n:4, pp:691-699 [Journal ] Michael Montemerlo , Sebastian Thrun , Daphne Koller , Ben Wegbreit FastSLAM: A Factored Solution to the Simultaneous Localization and Mapping Problem. [Citation Graph (0, 0)][DBLP ] AAAI/IAAI, 2002, pp:593-598 [Conf ] Sebastian Thrun , Ben Wegbreit Shape from Symmetry. [Citation Graph (0, 0)][DBLP ] ICCV, 2005, pp:1824-1831 [Conf ] Michael Montemerlo , Sebastian Thrun , Daphne Koller , Ben Wegbreit FastSLAM 2.0: An Improved Particle Filtering Algorithm for Simultaneous Localization and Mapping that Provably Converges. [Citation Graph (0, 0)][DBLP ] IJCAI, 2003, pp:1151-1156 [Conf ] Ben Wegbreit Heuristic Methods for Mechanically Deriving Inductive Assertions. [Citation Graph (0, 0)][DBLP ] IJCAI, 1973, pp:524-536 [Conf ] Ben Wegbreit Goal-Directed Program Transformation. [Citation Graph (0, 0)][DBLP ] POPL, 1976, pp:153-170 [Conf ] Jim Mitchell , Ben Wegbreit A Next Step in Data Structuring for Programming Languages. [Citation Graph (0, 0)][DBLP ] Conference on Data: Abstraction, Definition and Structure, 1976, pp:69-70 [Conf ] Ronald V. Book , Sheila A. Greibach , Ben Wegbreit Tape- and Time-Bounded Turing Acceptors and AFLs: Extended Abstract [Citation Graph (0, 0)][DBLP ] STOC, 1970, pp:92-99 [Conf ] Jay M. Spitzen , Ben Wegbreit The Verification and Synthesis of Data Structures [Citation Graph (0, 0)][DBLP ] Acta Inf., 1974, v:4, n:, pp:127-144 [Journal ] James H. Morris Jr. , Ben Wegbreit Subgoal Induction. [Citation Graph (0, 0)][DBLP ] Commun. ACM, 1977, v:20, n:4, pp:209-222 [Journal ] Ben Wegbreit The Synthesis of Loop Predicates. [Citation Graph (0, 0)][DBLP ] Commun. ACM, 1974, v:17, n:2, pp:102-112 [Journal ] Ben Wegbreit Mechanical Program Analysis. [Citation Graph (0, 0)][DBLP ] Commun. ACM, 1975, v:18, n:9, pp:528-539 [Journal ] Ben Wegbreit Faster Retrieval from Context Trees. [Citation Graph (0, 0)][DBLP ] Commun. ACM, 1976, v:19, n:9, pp:526-529 [Journal ] Ben Wegbreit A generalised compactifying garbage collector. [Citation Graph (0, 0)][DBLP ] Comput. J., 1972, v:15, n:3, pp:204-208 [Journal ] Ben Wegbreit Procedure Closure in EL1. [Citation Graph (0, 0)][DBLP ] Comput. J., 1974, v:17, n:1, pp:38-43 [Journal ] Ronald V. Book , Ben Wegbreit A Note on AFLs and Bounding Erasing [Citation Graph (0, 0)][DBLP ] Information and Control, 1971, v:19, n:1, pp:18-29 [Journal ] Ben Wegbreit Retrieval from Context Trees. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1975, v:3, n:4, pp:119-120 [Journal ] Ben Wegbreit Complexity of Synthesizing Inductive Assertions. [Citation Graph (0, 0)][DBLP ] J. ACM, 1977, v:24, n:3, pp:504-512 [Journal ] Ben Wegbreit , Jay M. Spitzen Proving Properties of Complex Data Structures. [Citation Graph (0, 0)][DBLP ] J. ACM, 1976, v:23, n:2, pp:389-396 [Journal ] Ronald V. Book , Sheila A. Greibach , Oscar H. Ibarra , Ben Wegbreit Tape-Bounded Turing Acceptors and Principal AFLs. [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 1970, v:4, n:6, pp:622-625 [Journal ] Ronald V. Book , Sheila A. Greibach , Ben Wegbreit Time- and Tape-Bounded Turing Acceptors and AFLs. [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 1970, v:4, n:6, pp:606-621 [Journal ] Ben Wegbreit A Generator of Contex-Sensitive Languages. [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 1969, v:3, n:4, pp:456-461 [Journal ] Daniel G. Bobrow , Ben Wegbreit A Model for Control Structures for Artificial Intelligence Programming Languages. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Computers, 1976, v:25, n:4, pp:347-353 [Journal ] Steven M. German , Ben Wegbreit A Synthesizer of Inductive Assertions. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1975, v:1, n:1, pp:68-75 [Journal ] Ben Wegbreit Property Extraction in Well-Founded Property Sets. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1975, v:1, n:3, pp:270-285 [Journal ] Ben Wegbreit Goal-Directed Program Transformation. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1976, v:2, n:2, pp:69-80 [Journal ] Ben Wegbreit Constructive Methods in Program Verification. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1977, v:3, n:3, pp:193-209 [Journal ] A synthesizer of inductive assertions. [Citation Graph (, )][DBLP ] Towards Lazy Data Association in SLAM. [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.325secs