Mahfuza Farooque

According to our database, Mahfuza Farooque authored at least 8 papers between 2009 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Axiomatic Constraint Systems for Proof Search Modulo Theories.

Damien Rouhling, Mahfuza Farooque, Stéphane Graham-Lengrand, Assia Mahboubi, Jean-Marc Notin

Proceedings of the Frontiers of Combining Systems - 10th International Symposium, 2015

2014

Axiomatisation of constraint systems to specify a tableaux calculus modulo theories.

Damien Rouhling, Mahfuza Farooque, Stéphane Graham-Lengrand, Assia Mahboubi, Jean-Marc Notin

CoRR, 2014

2013

Automated Reasoning Techniques as Proof-search in Sequent Calculus. (Techniques de déduction automatique vues comme recherche de preuve en calcul des séquents).

Mahfuza Farooque

PhD thesis, 2013

Sequent Calculi with procedure calls

Mahfuza Farooque, Stéphane Graham-Lengrand

CoRR, 2013

A bisimulation between DPLL(<i>T</i>) and a proof-search strategy for the focused sequent calculus.

Mahfuza Farooque, Stéphane Graham-Lengrand, Assia Mahboubi

Proceedings of the Eighth ACM SIGPLAN International Workshop on Logical Frameworks & Meta-languages: Theory & Practice, 2013

2012

Two simulations about DPLL(T)

Mahfuza Farooque, Stéphane Lengrand, Assia Mahboubi

CoRR, 2012

A sequent calculus with procedure calls

Mahfuza Farooque, Stéphane Lengrand

CoRR, 2012

2009

Easy Fuzzy Tool for Emotion Recognition - Prototype from Voice Speech Analysis.

Mahfuza Farooque, Susana Muñoz-Hernández

Proceedings of the IJCCI 2009, 2009