Mahfuza Farooque

Affiliations:
  • École Polytechnique, Palaiseau, France


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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

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
Other 

Links

On csauthors.net:

Bibliography

2015
Axiomatic Constraint Systems for Proof Search Modulo Theories.
Proceedings of the Frontiers of Combining Systems - 10th International Symposium, 2015

2014
Axiomatisation of constraint systems to specify a tableaux calculus modulo theories.
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

Sequent Calculi with procedure calls
CoRR, 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
Two simulations about DPLL(T)
CoRR, 2012

A sequent calculus with procedure calls
CoRR, 2012

2009
Easy Fuzzy Tool for Emotion Recognition - Prototype from Voice Speech Analysis.
Proceedings of the IJCCI 2009, 2009


  Loading...