Ilaria De Crescenzo

According to our database, Ilaria De Crescenzo authored at least 5 papers between 2011 and 2017.

Collaborative distances:

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

2017

Visibly pushdown modular games, .

Ilaria De Crescenzo, Salvatore La Torre, Yaron Velner

Inf. Comput., 2017

2016

Synthesis of recursive state machines from libraries of game modules.

Ilaria De Crescenzo

PhD thesis, 2016

A General Modular Synthesis Problem for Pushdown Systems.

Ilaria De Crescenzo, Salvatore La Torre

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016

2013

Modular Synthesis with Open Components.

Ilaria De Crescenzo, Salvatore La Torre

Proceedings of the Reachability Problems - 7th International Workshop, 2013

2011

Winning CaRet Games with Modular Strategies.

Ilaria De Crescenzo, Salvatore La Torre

Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31, 2011