PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Delzanno, Giorgio"

Author of the publication

copydeleteadd this publication to your clipboard
Computational thinking for beginners: A successful experience using Prolog.

, , , , , , , , , , , and . CILC, volume 1459 of CEUR Workshop Proceedings, page 31-45. CEUR-WS.org, (2015)

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.

Univ. -Prof. Dr. -Ing. Giorgio Cattaneo University of Stuttgart

 

Other publications of authors with the same name

A classification of the expressive power of well-structured transition systems., , and . Inf. Comput., 209 (3): 248-279 (2011)Constraint-based automatic verification of abstract models of multithreaded programs.. TPLP, 7 (1-2): 67-91 (2007)Monotonic Abstraction: on Efficient Verification of Parameterized Systems., , , and . Int. J. Found. Comput. Sci., 20 (5): 779-801 (2009)A Bottom-Up Characterization of Finite Success., and . ILPS, page 676. MIT Press, (1993)Forum Objects., and . GULP-PRODE, page 283-294. (1995)The Cost of Parameterized Reachability in Mobile Ad Hoc Networks, , , and . CoRR, (2012)Constraint-based automatic verification of abstract models of multithreaded programs. CoRR, (2006)Multi-agent Systems Development as a Software Engineering Enterprise., , , , and . PADL, volume 1551 of Lecture Notes in Computer Science, page 46-60. Springer, (1999)Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems)., , , and . TACAS, volume 4424 of Lecture Notes in Computer Science, page 721-736. Springer, (2007)Constraint-Based Verification of Client-Server Protocols., and . CP, volume 2239 of Lecture Notes in Computer Science, page 286-301. Springer, (2001)