Ben Wegbreit

According to our database1, Ben Wegbreit
  • authored at least 38 papers between 1969 and 2011.
  • has a "Dijkstra number"2 of four.

Awards

ACM Fellow

ACM Fellow 1994, "".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2011
Scene parsing using a prior world model.
I. J. Robotics Res., 2011

2007
Fast Computation of Optimal Contact Forces.
IEEE Trans. Robotics, 2007

2005
Shape from Symmetry.
Proceedings of the 10th IEEE International Conference on Computer Vision (ICCV 2005), 2005

2003
Towards Lazy Data Association in SLAM.
Proceedings of the Robotics Research, The Eleventh International Symposium, 2003

FastSLAM 2.0: An Improved Particle Filtering Algorithm for Simultaneous Localization and Mapping that Provably Converges.
Proceedings of the IJCAI-03, 2003

2002
FastSLAM: A Factored Solution to the Simultaneous Localization and Mapping Problem.
Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 28, 2002

1977
Constructive Methods in Program Verification.
IEEE Trans. Software Eng., 1977

Complexity of Synthesizing Inductive Assertions.
J. ACM, 1977

Subgoal Induction.
Commun. ACM, 1977

1976
Goal-Directed Program Transformation.
IEEE Trans. Software Eng., 1976

A Model for Control Structures for Artificial Intelligence Programming Languages.
IEEE Trans. Computers, 1976

Proving Properties of Complex Data Structures.
J. ACM, 1976

Verifying Program Performance.
J. ACM, 1976

Faster Retrieval from Context Trees.
Commun. ACM, 1976

A Next Step in Data Structuring for Programming Languages.
Proceedings of the SIGPLAN '76 Conference on Data: Abstraction, 1976

Goal-Directed Program Transformation.
Proceedings of the Conference Record of the Third ACM Symposium on Principles of Programming Languages, 1976

1975
Property Extraction in Well-Founded Property Sets.
IEEE Trans. Software Eng., 1975

A Synthesizer of Inductive Assertions.
IEEE Trans. Software Eng., 1975

Retrieval from Context Trees.
Inf. Process. Lett., 1975

Mechanical Program Analysis.
Commun. ACM, 1975

A synthesizer of inductive assertions.
Proceedings of the American Federation of Information Processing Societies: 1975 National Computer Conference, 1975

1974
Procedure Closure in EL1.
Comput. J., 1974

The Treatment of Data Types in EL1.
Commun. ACM, 1974

The Synthesis of Loop Predicates.
Commun. ACM, 1974

The Verification and Synthesis of Data Structures.
Acta Inf., 1974

1973
A Model and Stack Implementation of Multiple Environments.
Commun. ACM, 1973

Heuristic Methods for Mechanically Deriving Inductive Assertions.
Proceedings of the 3rd International Joint Conference on Artificial Intelligence. Standford, 1973

1972
A Space-Efficient List Structure Tracing Algorithm.
IEEE Trans. Computers, 1972

A generalised compactifying garbage collector.
Comput. J., 1972

Multiple evaluators in an extensible programming system.
AFIPS Fall Joint Computing Conference (2), 1972

A laboratory for the study of automating programming.
Proceedings of the American Federation of Information Processing Societies: AFIPS Conference Proceedings: 1972 Spring Joint Computer Conference, 1972

1971
A Note on AFLs and Bounding Erasing
Information and Control, August, 1971

The ECL programming system.
Proceedings of the American Federation of Information Processing Societies: Proceedings of the AFIPS '71 Fall Joint Computer Conference, 1971

1970
Time- and Tape-Bounded Turing Acceptors and AFLs.
J. Comput. Syst. Sci., 1970

Tape-Bounded Turing Acceptors and Principal AFLs.
J. Comput. Syst. Sci., 1970

Tape- and Time-Bounded Turing Acceptors and AFLs: Extended Abstract
Proceedings of the 2nd Annual ACM Symposium on Theory of Computing, 1970

Studies in Extensible Programming Languages
Outstanding Dissertations in the Computer Sciences, Garland Publishing, New York, ISBN: 0-8240-4423-1, 1970

1969
A Generator of Contex-Sensitive Languages.
J. Comput. Syst. Sci., 1969


  Loading...