| 
| |  | |  |
Minimal Data Upgrading to Prevent Inference and Association
Note: Links lead to the DBLP on the Web.
Patrick Lincoln
23
Steven Dawson
,
Sabrina De Capitani di Vimercati
, Patrick Lincoln,
Pierangela Samarati
: Minimal Data Upgrading to Prevent Inference and Association.
PODS 1999
: 114-125
22
M. Clavel
,
F. Durán
,
S. Eker
, Patrick Lincoln,
Narciso Martí-Oliet
,
José Meseguer
,
J. F. Quesada
: The Maude System.
RTA 1999
: 240-243
21
Patrick Lincoln,
John C. Mitchell
,
Mark Mitchell
,
Andre Scedrov
: Probabilistic Polynomial-Time Equivalence and Security Analysis.
World Congress on Formal Methods (1) 1999
: 776-793
20
Patrick Lincoln,
John C. Mitchell
,
Andre Scedrov
: Optimization Complexity of Linear Logic Proof Games.
TCS 227
(1-2): 299-331 (1999)
19
Patrick Lincoln,
John C. Mitchell
,
Mark Mitchell
,
Andre Scedrov
: A Probabilistic Poly-Time Framework for Protocol Analysis.
ACM Conference on Computer and Communications Security 1998
: 112-121
18
Shmuel Katz
, Patrick Lincoln,
John M. Rushby
: Low-Overhead Time-Triggered Group Membership.
WDAG 1997
: 155-169
17
Chris J. Walter
, Patrick Lincoln,
Neeraj Suri
: Formally Verified On-Line Diagnosis.
TSE 23
(11): 684-721 (1997)
16
David Cyrluk
, Patrick Lincoln,
Natarajan Shankar
: On Shostak's Decision Procedure for Combinations of Theories.
CADE 1996
: 463-477
15
Patrick Lincoln,
Andre Scedrov
,
Natarajan Shankar
: Decision Problems for Second-Order Linear Logic.
LICS 1995
: 476-485
14
Patrick Lincoln,
Narciso Martí-Oliet
,
José Meseguer
,
Livio Ricciulli
: Compiling Rewriting onto SIMD and MIMD/SIMD Maschines.
PARLE 1994
: 37-48
13
Patrick Lincoln,
Andre Scedrov
: First-Order Linear Logic without Modalities is NEXPTIME-Hard.
TCS 135
(1): 139-153 (1994)
12
Patrick Lincoln,
Timothy C. Winkler
: Constant-Only Multiplicative Linear Logic is NP-Complete.
TCS 135
(1): 155-169 (1994)
11
Patrick Lincoln,
John M. Rushby
: The Formal Verification of an Algorithm for Interactive Consistency under a Hybrid Fault Model.
CAV 1993
: 292-304
10
Patrick Lincoln,
John M. Rushby
: A Formally Verified Algorithm for Interactive Consistency Under a Hybrid Fault Model.
FTCS 1993
: 402-411
9
Patrick Lincoln,
Andre Scedrov
,
Natarajan Shankar
: Linearizing Intuitionistic Implication.
Annals of Pure and Applied Logic 60
(2): 151-177 (1993)
8
Patrick Lincoln,
John Mitchell
: Operational aspects of linear lambda calculus.
LICS 1992
: 235-246
7
Patrick Lincoln,
John C. Mitchell
: Algorithmic Aspects of Type Inference with Subtypes.
POPL 1992
: 293-304
6
Patrick Lincoln,
Andre Scedrov
,
Natarajan Shankar
: Linearizing Intuitionistic Implication.
LICS 1991
: 51-62
5
Patrick Lincoln,
John Mitchell
,
Andre Scedrov
,
Natarajan Shankar
: Decision Problems for Propositional Linear Logic.
FOCS 1990
: 662-671
4
Patrick Lincoln,
Jim Christian
: Adventures in Associative-Commutative Unification.
JSC 8
(1/2): 217-240 (1989)
3
Hassan Aït-Kaci
,
Robert S. Boyer
, Patrick Lincoln,
Roger Nasr
: Efficient Implementation of Lattice Operations.
TOPLAS 11
(1): 115-146 (1989)
2
Patrick Lincoln,
Jim Christian
: Adventures in Associative-Commutative Unification (A Summary).
CADE 1988
: 358-367
1
Hassan Aït-Kaci
, Patrick Lincoln,
Roger Nasr
: Le Fun: Logic, Equations and Functions.
SLP 1987
: 17-23
Copyright(C) 2000 ACM | | | | | | |
