( en | de | ru )

 

Disambiguierung von "Roy, Pritam"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Ticc: A Tool for Interface Compatibility and Composition.

, , , , , , und . CAV, Volume 4144 von Lecture Notes in Computer Science, Seite 59-62. Springer, (2006)

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.

Pritam Ganguly

Roy Hornig

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

Pritam Bala Sinha

Pritam Lal Aneja

Pritam Kumar Jana

 

Weitere Publikationen von Autoren mit dem selben Namen

Solving Games Via Three-Valued Abstraction Refinement., und . CONCUR, Volume 4703 von Lecture Notes in Computer Science, Seite 74-89. Springer, (2007)Modified shuffled frog leaping algorithm with genetic algorithm crossover for solving economic load dispatch problem with valve-point effect., , und . Appl. Soft Comput., 13 (11): 4244-4252 (2013)Adapting Futures: Scalability for Real-World Computing., , , und . RTSS, Seite 105-118. IEEE Computer Society, (2007)Interface Building for Software by Modular Three-Valued Abstraction Refinement.. CoRR, (2010)Magnifying Lens Abstraction for Stochastic Games with Discounted and Long-run Average Objectives, , und . CoRR, (2011)Safety-Guarantee Controller Synthesis for Cyber-Physical Systems, , und . CoRR, (2010)Solving games via three-valued abstraction refinement., und . Inf. Comput., 208 (6): 666-676 (2010)Magnifying-Lens Abstraction for Markov Decision Processes., und . CAV, Volume 4590 von Lecture Notes in Computer Science, Seite 325-338. Springer, (2007)Ticc: A Tool for Interface Compatibility and Composition., , , , , , und . CAV, Volume 4144 von Lecture Notes in Computer Science, Seite 59-62. Springer, (2006)SimCheck: An Expressive Type System for Simulink., und . NASA Formal Methods, Volume NASA/CP-2010-216215 von NASA Conference Proceedings, Seite 149-160. (2010)