Maximiliano Cristiá

Available identifiers

zbMath Open cristia.maximilianoMaRDI QIDQ1617836

List of research outcomes

Publication	Date of Publication	Type
A practical decision procedure for quantifier-free, decidable languages extended with restricted quantifiers	2024-12-16	Paper
A Decision Procedure for a Theory of Finite Sets with Finite Integer Intervals	2024-02-21	Paper
An automatically verified prototype of the Android permissions system	2023-06-27	Paper
https://portal.mardi4nfdi.de/entity/Q5087785	2022-07-01	Paper
An automatically verified prototype of the Tokeneer ID station specification	2022-01-21	Paper
Automated reasoning with restricted intensional sets	2021-11-23	Paper
Automated proof of Bell-LaPadula security properties	2021-06-09	Paper
Solving quantifier-free first-order constraints over finite sets and binary relations	2020-03-03	Paper
A Decision Procedure for Sets, Binary Relations and Partial Functions	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	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á