Projects per year
Fingerprint
Dive into the research topics where Catarina Carvalho is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Projects
- 5 Finished
-
The complexity of quantified constraints: collapsibility, switchability and the algebraic formulation
Carvalho, C., Madelaine, F., Martin, B. & Zhuk, D., 24 Jun 2022, (Accepted/In press) In: Transactions on Computational Logic.Research output: Contribution to journal › Article › peer-review
12 Downloads (Pure) -
The lattice and semigroup structure of multipermutations
Carvalho, C. & Martin, B., 10 Nov 2021, (E-pub ahead of print) In: International Journal of Algebra and Computation. 32, 2Research output: Contribution to journal › Article › peer-review
Open AccessFile10 Downloads (Pure) -
The complexity of quantified constraints using the algebraic formulation
Carvalho, C., Martin, B. & Zhuk, D., 7 Nov 2017, 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017) .Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review
Open AccessFile3 Citations (Scopus)24 Downloads (Pure) -
On Algebras with many symmetric operations
Carvalho, C. & Krokhin, A., 1 Aug 2016, In: International Journal of Algebra and Computation. 26, 5Research output: Contribution to journal › Article › peer-review
Open AccessFile1 Citation (Scopus)136 Downloads (Pure) -
From complexity to algebra and back: digraph classes, collapsibility and the PGP
Carvalho, C., Madelaine, F. & Martin, B., 3 Aug 2015, Proceedings of the 2015 30th Annual ACM / IEEE Symposium on logic in Computer Science (LICS). IEEE, p. 462-474 13 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile6 Citations (Scopus)72 Downloads (Pure)