( en | de | ru )

 

Disambiguierung von "Qin, Shengchao"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Demystifying "bad" error messages in data science libraries.

, , , , , und . ESEC/SIGSOFT FSE, Seite 818-829. ACM, (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.

Qi Qin

Qin Wang

Gang Qin

Minghao Qin

Qin Li

 

Weitere Publikationen von Autoren mit dem selben Namen

A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification., , , , , and . CAV, volume 6806 of Lecture Notes in Computer Science, page 293-309. Springer, (2011)A Formal Soundness Proof of Region-Based Memory Management for Object-Oriented Paradigm., , and . ICFEM, volume 5256 of Lecture Notes in Computer Science, page 126-146. Springer, (2008)Automated Modular Verification for Relaxed Communication Protocols., , , and . APLAS, volume 11275 of Lecture Notes in Computer Science, page 284-305. Springer, (2018)Preface to Special Issue on Analysis and Verification of Intelligent Systems., , and . Int. J. Softw. Informatics, 12 (4): 351-353 (2022)Termination and non-termination specification inference., , and . PLDI, page 489-498. ACM, (2015)Variant Region Types., , and . ICECCS, page 126-135. IEEE Computer Society, (2018)Linking Object-Z with Spec#., and . ICECCS, page 185-196. IEEE Computer Society, (2007)A Timed CSP Model for the Time-Triggered Language Giotto., , , , and . SEW, page 110-119. IEEE Computer Society, (2012)Hardware/Software Partitioning in Verilog., , , and . ICFEM, volume 2495 of Lecture Notes in Computer Science, page 168-179. Springer, (2002)How Do API Selections Affect the Runtime Performance of Data Analytics Tasks?, , , , and . ASE, page 665-668. IEEE, (2019)