( en | de | ru )

 

Disambiguierung von "Roy, Subhajit"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Knowledge Compilation meets Uniform Sampling.

, , , und . LPAR, Volume 57 von EPiC Series in Computing, Seite 620-636. EasyChair, (2018)

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.

Subhajit Ghosh

Roy Hornig

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

Trina Roy

David Roy

Smritindu Roy

 

Weitere Publikationen von Autoren mit dem selben Namen

Program Synthesis using Natural Language., , , , , , , und . CoRR, (2015)Synthesizing Abstract Transformers., , , , und . CoRR, (2021)Pertinent path profiling: Tracking interactions among relevant statements., , und . CGO, Seite 16:1-16:12. IEEE Computer Society, (2013)The Hot Path SSA Form: Extending the Static Single Assignment Form for Speculative Optimizations., und . CC, Volume 6011 von Lecture Notes in Computer Science, Seite 304-323. Springer, (2010)Structural Analysis Attack on Sequential Circuit Logic Locking., und . HOST, Seite 21-24. IEEE, (2022)Almost correct invariants: synthesizing inductive invariants by fuzzing proofs., und . ISSTA, Seite 352-364. ACM, (2022)Phase Directed Compiler Optimizations., und . HiPC, Seite 270-279. IEEE Computer Society, (2016)Diagnosing Software Faults Using Multiverse Analysis., , , , und . IJCAI, Seite 1629-1635. ijcai.org, (2020)Scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic..A Parameterized VHDL Library for On-Line Testing., , , , , , und . ITC, Seite 479-488. IEEE Computer Society, (1997)Online identification of frequently executed acyclic paths by leveraging data stream algorithms., und . SAC, Seite 1694-1695. ACM, (2013)