Search Sciweavers | Sciweavers

265 search results - page 7 / 53

» entcs 2007

click to vote

ENTCS
2007

63views more ENTCS 2007»

Conformal Field Theory as a Nuclear Functor

14 years 10 months ago

Download www.cs.mcgill.ca

Richard Blute, Prakash Panangaden, Dorette Pronk

claim paper

Read More »

click to vote

ENTCS
2007

73views more ENTCS 2007»

What You Lose is What You Leak: Information Leakage in Declassification Policies

14 years 10 months ago

Download profs.sci.univr.it

Anindya Banerjee, Roberto Giacobazzi, Isabella Mas...

claim paper

Read More »

click to vote

ENTCS
2007

74views more ENTCS 2007»

On Well-Foundedness and Expressiveness of Promoted Tyft: Being Promoted Makes a Difference

14 years 10 months ago

Download www.cse.unsw.edu.au

Mohammad Reza Mousavi, Michel A. Reniers

claim paper

Read More »

click to vote

ENTCS
2007

86views more ENTCS 2007»

Equational Cryptographic Reasoning in the Maude-NRL Protocol Analyzer

14 years 10 months ago

Download users.dsic.upv.es

Santiago Escobar, Catherine Meadows, José M...

claim paper

Read More »

click to vote

ENTCS
2007

74views more ENTCS 2007»

A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers