Author/Creator: PALAMIDESSI, CATUSCIA - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator PALAMIDESSI, CATUSCIA

1. Abstract interpretation of temporal concurrent constraint programs. Issue 3 (10th February 2014)

Authors:: FALASCHI, MORENO; OLARTE, CARLOS; PALAMIDESSI, CATUSCIA
Journal:: Theory and practice of logic programming
Issue:: Volume 15:Issue 3(2015)
Page Start:: 312
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. Compositional methods for information-hiding†. (24th November 2014)

Authors:: CHATZIKOKOLAKIS, KONSTANTINOS; PALAMIDESSI, CATUSCIA; BRAUN, CHRISTELLE
Journal:: Mathematical structures in computer science
Issue:: Volume 26:Number 6(2016)
Page Start:: 908
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

3. Preface to the special issue on quantitative information flow. (10th November 2014)

Authors:: ANDRÉS, MIGUEL E.; PALAMIDESSI, CATUSCIA; SMITH, GEOFFREY
Journal:: Mathematical structures in computer science
Issue:: Volume 25:Number 2(2015)
Page Start:: 203
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗