( en | de | ru )

 

Disambiguierung von "Lynch, Nancy A."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Computational Tradeoffs in Biological Neural Networks: Self-Stabilizing Winner-Take-All Networks.

, , und . CoRR, (2016)

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.

Enrique A J Lynch Frigeiro

Philip Lynch

John Lynch

Matthew Lynch

Grit Lynch

 

Weitere Publikationen von Autoren mit dem selben Namen

Proving performance propterties (even probabilistic ones).. FORTE, Volume 6 von IFIP Conference Proceedings, Seite 3-20. Chapman & Hall, (1994)Computer-Assisted Verification of an Algorithm for Concurrent Timestamps., , , , und . FORTE, Volume 69 von IFIP Conference Proceedings, Seite 29-44. Chapman & Hall, (1996)On Formal Modeling of Agent Computations., , , , , , und . FAABS, Volume 1871 von Lecture Notes in Computer Science, Seite 48-62. Springer, (2000)Ant-Inspired Density Estimation via Random Walks: Extended Abstract., , und . PODC, Seite 469-478. ACM, (2016)Using Simulated Execution in Verifying Distributed Algorithms, , , , und . Software Tools for Technology Transfer, (2003)An introduction to input/output automata, und . CWI Quarterly, (1989)Lack of Quorum Sensing Leads to Failure of Consensus in Temnothorax Ant Emigration., , und . SSS, Volume 13046 von Lecture Notes in Computer Science, Seite 209-228. Springer, (2021)Automated Implementation of Complex Distributed Algorithms Specified in the IOA Language., , , und . PDCS, Seite 128-134. ISCA, (2005)Strings of Vehicles: Modeling and Safety Conditions., und . HSCC, Volume 1386 von Lecture Notes in Computer Science, Seite 273-288. Springer, (1998)Mechanical Translation of I/O Automaton Specifications into First-Order Logic., , und . FORTE, Volume 2529 von Lecture Notes in Computer Science, Seite 364-368. Springer, (2002)