PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Murano, Aniello"

Author of the publication

copydeleteadd this publication to your clipboard
The C@Rolin@ Software - A System for Monitoring Skills Development of Children with Down Syndrome.

, , and . HEALTHINF, page 180-185. SciTePress, (2011)

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.

No persons found for author name Murano, Aniello
add a person with the name Murano, Aniello
 

Other publications of authors with the same name

Optimal-Reachability and Control for Acyclic Weighted Timed Automata., , and . IFIP TCS, volume 223 of IFIP Conference Proceedings, page 485-497. Kluwer, (2002)Improved model checking of hierarchical systems., , and . Inf. Comput., (2012)Typeness for omega-regular Automata., , and . Int. J. Found. Comput. Sci., 17 (4): 869-884 (2006)Weak Muller acceptance conditions for tree automata., , and . Theor. Comput. Sci., 332 (1-3): 233-250 (2005)Graded computation tree logic., , and . ACM Trans. Comput. Log., 13 (3): 25:1-25:53 (2012)Decidability results for ATL* with imperfect information and perfect recall., , and . CoRR, (2018)Enriched µ-Calculus Pushdown Module Checking., , and . LPAR, volume 4790 of Lecture Notes in Computer Science, page 438-453. Springer, (2007)Pushdown Module Checking with Imperfect Information., , and . CONCUR, volume 4703 of Lecture Notes in Computer Science, page 460-475. Springer, (2007)Changing Observations in Epistemic Temporal Logic., , , and . KR, page 621-622. AAAI Press, (2018)Synthesis under Assumptions., , , and . KR, page 615-616. AAAI Press, (2018)