io-port 06097224 Tiwari, Ananta; Laurenzano, Michael A.; Carrington, Laura; Snavely, Allan

Alexander, Michael (ed.) et al., Euro-Par 2011: Parallel processing workshops. CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29‒September 2, 2011. Revised selected papers, Part II. Berlin: Springer (ISBN 978-3-642-29739-7/pbk). Lecture Notes in Computer Science 7156, 178-187 (2012).

io-port 06080391 Durugbo, Christopher; Tiwari, Ashutosh; Alcock, Jeffrey R.

Cox, Philip (ed.) et al., Diagrammatic representation and inference. 7th international conference, Diagrams 2012, Canterbury, UK, July 2‒6, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31222-9/pbk). Lecture Notes in Computer Science 7352. Lecture Notes in Artificial Intelligence, 315-317 (2012).

io-port 06070784 Tiwari, Ashish

Madhusudan, P. (ed.) et al., Computer aided verification. 24th international conference, CAV 2012, Berkeley, CA, USA, July 7‒13, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31423-0/pbk). Lecture Notes in Computer Science 7358, 725-731 (2012).

io-port 06070755 Zutshi, Aditya; Sankaranarayanan, Sriram; Tiwari, Ashish

Madhusudan, P. (ed.) et al., Computer aided verification. 24th international conference, CAV 2012, Berkeley, CA, USA, July 7‒13, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31423-0/pbk). Lecture Notes in Computer Science 7358, 343-361 (2012).

io-port 06039862 Tiwari, Ashish (ed.)

LIPICS ‒ Leibniz International Proceedings in Informatics 15. Wadern: Schloss Dagstuhl ‒ Leibniz Zentrum für Informatik (ISBN 978-3-939897-38-5). xiii, 354~p., electronic. (2012).

io-port 06065873 Singh, Alpna; Tiwari, Aruna; Naegi, Sujata

Panigrahi, Bijaya Ketan (ed.) et al., Swarm, evolutionary, and memetic computing. Second international conference, SEMCCO 2011, Visakhapatnam, Andhra Pradesh, India, December 19‒21, 2011. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-27171-7/pbk). Lecture Notes in Computer Science 7076, 550-558 (2011).

io-port 06027823 Tiwari, Ashish

Schmid-Schauß, Manfred (ed.), 22nd international conference on rewriting techniques and applications (RTA 2011), Novi Sad, Serbia, May 30 ‒ June 1, 2011. Wadern: Schloss Dagstuhl ‒ Leibniz Zentrum für Informatik (ISBN 978-3-939897-30-9). LIPICS ‒ Leibniz International Proceedings in Informatics 10, 3-8, electronic only (2011).

io-port 05940754 Sankaranarayanan, Sriram; Tiwari, Ashish

Gopalakrishnan, Ganesh (ed.) et al., Computer aided verification. 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14‒20, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22109-5/pbk). Lecture Notes in Computer Science 6806, 686-702 (2011).

io-port 05911361 Durugbo, Christopher; Hutabarat, Windo; Tiwari, Ashutosh; Alcock, Jeffrey R.

Inf. Sci. 181, No. 15, 3143-3161 (2011).

io-port 05908712 Tiwari, Ashish

Ong, Luke (ed.), Typed lambda calculi and applications. 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1‒3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21690-9/pbk; 978-3-642-21691-6/ebook). Lecture Notes in Computer Science 6690, 6-8 (2011).

io-port 05905676 Saxena, Dhish Kumar; Zhang, Qingfu; Duro, João A.; Tiwari, Ashutosh

Takahashi, Ricardo H. C. (ed.) et al., Evolutionary multi-criterion optimization. 6th international conference, EMO 2011, Ouro Preto, Brazil, April 5‒8, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-19892-2/pbk). Lecture Notes in Computer Science 6576, 197-211 (2011).

io-port 05894318 Jha, Susmit; Seshia, Sanjit A.; Tiwari, Ashish

Comput. Res. Repos. 2011, Article No. 1103.0800 (2011).

io-port 50028492 Adeogun, O.; Tiwari, Ashutosh; Alcock, Jeffrey R.

I. J. Medical Informatics 80, No. 5, 359-370 (2011).

io-port 50046741 Farnsworth, Michael; Benkhelifa, Elhadj; Tiwari, Ashutosh; Zhu, Meiling; Moniri, Mansour

Memetic Computing 3, No. 3, 175-197 (2011).

io-port 50235581 Tiwari, Ananta; Hollingsworth, Jeffrey K.; Chen, Chun; Hall, Mary W.; Liao, Chunhua; Quinlan, Daniel J.; Chame, Jacqueline

IJHPCA 25, No. 3, 286-294 (2011).

io-port 50271191 Askar, Sameh S.; Tiwari, Ashutosh

IEEE Transactions on Systems, Man, and Cybernetics, Part C 41, No. 4, 554-559 (2011).

io-port 70034125 Tiwari, Ashish

TLCA, 6-8 (2011).

io-port 70059396 Gulwani, Sumit; Jha, Susmit; Tiwari, Ashish; Venkatesan, Ramarathnam

PLDI, 62-73 (2011).

io-port 70059743 Gulwani, Sumit; Korthikanti, Vijay Anand; Tiwari, Ashish

PLDI, 50-61 (2011).

io-port 70112043 Jha, Susmit; Seshia, Sanjit A.; Tiwari, Ashish

EMSOFT, 107-116 (2011).