DSpace at RU >

Browsing by Author Palamidessi, C.

Full Text	Issue Date	Title	Author(s)
	2011	Information hiding in probabilistic concurrent systems	Andrés, M.E.; Palamidessi, C.; Rossum, P. van; Sokolova, A.
	2010	Probabilistic Information Flow	Alvim, M.S.; Andres, M.E.; Palamidessi, C.
	2010	Computing the Leakage of Information-Hiding Systems	Andres, M.E.; Palamidessi, C.; Rossum, P. van; Smith, G.
	2010	Entropy and attack models in information flow (Invited Talk)	Alvim, M.S.; Andres, M.E.; Palamidessi, C.
	2010	Safe equivalences for security properties	Alvim, M.S.; Andres, M.E.; Palamidessi, C.; Rossum, P. van
	2010	Information Flow in Interactive Systems	Alvim, M.; Andres, M.; Palamidessi, C.
	1997	Proving concurrent constraint programs correct	Boer, F.S. de; Gabbrielli, M.; Marchiori, E.; Palamidessi, C.
	1994	A declarative approach for first-order built-in's of prolog	Apt, K.R.; Marchiori, E.; Palamidessi, C.
	1992	A theory of first-order built-in's of prolog	Apt, K.R.; Marchiori, E.; Palamidessi, C.