Thiago Alves Rocha

From MaRDI portal
Person:2003998

Available identifiers

zbMath Open alves-rocha.thiagoMaRDI QIDQ2003998

List of research outcomes





PublicationDate of PublicationType
A two-level approach based on model checking to support architecture conformance checking2022-07-13Paper
https://portal.mardi4nfdi.de/entity/Q33848922021-12-17Paper
Synthesis of quantifier-free DNF sentences from inconsistent samples of strings with EF games and SAT2020-10-13Paper
Synthesis of a DNF formula from a sample of strings using Ehrenfeucht-Fraïssé games2020-01-08Paper
On distinguishing sets of structures by first-order sentences of minimal quantifier rank2019-11-13Paper

Research outcomes over time

This page was built for person: Thiago Alves Rocha

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2003998&oldid=6523160"
Powered by MediaWiki