
MB
Mickael BARON
42
Documents
Présentation
Publications
16
12
10
10
9
5
5
4
4
2
2
2
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
3
1
2
2
1
2
3
1
1
1
4
1
1
1
4
1
2
5
3
2
1
Publications
|
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
Communication dans un congrès
hal-04791528
v1
|
|
Knowledge Graphs for Data Integration in Retail27th International symposium on methodologies for intelligent systems (ISMIS 2024), Jun 2024, Poitiers - Futuroscope, France
Communication dans un congrès
hal-04582725
v1
|
|
Clustering Under Radius Constraints Using Minimum Dominating Sets27th International Symposium on Methodologies for Intelligent Systems, Jun 2024, Poitiers, France
Communication dans un congrès
hal-04533921
v1
|
|
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⟩
Communication dans un congrès
hal-04161946
v1
|
Trust Model Recommendation Driven by Application RequirementsRCIS 2022, May 2022, Barcelona, Spain. pp.694-702, ⟨10.1007/978-3-031-05760-1_45⟩
Communication dans un congrès
hal-03721609
v1
|
|
|
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⟩
Communication dans un congrès
hal-03356184
v1
|
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⟩
Communication dans un congrès
hal-03721614
v1
|
|
|
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⟩
Communication dans un congrès
hal-03356196
v1
|
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
Communication dans un congrès
hal-04161962
v1
|
|
|
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
Communication dans un congrès
hal-03592799
v1
|
Verification and validation of BPEL processes. A proof and animation based approachRodin User and Developer Workshop : Deploy Federated Event, Feb 2012, Fontainebleau, France
Communication dans un congrès
hal-00695440
v1
|
|
|
Etude Comparative des Systèmes de Bases de Données à base Ontologiques30e congrès INFORSID, May 2012, Montpellier, France
Communication dans un congrès
hal-03592769
v1
|
|
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⟩
Communication dans un congrès
hal-00633908
v1
|
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⟩
Communication dans un congrès
hal-03592592
v1
|
|
|
É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
Communication dans un congrès
hal-00633903
v1
|
|
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
Communication dans un congrès
hal-01010575
v1
|
SUIDT: Safe User Interface Design Toolthe 9th international conference, Jan 2004, Funchal, Portugal. pp.350, ⟨10.1145/964442.964529⟩
Communication dans un congrès
hal-03592566
v1
|
|
|
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
Communication dans un congrès
hal-03592574
v1
|
|
Integrating formal approaches in Human-Computer Interaction methods and tools: an experience (Workshop)Closing the Gaps - Software Engineering and Human-Computer Interaction (Interact 2003), Sep 2003, Zürich, Switzerland. pp.55-62
Communication dans un congrès
hal-03759396
v1
|
|
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
Communication dans un congrès
hal-03759405
v1
|
|
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
Communication dans un congrès
hal-03759393
v1
|
|
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
Communication dans un congrès
hal-03759386
v1
|
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⟩
Communication dans un congrès
hal-03592550
v1
|
|
|
SUIDT: A task model based GUI-BuilderTAMODIA, Jul 2002, Bucharest, Romania
Communication dans un congrès
hal-03592530
v1
|
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⟩
Communication dans un congrès
hal-03592581
v1
|
|
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⟩
Communication dans un congrès
hal-03592533
v1
|
|
|
Vers un développement sûr d'applications interactives13e conférence francophone sur l'Interaction Homme-Machine (IHM 2001), Sep 2001, Lille, France
Communication dans un congrès
hal-03592697
v1
|
|
Construction interactive d'application à partir du noyau fonctionnelErgonomie et Informatique avancées (ErgoIHM 2000), Oct 2000, Biarritz, France
Communication dans un congrès
hal-03592684
v1
|
|
Vers une approche sûre du développement des Interfaces Homme-MachineInformatique [cs]. Université de Poitiers (France), 2003. Français. ⟨NNT : ⟩
Thèse
tel-03592883
v1
|
Chargement...
Chargement...