( en | de | ru )

 

Disambiguierung von "Mukherjee, Rajdeep"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Lifting CDCL to Template-Based Abstract Domains for Program Verification.

, , , , und . ATVA, Volume 10482 von Lecture Notes in Computer Science, Seite 307-326. Springer, (2017)

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.

Santanu Mukherjee

Oindrilla Mukherjee

Rick Mukherjee

Vera Mukherjee

Bhaskar Mukherjee

 

Weitere Publikationen von Autoren mit dem selben Namen

Multi-objective Low-Power CDFG Scheduling Using Fine-Grained DVS Architecture in Distributed Framework., , , , und . ISED, Seite 267-271. IEEE, (2012)PASTE: A Tagging-Free Decoding Framework Using Pointer Networks for Aspect Sentiment Triplet Extraction., , , , und . EMNLP (1), Seite 9279-9291. Association for Computational Linguistics, (2021)Read what you need: Controllable Aspect-based Opinion Summarization of Tourist Reviews., , , , , und . SIGIR, Seite 1825-1828. ACM, (2020)Formal Verification of Hardware / Software Power Management Strategies., , , und . VLSI Design, Seite 326-331. IEEE Computer Society, (2013)CONTRASTE: Supervised Contrastive Pre-training With Aspect-based Prompts For Aspect Sentiment Triplet Extraction., , , und . EMNLP (Findings), Seite 12065-12080. Association for Computational Linguistics, (2023)Scaling Use-case Based Shopping using LLMs., , , und . WSDM, Seite 1165-1166. ACM, (2024)Static Analysis for AWS Best Practices in Python Code., , , und . ECOOP, Volume 222 von LIPIcs, Seite 14:1-14:28. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Model checking of global power management strategies in software with temporal logic properties., , und . ISEC, Seite 29-34. ACM, (2013)User-Assisted Code Query Optimization., , , , und . SOAP@PLDI, Seite 40-46. ACM, (2023)MILDSum: A Novel Benchmark Dataset for Multilingual Summarization of Indian Legal Case Judgments., , , und . EMNLP, Seite 5291-5302. Association for Computational Linguistics, (2023)