Mickael BARON
Présentation
Publications
Publications
|
|
Iterative Graph-Based Radius-Constrained ClusteringMachine Learning with Graphs Workshop, ECML-PKDD, Sep 2025, Porto, Portugal |
|
|
Towards Automating RDF Extraction for Archaeological Knowledge Graphs with LLMsInternational Conference on Database and Expert Systems Applications, Aug 2025, Bangkok, Thailand. pp.83-97, ⟨10.1007/978-3-032-02049-9_6⟩ |
|
|
Partitionnement sous contrainte de similarité40e Conférence sur la Gestion de Données : Principes, Technologies et Applications (BDA 2024), BDA, Oct 2024, Orléans, France |
|
|
Clustering Under Radius Constraints Using Minimum Dominating Sets27th International Symposium on Methodologies for Intelligent Systems, Jun 2024, Poitiers, France. pp.14-23, ⟨10.1007/978-3-031-62700-2_2⟩ |
|
|
Knowledge Graphs for Data Integration in Retail27th International symposium on methodologies for intelligent systems (ISMIS 2024), Jun 2024, Poitiers - Futuroscope, France |
|
|
Thesaurus-based Transformation: A Classification Method for Real Dirty DataEuropean Conference on Advances in Databases and Information Systems (ADBIS), Sep 2023, Barcelona, Spain. pp.256-265, ⟨10.1007/978-3-031-42941-5_23⟩ |
Trust Model Recommendation Driven by Application RequirementsRCIS 2022, May 2022, Barcelona, Spain. pp.694-702, ⟨10.1007/978-3-031-05760-1_45⟩ |
|
|
|
Dealing with Plethoric Answers of SPARQL QueriesProceedings of the 32nd International Conference on Database and Expert Systems Applications, Sep 2021, Linz, Austria. pp.292-304, ⟨10.1007/978-3-030-86472-9_27⟩ |
Towards a Unified Framework for Computational Trust and Reputation Models for e-Commerce ApplicationsRCIS 2021, May 2021, Limassol, Cyprus. pp.616-622, ⟨10.1007/978-3-030-75018-3_44⟩ |
|
|
|
On Addressing the Empty Answer Problem in Uncertain Knowledge BasesProceedings of the 28th International Conference on Database and Expert Systems Applications, Aug 2017, Lyon, France. pp.120-129, ⟨10.1007/978-3-319-64468-4_9⟩ |
Traitement coopératif des requêtes RDF dans le contexte des bases de connaissances incertainesInformatique des Organisations et Systèmes d'Information et de Décision (INFORSID), May 2017, Toulouse, France |
|
RDF Query Relaxation Strategies Based on Failure CausesEuropean Semantic Web Conference 2016 (ESWC), May 2016, Heraklion (Crete Island), Greece. pp.439-454, ⟨10.1007/978-3-319-34129-3_27⟩ |
|
|
|
Extension de ONTODB pour Construire une Architecture Générique de Bases de Données à Base Ontologique6e Conférence francophone sur les Architectures Logicielles (CAL 2012), May 2012, Montpellier, France |
Verification and validation of BPEL processes. A proof and animation based approachRodin User and Developer Workshop : Deploy Federated Event, Feb 2012, Fontainebleau, France |
|
|
|
Etude Comparative des Systèmes de Bases de Données à base Ontologiques30e congrès INFORSID, May 2012, Montpellier, France |
|
|
Validation et Vérification Formelles de Systèmes Interactifs Multi-Modaux Fondées sur la Preuve.18es Conférence Francophone sur l'Interaction Homme-Machine (IHM 2006)., Apr 2006, Montréal, Canada. pp.123-130, ⟨10.1145/1132736.1132752⟩ |
K-MADe : un environnement pour le noyau du modèle de description de l'activitéActes de la 14e conférence francophone sur l'Interaction Homme-Machine (IHM 2006), Apr 2006, Montreal, Canada. pp.287-288, ⟨10.1145/1132736.1132786⟩ |
|
|
|
Étude et comparaison de scénarios de développements formels d'interfaces multi-modales fondés sur la preuve et le raffinement.MOSIM 2006 - 6ème Conférence Francophone de Modélisation et Simulation. Modélisation, Optimisation et Simulation des Systèmes, Apr 2006, Rabat, Maroc. pp.578-588 |
|
|
Using formal methods in safety-critical interactive system design : from architecture-based approaches to tool-based developmentHCI International 2005, Jul 2005, Las Vegas, United States. pp.1-10 |
SUIDT: Safe User Interface Design Toolthe 9th international conference, Jan 2004, Funchal, Portugal. pp.350, ⟨10.1145/964442.964529⟩ |
|
|
|
Bridging the gap between formal and experimental validation approaches in HCI systems design: use of the event B proof based techniqueInternational Symposium on Leveraging Applications of Formal Methods (ISoLA), Oct 2004, Paphos, Cyprus |
|
|
Integrating formal approaches in Human-Computer Interaction methods and tools: an experienceClosing the Gaps: Software Engineering and Human-Computer Interaction (Interact 2003 Workshop), Sep 2003, Zürich, Switzerland. pp.55-62 |
|
|
Formal validation of HCI user tasksProc. International Conference on Software Engineering Research and Practice (SERP 2003), Jun 2003, Las Vegas, Unknown Region. pp.732-738 |
|
|
SUIDT : Un outil de construction d'interfaces utilisateurs sûres (Article de Démonstration)15ème Conférence Francophone sur l'Interaction Homme-Machine (IHM 2003), Nov 2003, Caen, France. pp.198-201 |
|
|
Utilisation de techniques formelles dans la modélisation d'Interfaces Homme-Machine. Une expérience comparative entre B et Promela/SPIN6th International Symposium on Programming and Systems ISPS 2003 (ISPS 2003), May 2003, Alger, Algérie. pp.57-66 |
De la conception à la construction d'application sûreActes de la 14e conférence francophone sur l'Interaction Homme-Machine (IHM 2002), Nov 2002, Poitiers, France. pp.285-286, ⟨10.1145/777005.777056⟩ |
|
|
|
SUIDT: A task model based GUI-BuilderTAMODIA, Jul 2002, Bucharest, Romania |
Intégration d'un modèle de tâche dans une démarche sûre de construction d'interfaceActes de la 14e conférence francophone sur l'Interaction Homme-Machine (IHM 2002), Nov 2002, Poitiers, France. pp.73-80, ⟨10.1145/777005.777016⟩ |
|
Bringing robustness to end-user programmingHCC 2001. IEEE Symposium on Human-Centric Computing Languages and Environments, Sep 2001, Stresa, Italy. pp.142-149, ⟨10.1109/HCC.2001.995252⟩ |
|
|
|
Vers un développement sûr d'applications interactives13e conférence francophone sur l'Interaction Homme-Machine (IHM 2001), Sep 2001, Lille, France |
|
|
Construction interactive d'application à partir du noyau fonctionnelErgonomie et Informatique avancées (ErgoIHM 2000), Oct 2000, Biarritz, France |
|
|
Vers une approche sûre du développement des Interfaces Homme-MachineInformatique [cs]. Université de Poitiers (France), 2003. Français. ⟨NNT : ⟩ |