Cristinel Mateis

From MaRDI portal
Person:1996038


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!

PublicationDate of PublicationType
Survey on mining signal temporal logic specifications
Information and Computation
2022-12-08Paper
Weakness monitors for fail-aware systems
 
2021-03-02Paper
Quantitative disjunctive logic programming: Semantics and computation
AI Communications
2001-03-19Paper
scientific article; zbMATH DE number 1453069 (Why is no real title available?)
 
2000-05-25Paper


Research outcomes over time


This page was built for person: Cristinel Mateis