Francesco Pontiggia

11 papers A 1B 1Journal 7Unranked 2
YearRankTypeTitle / Venue / Authors
2025 A conf
Decentralized Planning Using Probabilistic Hyperproperties.
AAMAS
Francesco Pontiggia, Filip Macák, Roman Andriushchenko, Michele Chiari, Milan Ceska
2025 J jnl
Decentralized Planning Using Probabilistic Hyperproperties.
CoRR
Francesco Pontiggia, Filip Macák, Roman Andriushchenko, Michele Chiari, Milan Ceska
2025 — conf
POPACheck: A Model Checker for Probabilistic Pushdown Automata.
CAV (2)
Francesco Pontiggia, Ezio Bartocci, Michele Chiari
2025 J jnl
POPACheck: a Model Checker for probabilistic Pushdown Automata.
CoRR
Francesco Pontiggia, Ezio Bartocci, Michele Chiari
2024 J jnl
Model Checking Recursive Probabilistic Programs with Conditioning.
CoRR
Francesco Pontiggia, Ezio Bartocci, Michele Chiari
2023 J jnl
A Model Checker for Operator Precedence Languages.
ACM Trans. Program. Lang. Syst.
Michele Chiari, Dino Mandrioli, Francesco Pontiggia, Matteo Pradella
2023 — conf
Deductive Controller Synthesis for Probabilistic Hyperproperties.
QEST
Roman Andriushchenko, Ezio Bartocci, Milan Ceska, Francesco Pontiggia, Sarah Sallinger
2023 J jnl
Deductive Controller Synthesis for Probabilistic Hyperproperties.
CoRR
Roman Andriushchenko, Ezio Bartocci, Milan Ceska, Francesco Pontiggia, Sarah Sallinger
2021 B conf
Verification of Programs with Exceptions Through Operator Precedence Automata.
SEFM
Francesco Pontiggia, Michele Chiari, Matteo Pradella
2010 J jnl
ALADYN: a web server for aligning proteins by matching their large-scale motion.
Nucleic Acids Res.
Raffaello Potestio, Tyanko Aleksiev, Francesco Pontiggia, Stefano Cozzini, Cristian Micheletti
2009 J jnl
PiSQRD: a web server for decomposing proteins into quasi-rigid dynamical domains.
Bioinform.
Tyanko Aleksiev, Raffaello Potestio, Francesco Pontiggia, Stefano Cozzini, Cristian Micheletti