Ilaria De Crescenzo

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

Collaborative distances:

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

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

2014

Visibly Pushdown Modular Games.

Ilaria De Crescenzo, Salvatore La Torre, Yaron Velner

Proceedings of the Proceedings Fifth International Symposium on Games, 2014

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