Patrick Lincoln
Artificial Intelligence · 2000–2016
A researcher in the Science corpus: 5 papers; trusts 8 researchers and is trusted by 1 researcher here, as inferred from the citation graph.
Subfields
- Artificial Intelligence — 7 citations into it; #32,390 of 35,345 by trust here, #12,387 by citations
- Computational Theory and Mathematics — 6 citations into it
Whom Patrick Lincoln trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
- Dimitri P. Bertsekas
- Matthew Richardson
- Shike Mei
- Xiaojin Zhu
- Marta Z. Kwiatkowska
- Aharon Bar-Hillel
- Pedro M. Domingos
- Gethin Norman
- Tomer Hertz
- Kenneth D. Miller
Who trusts Patrick Lincoln overall
Papers from Patrick Lincoln's perspective
Ordered by how strongly the researchers Patrick Lincoln trusts endorse each paper. Same corpus, a different order for every researcher.
- Using Machine Teaching to Identify Optimal Training-Set Attacks on Machine Learners
- Machine Teaching: An Inverse Problem to Machine Learning and an Approach Toward Optimal Education
- Markov logic networks
- Constrained Optimization and Lagrange Multiplier Methods
- HMAC: Keyed-Hashing for Message Authentication
- Optimizing Büchi Automata (International Conference on Concurrency Theory)
- Efficient Büchi Automata from LTL Formulae (International Conference on Computer Aided Verification)
- Learning a Mahalanobis Metric from Equivalence Constraints (Journal of machine learning research)
- The protection of information in computer systems
- Fast LTL to Büchi Automata Translation (International Conference on Computer Aided Verification)
Their papers
- The Maude 2.0 System (2003) — 318 citations
- Trusted Machine Learning for Probabilistic Models (2016)
- All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic (2007) — 1,108 citations
- Maude: specification and programming in rewriting logic (2002) — 908 citations
- Architectural support for copy and tamper resistant software (2000) — 689 citations