( en | de | ru )

 

Disambiguierung von "Li, Jianwen"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
SAT-Based Automata Construction for LTL over Finite Traces.

, , , , und . APSEC, Seite 1-10. IEEE, (2020)

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.

Jianwen Zhou

Jianwen She

Jianwen Liu

Li Li

Li Li

 

Weitere Publikationen von Autoren mit dem selben Namen

LTLf Satisfiability Checking via Formula Progression (S)., , , , , und . SEKE, Seite 357-362. KSI Research Inc., (2023)Satisfiability Checking for Mission-Time LTL., , und . CAV (2), Volume 11562 von Lecture Notes in Computer Science, Seite 3-22. Springer, (2019)Study on multi-objective optimization for border irrigation technical parameters combination., , und . ICNC, Seite 2273-2277. IEEE, (2011)A Symbolic Approach to Safety ltl Synthesis., , , , und . Haifa Verification Conference, Volume 10629 von Lecture Notes in Computer Science, Seite 147-162. Springer, (2017)SAT-Based Explicit LTL Reasoning., , , und . Haifa Verification Conference, Volume 9434 von Lecture Notes in Computer Science, Seite 209-224. Springer, (2015)The sequence and de novo assembly of the giant panda genome, , , , , , , , , und 113 andere Autor(en). Nature, 463 (7279): 311--317 (Januar 2010)Searching for i-Good Lemmas to Accelerate Safety Model Checking., , , , , und . CAV (2), Volume 13965 von Lecture Notes in Computer Science, Seite 288-308. Springer, (2023)MLTL Benchmark Generation via Formula Progression., und . RV, Volume 11237 von Lecture Notes in Computer Science, Seite 426-433. Springer, (2018)Feedback-Guided Circuit Structure Mutation for Testing Hardware Model Checkers., , , , und . ICCAD, Seite 1-9. IEEE, (2021)Combining BMC and Complementary Approximate Reachability to Accelerate Bug-Finding., , , , und . ICCAD, Seite 126:1-126:9. ACM, (2022)