MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Pasquale Malacaria" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

13 documents found, showing 1 through 10. Next 10 →

ATOM

Studying Equivalences of Transition Systems with Algebraic Tools
by Pasquale Malacaria — 1995 — Theoretical Computer Science
…Studying equivalences of transition systems with algebraic tools Pasquale Malacaria LIENS…
Cited by 1 (0 self) – Add To MetaCart

A New Approach to Control Flow Analysis
by Pasquale Malacaria, Chris Hankin — 1998 — Lecture
…A New Approach to Control Flow Analysis Pasquale Malacaria and Chris Hankin Dept. of Computing…
Cited by 10 (3 self) – Add To MetaCart

Generalised flowcharts and games: Extended abstract
by Pasquale Malacaria, Chris Hankin — 1998 — 25th International Colloquium, ICALP'98
… Generalised Flowcharts and Games (Extended Abstract) Pasquale Malacaria and Chris Hankin Dept…
Cited by 3 (2 self) – Add To MetaCart

Relative Definability of Boolean Functions via Hypergraphs
by Antonio Bucciarelli, Pasquale Malacaria
…-DMI, Ecole Normale Superieure, 45 rue d'Ulm 75005 Paris, France Pasquale Malacaria Department of Computing…
Cited by 1 (1 self) – Add To MetaCart

A static analysis for quantifying information flow in a simple imperative language
by David Clark, Sebastian Hunt, Pasquale Malacaria
… , Sebastian Hunt 2 , and Pasquale Malacaria 3 1 Department of Computer Science, Kings College, London. david…
Add To MetaCart

Games and full abstraction for PCF: preliminary announcement
by Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria — 1993
… and Pasquale Malacaria July 23, 1993 The Full Abstraction Problem for PCF [14, 12, 4, 8] is one of the longest…
Cited by 4 (0 self) – Add To MetaCart

Quantified interference: information theory and information flow
by David Clark, Sebastian Hunt, Pasquale Malacaria — 2004 — Presented at Workshop on Issues in the Theory of Security (WITS’04
… and Sebastian Hunt 2 and Pasquale Malacaria 3 1 Department of Computer Science, Kings College, London. david…
Cited by 8 (0 self) – Add To MetaCart

Full Abstraction for PCF
by Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria — 1996 — Information and Computation
…Full Abstraction for PCF Samson Abramsky y Radha Jagadeesan z Pasquale Malacaria x February…
Cited by 129 (15 self) – Add To MetaCart

Non-interference for weak observers
by David Clark, Sebastian Hunt, Pasquale Malacaria — 2004 — In Proc. Programming Language Interference and Dependence (PLID
…Non-Interference for Weak Observers David Clark Sebastian Hunt Pasquale Malacaria July 20, 2004 We…
Cited by 2 (0 self) – Add To MetaCart

Full Abstraction for PCF (Extended Abstract)
by Samson Abramsky, Pasquale Malacaria, Radha Jagadeesan — 1994 — Theoretical Aspects of Computer Software. International Symposium TACS'94, number 789 in Lecture Notes in Computer Science
…Full Abstraction for PCF ? (Extended Abstract) Samson Abramsky and Pasquale Malacaria Imperial…
Cited by 69 (12 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB