Adin Rosenberg

According to our database, Adin Rosenberg authored at least 2 papers in 2010.

Collaborative distances:

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

2010

The Blowup in Translating LTL to Deterministic Automata.

Orna Kupferman, Adin Rosenberg

Proceedings of the Model Checking and Artificial Intelligence - 6th International Workshop, 2010

Alternation Removal in Büchi Automata.

Udi Boker, Orna Kupferman, Adin Rosenberg

Proceedings of the Automata, Languages and Programming, 37th International Colloquium, 2010