( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
TRIST: Circumventing Censorship with Transcoding-Resistant Image Steganography.

, , , и . FOCI, USENIX Association, (2014)

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.

Ulrich Lincoln

Tania Lincoln

Bryan Lincoln

Tania Lincoln

Tania Lincoln

 

Другие публикации лиц с тем же именем

The Maude 2.0 System, , , , , , и . Rewriting Techniques and Applications (RTA'03), том 2706 из LNCS, стр. 76--87. Springer-Verlag, (2003)Analyzing Pathways Using SAT-Based Approaches., , , , и . AB, том 4545 из Lecture Notes in Computer Science, стр. 155-169. Springer, (2007)Decision Problems for Propositional Linear Logic., , , и . Ann. Pure Appl. Log., 56 (1-3): 239-311 (1992)A Probabilistic Poly-Time Framework for Protocol Analysis., , , и . ACM Conference on Computer and Communications Security, стр. 112-121. ACM, (1998)Epidemic profiles and defense of scale-free networks., , и . WORM, стр. 67-75. ACM Press, (2003)Linear logic proof games and optimization., , и . Bull. Symb. Log., 2 (3): 322-338 (1996)Counterexample Guided Inductive Synthesis Using Large Language Models and Satisfiability Solving., , , , , , и . MILCOM, стр. 944-949. IEEE, (2023)Certifying and Synthesizing Membership Equational Proofs., , , и . FME, том 2805 из Lecture Notes in Computer Science, стр. 359-380. Springer, (2003)Adventures in Associative-Commutative Unification., и . J. Symb. Comput., 8 (1/2): 217-240 (1989)Specification, Transformation, and Programming of Concurrent Systems in Rewriting Logic., , и . Specification of Parallel Algorithms, том 18 из DIMACS Series in Discrete Mathematics and Theoretical Computer Science, стр. 309-339. DIMACS/AMS, (1994)