Patrick Lincoln
SRI International(US)
Publications by Year
Research Areas
Logic, programming, and type systems, Formal Methods in Verification, Logic, Reasoning, and Knowledge, Distributed systems and fault tolerance, Network Security and Intrusion Detection
Most-Cited Works
- → Maude: specification and programming in rewriting logic(2002)768 cited
- → All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic(2007)632 cited
- → Architectural support for copy and tamper resistant software(2000)600 cited
- → A meta-notation for protocol analysis(2003)249 cited
- → Decision problems for propositional linear logic(1992)222 cited
- → Advances in Linear Logic(1995)212 cited
- → A probabilistic poly-time framework for protocol analysis(1998)210 cited