Interpolation with guided refinement: revisiting incrementality in SAT-based unbounded model checking
Cabodi, G., Camurati, P. E., Palena, M., Pasini, P.
Published in Formal methods in system design (01.04.2022)
Published in Formal methods in system design (01.04.2022)
Get full text
Journal Article
On the Defect Structure of Biaxial Nematic Droplets
Chiccoli, C, Evangelista, L R, Pasini, P, Skačej, G, Teixeira de Souza, R, Zannoni, C
Published in Scientific reports (01.02.2018)
Published in Scientific reports (01.02.2018)
Get full text
Journal Article
Logic Synthesis for Interpolant Circuit Compaction
Cabodi, G., Camurati, P. E., Palena, M., Pasini, P., Vendraminetto, D.
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.02.2019)
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.02.2019)
Get full text
Journal Article
Monte Carlo Study of Slot-waveguide Liquid Crystal Phase Shifters
Asquini, R., Chiccoli, C., d'Alessandro, A., Pasini, P., Zannoni, C.
Published in Molecular Crystals and Liquid Crystals (13.04.2019)
Published in Molecular Crystals and Liquid Crystals (13.04.2019)
Get full text
Journal Article
Analytical and computer simulation study of molecular ordering of a liquid-crystalline system in annular confinements
Vieira da Silva, B.V.H., Yednak, C.A.R., Chiccoli, C., Pasini, P., Evangelista, L.R., Teixeira de Souza, R., Zannoni, C.
Published in Journal of molecular liquids (15.10.2019)
Published in Journal of molecular liquids (15.10.2019)
Get full text
Journal Article
Molecular Ordering of Nematics Between Concentric Cylinders: Results and Perspectives
Chiccoli, C., Evangelista, L. R., Pasini, P., Teixeira de Souza, R., Zannoni, C.
Published in Molecular Crystals and Liquid Crystals (13.04.2019)
Published in Molecular Crystals and Liquid Crystals (13.04.2019)
Get full text
Journal Article
To split or to group: from divide-and-conquer to sub-task sharing for verifying multiple properties in model checking
Cabodi, G., Camurati, P. E., Loiacono, C., Palena, M., Pasini, P., Patti, D., Quer, S.
Published in International journal on software tools for technology transfer (01.06.2018)
Published in International journal on software tools for technology transfer (01.06.2018)
Get full text
Journal Article
SAT solver management strategies in IC3: an experimental approach
Cabodi, G., Camurati, P. E., Mishchenko, A., Palena, M., Pasini, P.
Published in Formal methods in system design (01.03.2017)
Published in Formal methods in system design (01.03.2017)
Get full text
Journal Article
Liquid Crystal Channel Waveguides: A Monte Carlo Investigation of the Ordering
d'Alessandro, A., Asquini, R., Chiccoli, C., Martini, L., Pasini, P., Zannoni, C.
Published in Molecular Crystals and Liquid Crystals (22.09.2015)
Published in Molecular Crystals and Liquid Crystals (22.09.2015)
Get full text
Journal Article
Computer simulation of a nematic hybrid cell: The effects of elastic anisotropy
Chiccoli, C., Evangelista, L. R., Omori, E. K., Pasini, P., Teixeira-Souza, R. T., Zannoni, C.
Published in Molecular Crystals and Liquid Crystals (24.05.2017)
Published in Molecular Crystals and Liquid Crystals (24.05.2017)
Get full text
Journal Article
Nematics with quenched disorder: what is left when long range order Is disrupted?
Bellini, T, Buscaglia, M, Chiccoli, C, Mantegazza, F, Pasini, P, Zannoni, C
Published in Physical review letters (31.07.2000)
Published in Physical review letters (31.07.2000)
Get more information
Journal Article