Mounira Kezadri

Publication Activity (10 Years)

Years Active: 2010-2015
Publications (10 Years): 0

Top Topics

Probabilistic Reasoning

Constraint Databases

Representation Language

Top Venues

Publications

Martin Michalowski, Szymon Wilk, Daniela Rosu, Mounira Kezadri, Wojtek Michalowski, Marc Carrier
Expanding a First-Order Logic Mitigation Framework to Handle Multimorbid Patient Preferences. AMIA (2015)
Mounira Kezadri, Benoît Combemale, Marc Pantel, Xavier Thirioux
A Proof Assistant Based Formalization of MDE Components. FACS (2011)
Mounira Kezadri, Marc Pantel
First Steps Toward a Verification and Validation Ontology. KEOD (2010)