• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 42 matches

• 2012
• 
  Stefan Hennig:
  Design of sustainable solutions for process visualization in industrial automation with model-driven software development. Dresden University of Technology, Vogt 2012, ISBN 978-3-938860-49-6
• 
  François Christophe:
  Semantics and Knowledge Engineering for Requirements and Synthesis in Conceptual Design: Towards the Automation of Requirements Clarification and the Synthesis of Conceptual Design Solutions. École centrale de Nantes, France, 2012
• 
  Qiang Ma:
  Routing algorithms for electronic design automation. University of Illinois Urbana-Champaign, USA, 2012
• 
  Alexandros Papakonstantinou:
  High-level automation of custom hardware design for high-performance computing. University of Illinois Urbana-Champaign, USA, 2012
• 
  Kristian Amadori, Mehdi Tarkian, Johan Ölvander, Petter Krus:
  Flexible and robust CAD models for design automation. Adv. Eng. Informatics 26(2): 180-195 (2012)
• 
  Krishnendu Chakrabarty:
  Looking ahead at the role of electronic design automation in synthetic biology [From the EIC]. IEEE Des. Test Comput. 29(3): 4 (2012)
• 
  Douglas Densmore, Soha Hassoun:
  Design Automation for Synthetic Biological Systems. IEEE Des. Test Comput. 29(3): 7-20 (2012)
• 
  Dessislava Petrova-Antonova, Sylvia Ilieva, Ilina Manova, Denitsa Manova:
  Towards Automation Design Time Testing of Web Service Compositions. e Informatica Softw. Eng. J. 6(1): 61-70 (2012)
• 
  Natasha Merat, John D. Lee:
  Preface to the Special Section on Human Factors and Automation in Vehicles: Designing Highly Automated Vehicles With the Driver in Mind. Hum. Factors 54(5): 681-686 (2012)
• 
  Vyasa Sai, Ajay Ogirala, Marlin H. Mickle:
  Implementation of an Asynchronous Low-Power Small-Area Passive Radio Frequency Identification Design Using Synchronous Tools for Automation Applications. J. Low Power Electron. 8(4): 509-515 (2012)
• 
  Shane Stelmach, Kaijian Shi, Anthony Hill:
  Automation of Switch Insertion and Power Network Generation in 28 nm Power-Switched Designs. J. Low Power Electron. 8(5): 739-745 (2012)
• 
  Prodromos Chatziagorakis, Georgios Ch. Sirakoulis, John N. Lygouras:
  Design automation of cellular neural networks for data fusion applications. Microprocess. Microsystems 36(1): 33-44 (2012)
• 
  Ali Jafari, Ehsan Bijami, Hasan Rekabi Bana, Saeed Sadri:
  A design automation system for CMOS analog integrated circuits using New Hybrid Shuffled Frog Leaping Algorithm. Microelectron. J. 43(11): 908-915 (2012)
• 
  Éamonn Linehan, Eamonn O'Toole, Siobhán Clarke:
  Model-driven automation for simulation-based functional verification. ACM Trans. Design Autom. Electr. Syst. 17(3): 31:1-31:25 (2012)
• 
  Steven Braun, Martin Obermeier, Birgit Vogel-Heuser:
  Usability challenges in the design workflow of reusable PLC software for machine and plant automation. SSD 2012: 1-6
• 
  Tim Todman, Wayne Luk:
  Reconfigurable Design Automation by High-Level Exploration. ASAP 2012: 185-188
• 
  Qiuling Zhu, Kaushik Vaidyanathan, Ofer Shacham, Mark Horowitz, Larry T. Pileggi, Franz Franchetti:
  Design Automation Framework for Application-Specific Logic-in-Memory Blocks. ASAP 2012: 125-132
• 
  Chang-Hyun Park, Byunggi Pyo, Dong-Hoon Choi:
  Design automation of valve gate locations and open timing for injection molding of an automotive instrument panel. CASE 2012: 843-845
• 
  Michael G. Khazhinsky, Shuqing Cao, Harald Gossner, Gianluca Boselli, Melanie Etherton:
  Electronic design automation (EDA) solutions for ESD-robust design and verification. CICC 2012: 1-8
• 
  Gilles Barthe, Benjamin Grégoire, César Kunz, Yassine Lakhnech, Santiago Zanella Béguelin:
  Automation in Computer-Aided Cryptography: Proofs, Attacks and Designs. CPP 2012: 7-8
• 
  Soha Hassoun:
  Genetic/bio design automation for (re-)engineering biological systems. DATE 2012: 242-247
• 
  Krzysztof Siwiec, Tomasz Borejko, Witold A. Pleskacz:
  LC-VCO design automation tool for nanometer CMOS technology. DDECS 2012: 68-73
• 
  Yves Gendrault, Morgan Madec, Vincent Wlotzko, Martin Andraud, Christophe Lallement, Jacques Haiech:
  Using digital electronic design flow to create a Genetic Design Automation tool. EMBC 2012: 5530-5533
• 
  Karin Eckert, Alexander Fay, Thomas Hadlich, Christian Diedrich, Timo Frank, Birgit Vogel-Heuser:
  Design patterns for distributed automation systems with consideration of non-functional requirements. ETFA 2012: 1-9
• 
  Sergio Gusmeroli, Salvatore Piccione, Domenico Rotondi:
  IoT@Work automation middleware system design and architecture. ETFA 2012: 1-8
• 
  Petr Novák, Radek Sindelár:
  Semantic design and integration of simulation models in the industrial automation area. ETFA 2012: 1-8
• 
  Sebastian Ulewicz, Daniel Schütz, Birgit Vogel-Heuser:
  Design, implementation and evaluation of a hybrid approach for software agents in automation. ETFA 2012: 1-4
• 
  Adam M. Smith, Erik Andersen, Michael Mateas, Zoran Popovic:
  A case study of expressively constrainable level design automation tools for a puzzle game. FDG 2012: 156-163
• 
  Natasa Miskov-Zivanov, James R. Faeder, Chris J. Myers, Herbert M. Sauro:
  Modeling and design automation of biological circuits and systems. ICCAD 2012: 291-293
• 
  Jürgen Rossmann, Michael Schluse, Christian Schlette, Ralf Waspe:
  Control by 3D Simulation - A New eRobotics Approach to Control Design in Automation. ICIRA (2) 2012: 186-197

skipping 12 more matches