Carlos Areces

Publications

Citations

H-Index

1998

Active since

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

University of Amsterdam

Universidad Nacional de Córdoba

Centre Inria de l'Université de Lorraine

Consejo Nacional de Investigaciones Científicas y Técnicas

Carlos Areces is an author at Institut national de recherche en sciences et technologies du numérique specializing in engineering, automated reasoning, and formal methods.

ORCID

Top concepts

EngineeringAutomated ReasoningFormal MethodsComputer ScienceSemanticsLanguageLinguisticsLogic ProgrammingFormal VerificationDescription Logics

Publications per year

1998–2019

Publications

Hybrid logics: characterization, interpolation and complexity

Carlos Areces, Patrick Blackburn, M. Marx · Journal of Symbolic Logic · 2001 · 209 citations

Engineering, Classical Logic, Higher-order Logic +17

The computational complexity of hybrid temporal logics

Carlos Areces · Logic Journal of IGPL · 2000 · 123 citations

Theory Of Computing, Applied Logic, Computational Logic +12

Keys, Nominals, and Concrete Domains

L. Carsten, Carlos Areces, Ian Horrocks et al. · Journal of Artificial Intelligence Research · 2005 · 78 citations · Full text

Engineering, Computational Complexity, Semantics +20

Logic Engineering. The Case of Description and Hybrid Logics

Carlos Areces · Data Archiving and Networked Services (DANS) · 2000 · 75 citations · Full text

Applied Logic, Engineering, Automated Reasoning +7

Relation-changing modal operators: Fig. 1.

Carlos Areces, Raul Fervari, Guillaume Hoffmann · Logic Journal of IGPL · 2015 · 65 citations · Full text

Rows per page

1–5 of 29