( en | de | ru )

 

Disambiguierung von "Wang, Ji"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Type and interval aware array constraint solving for symbolic execution.

, , , , und . ISSTA, Seite 361-373. 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.

Ji Wang

Ji-Feng Wang

Ji-boa Wang

Wang Wang

Hui Ji

 

Weitere Publikationen von Autoren mit dem selben Namen

Scheduling jobs with chain precedence constraints and deteriorating jobs., , und . J. Oper. Res. Soc., 62 (9): 1765-1770 (2011)Modelling and model checking suspendible business processes via statechart diagrams and CSP, , , und . Science of Computer Programming, 65 (1): 14--29 (März 2007)Automatically detecting missing cleanup for ungraceful exits., , , , und . ESEC/SIGSOFT FSE, Seite 751-762. ACM, (2019)Contract-Based Formal Specification of Safety Critical Systems., und . COMPSAC (2), Seite 7-8. IEEE Computer Society, (2005)0-7695-2413-3.Configuration-Oriented Symbolic Test Sequence Construction Method for EFSM., , , und . COMPSAC (1), Seite 13-18. IEEE Computer Society, (2005)Joint Optimization of Stateful VNF Placement and Routing Scheduling in Software-Defined Networks., , , , , und . ISPA/IUCC/BDCloud/SocialCom/SustainCom, Seite 9-14. IEEE, (2018)Deep Learning-based Transformation Matrix Estimation for Bidirectional Interframe Prediction., , und . GCCE, Seite 726-730. IEEE, (2018)A topology-aware method for scientific application deployment on cloud., , , , und . IJWGS, 10 (4): 338-370 (2014)On the Design of Hybrid Control Systems Using Automata Models., und . FSTTCS, Volume 1180 von Lecture Notes in Computer Science, Seite 156-167. Springer, (1996)Integrated deep learning model for predicting electrical power generation from wave energy converter., , und . ICAC, Seite 1-6. IEEE, (2019)