( en | de | ru )

 

Disambiguation of "Intrigila, Benedetto"

Author of the publication

copydeleteadd this publication to your clipboard
Cost-optimal Strong Planning in Non-deterministic Domains.

, , , , and . ICINCO (1), page 56-66. 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.

Benedetto Risio

Barbara Di Benedetto

Patrizia Di Benedetto

Benedetto Daniele Giaimo

Sascha Magnus Benedetto Castro

 

Other publications of authors with the same name

Exploiting Transition Locality in the Disk Based Mur phi Verifier., , , and . FMCAD, volume 2517 of Lecture Notes in Computer Science, page 202-219. Springer, (2002)An XML environment for scenario based requirements engineering., , , and . J. Syst. Softw., 79 (3): 379-403 (2006)A PDDL+ Benchmark Problem: The Batch Chemical Plant., , , and . ICAPS, page 222-225. AAAI, (2010)Finite Horizon Analysis of Stochastic Systems with the Mur varphi Verifier., , , , and . ICTCS, volume 2841 of Lecture Notes in Computer Science, page 58-71. Springer, (2003)Interoperability mapping from XML schemas to ER diagrams., , , , and . Data Knowl. Eng., 59 (1): 166-188 (2006)Some Results on Numerical Systems in lambda-Calculus.. Notre Dame J. Formal Log., 35 (4): 523-541 (1994)A Comprehensive Setting for Matching and Unification over Iterative Terms., , and . Fundam. Informaticae, 39 (3): 273-304 (1999)On the structure of the counting function of sparse context-free languages., , and . Theor. Comput. Sci., 356 (1-2): 104-117 (2006)On the commutative equivalence of semi-linear sets of Nk., and . Theor. Comput. Sci., (2015)Some New Results on Easy lambda-Terms., and . Theor. Comput. Sci., 121 (1&2): 71-88 (1993)