Massimo Narizzano
Orcid: 0000-0002-0268-4843
According to our database1,
Massimo Narizzano
authored at least 44 papers
between 2001 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
Proceedings of the 37th ECMS International Conference on Modelling and Simulation, 2023
2021
Proceedings of the Handbook of Satisfiability - Second Edition, 2021
2020
Proceedings of the NASA Formal Methods - 12th International Symposium, 2020
2019
Innov. Syst. Softw. Eng., 2019
Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019
Proceedings of the 6th International Workshop on Requirements Engineering and Testing, 2019
2018
Consistency of Property Specification Patterns with Boolean and Constrained Numerical Signals.
Proceedings of the NASA Formal Methods - 10th International Symposium, 2018
2017
Robotics Auton. Syst., 2017
Retrospective evaluation and SEEG trajectory analysis for interactive multi-trajectory planner assistant.
Int. J. Comput. Assist. Radiol. Surg., 2017
BMC Bioinform., 2017
2016
Fundam. Informaticae, 2016
Proceedings of the AI*IA 2016: Advances in Artificial Intelligence - XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29, 2016
2015
Automatic segmentation of deep intracerebral electrodes in computed tomography scans.
BMC Bioinform., 2015
Proceedings of the 10th IEEE/ACM International Workshop on Automation of Software Test, 2015
Proceedings of the 22nd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2015 (RCRA 2015) A workshop of the XIV International Conference of the Italian Association for Artificial Intelligence (AI*IA 2015), 2015
2011
2010
Using Bounded Model Checking for Coverage Analysis of Safety-Critical Software in an Industrial Setting.
J. Autom. Reason., 2010
Proceedings of the Theory and Applications of Satisfiability Testing, 2010
Proceedings of the 6th International Verification Workshop, 2010
2009
Proceedings of the Handbook of Satisfiability, 2009
AI Commun., 2009
Proceedings of the Theory and Applications of Satisfiability Testing, 2009
Proceedings of the 2009 International Conference on High Performance Computing & Simulation, 2009
Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009
Proceedings of the Computer Aided Systems Theory, 2009
Proceedings of the 16th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, 2009
Proceedings of the 16th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, 2009
2008
Proceedings of the 15th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, 2008
2007
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2007
Proceedings of the AI*IA 2007: Artificial Intelligence and Human-Oriented Computing, 2007
2006
Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas.
J. Artif. Intell. Res., 2006
Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006
2004
Proceedings of the Theory and Applications of Satisfiability Testing, 2004
Proceedings of the Formal Methods in Computer-Aided Design, 5th International Conference, 2004
Proceedings of the Principles and Practice of Constraint Programming, 2004
2003
Proceedings of the Theory and Applications of Satisfiability Testing, 2003
2002
Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 28, 2002
2001
Electron. Notes Discret. Math., 2001
Proceedings of the Automated Reasoning, First International Joint Conference, 2001
An Analysis of Backjumping and Trivial Truth in Quantified Boolean Formulas Satisfiability.
Proceedings of the AI*IA 2001: Advances in Artificial Intelligence, 2001