We stand with Ukraine  

Zaneta Semanisinová

Orcid: 0000-0001-8111-0671

According to our database1, Zaneta Semanisinová authored at least 4 papers between 2024 and 2025.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
Temporal Valued Constraint Satisfaction Problems.
[BibTeX]
[DOI]
Manuel Bodirsky
,
Édouard Bonnet
,
Zaneta Semanisinová
Proceedings of the 50th International Symposium on Mathematical Foundations of Computer Science, 2025

2024
Complexity Classification Transfer for CSPs via Algebraic Products.
[BibTeX]
[DOI]
Manuel Bodirsky
,
Peter Jonsson
,
Barnaby Martin
,
Antoine Mottet
,
Zaneta Semanisinová
SIAM J. Comput., 2024

The Complexity of Resilience Problems via Valued Constraint Satisfaction Problems.
[BibTeX]
[DOI]
Manuel Bodirsky
,
Zaneta Semanisinová
,
Carsten Lutz
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

Identifying Tractable Quantified Temporal Constraints Within Ord-Horn.
[BibTeX]
[DOI]
Jakub Rydval
,
Zaneta Semanisinová
,
Michal Wrona
Proceedings of the 51st International Colloquium on Automata, Languages, and Programming, 2024


  Loading...