Matthew Konefal

According to our database, Matthew Konefal authored at least 2 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Word Equations with Length Constraints via Weak Arithmetics and Matrix Reachability Problems.

Joel D. Day, Matthew Konefal

Proceedings of the Reachability Problems - 19th International Conference, 2025

2024

A Closer Look at the Expressive Power of Logics Based on Word Equations.

Joel D. Day, Vijay Ganesh, Nathan Grewal, Matthew Konefal, Florin Manea

Theory Comput. Syst., June, 2024