Ana Teresa Martins

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 two-level approach based on model checking to support architecture conformance checking	2022-07-13	Paper
scientific article; zbMATH DE number 7503138 (Why is no real title available?)	2022-04-04	Paper
Some aspects of the database resilience	2022-03-31	Paper
scientific article; zbMATH DE number 7447745 (Why is no real title available?)	2021-12-17	Paper
scientific article; zbMATH DE number 7447745 (Why is no real title available?) (available as arXiv preprint)	2021-12-17	Paper
Synthesis of quantifier-free DNF sentences from inconsistent samples of strings with EF games and SAT Theoretical Computer Science	2020-10-13	Paper
scientific article; zbMATH DE number 7238915 (Why is no real title available?)	2020-08-25	Paper
Synthesis of a DNF formula from a sample of strings using Ehrenfeucht-Fraïssé games Theoretical Computer Science	2020-01-08	Paper
On distinguishing sets of structures by first-order sentences of minimal quantifier rank	2019-11-13	Paper
Parameterized complexity of some prefix-vocabulary fragments of first-order logic	2018-10-18	Paper
The descriptive complexity of decision problems through logics with relational fixed-point and capturing results	2018-04-23	Paper
Recursive definitions and fixed-points Electronic Notes in Theoretical Computer Science	2015-03-18	Paper
The Descriptive Complexity of the Deterministic Exponential Time Hierarchy Electronic Notes in Theoretical Computer Science	2015-03-18	Paper
An infinitary system for the least fixed-point logic restricted to finite models Electronic Notes in Theoretical Computer Science	2013-12-13	Paper
Expressible preferential logics Journal Of Logic And Computation	2012-10-19	Paper
scientific article; zbMATH DE number 5997434 (Why is no real title available?)	2012-01-13	Paper
Recursive definitions and fixed-points on well-founded structures Theoretical Computer Science	2011-12-23	Paper
Hybrid logics and NP graph properties Logic, Language, Information and Computation	2011-05-27	Paper
Natural deduction for the finite least fixed point logic with an infinitary rule Logic Journal of the IGPL	2009-11-12	Paper
Full classical S5 in natural deduction with weak normalization Annals of Pure and Applied Logic	2008-03-28	Paper
On Minimal Models Logic Journal of the IGPL	2008-01-18	Paper
Natural Deduction and Weak Normalization for Full Linear Logic Logic Journal of the IGPL	2005-03-11	Paper
scientific article; zbMATH DE number 2019865 (Why is no real title available?)	2002-01-01	Paper

Research outcomes over time

This page was built for person: Ana Teresa Martins