| Domain ontologies: A database-oriented analysis S Jean, G Pierra, Y Ait-Ameur Web Information Systems and Technologies: International Conferences, WEBIST …, 2007 | 112 | 2007 |
| Querying ontology based database using ontoql (an ontology query language) S Jean, Y Aït-Ameur, G Pierra OTM Confederated International Conferences" On the Move to Meaningful …, 2006 | 79 | 2006 |
| Bases de données à base ontologique. Principe et mise en oeuvre. G Pierra, H Dehainsala, YA Ameur, L Bellatreche Ingénierie des Systèmes d Inf. 10 (2), 91-115, 2005 | 64 | 2005 |
| Making explicit domain knowledge in formal system development Y Ait-Ameur, D Méry Science of Computer Programming 121, 100-127, 2016 | 52 | 2016 |
| Using the B formal approach for incremental specification design of interactive systems Y Aït-Ameur, P Girard, F Jambon IFIP International Conference on Engineering for Human-Computer Interaction …, 1998 | 46 | 1998 |
| 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 | 45 | 2006 |
| Formal validation of HCI user tasks Y Aït-Ameur, M Baron, P Girard Proc. International Conference on Software Engineering Research and Practice …, 2003 | 43 | 2003 |
| A Uniform approach for the Specification and Design of Interactive Systems: the B method Y Aït-Ameur, P Girard, F Jambon Eurographics Workshop on Design, Specification, and Verification of …, 1998 | 43 | 1998 |
| A proof based approach for modelling and verifyingweb services compositions I Ait-Sadoune, Y Ait-Ameur 2009 14th IEEE International Conference on Engineering of Complex Computer …, 2009 | 42 | 2009 |
| An a priori approach for automatic integration of heterogeneous and autonomous databases L Bellatreche, G Pierra, DN Xuan, D Hondjack, YA Ameur International Conference on Database and Expert Systems Applications, 475-485, 2004 | 42 | 2004 |
| OntoQL, un langage d'exploitation des bases de données à base ontologique S Jean Université de Poitiers, 2007 | 36 | 2007 |
| Proof-based approach to hybrid systems development: dynamic logic and Event-B G Dupont, Y Aït-Ameur, M Pantel, NK Singh Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International …, 2018 | 34 | 2018 |
| Ontodb: It is time to embed your domain ontology in your database S Jean, H Dehainsala, DN Xuan, G Pierra, L Bellatreche, Y Aït-Ameur International Conference on Database Systems for Advanced Applications, 1119 …, 2007 | 34 | 2007 |
| Querying ontology based databases. the ontoql proposal S Jean, Y Aït-Ameur, G Pierra Proc. Software Engineering and Knowledge Engineering (SEKE 2006), 166--171, 2006 | 34 | 2006 |
| SISRO: conception de bases de données à partir d'ontologies de domaine C Fankam, L Bellatreche, H Dehainsala, Y Aït-Ameur, G Pierra Revue des Sciences et Technologies de l'Information-Série TSI: Technique et …, 2009 | 33 | 2009 |
| Formal Specification and Metaprogramming in the EXPRESS Language. YA Ameur, F Besnard, P Girard, G Pierra, JC Potier SEKE 95, 22-24, 1995 | 32 | 1995 |
| A correct-by-construction model for asynchronously communicating systems Z Farah, Y Ait-Ameur, M Ouederni, K Tari International journal on software tools for technology transfer 19, 465-485, 2017 | 31 | 2017 |
| Ontologies in engineering: the OntoDB/OntoQL platform Y Ait-Ameur, M Baron, L Bellatreche, S Jean, E Sardet Soft Computing 21, 369-389, 2017 | 30 | 2017 |
| On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems: Version to Read Y Ait-Ameur, JP Gibson, D Méry International Symposium On Leveraging Applications of Formal Methods …, 2014 | 29 | 2014 |
| Stepwise design of BPEL web services compositions: an event_b refinement based approach I Ait-Sadoune, Y Ait-Ameur Software Engineering Research, Management and Applications 2010, 51-68, 2010 | 29 | 2010 |
Stéphane JeanLIAS/ENSMA and University of PoitiersEmail verificata su ensma.fr
