( en | de | ru )

 

Disambiguation of "Torre, Salvatore La"

Author of the publication

copydeleteadd this publication to your clipboard
A General Modular Synthesis Problem for Pushdown Systems.

, and . VMCAI, volume 9583 of Lecture Notes in Computer Science, page 495-513. Springer, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Martino La Torre

Hector la Torre

Luis La Torre

Annabel la Torre Cevallos

Alberto Clemente la Torre

 

Other publications of authors with the same name

The Firing Squad Synchronization Problem on Squares, Toruses and Rings., , and . Int. J. Found. Comput. Sci., 18 (3): 637-654 (2007)Visibly pushdown modular games, ., , and . Inf. Comput., (2017)Parametric Metric Interval Temporal Logic., , and . LATA, volume 6031 of Lecture Notes in Computer Science, page 249-260. Springer, (2010)Parallel Word Substitution., , and . Fundam. Informaticae, 27 (1): 27-36 (1996)Finite automata on timed omega-trees., and . Theor. Comput. Sci., 293 (3): 479-505 (2003)Optimal paths in weighted timed automata., , and . Theor. Comput. Sci., 318 (3): 297-322 (2004)Games, Automata, Logic, and Formal Verification (GandALF 2011)., and . Theor. Comput. Sci., (2013)Modular Strategies for Recursive Game Graphs., , and . TACAS, volume 2619 of Lecture Notes in Computer Science, page 363-378. Springer, (2003)Reducing Context-Bounded Concurrent Reachability to Sequential Reachability., , and . CAV, volume 5643 of Lecture Notes in Computer Science, page 477-492. Springer, (2009)Concurrent Program Verification with Lazy Sequentialization and Interval Analysis., , , and . NETYS, volume 10299 of Lecture Notes in Computer Science, page 255-271. (2017)