( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
NEVRLATE: Scalable Resource Discovery.

, , , и . CCGRID, стр. 382-388. IEEE Computer Society, (2002)

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

Lincoln Opper

 

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

Analyzing Pathways Using SAT-Based Approaches., , , , и . AB, том 4545 из Lecture Notes in Computer Science, стр. 155-169. Springer, (2007)The Maude 2.0 System, , , , , , и . Rewriting Techniques and Applications (RTA'03), том 2706 из LNCS, стр. 76--87. Springer-Verlag, (2003)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)Decision Problems for Propositional Linear Logic., , , и . Ann. Pure Appl. Log., 56 (1-3): 239-311 (1992)Linear logic proof games and optimization., , и . Bull. Symb. Log., 2 (3): 322-338 (1996)Formal Methods at Scale., , и . IEEE Secur. Priv., 20 (3): 22-23 (2022)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)Playing with Maude., , , , , , , , и . All About Maude, том 4350 из Lecture Notes in Computer Science, Springer, (2007)Debugging and Troubleshooting., , , , , , и . All About Maude, том 4350 из Lecture Notes in Computer Science, Springer, (2007)