( en | de | ru )

 

Disambiguierung von "Roy, Subhajit"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Symmetric Component Caching for Model Counting on Combinatorial Instances.

, , , , und . AAAI, Seite 3922-3930. AAAI Press, (2021)

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)

Smritindu Roy

David Roy

Wolfgang Roy

 

Weitere Publikationen von Autoren mit dem selben Namen

Almost correct invariants: synthesizing inductive invariants by fuzzing proofs., und . ISSTA, Seite 352-364. ACM, (2022)Structural Analysis Attack on Sequential Circuit Logic Locking., und . HOST, Seite 21-24. IEEE, (2022)Pertinent path profiling: Tracking interactions among relevant statements., , und . CGO, Seite 16:1-16:12. IEEE Computer Society, (2013)Phase Directed Compiler Optimizations., und . HiPC, Seite 270-279. IEEE Computer Society, (2016)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)Synthesizing Abstract Transformers., , , , und . CoRR, (2021)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)Enabling Memory Safety of C Programs using LLMs., , , , und . CoRR, (2024)