Author of the publication

Interactive Information Flow - (Invited Talk).

, , and . ARSPA-WITS, volume 6186 of Lecture Notes in Computer Science, page 111. Springer, (2010)

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 Palamidessi, Catuscia
add a person with the name Palamidessi, Catuscia
 

Other publications of authors with the same name

Negation as Instantitation: A New Rule for the Treatment of Negation in Logic Programming., , and . ICLP, page 32-45. MIT Press, (1991)Concurrent Logic Programming: Asynchronism and Language Comparison., and . NACLP, page 175-194. MIT Press, (1990)Entropy and Attack Models in Information Flow - (Invited Talk)., , and . IFIP TCS, volume 323 of IFIP Advances in Information and Communication Technology, page 53-54. Springer, (2010)Bounds on the Leakage of the Input's Distribution in Information-Hiding Protocols., and . TGC, volume 5474 of Lecture Notes in Computer Science, page 36-51. Springer, (2008)Online Sensitivity Optimization in Differentially Private Learning., , and . AAAI, page 12109-12117. AAAI Press, (2024)A framework for abstract interpretation of timed concurrent constraint programs., , and . PPDP, page 207-218. ACM, (2009)Mobile calculi for distributed programming.. PPDP, page 74-75. ACM, (2002)The Failure of Failures in a Paradigm for Asynchronous Communication., , , and . CONCUR, volume 527 of Lecture Notes in Computer Science, page 111-126. Springer, (1991)A Temporal Concurrent Constraint Programming Calculus., and . CP, volume 2239 of Lecture Notes in Computer Science, page 302-316. Springer, (2001)Model checking the probabilistic pi-calculus., , , and . QEST, page 169-178. IEEE Computer Society, (2007)