Alessandro Pinto

发表

Igor Cherepinsky, Sikorsky Aircraft Corp., Alessandro Pinto, 2012 .

Sandor Becz, Hayden M. Reeve, Andrzej Banaszuk, 2010 .

Alberto L. Sangiovanni-Vincentelli, Alessandro Pinto, A. Sangiovanni-Vincentelli, 2017, Syst. Eng..

Luca P. Carloni, Francesco Leonardi, Alessandro Pinto, 2009, 2009 Design, Automation & Test in Europe Conference & Exhibition.

Ratnesh Kumar, Alessandro Pinto, Songyan Xu, 2009, 2009 IEEE International Conference on Automation Science and Engineering.

Ratnesh Kumar, Alessandro Pinto, Songyan Xu, 2013, IEEE Transactions on Automation Science and Engineering.

Alberto Speranzon, Amit Surana, Alessandro Pinto, 2014, 2014 IEEE International Conference on Robotics and Automation (ICRA).

Alberto Sangiovanni-Vincentelli, Mehdi Maasoumy, Alessandro Pinto, 2014 .

Alessandro Pinto, Amit Surana, A. Pinto, 2010, 2010 48th Annual Allerton Conference on Communication, Control, and Computing (Allerton).

Luca P. Carloni, Andrew B. Kahng, Puneet Sharma, 2008, 2008 Asia and South Pacific Design Automation Conference.

Calin Belta, Morteza Lahijanian, Xu Chu Ding, 2011, ArXiv.

Susmit Jha, Vasumathi Raman, Alessandro Pinto, 2018, Journal of Automated Reasoning.

Edward A. Lee, Alessandro Pinto, Dai Bui, 2009 .

Carlo Fischione, Alberto L. Sangiovanni-Vincentelli, Alessandro Pinto, 2008, IEEE GLOBECOM 2008 - 2008 IEEE Global Telecommunications Conference.

Xu Chu Ding, Amit Surana, Alessandro Pinto, 2013, 2013 IEEE International Conference on Robotics and Automation.

Sudha Krishnamurthy, Alessandro Pinto, A. Pinto, 2010, 2010 48th Annual Allerton Conference on Communication, Control, and Computing (Allerton).

Luca P. Carloni, Andrew B. Kahng, Puneet Sharma, 2010, IEEE Transactions on Very Large Scale Integration (VLSI) Systems.

Marin Kobilarov, Andrzej Banaszuk, Alberto Speranzon, 2011, Annu. Rev. Control..

Alessandro Pinto, A. Pinto, 2019, 2019 IEEE International Conference on Embedded Software and Systems (ICESS).

Alessandro Pinto, George Mathew, 2010, 2010 48th Annual Allerton Conference on Communication, Control, and Computing (Allerton).

Susmit Jha, Vasumathi Raman, Alessandro Pinto, 2017, NFM.

S. Shankar Sastry, Jonathan Sprinkle, Alessandro Pinto, 2005 .

Alessandro Pinto, George Mathew, 2011 .

Subbarao Kambhampati, Tathagata Chakraborti, Siddharth Srivastava, 2017, ArXiv.

Luca P. Carloni, Alberto Sangiovanni-Vincentelli, Alessandro Pinto, 2008 .

Amit Bhatia, Alessandro Pinto, Zamira Daw Perez, 2017 .

Sudha Krishnamurthy, Alessandro Pinto, Suresh Kannan, 2010, 2010 IEEE International Conference on Automation Science and Engineering.

Haifeng Zhu, Kaushik Sinha, Olivier L. de Weck, 2011 .

Alessandro Pinto, George Mathew, 2011, IEEE Conference on Decision and Control and European Control Conference.

Stuart J. Russell, Siddharth Srivastava, Alessandro Pinto, 2016, AAAI.

Luca P. Carloni, Francesco Leonardi, Alessandro Pinto, 2011, 2011 IEEE/ACM Second International Conference on Cyber-Physical Systems.

Amit Bhatia, Alessandro Pinto, A. Pinto, 2021, AAAI Spring Symposium: Combining Machine Learning with Knowledge Engineering.

Alessandro Pinto, A. Pinto, 2021, 2021 58th ACM/IEEE Design Automation Conference (DAC).

Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Alessandro Pinto, 2007 .