PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Alrajeh, Dalal"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Towards learning domain-independent planning heuristics.

, , , und . CoRR, (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.

Keine Personen gefunden für den Autorennamen Alrajeh, Dalal
Eine Person hinzufügen mit dem Namen Alrajeh, Dalal
 

Weitere Publikationen von Autoren mit dem selben Namen

Learning operational requirements from goal models., , , und . ICSE, Seite 265-275. IEEE, (2009)Interpolation-Based GR(1) Assumptions Refinement., und . TACAS (1), Volume 10205 von Lecture Notes in Computer Science, Seite 281-297. (2017)Goal-conflict detection based on temporal satisfiability checking., , , , und . ASE, Seite 507-518. ACM, (2016)Learning from Vacuously Satisfiable Scenario-Based Specifications., , , und . FASE, Volume 7212 von Lecture Notes in Computer Science, Seite 377-393. Springer, (2012)Automated goal operationalisation based on interpolation and SAT solving., , , und . ICSE, Seite 129-139. ACM, (2014)Generating obstacle conditions for requirements completeness., , , , und . ICSE, Seite 705-715. IEEE Computer Society, (2012)Welcome to the First Workshop on Requirements Engineering for Investigating and Countering Crimes (iRENIC 2016)., und . RE Workshops, Seite 92. IEEE, (2016)An Inductive Approach for Modal Transition System Refinement., , , und . ICLP (Technical Communications), Volume 11 von LIPIcs, Seite 106-116. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2011)Deriving non-Zeno behaviour models from goal models using ILP., , , und . Formal Asp. Comput., 22 (3-4): 217-241 (2010)Requirements Elaboration using Model Checking and Inductive Learning.. Imperial College London, UK, (2009)British Library, EThOS.