The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase mechanical synthesis (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1988-2019 (8)
Publication types (Num. hits)
article(3) inproceedings(5)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 23 occurrences of 21 keywords

Results
Found 8 publication records. Showing 8 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
35Ming-Yuan Zhu, Xiao-Bai Mo Mechanical synthesis of a unification algorithm in PowerEpsilon. Search on Bibsonomy COMPSAC The full citation details ... 1995 DBLP  DOI  BibTeX  RDF PowerEpsilon, constructive type theory, proof development system, formal program development system, formal specification, specification, programming, theorem proving, programming theory, type theory, unification algorithm, mechanical synthesis
31Davy Capera, Marie-Pierre Gleizes, Pierre Glize Self-Organizing Agents for Mechanical Design. Search on Bibsonomy Engineering Self-Organising Systems The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
30E. Allen Emerson, Jai Srinivasan Branching time temporal logic. Search on Bibsonomy REX Workshop The full citation details ... 1988 DBLP  DOI  BibTeX  RDF Modal and Temporal Logic: Branching time temporal logic, linear time temporal logic, model checking - Logics of Programs: Reasoning about concurrent programs, specification of and reasoning about fairness - Software Engineering: Specification techniques, automated verification techniques - Computational Complexity, Automata Theory: Finite-state automata on infinite objects, program verification, satisfiability, decidability, expressiveness, decision procedures, dynamic logics, tree automata, axiomatics, program specification, mechanical synthesis
14Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
14Masafumi Okada, Jun Takeishi Kineto-static mechanical synthesis for nonlinear property design of passive stiffness using closed kinematic chain. Search on Bibsonomy IROS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
14Davy Capera, Gauthier Picard, Marie-Pierre Gleizes, Pierre Glize A Sample Application of ADELFE Focusing on Analysis and Design The Mechanical Synthesis Problem. Search on Bibsonomy ESAW The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
14Davy Capera Mechanical Synthesis Solver. Search on Bibsonomy Tech. Sci. Informatiques The full citation details ... 2003 DBLP  BibTeX  RDF
12Paul C. Attie, E. Allen Emerson Synthesis of concurrent programs for an atomic read/write model of computation. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF specification, temporal logic, concurrent programs, program synthesis, atomic registers
Displaying result #1 - #8 of 8 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license