( en | de | ru )

 

Disambiguation of "Lincoln, Patrick"

Author of the publication

copydeleteadd this publication to your clipboard
Counterexample Guided Inductive Synthesis Using Large Language Models and Satisfiability Solving.

, , , , , , and . MILCOM, page 944-949. IEEE, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ulrich Lincoln

Tania Lincoln

Bryan Lincoln

Tania Lincoln

Tania Lincoln

 

Other publications of authors with the same name

All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic, , , , , , and . Lecture Notes in Computer Science Springer, (July 2007)A Formally Verified Algorithm for Interactive Consistency Under a Hybrid Fault Model., and . FTCS, page 402-411. IEEE Computer Society, (1993)Operational aspects of linear lambda calculus, and . LICS, page 235-246. IEEE Computer Society, (1992)Homogeneity as an Advantage: It Takes a Community to Protect an Application., , , , , , , , , and . CollSec, USENIX Association, (2010)Le Fun: Logic, Equations and Functions., , and . SLP, page 17-23. IEEE-CS, (1987)Evolution as Design Engineer., and . CMSB, volume 2602 of Lecture Notes in Computer Science, page 202-206. Springer, (2003)bRIGHT - Workstations of the Future and Leveraging Contextual Models., , and . HCI (4), volume 10904 of Lecture Notes in Computer Science, page 346-357. Springer, (2018)Object-Oriented Modules., , , , , , and . All About Maude, volume 4350 of Lecture Notes in Computer Science, Springer, (2007)Core Maude Grammar., , , , , , and . All About Maude, volume 4350 of Lecture Notes in Computer Science, Springer, (2007)Using Maude., , , , , , and . All About Maude, volume 4350 of Lecture Notes in Computer Science, Springer, (2007)