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

Ashish Tiwari (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


72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSusmit Jha, Sanjit A. Seshia, Ashish Tiwari: Synthesis of optimal switching logic for hybrid systems. EMSOFT 2011: 107-116
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSusmit Jha, Sanjit A. Seshia, Ashish Tiwari: Synthesizing Switching Logic to Minimize Long-Run Cost CoRR abs/1103.0800: (2011)
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSusmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari: Synthesizing switching logic for safety and dwell-time requirements. ICCPS 2010: 22-31
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSusmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari: Oracle-guided component-based program synthesis. ICSE (1) 2010: 215-224

Selection of 4 from 78 records - Ashish Tiwari has 62 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