The SCEAS System
Navigation Menu

Conferences in DBLP

IFIP WG5.2 Publications (ifip5-2)
1994 (conf/ifip5-2/1994)

  1. L. K. Alberts
    A sharable ontology for the formal representation of engineering-design knowledge. [Citation Graph (0, 0)][DBLP]
    Formal Design Methods for CAD, 1994, pp:3-32 [Conf]
  2. Enn Tyugu
    Attribute models of design objects. [Citation Graph (0, 0)][DBLP]
    Formal Design Methods for CAD, 1994, pp:33-44 [Conf]
  3. Ö. Akin
    Formal representation of meaning in architecture. [Citation Graph (0, 0)][DBLP]
    Formal Design Methods for CAD, 1994, pp:45-58 [Conf]
  4. L. K. Alberts
    Discussion: What is a formal representation and what is it good for?. [Citation Graph (0, 0)][DBLP]
    Formal Design Methods for CAD, 1994, pp:59-70 [Conf]
  5. Christopher N. Carlson
    A tutorial introduction to grammatical programming. [Citation Graph (0, 0)][DBLP]
    Formal Design Methods for CAD, 1994, pp:73-84 [Conf]
  6. Jeff Heisserman, Robert Woodbury
    Geometric design with boundary solid grammars. [Citation Graph (0, 0)][DBLP]
    Formal Design Methods for CAD, 1994, pp:85-105 [Conf]
  7. Shen-Guan Shih, Gerhard Schmitt
    The use of post interpretation for grammar-based generative systems. [Citation Graph (0, 0)][DBLP]
    Formal Design Methods for CAD, 1994, pp:107-120 [Conf]
  8. Christopher N. Carlson
    Discussion: Design space description formalisms. [Citation Graph (0, 0)][DBLP]
    Formal Design Methods for CAD, 1994, pp:121-134 [Conf]
  9. K. N. Brown, Chris A. McMahon, J. H. Sims Williams
    A formal language for the design of manufacturable objects. [Citation Graph (0, 0)][DBLP]
    Formal Design Methods for CAD, 1994, pp:135-155 [Conf]
  10. K. Andersson
    A vocabulary for conceptual design. [Citation Graph (0, 0)][DBLP]
    Formal Design Methods for CAD, 1994, pp:157-171 [Conf]
  11. Jonathan Cagan, William J. Mitchell
    A grammatical approach to network flow synthesis. [Citation Graph (0, 0)][DBLP]
    Formal Design Methods for CAD, 1994, pp:173-189 [Conf]
  12. Jonathan Cagan
    Discussion: Research issues in the application of design grammars. [Citation Graph (0, 0)][DBLP]
    Formal Design Methods for CAD, 1994, pp:191-198 [Conf]
  13. Mihaly Lenart, Peter Padawitz, Ana Pasztor
    Formal specification for design automation. [Citation Graph (0, 0)][DBLP]
    Formal Design Methods for CAD, 1994, pp:201-220 [Conf]
  14. H. Takeda
    Abduction for design. [Citation Graph (0, 0)][DBLP]
    Formal Design Methods for CAD, 1994, pp:221-243 [Conf]
  15. Mary Lou Maher, S. Kundu
    Adaptive design using a genetic algorithm. [Citation Graph (0, 0)][DBLP]
    Formal Design Methods for CAD, 1994, pp:245-262 [Conf]
  16. James Bowen, Dennis Bahler
    A constraint-based approach to supporting human negotiation in concurrent engineering. [Citation Graph (0, 0)][DBLP]
    Formal Design Methods for CAD, 1994, pp:263-281 [Conf]
  17. Ö. Akin
    Discussion: Research issues. [Citation Graph (0, 0)][DBLP]
    Formal Design Methods for CAD, 1994, pp:283-290 [Conf]
  18. Tim Smithers, David Corne, Peter Ross
    On computing exploration and solving design problems. [Citation Graph (0, 0)][DBLP]
    Formal Design Methods for CAD, 1994, pp:293-313 [Conf]
  19. John S. Gero
    Towards a model of exploration in computer-aided design. [Citation Graph (0, 0)][DBLP]
    Formal Design Methods for CAD, 1994, pp:315-336 [Conf]
  20. Tim Smithers
    Research issues. [Citation Graph (0, 0)][DBLP]
    Formal Design Methods for CAD, 1994, pp:337-350 [Conf]
  21. John S. Gero
    Formal design methods for computer-aided design. [Citation Graph (0, 0)][DBLP]
    Formal Design Methods for CAD, 1994, pp:353-359 [Conf]
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