Maximiliano Cristiá

Available identifiers

zbMath Open cristia.maximilianoMaRDI QIDQ1617836

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Maximiliano Cristiá