Simon Robillard

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Verified path indexing	2026-01-21	Paper
An overview of the decentralized reconfiguration language Concerto-D through its Maude formalization	2025-09-03	Paper
A comprehensive framework for saturation theorem proving Journal of Automated Reasoning	2022-12-12	Paper
\textsf{Goéland}: a concurrent tableau-based theorem prover (system description)	2022-12-07	Paper
Verified Approximation Algorithms Automated Reasoning	2022-11-09	Paper
A comprehensive framework for saturation theorem proving Automated Reasoning	2022-11-09	Paper
Verified approximation algorithms (available as arXiv preprint)	2022-08-02	Paper
Verified approximation algorithms	2022-08-02	Paper
Loop Analysis by Quantification over Iterations EPiC Series in Computing	2019-07-04	Paper
Superposition with datatypes and codatatypes	2018-10-18	Paper
Coming to terms with quantified reasoning Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages	2017-10-20	Paper
Reasoning about loops using Vampire in KeY Logic for Programming, Artificial Intelligence, and Reasoning	2016-01-12	Paper
Anomalous diffusion on fractal lattices with site disorder Journal of Physics A: Mathematical and General	1986-01-01	Paper

Research outcomes over time

This page was built for person: Simon Robillard