Francesco Pontiggia

According to our database, Francesco Pontiggia authored at least 5 papers between 2009 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

A Model Checker for Operator Precedence Languages.

Michele Chiari, Dino Mandrioli, Francesco Pontiggia, Matteo Pradella

ACM Trans. Program. Lang. Syst., September, 2023

Deductive Controller Synthesis for Probabilistic Hyperproperties.

Roman Andriushchenko, Ezio Bartocci, Milan Ceska, Francesco Pontiggia, Sarah Sallinger

Proceedings of the Quantitative Evaluation of Systems - 20th International Conference, 2023

2021

Verification of Programs with Exceptions Through Operator Precedence Automata.

Francesco Pontiggia, Michele Chiari, Matteo Pradella

Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021

2010

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

2009

PiSQRD: a web server for decomposing proteins into quasi-rigid dynamical domains.

Tyanko Aleksiev, Raffaello Potestio, Francesco Pontiggia, Stefano Cozzini, Cristian Micheletti

Bioinform., 2009