Silvio Ranise

发表

Cesare Tinelli, Silvio Ranise, C. Tinelli, 2005 .
C. Tinelli, Silvio Ranise, 2003 .
Silvio Ghilardi, Silvio Ranise, Alessandro Carioni, 2013, Int. J. Found. Comput. Sci..
Silvio Ranise, S. Ghilardi, 2010 .
Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, 2006, Inf. Comput..
Maria Paola Bonacina, Alessandro Armando, Silvio Ranise, 2002 .
Silvio Ranise, D. Déharbe, Abdessamad Imine, 2004 .
Silvio Ranise, David Déharbe, Silvio Ranise, 2002 .
Silvio Ranise, A. Siena, G. Abbiati, 2021, Frontiers in Big Data.
Silvio Ranise, Salvatore Manfredi, Matteo Rizzi, 2022, CODASPY.
Silvio Ranise, Harendra Subedi, I. Popova, 2020 .
N. Sharygina, Silvio Ranise, Roberto Bruttomesso, 2014, Formal Methods Syst. Des..
Fabrice Bouquet, Bruno Legeard, Calogero G. Zarba, 2005 .
Silvio Ranise, Salvatore Manfredi, Matteo Rizzi, 2022, SACMAT.
Silvio Ranise, 2012, Formal Methods in System Design.
Silvio Ranise, David Déharbe, Jorgiano Vidal, 2008, Journal of the Brazilian Computer Society.
Silvio Ranise, David Déharbe, Jorgiano Vidal, 2007, SBMF.
Mauro Conti, Silvio Ranise, Md Masoom Rabbani, 2020, IEEE Transactions on Information Forensics and Security.
Silvio Ghilardi, Silvio Ranise, Alessandro Carioni, 2011, RP.
Silvio Ranise, Silvio Ranise, Silvio Ranise, 2007 .
Maria Paola Bonacina, Alessandro Armando, Silvio Ranise, 2006, TOCL.
Silvio Ranise, Christelle Scharff, Silvio Ranise, 2007, ICTAC.
Michaël Rusinowitch, Alessandro Armando, Silvio Ranise, 2001, CSL.
Silvio Ranise, Giada Sciarretta, Salvatore Manfredi, 2019, DBSec.
Tahir Ahmad, Silvio Ranise, Nicola Zannone, 2018, SACMAT.
Vipin Swarup, Silvio Ranise, Silvio Ranise, 2016, Lecture Notes in Computer Science.
Hélène Kirchner, Christophe Ringeissen, Silvio Ranise, 2010, J. Symb. Comput..
Silvio Ranise, Roberto Carbone, Giada Sciarretta, 2020, ACM Trans. Priv. Secur..
Chiara Ghidini, Silvio Ranise, Riccardo De Masellis, 2015, STM.
Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, 2005, CAV.
Alessandro Armando, Silvio Ranise, Roberto Carbone, 2017, Comput. Secur..
Silvio Ranise, Roberto Carbone, Giada Sciarretta, 2016, 2016 IEEE 2nd International Forum on Research and Technologies for Society and Industry Leveraging a better tomorrow (RTSI).
Alessandro Armando, Silvio Ranise, Roberto Carbone, 2016, SECRYPT.
Christophe Ringeissen, Silvio Ranise, Duc-Khanh Tran, 2004, ICTAC.
Jerry den Hartog, Silvio Ranise, Nicola Zannone, 2017, Comput. Secur..
Alessandro Armando, Silvio Ranise, Luca Compagna, 2005, Mechanizing Mathematical Reasoning.
Mauro Conti, Silvio Ranise, Md Masoom Rabbani, 2018, 2018 14th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob).
Raúl A. Santelices, William G. J. Halfond, Michael L. Collard, 2009, 2022 IEEE PES/IAS PowerAfrica.
Christophe Ringeissen, Pascal Fontaine, Silvio Ranise, 2006, ICTAC.
Christophe Ringeissen, Silvio Ranise, Duc-Khanh Tran, 2011, Inf. Comput..
Silvio Ranise, David Déharbe, Silvio Ranise, 2009, International Journal on Software Tools for Technology Transfer.
Silvio Ghilardi, Silvio Ranise, Enrica Nicolini, 2007, FroCoS.
Silvio Ghilardi, Silvio Ranise, Enrica Nicolini, 2007, Annals of Mathematics and Artificial Intelligence.
Hélène Kirchner, Christophe Ringeissen, Silvio Ranise, 2006, LPAR.
Maria Paola Bonacina, Silvio Ghilardi, Silvio Ranise, 2006, IJCAR.
Hélène Kirchner, Christophe Ringeissen, Silvio Ranise, 2005, ICTAC.
Silvio Ranise, Abdessamad Imine, David Déharbe, 2004, AISC.
Silvio Ranise, David Déharbe, Silvio Ranise, 2003, First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings..
Michaël Rusinowitch, Alessandro Armando, Silvio Ranise, 2003, Inf. Comput..
Silvio Ranise, David Déharbe, Silvio Ranise, 2003, FTP.
Cesare Tinelli, Silvio Ranise, Aaron Stump, 2010, Haifa Verification Conference.
Claus Pahl, Silvio Ranise, Nabil El Ioini, 2021, 2021 IEEE International Conference on Smart Data Services (SMDS).
Fausto Giunchiglia, Alessandro Armando, Silvio Ranise, 2001, J. Symb. Comput..
Silvio Ghilardi, Silvio Ranise, Silvio Ranise, 2010, Log. Methods Comput. Sci..
Silvio Ghilardi, Silvio Ranise, Enrica Nicolini, 2007, CADE.
Silvio Ranise, Md Masoom Rabbani, Riccardo Lazzeretti, 2020, IEEE Communications Surveys & Tutorials.
Silvio Ranise, Daniel Ricardo dos Santos, Silvio Ranise, 2017, ArXiv.
Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise, 2012, Log. Methods Comput. Sci..
Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise, 2011, RTA.
Christophe Ringeissen, Silvio Ranise, Duc-Khanh Tran, 2007, FroCoS.
Alessandro Armando, Erica Melis, Silvio Ranise, 1998, AIMSA.
Silvio Ghilardi, Silvio Ranise, Enrica Nicolini, 2007, Deduction and Decision Procedures.
Anderson Santana de Oliveira, Salimeh Dashti, Silvio Ranise, 2021, SECRYPT.
M. Rusinowitch, A. Armando, Silvio Ranise, 2001, CSL.
Salimeh Dashti, Silvio Ranise, Silvio Ranise, 2019, Privacy and Identity Management.
Jean-François Couchot, Alain Giorgetti, Frédéric Dadeau, 2004, WMF.
Jean-François Couchot, Alain Giorgetti, Silvio Ranise, 2003, J. Braz. Comput. Soc..
Biniam Fisseha Demissie, Silvio Ranise, 2021, 2021 IEEE International Conference on Smart Data Services (SMDS).
Clara Bertolissi, Silvio Ranise, Daniel Ricardo dos Santos, 2018, SACMAT.
Silvio Ranise, Daniel Ricardo dos Santos, Serena Elisa Ponta, 2016, SACMAT.
Silvio Ranise, Luca Compagna, Daniel Ricardo dos Santos, 2016, TACAS.
Silvio Ranise, Daniel Ricardo dos Santos, Serena Elisa Ponta, 2015, ArXiv.
Silvio Ranise, Luca Compagna, Daniel Ricardo dos Santos, 2015, DBSec.
Silvio Ranise, Luca Compagna, Daniel Ricardo dos Santos, 2017, J. Comput. Secur..
Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise, 2014, ACM Trans. Comput. Log..
Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise, 2012, IJCAR.
Calogero G. Zarba, Silvio Ranise, Silvio Ranise, 2006, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06).
Calogero G. Zarba, Pascal Fontaine, Silvio Ranise, 2005, LPAR.
Silvio Ranise, R. Carbone, Giada Sciarretta, 2022, Applied Sciences.
M. Rusinowitch, A. Armando, Silvio Ranise, 2001, CSL.
Alessandro Armando, Silvio Ranise, Anh Tuan Truong, 2014, SACMAT '14.
Luca Viganò, Silvio Ranise, Alberto Calvi, 2010, 2010 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.