Mahfuza Farooque
Affiliations:- École Polytechnique, Palaiseau, France
According to our database1,
Mahfuza Farooque
authored at least 8 papers
between 2009 and 2015.
Collaborative distances:
Collaborative distances:
Timeline
2009
2010
2011
2012
2013
2014
2015
0
1
2
3
4
1
1
2
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2015
Proceedings of the Frontiers of Combining Systems - 10th International Symposium, 2015
2014
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).
PhD thesis, 2013
A bisimulation between DPLL(<i>T</i>) and a proof-search strategy for the focused sequent calculus.
Proceedings of the Eighth ACM SIGPLAN International Workshop on Logical Frameworks & Meta-languages: Theory & Practice, 2013
2012
2009
Easy Fuzzy Tool for Emotion Recognition - Prototype from Voice Speech Analysis.
Proceedings of the IJCCI 2009, 2009