PL
Patrick Lincoln
SRI International151
Publications
6,911
Citations
41
h-index
72
i10-index
Loading papers...
Search by keywords
Filter by Type
- Article (86)
- Book Chapter (51)
- Preprint (5)
- Report (5)
- Book (3)
Filter by Open Access Type
- Open Access (24)
- Closed Access (126)
Filter by Authors
- Patrick Lincoln (150)
- Steven Eker (43)
- José Meseguer (39)
- Narciso Martı́-Oliet (34)
- Carolyn Talcott (34)
Filter by Topics
- Logic, programming, and type systems (54)
- Formal Methods in Verification (43)
- Logic, Reasoning, and Knowledge (32)
- Distributed systems and fault tolerance (17)
- Network Security and Intrusion Detection (11)