PiSQRD: a web server for decomposing proteins into quasi-rigid dynamical domains. - Tyanko Aleksiev; Raffaello Potestio; Francesco Pontiggia; Stefano Cozzini; Cristian Micheletti (Bioinform., 2009)

ALADYN: a web server for aligning proteins by matching their large-scale motion. - Raffaello Potestio; Tyanko Aleksiev; Francesco Pontiggia; Stefano Cozzini; Cristian Micheletti (Nucleic Acids Res., 2010)

Verification of Programs with Exceptions Through Operator Precedence Automata. - Francesco Pontiggia; Michele Chiari; Matteo Pradella (SEFM, 2021)

Deductive Controller Synthesis for Probabilistic Hyperproperties. - Roman Andriushchenko; Ezio Bartocci; Milan Ceska 002; Francesco Pontiggia; Sarah Sallinger (QEST, 2023)

Artifact supplement for "Deductive Controller Synthesis for Probabilistic Hyperproperties". - Roman Andriushchenko; Ezio Bartocci; Milan Ceska 002; Francesco Pontiggia; Sarah Sallinger (Zenodo, 2023)

Artifact supplement for "Deductive Controller Synthesis for Probabilistic Hyperproperties". - Roman Andriushchenko; Ezio Bartocci; Milan Ceska 002; Francesco Pontiggia; Sarah Sallinger (Zenodo, 2023)

Artifact supplement for "Deductive Controller Synthesis for Probabilistic Hyperproperties". - Roman Andriushchenko; Ezio Bartocci; Milan Ceska 002; Francesco Pontiggia; Sarah Sallinger (Zenodo, 2023)

Artifact supplement for "Deductive Controller Synthesis for Probabilistic Hyperproperties". - Roman Andriushchenko; Ezio Bartocci; Milan Ceska 002; Francesco Pontiggia; Sarah Sallinger (Zenodo, 2023)

Artifact supplement for "Deductive Controller Synthesis for Probabilistic Hyperproperties". - Roman Andriushchenko; Ezio Bartocci; Milan Ceska 002; Francesco Pontiggia; Sarah Sallinger (Zenodo, 2023)

A Model Checker for Operator Precedence Languages. - Michele Chiari; Dino Mandrioli; Francesco Pontiggia; Matteo Pradella (ACM Trans. Program. Lang. Syst., 2023)

Model Checking Recursive Probabilistic Programs with Conditioning. - Francesco Pontiggia; Ezio Bartocci; Michele Chiari (CoRR, 2024)

POPACheck: A Model Checker for Probabilistic Pushdown Automata. - Francesco Pontiggia; Ezio Bartocci; Michele Chiari (CAV (2), 2025)

Decentralized Planning Using Probabilistic Hyperproperties. - Francesco Pontiggia; Filip Macák; Roman Andriushchenko; Michele Chiari; Milan Ceska 002 (AAMAS, 2025)