Michal Hecko

Orcid: 0009-0003-2428-8547

According to our database¹, Michal Hecko authored at least 5 papers between 2024 and 2025.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2025

Negated String Containment is Decidable (Technical Report).

[BibT_eX]

[DOI]

CoRR, June, 2025

A Uniform Framework for Handling Position Constraints in String Solving (Technical Report).

[BibT_eX]

[DOI]

CoRR, April, 2025

A Uniform Framework for Handling Position Constraints in String Solving.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2025

Negated String Containment Is Decidable.

[BibT_eX]

[DOI]

Proceedings of the 50th International Symposium on Mathematical Foundations of Computer Science, 2025

2024

Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

Michal Hecko

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...