The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ben Wegbreit: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. Ben Wegbreit
    Verifying Program Performance. [Citation Graph (1, 0)][DBLP]
    J. ACM, 1976, v:23, n:4, pp:691-699 [Journal]
  4. 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]
  5. Sebastian Thrun, Ben Wegbreit
    Shape from Symmetry. [Citation Graph (0, 0)][DBLP]
    ICCV, 2005, pp:1824-1831 [Conf]
  6. 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]
  7. Ben Wegbreit
    Heuristic Methods for Mechanically Deriving Inductive Assertions. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1973, pp:524-536 [Conf]
  8. Ben Wegbreit
    Goal-Directed Program Transformation. [Citation Graph (0, 0)][DBLP]
    POPL, 1976, pp:153-170 [Conf]
  9. 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]
  10. 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]
  11. 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]
  12. James H. Morris Jr., Ben Wegbreit
    Subgoal Induction. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1977, v:20, n:4, pp:209-222 [Journal]
  13. Ben Wegbreit
    The Synthesis of Loop Predicates. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1974, v:17, n:2, pp:102-112 [Journal]
  14. Ben Wegbreit
    Mechanical Program Analysis. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1975, v:18, n:9, pp:528-539 [Journal]
  15. Ben Wegbreit
    Faster Retrieval from Context Trees. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1976, v:19, n:9, pp:526-529 [Journal]
  16. Ben Wegbreit
    A generalised compactifying garbage collector. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1972, v:15, n:3, pp:204-208 [Journal]
  17. Ben Wegbreit
    Procedure Closure in EL1. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1974, v:17, n:1, pp:38-43 [Journal]
  18. 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]
  19. Ben Wegbreit
    Retrieval from Context Trees. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1975, v:3, n:4, pp:119-120 [Journal]
  20. Ben Wegbreit
    Complexity of Synthesizing Inductive Assertions. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1977, v:24, n:3, pp:504-512 [Journal]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. 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]
  28. Ben Wegbreit
    Goal-Directed Program Transformation. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1976, v:2, n:2, pp:69-80 [Journal]
  29. 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]

  30. A synthesizer of inductive assertions. [Citation Graph (, )][DBLP]


  31. Towards Lazy Data Association in SLAM. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002