Searching for authors named Andre Scedrov – sorted by Relevance.
45 documents found, showing 1 through 10.
Next 10 →
-
Linear Logic and Computation: A Survey
- …Linear Logic and Computation: A Survey Andre Scedrov Department of Mathematics, University…
- Cited by 12 (6 self) – Add To MetaCart
-
A Brief Guide to Linear Logic
- …A Brief Guide to Linear Logic andre scedrov Department of Mathematics, University…
- Cited by 53 (8 self) – Add To MetaCart
-
Relating State-Based and Process-Based Concurrency through Linear Logic
- … Iliano Cervesato 1 Deductive Solutions Annandale, VA — USA iliano@(email omitted); Andre Scedrov 2…
- Cited by 2 (0 self) – Add To MetaCart
-
Functionality, polymorphism, and concurrency: a mathematical investigation of programming paradigms
- …. Thanks to Peter Freyd, David Harbater, Andre Scedrov, and Scott Weinstein for serving on my Ph…
- Cited by 3 (0 self) – Add To MetaCart
-
The Undecidability of Second Order Multiplicative Linear Logic
- … Scedrov y Department of Mathematics, University of Pennsylvania, Philadelphia, PA 19104-6395, USA…
- Cited by 13 (3 self) – Add To MetaCart
-
First Order Linear Logic without Modalities Is NEXPTIME-Hard
- …First Order Linear Logic Without Modalities is NEXPTIME-Hard Patrick Lincoln Andre Scedrov y…
- Cited by 12 (9 self) – Add To MetaCart
-
Soundness of Formal Encryption in the Presence ofKey-Cycles
- …??, Jonathan Herzog3, and Andre Scedrov2? ? ? 1 Center for Logic and Computation, IST, Lisboa, Portugal 2…
- Add To MetaCart
-
Key-dependent message security under active attacks. ePrint Archive
- … with Key Cycles – Michael Backes 1⋆ , Birgit Pfitzmann 2 , and Andre Scedrov 3⋆⋆ 1 Saarland University…
- Cited by 6 (1 self) – Add To MetaCart
-
Two Weak Links in the Formal Methods Chain
- …Two Weak Links in the Formal Methods Chain Carl A. Gunter Insup Lee Andre Scedrov August 30…
- Cited by 1 (0 self) – Add To MetaCart
-
Soundness and completeness of formal encryption: The cases of key-cycles and partial information leakage
- … Leakage (Preliminary Version) Pedro Ad~ao1?, Gergei Bana2??, Jonathan Herzog3, and Andre Scedrov4? ? ? 1…
- Cited by 2 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
