( en | de | ru )

 

Disambiguierung von "Lincoln, Patrick"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
NEVRLATE: Scalable Resource Discovery.

, , , und . CCGRID, Seite 382-388. IEEE Computer Society, (2002)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Ulrich Lincoln

Tania Lincoln

Bryan Lincoln

Tania Lincoln

Tania Lincoln

 

Weitere Publikationen von Autoren mit dem selben Namen

Analyzing Pathways Using SAT-Based Approaches., , , , und . AB, Volume 4545 von Lecture Notes in Computer Science, Seite 155-169. Springer, (2007)Decision Problems for Propositional Linear Logic., , , und . Ann. Pure Appl. Log., 56 (1-3): 239-311 (1992)Epidemic profiles and defense of scale-free networks., , und . WORM, Seite 67-75. ACM Press, (2003)A Probabilistic Poly-Time Framework for Protocol Analysis., , , und . ACM Conference on Computer and Communications Security, Seite 112-121. ACM, (1998)Linear logic proof games and optimization., , und . Bull. Symb. Log., 2 (3): 322-338 (1996)The Maude 2.0 System, , , , , , und . Rewriting Techniques and Applications (RTA'03), Volume 2706 von LNCS, Seite 76--87. Springer-Verlag, (2003)Formal Methods at Scale., , und . IEEE Secur. Priv., 20 (3): 22-23 (2022)Playing with Maude., , , , , , , , und . All About Maude, Volume 4350 von Lecture Notes in Computer Science, Springer, (2007)Debugging and Troubleshooting., , , , , , und . All About Maude, Volume 4350 von Lecture Notes in Computer Science, Springer, (2007)System Modules., , , , , , und . All About Maude, Volume 4350 von Lecture Notes in Computer Science, Springer, (2007)