Arnaud Da Costa

Centre National de la Recherche Scientifique — France

Computer Science · Physical Sciences

3h-index161citations12works0.02yr avg
OpenAlex↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Semantic Web and Ontologies(5), Biomedical Text Mining and Ontologies(5), Logic, programming, and type systems(3), Formal Methods in Verification(3), Logic, Reasoning, and Knowledge(3)

Publications12 total

Twitter et la linguistique située : réflexions méthodologiques à partir de l’exemple de tweets sur la métropole de Dijon-PUDD
SPIRE - Sciences Po Institutional REpository·2020Open Access
Twitter et la linguistique située: Réflexions méthodologiques à partir de l’exemple de tweets sur la métropole de Dijon
HAL (Le Centre pour la Communication Scientifique Directe)·2020
Quantified CTL: Expressiveness and Model Checking
Lecture notes in computer science·2012· 17 cited
ATL with Strategy Contexts: Expressiveness and Model Checking
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)·2010· 53 citedOpen Access
Constraint Management in Engineering of Complex Information Systems
2009
ATL with Strategy Contexts and Bounded Memory
Lecture notes in computer science·2008· 85 cited
Domain Knowledge Integration and Semantical Quality Management –A Biology Case Study–
Lecture notes in computer science·2008
Une approche basée sur le double paradigme « ontologie-architecture de modèles » appliquée au traitement de collections d'images dans le domaine biomédical : XenOnt
2008
Organizing metadata into models and ontologies for lowering annotation costs of a biological image database
Studies in computational intelligence·2008· 3 cited
A Methodology for Low-Cost Image Annotation Based on Conceptual Modeling: A Biological Example
2007
A metamodeling architecture and a domain-specific ontology for a biological image database.
BTW Workshops·2007
A CBIR-framework: using both syntactical and semantical information for image description
2003· 3 cited

Frequent Co-authors

Marie-Noëlle Terrasse(6), Éric Leclercq(5), François Laroussinie(3), Nicolas Markey(3), Marinette Savonnet(3), Arnaud Gaudin(2), Jean Gascuel(2), Matthieu Bach(2), Pierre Naubourg(2), Thomas Brihaye(1), Luc Besson(1), Eric Leclerq(1), Valéry Lopes(1), Thierry Grison(1), Magali Roux-Rouquié(1)