Maximiliano Cristiá

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
A practical decision procedure for quantifier-free, decidable languages extended with restricted quantifiers Journal of Automated Reasoning	2024-12-16	Paper
A Decision Procedure for a Theory of Finite Sets with Finite Integer Intervals ACM Transactions on Computational Logic	2024-02-21	Paper
An automatically verified prototype of the Android permissions system Journal of Automated Reasoning	2023-06-27	Paper
scientific article; zbMATH DE number 7552282 (Why is no real title available?) (available as arXiv preprint)	2022-07-01	Paper
An automatically verified prototype of the Tokeneer ID station specification Journal of Automated Reasoning	2022-01-21	Paper
Automated reasoning with restricted intensional sets Journal of Automated Reasoning	2021-11-23	Paper
Automated proof of Bell-LaPadula security properties Journal of Automated Reasoning	2021-06-09	Paper
Solving quantifier-free first-order constraints over finite sets and binary relations Journal of Automated Reasoning	2020-03-03	Paper
A decision procedure for sets, binary relations and partial functions Computer Aided Verification	2019-05-03	Paper
A set solver for finite set relation algebra	2018-11-08	Paper
Adding partial functions to constraint logic programming with sets Theory and Practice of Logic Programming	2017-11-09	Paper
A decision procedure for restricted intensional sets	2017-09-22	Paper

Research outcomes over time

This page was built for person: Maximiliano Cristiá