Andrei Draghici

According to our database, Andrei Draghici authored at least 5 papers between 2021 and 2025.

Collaborative distances:

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

2025

Boundedness of Cost Register Automata over the Integer Min-Plus Semiring.

Andrei Draghici, Radoslaw Piórkowski, Andrew Ryzhikov

Proceedings of the 33rd EACSL Annual Conference on Computer Science Logic, 2025

2024

Semënov Arithmetic, Affine {VASS}, and String Constraints.

Andrei Draghici, Christoph Haase, Florin Manea

Proceedings of the 41st International Symposium on Theoretical Aspects of Computer Science, 2024

Reachability in Fixed VASS: Expressiveness and Lower Bounds.

Andrei Draghici, Christoph Haase, Andrew Ryzhikov

Proceedings of the Foundations of Software Science and Computation Structures, 2024

2022

On the Complexity of Inductively Learning Guarded Clauses.

Andrei Draghici, Georg Gottlob, Matthias Lanzinger

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

On the Complexity of Inductively Learning Guarded Rules.

Andrei Draghici, Georg Gottlob, Matthias Lanzinger

CoRR, 2021