Pubblicazioni

Elucidation of the mechanisms governing the thermal diastereomerization of bioactive chiral 1,3,4-thiadiazoline spiro-cyclohexyl derivatives towards their anancomeric stereoisomers

2016 - RSC ADVANCES

Menta, Sergio; Carradori, S.; Siani, G.; Secci, Daniela; Mannina, Luisa; Sobolev, A. P.; Cirilli, R; Pierini, Marco

On the proof complexity of Paris-harrington and off-diagonal ramsey tautologies

2016 - ACM TRANSACTIONS ON COMPUTATIONAL LOGIC

Carlucci, Lorenzo; Galesi, Nicola; Lauria, Massimo

Surveiyng Iilusory architectures painted on vaulted surfaces

2016 -

Salvatore, Marta; Mancini, MATTEO FLAVIO

Narrow proofs may be maximally long

2016 - ACM TRANSACTIONS ON COMPUTATIONAL LOGIC

Atserias, Albert; Lauria, Massimo; NordstrÃ¶m, Jakob

Etracorporeal shock wave therapy: an emerging treatment modality for retracting scars of the hands

2016 - ULTRASOUND IN MEDICINE AND BIOLOGY

Saggini, Raoul; Saggini, Andrea; Spagnoli, Anna Maria; Dodaj, Ira; Cigna, Emanuele; Maruccia, Michele; Soda, Giuseppe; Bellomo, Rosa Grazia; Scuderi, NicolÃ²