Folgen
Mickaël BARON
Mickaël BARON
LIAS / ENSMA, University of Poitiers
Bestätigte E-Mail-Adresse bei ensma.fr - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Ontology-based structured web data warehouses for sustainable interoperability: requirement modeling, design methodology and tool
K Selma, B Ilyès, B Ladjel, S Eric, J Stéphane, B Michael
Computers in industry 63 (8), 799-812, 2012
982012
K-MADe: un environnement pour le noyau du modèle de description de l'activité
M Baron, V Lucquiaud, D Autard, DL Scapin
Proceedings of the 18th Conference on l'Interaction Homme-Machine, 287-288, 2006
792006
Increasing the expressive power of task analysis: Systematic comparison and empirical assessment of tool-supported task models
S Caffiau, D Scapin, P Girard, M Baron, F Jambon
Interacting with Computers 22 (6), 569-593, 2010
662010
Formal and experimental validation approaches in HCI systems design based on a shared event B model
Y Ait-Ameur, M Baron
International Journal on Software Tools for Technology Transfer 8, 547-563, 2006
452006
Formal validation of HCI user tasks
Y Aït-Ameur, M Baron, P Girard
Proc. International Conference on Software Engineering Research and Practice …, 2003
432003
Cooperative techniques for SPARQL query relaxation in RDF databases
G Fokou, S Jean, A Hadjali, M Baron
European Semantic Web Conference, 237-252, 2015
382015
RDF query relaxation strategies based on failure causes
G Fokou, S Jean, A HadjAli, M Baron
The Semantic Web. Latest Advances and New Domains: 13th International …, 2016
342016
SUIDT: A task model based GUI-Builder
M Baron, P Girard
TAMODIA, 2002
332002
Handling failing RDF queries: from diagnosis to relaxation
G Fokou, S Jean, A Hadjali, M Baron
Knowledge and Information Systems 50, 167-195, 2017
292017
Ontologies in engineering: the OntoDB/OntoQL platform
Y Ait-Ameur, M Baron, L Bellatreche, S Jean, E Sardet
Soft Computing 21, 369-389, 2017
282017
Encoding a process algebra using the Event B method: application to the validation of human–computer interactions
Y Ait-Ameur, M Baron, N Kamel, JM Mota
International Journal on Software Tools for Technology Transfer 11, 239-253, 2009
262009
Étude et comparaison de scénarios de développements formels d'interfaces multi-modales fondés sur la preuve et le raffinement.
Y Aït-Ameur, I Ait-Sadoune, M Baron
MOSIM 2006-6ème Conférence Francophone de Modélisation et Simulation …, 2006
242006
Validation et vérification formelles de systèmes interactifs multi-modaux fondées sur la preuve
Y Aït-Ameur, I Aït-Sadoune, JM Mota, M Baron
Proceedings of the 18th Conference on l'Interaction Homme-Machine, 123-130, 2006
172006
Encoding a process algebra using the event b method. application to the validation of user interfaces
Y Ait-Ameur, M Baron, N Kamel
Proceedings of 2nd IEEE international symposium on leveraging applications …, 2005
172005
On addressing the empty answer problem in uncertain knowledge bases
I Dellal, S Jean, A Hadjali, B Chardin, M Baron
International Conference on Database and Expert Systems Applications, 120-129, 2017
142017
Vérification et validation formelles de systèmes interactifs fondées sur la preuve: application aux systèmes Multi-Modaux
Y Aït-Ameur, I Aït-Sadoune, M Baron, JM Mota
Journal d'Interaction Personne-Système, 2014
142014
Vers une approche sûre du développement des Interfaces Homme-Machine
M Baron
Université de Poitiers (France), 2003
132003
Query answering over uncertain RDF knowledge bases: explain and obviate unsuccessful query results
I Dellal, S Jean, A Hadjali, B Chardin, M Baron
Knowledge and Information Systems 61 (3), 1633-1665, 2019
122019
QaRS: A User-Friendly Graphical Tool for Semantic Query Design and Relaxation.
G Fokou, S Jean, A Hadjali, M Baron
EDBT, 553-556, 2015
112015
Do rule-based approaches still make sense in logical data warehouse design?
S Bouarar, L Bellatreche, S Jean, M Baron
East European Conference on Advances in Databases and Information Systems, 83-96, 2014
102014
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20