On Coinductive Equivalences for Higher-Order Probabilistic Functional Programs (Long Version). - Ugo Dal Lago; Davide Sangiorgi; Michele Alberti (CoRR, 2013)

On coinductive equivalences for higher-order probabilistic functional programs. - Ugo Dal Lago; Davide Sangiorgi; Michele Alberti (POPL, 2014)

On operational properties of quantitative extensions of λ-calculus. - Michele Alberti (2014)

Open Evaluation Tool for Layout Analysis of Document Images. - Michele Alberti; Manuel Bouillon; Rolf Ingold; Marcus Liwicki (OST@ICDAR, 2017)

Historical Document Image Segmentation with LDA-Initialized Deep Neural Networks. - Michele Alberti; Mathias Seuret; Vinaychandran Pondenkandath; Rolf Ingold; Marcus Liwicki (HIP@ICDAR, 2017)

PCA-Initialized Deep Neural Networks Applied to Document Image Analysis. - Mathias Seuret; Michele Alberti; Marcus Liwicki; Rolf Ingold (ICDAR, 2017)

ICDAR2017 Competition on Layout Analysis for Challenging Medieval Manuscripts. - Fotini Simistira; Manuel Bouillon; Mathias Seuret; Marcel Würsch; Michele Alberti; Rolf Ingold; Marcus Liwicki (ICDAR, 2017)

Context Generation from Formal Specifications for C Analysis Tools. - Michele Alberti; Julien Signoles (LOPSTR, 2017)

What You Expect is NOT What You Get! Questioning Reconstruction/Classification Correlation of Stacked Convolutional Auto-Encoder Features. - Michele Alberti; Mathias Seuret; Rolf Ingold; Marcus Liwicki (CoRR, 2017)

Are You Tampering with My Data? - Michele Alberti; Vinaychandran Pondenkandath; Marcel Würsch; Manuel Bouillon; Mathias Seuret; Rolf Ingold; Marcus Liwicki (ECCV Workshops (2), 2018)

DeepDIVA: A Highly-Functional Python Framework for Reproducible Experiments. - Michele Alberti; Vinaychandran Pondenkandath; Marcel Würsch; Rolf Ingold; Marcus Liwicki (ICFHR, 2018)

Identifying Cross-Depicted Historical Motifs. - Vinaychandran Pondenkandath; Michele Alberti; Nicole Eichenberger; Rolf Ingold; Marcus Liwicki (ICFHR, 2018)

Offline Signature Verification by Combining Graph Edit Distance and Triplet Networks. - Paul Maergner; Vinaychandran Pondenkandath; Michele Alberti; Marcus Liwicki; Kaspar Riesen; Rolf Ingold; Andreas Fischer 002 (S+SSPR, 2018)

Leveraging Random Label Memorization for Unsupervised Pre-Training. - Vinaychandran Pondenkandath; Michele Alberti; Sammer Puran; Rolf Ingold; Marcus Liwicki (CoRR, 2018)

Labeling, Cutting, Grouping: An Efficient Text Line Segmentation Method for Medieval Manuscripts. - Michele Alberti; Lars Vögtlin; Vinaychandran Pondenkandath; Mathias Seuret; Rolf Ingold; Marcus Liwicki (ICDAR, 2019)

Historical Document Synthesis with Generative Adversarial Networks. - Vinaychandran Pondenkandath; Michele Alberti; Michaël Diatta; Rolf Ingold; Marcus Liwicki (WML@ICDAR, 2019)

Layout Analysis and Text Column Segmentation for Historical Vietnamese Steles. - Anna Scius-Bertrand; Lars Vögtlin; Michele Alberti; Andreas Fischer 002; Marc Bui (HIP@ICDAR, 2019)

A Comprehensive Study of ImageNet Pre-Training for Historical Document Image Analysis. - Linda Studer; Michele Alberti; Vinaychandran Pondenkandath; Pinar Goktepe; Thomas Kolonko; Andreas Fischer 002; Marcus Liwicki; Rolf Ingold (ICDAR, 2019)

Improving Reproducible Deep Learning Workflows with DeepDIVA. - Michele Alberti; Vinaychandran Pondenkandath; Lars Vögtlin; Marcel Würsch; Rolf Ingold; Marcus Liwicki (SDS, 2019)

DNNViz: Training Evolution Visualization for Deep Neural Network. - Gil Clavien; Michele Alberti; Vinaychandran Pondenkandath; Rolf Ingold; Marcus Liwicki (SDS, 2019)

Survey of Artificial Intelligence for Card Games and Its Application to the Swiss Game Jass. - Joel Niklaus; Michele Alberti; Vinaychandran Pondenkandath; Rolf Ingold; Marcus Liwicki (SDS, 2019)

Combining graph edit distance and triplet networks for offline signature verification. - Paul Maergner; Vinaychandran Pondenkandath; Michele Alberti; Marcus Liwicki; Kaspar Riesen; Rolf Ingold; Andreas Fischer 002 (Pattern Recognit. Lett., 2019)

Challenging Human Supremacy: Evaluating Monte Carlo Tree Search and Deep Learning for the Trick Taking Card Game Jass. - Joel Niklaus; Michele Alberti; Rolf Ingold; Markus Stolze; Thomas Koller (ICAISC (2), 2020)

Trainable Spectrally Initializable Matrix Transformations in Convolutional Neural Networks. - Michele Alberti; Angela Botros; Narayan Schütz; Rolf Ingold; Marcus Liwicki; Mathias Seuret (ICPR, 2020)

Cross-Depicted Historical Motif Categorization and Retrieval with Deep Learning. - Vinaychandran Pondenkandath; Michele Alberti; Nicole Eichenberger; Rolf Ingold; Marcus Liwicki (J. Imaging, 2020)

Generating Synthetic Handwritten Historical Documents with OCR Constrained GANs. - Lars Vögtlin; Manuel Drazyk; Vinaychandran Pondenkandath; Michele Alberti; Rolf Ingold (ICDAR (3), 2021)

CAISAR: A platform for Characterizing Artificial Intelligence Safety and Robustness. - Julien Girard-Satabin; Michele Alberti; François Bobot; Zakaria Chihani; Augustin Lemesle (AISafety@IJCAI, 2022)

The CAISAR Platform: Extending the Reach of Machine Learning Specification and Verification. - Michele Alberti; François Bobot; Julien Girard-Satabin; Alban Grastien; Aymeric Varasse; Zakaria Chihani (CoRR, 2025)