Stefano Quer
发表
Luciano Lavagno,
Gianpiero Cabodi,
Alex Kondratyev,
2004,
International Journal on Software Tools for Technology Transfer.
Gianpiero Cabodi,
Sergio Nocco,
Stefano Quer,
2008,
TODE.
Cristina Silvano,
Enrico Macii,
Massimo Poncino,
1997
.
Gianpiero Cabodi,
Stefano Quer,
Paolo Pasini,
2014,
2014 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Stefano Quer,
Andrea Calabrese,
2020
.
Gianpiero Cabodi,
Stefano Quer,
Paolo Camurati,
1999
.
Gianpiero Cabodi,
Sergio Nocco,
Stefano Quer,
2009,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Gianpiero Cabodi,
Stefano Quer,
Paolo Camurati,
1996,
Proceedings of International Conference on Computer Aided Design.
Robert K. Brayton,
Luciano Lavagno,
Gianpiero Cabodi,
1996,
Proceedings EURO-DAC '96. European Design Automation Conference with EURO-VHDL '96 and Exhibition.
Gianpiero Cabodi,
Stefano Quer,
Paolo Camurati,
2000,
J. Syst. Archit..
Gianpiero Cabodi,
Stefano Quer,
Paolo Camurati,
2016,
Softw. Pract. Exp..
Enrico Macii,
Sara Vinco,
Stefano Quer,
2020,
Energies.
Sergio Nocco,
Stefano Quer,
Viviana Bruno,
2008,
J. Satisf. Boolean Model. Comput..
Gianpiero Cabodi,
Stefano Quer,
Paolo Camurati,
1994,
Proceedings of IEEE International Symposium on Circuits and Systems - ISCAS '94.
Gianpiero Cabodi,
Stefano Quer,
Paolo Camurati,
1994,
31st Design Automation Conference.
Tatsuya Harada,
Stefano Quer,
Francesco Savarese,
2019,
ICSOFT.
Stefano Quer,
Denis Patti,
Paolo Pasini,
2013,
2013 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Gianpiero Cabodi,
Stefano Quer,
Paolo Camurati,
2000,
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Valeria Bertacco,
Stefano Quer,
Maurizio Damiani,
1999,
DAC '99.
Gianpiero Cabodi,
Stefano Quer,
Paolo Camurati,
1994,
Proceedings of 4th Great Lakes Symposium on VLSI.
Gianpiero Cabodi,
Sergio Nocco,
Stefano Quer,
2010,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Luciano Lavagno,
Gianpiero Cabodi,
Alex Kondratyev,
2003,
Electron. Notes Theor. Comput. Sci..
Massimo Poncino,
Antonio Lioy,
Gianpiero Cabodi,
1997,
CHARME.
Luciano Lavagno,
Enrico Macii,
Gianpiero Cabodi,
1996,
Proceedings International Conference on Computer Design. VLSI in Computers and Processors.
Robert K. Brayton,
Luciano Lavagno,
Gianpiero Cabodi,
2000,
Formal Methods Syst. Des..
Tatsuya Harada,
Stefano Quer,
Francesco Savarese,
2019,
ICSOFT.
Gianpiero Cabodi,
Stefano Quer,
Paolo Camurati,
1995,
Proceedings of EURO-DAC. European Design Automation Conference.
Gianpiero Cabodi,
Sergio Nocco,
Stefano Quer,
2005
.
Gianpiero Cabodi,
Stefano Quer,
Paolo Camurati,
1998,
Softw. Pract. Exp..
Gianpiero Cabodi,
Stefano Quer,
Claudio Passerone,
1999,
DATE '99.
Gianpiero Cabodi,
Stefano Quer,
Paolo Camurati,
1998,
ISCAS '98. Proceedings of the 1998 IEEE International Symposium on Circuits and Systems (Cat. No.98CH36187).
Christoph Meinel,
Anna Slobodová,
Christian Stangier,
1998,
Universität Trier, Mathematik/Informatik, Forschungsbericht.
Gianpiero Cabodi,
Stefano Quer,
Nicolas Boria,
2016,
ArXiv.
Armin Biere,
Gianpiero Cabodi,
Stefano Quer,
2014,
J. Satisf. Boolean Model. Comput..
Gianpiero Cabodi,
Sergio Nocco,
Stefano Quer,
2005,
Design, Automation and Test in Europe.
Stefano Quer,
2017
.
Gianpiero Cabodi,
Sergio Nocco,
Stefano Quer,
2007,
2007 Design, Automation & Test in Europe Conference & Exhibition.
Giovanni Squillero,
Stefano Quer,
Andrea Marcelli,
2020,
Comput..
Gianpiero Cabodi,
Sergio Nocco,
Stefano Quer,
2007
.
Valeria Bertacco,
Stefano Quer,
Maurizio Damiani,
1999,
DAC 1999.
Gianpiero Cabodi,
Sergio Nocco,
Stefano Quer,
2009,
2009 Design, Automation & Test in Europe Conference & Exhibition.
Gianpiero Cabodi,
Stefano Quer,
Paolo Camurati,
1999,
DAC '99.
Gianpiero Cabodi,
Stefano Quer,
Paolo Camurati,
1996,
Proceedings EURO-DAC '96. European Design Automation Conference with EURO-VHDL '96 and Exhibition.
Luca Benini,
Giovanni De Micheli,
Enrico Macii,
1997,
Proceedings of 1997 International Symposium on Low Power Electronics and Design.
Gianpiero Cabodi,
Stefano Quer,
Paolo Camurati,
2019
.
Stefano Quer,
S. Quer,
2016
.
Stefano Quer,
2013,
International Journal on Software Tools for Technology Transfer.
Gianpiero Cabodi,
Stefano Quer,
Denis Patti,
2017,
International Journal on Software Tools for Technology Transfer.
Luciano Lavagno,
Gianpiero Cabodi,
Alex Kondratyev,
2005
.
Gianpiero Cabodi,
Stefano Quer,
Paolo Camurati,
1999,
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Gianpiero Cabodi,
Stefano Quer,
Paolo Camurati,
1994,
Proceedings 1994 IEEE International Conference on Computer Design: VLSI in Computers and Processors.
Gianpiero Cabodi,
Stefano Quer,
Paolo Camurati,
1995,
Proceedings of ICCD '95 International Conference on Computer Design. VLSI in Computers and Processors.
Sergio Nocco,
Stefano Quer,
S. Quer,
2008,
J. Satisf. Boolean Model. Comput..
Gianpiero Cabodi,
Stefano Quer,
Paolo Camurati,
2002,
Proceedings 2002 Design, Automation and Test in Europe Conference and Exhibition.
Gianpiero Cabodi,
Stefano Quer,
G. Cabodi,
2004
.
Sabrina Corpino,
Stefano Quer,
Sergio Chiesa,
2009
.
Gianpiero Cabodi,
Stefano Quer,
Paolo Camurati,
1994,
EURO-DAC '94.
Luca Benini,
Giovanni De Micheli,
Enrico Macii,
1998,
IEEE Trans. Very Large Scale Integr. Syst..
Gianpiero Cabodi,
Stefano Quer,
Nicolas Boria,
2016,
CPM.
Gianpiero Cabodi,
Sergio Nocco,
Stefano Quer,
2011,
2011 Design, Automation & Test in Europe.
Gianpiero Cabodi,
Stefano Quer,
Paolo Camurati,
1995,
CHARME.
Gianpiero Cabodi,
Stefano Quer,
Claudio Passerone,
2000
.
Gianluca Francini,
Gianpiero Cabodi,
Stefano Quer,
2017,
J. Circuits Syst. Comput..
Gianpiero Cabodi,
Sergio Nocco,
Stefano Quer,
2005
.
Gianpiero Cabodi,
Stefano Quer,
Paolo Camurati,
1993
.
Gianpiero Cabodi,
Stefano Quer,
1999
.
Gianpiero Cabodi,
Sergio Nocco,
Stefano Quer,
2008,
2008 Formal Methods in Computer-Aided Design.
Stefano Quer,
Paolo Camurati,
Giapiero Cabodi,
1998
.
Andrea Bottino,
Stefano Quer,
Carmelo Loiacono,
2016,
Sensors.
Gianpiero Cabodi,
Stefano Quer,
Paolo Camurati,
2001,
Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001.
Luciano Lavagno,
Gianpiero Cabodi,
Stefano Quer,
1998
.
Gianpiero Cabodi,
Stefano Quer,
Paolo Camurati,
1998,
TODE.
Stefano Quer,
Alessandro Garbo,
2018,
IEEE Access.
Sergio Nocco,
Stefano Quer,
2010,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Gianpiero Cabodi,
Sergio Nocco,
Stefano Quer,
2005,
BMC@CAV.
Gianpiero Cabodi,
Sergio Nocco,
Stefano Quer,
2003,
2003 Design, Automation and Test in Europe Conference and Exhibition.
Gianpiero Cabodi,
Sergio Nocco,
Stefano Quer,
2006,
ICCAD.
Stefano Quer,
2020,
ICSOFT.
Gianpiero Cabodi,
Sergio Nocco,
Stefano Quer,
2011,
Formal Methods Syst. Des..
Fabio Somenzi,
Gianpiero Cabodi,
Stefano Quer,
2000,
Proceedings 37th Design Automation Conference.
Massimo Balestri,
Gianluca Francini,
Stefano Quer,
2015,
2015 IEEE International Conference on Multimedia & Expo Workshops (ICMEW).
Massimo Balestri,
Gianluca Francini,
Gianpiero Cabodi,
2015
.
Gianpiero Cabodi,
Sergio Nocco,
Stefano Quer,
2013,
TODE.
Gianpiero Cabodi,
Stefano Quer,
Paolo Camurati,
1994,
Proceedings., International Test Conference.
Luciano Lavagno,
Gianpiero Cabodi,
Stefano Quer,
1997,
Proceedings European Design and Test Conference. ED & TC 97.
Luciano Lavagno,
Mihai T. Lazarescu,
Gianpiero Cabodi,
2002,
15th International Symposium on System Synthesis, 2002..
Gianpiero Cabodi,
Sergio Nocco,
Stefano Quer,
2002,
CAV.
Giovanni Squillero,
Stefano Quer,
Andrea Marcelli,
2019,
ArXiv.
Luciano Lavagno,
Gianpiero Cabodi,
Stefano Quer,
1997,
DAC.
Stefano Quer,
2017
.
Gianpiero Cabodi,
Stefano Quer,
Paolo Camurati,
2002,
DAC '02.
Stefano Quer,
Alessandro Garbo,
S. Quer,
2017,
Sensors.
Gianpiero Cabodi,
Stefano Quer,
Paolo Camurati,
2001,
J. Syst. Archit..
Gianpiero Cabodi,
Sergio Nocco,
Stefano Quer,
2004,
International Journal on Software Tools for Technology Transfer.
Stefano Quer,
Luz Garcia,
S. Quer,
2021,
Sensors.
Giovanni Squillero,
Stefano Quer,
Andrea Calabrese,
2021,
ICSOFT.
Gianpiero Cabodi,
Stefano Quer,
Paolo Camurati,
1999
.
Stefano Quer,
Denis Patti,
Paolo Camurati,
2014
.
Robert K. Brayton,
Luciano Lavagno,
Gianpiero Cabodi,
1995
.