( en | de | ru )

 

Disambiguierung von "Armoni, Roy"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Discrepancy Sets and Pseudorandom Generators for Combinatorial Rectangles.

, , , und . FOCS, Seite 412-421. IEEE Computer Society, (1996)

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.

Charikleia Armoni

Roy Hornig

Beschreibung mikro-rheologischer Vorgänge und resultierender Verbundstrukturen beim Elastomermischprozeß im Innenmischer durch rheologische Untersuchungen. NA Halle-Wittenberg, (2009)

Trina Roy

Smritindu Roy

David Roy

 

Weitere Publikationen von Autoren mit dem selben Namen

Deterministic Dynamic Monitors for Linear-Time Assertions., , , , und . FATES/RV, Volume 4262 von Lecture Notes in Computer Science, Seite 163-177. Springer, (2006)The ForSpec Temporal Logic: A New Temporal Property-Specification Language., , , , , , , , , und 2 andere Autor(en). TACAS, Volume 2280 von Lecture Notes in Computer Science, Seite 296-211. Springer, (2002)On the Derandomization of Space-Bounded Computations.. RANDOM, Volume 1518 von Lecture Notes in Computer Science, Seite 47-59. Springer, (1998)Deeper Bound in BMC by Combining Constant Propagation and Abstraction., , , , , , und . ASP-DAC, Seite 304-309. IEEE Computer Society, (2007)SL <= L4/3., , , und . STOC, Seite 230-239. ACM, (1997)Resets vs. Aborts in Linear Temporal Logic., , , und . TACAS, Volume 2619 von Lecture Notes in Computer Science, Seite 65-80. Springer, (2003)Formal verification coverage: computing the coverage gap between temporal specifications., , , , , , , und . ICCAD, Seite 198-203. IEEE Computer Society / ACM, (2004)Discrepancy Sets and Pseudorandom Generators for Combinatorial Rectangles., , , und . FOCS, Seite 412-421. IEEE Computer Society, (1996)Enhanced Vacuity Detection in Linear Temporal Logic., , , , , , und . CAV, Volume 2725 von Lecture Notes in Computer Science, Seite 368-380. Springer, (2003)SVA and PSL Local Variables - A Practical Approach., , und . CAV, Volume 8044 von Lecture Notes in Computer Science, Seite 197-212. Springer, (2013)