I am a PhD candidate in the College of Information and Computer Sciences at UMass Amherst. I work with Prof. Neil Immerman and I am interested in database theory, logic and descriptive complexity.
I am an active member of our women's group and I was a co-chair during Spring 2014 and Fall 2014.
- Francicleber Martins Ferreira, Cibele Matos Freire, Mario R. F. Benevides, L. Menasché Schechter, Ana Teresa C. Martins. "Polynomial hierarchy graph properties in hybrid logic." J. Comput. Syst. Sci. 80(6): 1087-1101 (2014)
- Cibele Matos Freire, Ana Teresa C. Martins. "The Descriptive Complexity of the Deterministic Exponential Time Hierarchy." Electr. Notes Theor. Comput. Sci. 269: 71-82 (2011)
- Francicleber Martins Ferreira, Cibele Matos Freire, Mario R. F. Benevides, L. Menasché Schechter, Ana Teresa C. Martins. "Hybrid Logics and NP Graph Properties." WoLLIC 2011: 123-134 (2011)
- Cibele Freire, Wolfgang Gatterbauer, Neil Immerman, Alexandra Meliou, "A Characterization of the Complexity of Resilience and Responsibility for Self-join-free Conjunctive Queries." PVLDB, vol. 9, no. 3 (2015)