( en | de | ru )

 

Disambiguierung von "Feng, Nick"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Normative Requirements Operationalization with Large Language Models.

, , , , , , , , , , , und . RE, Seite 129-141. IEEE, (2024)

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.

Nick Fandrich

Zur Charakterisierung von amphiphilen Blockcopolymeren aus N-Vinylpyrrolidon und Vinylacetat. Uni Potsdam, (2009)

Nick Bretl

Nick Bretschneider

Gerhard Nick

Gernot Nick

 

Weitere Publikationen von Autoren mit dem selben Namen

Code-Level Functional Equivalence Checking of Annotative Software Product Lines., , und . SPLC (A), Seite 64-75. ACM, (2023)Early Verification of Legal Compliance via Bounded Satisfiability Checking., , , und . CAV (3), Volume 13966 von Lecture Notes in Computer Science, Seite 374-396. Springer, (2023)Verification by Gambling on Program Slices., , , , und . ATVA, Volume 12971 von Lecture Notes in Computer Science, Seite 266-282. Springer, (2021)Analyzing and Debugging Normative Requirements via Satisfiability Checking., , , , , , , , , und 4 andere Autor(en). ICSE, Seite 214:1-214:12. ACM, (2024)Normative Requirements Operationalization with Large Language Models., , , , , , , , , und 2 andere Autor(en). RE, Seite 129-141. IEEE, (2024)Clause Size Reduction with all-UIP Learning., und . SAT, Volume 12178 von Lecture Notes in Computer Science, Seite 28-45. Springer, (2020)Scaling Client-Specific Equivalence Checking via Impact Boundary Search., , , und . ASE, Seite 734-745. IEEE, (2020)Towards a Formal Framework for Normative Requirements Elicitation., , , , , , und . ASE, Seite 1776-1780. IEEE, (2023)DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories., , , , , , , und . TACAS (1), Volume 14570 von Lecture Notes in Computer Science, Seite 3-23. Springer, (2024)Bounded Satisfiability Checking of Metric First-order Temporal Logic., , , und . CoRR, (2022)