Joanna Fijalkow

Orcid: 0000-0003-0945-0801

Affiliations:
  • CNRS, University of Bordeaux, LaBRI, France


According to our database1, Joanna Fijalkow authored at least 14 papers between 2014 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata.
TheoretiCS, 2024

2023
Definable Ellipsoid Method, Sums-of-Squares Proofs, and the Graph Isomorphism Problem.
SIAM J. Comput., October, 2023

2022
Finite and Algorithmic Model Theory (Dagstuhl Seminar 22051).
Dagstuhl Reports, 2022

2021
On the Power of Symmetric Linear Programs.
J. ACM, 2021

2019
Proof Complexity Meets Algebra.
ACM Trans. Comput. Log., 2019

Definable isomorphism problem.
Log. Methods Comput. Sci., 2019

2018
Definable Ellipsoid Method, Sums-of-Squares Proofs, and the Isomorphism Problem.
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

2016
Homomorphism Problems for First-Order Definable Structures.
Proceedings of the 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2016

2015
Eliminating Recursion from Monadic Datalog Programs on Trees.
Proceedings of the Mathematical Foundations of Computer Science 2015, 2015

Locally Finite Constraint Satisfaction Problems.
Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015

Algebraic Properties of Valued Constraint Satisfaction Problem.
Proceedings of the Automata, Languages, and Programming - 42nd International Colloquium, 2015

2014
Algebraic Properties of Valued Constraint Satisfaction Problem.
CoRR, 2014

Turing machines with atoms, constraint satisfaction problems, and descriptive complexity.
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

Nominal Sets over Algebraic Atoms.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2014


  Loading...