Michele Alberti

45 papers A* 2A 4B 4C 1Journal 21Unranked 12

Year	Rank	Type	Title / Venue / Authors
2025	A*	`conf`	Loupe: End-to-End Learning of Loop Unrolling Heuristics for Abstract Interpretation. ASE Maykel Mattar, Michele Alberti, Valentin Perrelle, Salah Sadou
2025	B	`conf`	The CAISAR Platform: Extending the Reach of Machine Learning Specification and Verification. iFM Michele Alberti, François Bobot, Julien Girard-Satabin, Alban Grastien, Aymeric Varasse, Zakaria Chihani
2025	J	`jnl`	The CAISAR Platform: Extending the Reach of Machine Learning Specification and Verification. CoRR Michele Alberti, François Bobot, Julien Girard-Satabin, Alban Grastien, Aymeric Varasse, Zakaria Chihani
2022	—	`conf`	CAISAR: A platform for Characterizing Artificial Intelligence Safety and Robustness. AISafety@IJCAI Julien Girard-Satabin, Michele Alberti, François Bobot, Zakaria Chihani, Augustin Lemesle
2022	J	`jnl`	CAISAR: A platform for Characterizing Artificial Intelligence Safety and Robustness. CoRR Julien Girard-Satabin, Michele Alberti, François Bobot, Zakaria Chihani, Augustin Lemesle
2021	J	`jnl`	Generating Synthetic Handwritten Historical Documents With OCR Constrained GANs. CoRR Lars Vögtlin, Manuel Drazyk, Vinaychandran Pondenkandath, Michele Alberti, Rolf Ingold
2021	—	`conf`	Generating Synthetic Handwritten Historical Documents with OCR Constrained GANs. ICDAR (3) Lars Vögtlin, Manuel Drazyk, Vinaychandran Pondenkandath, Michele Alberti, Rolf Ingold
2020	—	`conf`	Challenging Human Supremacy: Evaluating Monte Carlo Tree Search and Deep Learning for the Trick Taking Card Game Jass. ICAISC (2) Joel Niklaus, Michele Alberti, Rolf Ingold, Markus Stolze, Thomas Koller
2020	J	`jnl`	Cross-Depicted Historical Motif Categorization and Retrieval with Deep Learning. J. Imaging Vinaychandran Pondenkandath, Michele Alberti, Nicole Eichenberger, Rolf Ingold, Marcus Liwicki
2020	B	`conf`	Trainable Spectrally Initializable Matrix Transformations in Convolutional Neural Networks. ICPR Michele Alberti, Angela Botros, Narayan Schütz, Rolf Ingold, Marcus Liwicki, Mathias Seuret
2019	A	`conf`	A Comprehensive Study of ImageNet Pre-Training for Historical Document Image Analysis. ICDAR Linda Studer, Michele Alberti, Vinaychandran Pondenkandath, Pinar Goktepe, Thomas Kolonko, Andreas Fischer, Marcus Liwicki, Rolf Ingold
2019	J	`jnl`	A Comprehensive Study of ImageNet Pre-Training for Historical Document Image Analysis. CoRR Linda Studer, Michele Alberti, Vinaychandran Pondenkandath, Pinar Goktepe, Thomas Kolonko, Andreas Fischer, Marcus Liwicki, Rolf Ingold
2019	J	`jnl`	Combining graph edit distance and triplet networks for offline signature verification. Pattern Recognit. Lett. Paul Maergner, Vinaychandran Pondenkandath, Michele Alberti, Marcus Liwicki, Kaspar Riesen, Rolf Ingold, Andreas Fischer
2019	—	`conf`	DNNViz: Training Evolution Visualization for Deep Neural Network. SDS Gil Clavien, Michele Alberti, Vinaychandran Pondenkandath, Rolf Ingold, Marcus Liwicki
2019	—	`conf`	Historical Document Synthesis with Generative Adversarial Networks. WML@ICDAR Vinaychandran Pondenkandath, Michele Alberti, Michaël Diatta, Rolf Ingold, Marcus Liwicki
2019	—	`conf`	Improving Reproducible Deep Learning Workflows with DeepDIVA. SDS Michele Alberti, Vinaychandran Pondenkandath, Lars Vögtlin, Marcel Würsch, Rolf Ingold, Marcus Liwicki
2019	J	`jnl`	Improving Reproducible Deep Learning Workflows with DeepDIVA. CoRR Michele Alberti, Vinaychandran Pondenkandath, Lars Vögtlin, Marcel Würsch, Rolf Ingold, Marcus Liwicki
2019	A	`conf`	Labeling, Cutting, Grouping: An Efficient Text Line Segmentation Method for Medieval Manuscripts. ICDAR Michele Alberti, Lars Vögtlin, Vinaychandran Pondenkandath, Mathias Seuret, Rolf Ingold, Marcus Liwicki
2019	J	`jnl`	Labeling, Cutting, Grouping: an Efficient Text Line Segmentation Method for Medieval Manuscripts. CoRR Michele Alberti, Lars Vögtlin, Vinaychandran Pondenkandath, Mathias Seuret, Rolf Ingold, Marcus Liwicki
2019	—	`conf`	Layout Analysis and Text Column Segmentation for Historical Vietnamese Steles. HIP@ICDAR Anna Scius-Bertrand, Lars Vögtlin, Michele Alberti, Andreas Fischer, Marc Bui
2019	—	`conf`	Survey of Artificial Intelligence for Card Games and Its Application to the Swiss Game Jass. SDS Joel Niklaus, Michele Alberti, Vinaychandran Pondenkandath, Rolf Ingold, Marcus Liwicki
2019	J	`jnl`	Survey of Artificial Intelligence for Card Games and Its Application to the Swiss Game Jass. CoRR Joel Niklaus, Michele Alberti, Vinaychandran Pondenkandath, Rolf Ingold, Marcus Liwicki
2019	J	`jnl`	Trainable Spectrally Initializable Matrix Transformations in Convolutional Neural Networks. CoRR Michele Alberti, Angela Botros, Narayan Schütz, Rolf Ingold, Marcus Liwicki, Mathias Seuret
2018	J	`jnl`	Are You Tampering With My Data? CoRR Michele Alberti, Vinaychandran Pondenkandath, Marcel Würsch, Manuel Bouillon, Mathias Seuret, Rolf Ingold, Marcus Liwicki
2018	—	`conf`	Are You Tampering with My Data? ECCV Workshops (2) Michele Alberti, Vinaychandran Pondenkandath, Marcel Würsch, Manuel Bouillon, Mathias Seuret, Rolf Ingold, Marcus Liwicki
2018	B	`conf`	DeepDIVA: A Highly-Functional Python Framework for Reproducible Experiments. ICFHR Michele Alberti, Vinaychandran Pondenkandath, Marcel Würsch, Rolf Ingold, Marcus Liwicki
2018	J	`jnl`	DeepDIVA: A Highly-Functional Python Framework for Reproducible Experiments. CoRR Michele Alberti, Vinaychandran Pondenkandath, Marcel Würsch, Rolf Ingold, Marcus Liwicki
2018	B	`conf`	Identifying Cross-Depicted Historical Motifs. ICFHR Vinaychandran Pondenkandath, Michele Alberti, Nicole Eichenberger, Rolf Ingold, Marcus Liwicki
2018	J	`jnl`	Identifying Cross-Depicted Historical Motifs. CoRR Vinaychandran Pondenkandath, Michele Alberti, Nicole Eichenberger, Rolf Ingold, Marcus Liwicki
2018	J	`jnl`	Leveraging Random Label Memorization for Unsupervised Pre-Training. CoRR Vinaychandran Pondenkandath, Michele Alberti, Sammer Puran, Rolf Ingold, Marcus Liwicki
2018	—	`conf`	Offline Signature Verification by Combining Graph Edit Distance and Triplet Networks. S+SSPR Paul Maergner, Vinaychandran Pondenkandath, Michele Alberti, Marcus Liwicki, Kaspar Riesen, Rolf Ingold, Andreas Fischer
2018	J	`jnl`	Offline Signature Verification by Combining Graph Edit Distance and Triplet Networks. CoRR Paul Maergner, Vinaychandran Pondenkandath, Michele Alberti, Marcus Liwicki, Kaspar Riesen, Rolf Ingold, Andreas Fischer
2017	C	`conf`	Context Generation from Formal Specifications for C Analysis Tools. LOPSTR Michele Alberti, Julien Signoles
2017	J	`jnl`	Context Generation from Formal Specifications for C Analysis Tools. CoRR Michele Alberti, Julien Signoles
2017	—	`conf`	Historical Document Image Segmentation with LDA-Initialized Deep Neural Networks. HIP@ICDAR Michele Alberti, Mathias Seuret, Vinaychandran Pondenkandath, Rolf Ingold, Marcus Liwicki
2017	J	`jnl`	Historical Document Image Segmentation with LDA-Initialized Deep Neural Networks. CoRR Michele Alberti, Mathias Seuret, Vinaychandran Pondenkandath, Rolf Ingold, Marcus Liwicki
2017	A	`conf`	ICDAR2017 Competition on Layout Analysis for Challenging Medieval Manuscripts. ICDAR Fotini Simistira, Manuel Bouillon, Mathias Seuret, Marcel Würsch, Michele Alberti, Rolf Ingold, Marcus Liwicki
2017	—	`conf`	Open Evaluation Tool for Layout Analysis of Document Images. OST@ICDAR Michele Alberti, Manuel Bouillon, Rolf Ingold, Marcus Liwicki
2017	J	`jnl`	Open Evaluation Tool for Layout Analysis of Document Images. CoRR Michele Alberti, Manuel Bouillon, Rolf Ingold, Marcus Liwicki
2017	J	`jnl`	PCA-Initialized Deep Neural Networks Applied To Document Image Analysis. CoRR Mathias Seuret, Michele Alberti, Rolf Ingold, Marcus Liwicki
2017	A	`conf`	PCA-Initialized Deep Neural Networks Applied to Document Image Analysis. ICDAR Mathias Seuret, Michele Alberti, Marcus Liwicki, Rolf Ingold
2017	J	`jnl`	What You Expect is NOT What You Get! Questioning Reconstruction/Classification Correlation of Stacked Convolutional Auto-Encoder Features. CoRR Michele Alberti, Mathias Seuret, Rolf Ingold, Marcus Liwicki
2014	A*	`conf`	On coinductive equivalences for higher-order probabilistic functional programs. POPL Ugo Dal Lago, Davide Sangiorgi, Michele Alberti
2014	—	`—`	On operational properties of quantitative extensions of λ-calculus. Michele Alberti
2013	J	`jnl`	On Coinductive Equivalences for Higher-Order Probabilistic Functional Programs (Long Version). CoRR Ugo Dal Lago, Davide Sangiorgi, Michele Alberti