dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Walid Taha (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCherif Salama, Gregory Malecha, Walid Taha, Jim Grundy, John O'Leary: Static consistency checking for Verilog wire interconnects - Using dependent types to check the sanity of Verilog descriptions. Higher-Order and Symbolic Computation 24(1-2): 81-114 (2011)
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJennifer Gillenwater, Gregory Malecha, Cherif Salama, Angela Yun Zhu, Walid Taha, Jim Grundy, John O'Leary: Synthesizable High Level Hardware Descriptions. New Generation Comput. 28(4): 339-369 (2010)
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCherif Salama, Gregory Malecha, Walid Taha, Jim Grundy, John O'Leary: Static consistency checking for verilog wire interconnects: using dependent types to check the sanity of verilog descriptions. PEPM 2009: 121-130
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJennifer Gillenwater, Gregory Malecha, Cherif Salama, Angela Yun Zhu, Walid Taha, Jim Grundy, John O'Leary: Synthesizable high level hardware descriptions: using statically typed two-level languages to guarantee verilog synthesizability. PEPM 2008: 41-50

Selection of 4 from 54 records - Walid Taha has 61 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page