Ana Teresa Martins

Available identifiers

zbMath Open martins.ana-teresaMaRDI QIDQ654909

List of research outcomes

Publication	Date of Publication	Type
A two-level approach based on model checking to support architecture conformance checking	2022-07-13	Paper
https://portal.mardi4nfdi.de/entity/Q5067948	2022-04-04	Paper
Some aspects of the database resilience	2022-03-31	Paper
https://portal.mardi4nfdi.de/entity/Q3384892	2021-12-17	Paper
Synthesis of quantifier-free DNF sentences from inconsistent samples of strings with EF games and SAT	2020-10-13	Paper
https://portal.mardi4nfdi.de/entity/Q5116418	2020-08-25	Paper
Synthesis of a DNF formula from a sample of strings using Ehrenfeucht-Fraïssé games	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	2015-03-18	Paper
The Descriptive Complexity of the Deterministic Exponential Time Hierarchy	2015-03-18	Paper
An infinitary system for the least fixed-point logic restricted to finite models	2013-12-13	Paper
Expressible preferential logics	2012-10-19	Paper
https://portal.mardi4nfdi.de/entity/Q3112293	2012-01-13	Paper
Recursive definitions and fixed-points on well-founded structures	2011-12-23	Paper
Hybrid Logics and NP Graph Properties	2011-05-27	Paper
Natural deduction for the finite least fixed point logic with an infinitary rule	2009-11-12	Paper
Full classical S5 in natural deduction with weak normalization	2008-03-28	Paper
On Minimal Models	2008-01-18	Paper
Natural Deduction and Weak Normalization for Full Linear Logic	2005-03-11	Paper
https://portal.mardi4nfdi.de/entity/Q4440561	2002-01-01	Paper

Research outcomes over time

This page was built for person: Ana Teresa Martins