( en | de | ru )

 

Disambiguierung von "Lal, Akash"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Finding Non-terminating Executions in Distributed Asynchronous Programs

, und . Static Analysis, Seite 439--455. Berlin, Heidelberg, Springer, (2012)

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.

Akash Mehta

Akash Patwari

Hussein Ali Akash

Abdulrhman Ahmed Akasha

Eleanor Lallis

Lügen und Belogenwerden: pädagogische Untersuchung zur wissentlichen Täuschung. Uni Wuppertal, (2008)
 

Weitere Publikationen von Autoren mit dem selben Namen

A program transformation for faster goal-directed search., und . FMCAD, Seite 147-154. IEEE, (2014)Extended Weighted Pushdown Systems., , und . CAV, Volume 3576 von Lecture Notes in Computer Science, Seite 434-448. Springer, (2005)Building Reliable Cloud Services Using P# (Experience Report)., , , und . CoRR, (2020)Special issue on the 16th International Conference on Verification, Model Checking, and Abstract Interpretation., und . Comput. Lang. Syst. Struct., (2017)Program Analysis Using Weighted Pushdown Systems., , und . FSTTCS, Volume 4855 von Lecture Notes in Computer Science, Seite 23-51. Springer, (2007)Reachability Modulo Theories., und . RP, Volume 8169 von Lecture Notes in Computer Science, Seite 23-44. Springer, (2013)PostHat and All That: Automating Abstract Interpretation., , , und . TAPAS@SAS, Volume 311 von Electronic Notes in Theoretical Computer Science, Seite 15-32. Elsevier, (2013)DAG inlining: a decision procedure for reachability-modulo-theories in hierarchical programs., und . PLDI, Seite 280-290. ACM, (2015)Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis., und . CAV, Volume 5123 von Lecture Notes in Computer Science, Seite 37-51. Springer, (2008)Combining Relational Learning with SMT Solvers Using CEGAR., , , und . CAV, Volume 8044 von Lecture Notes in Computer Science, Seite 447-462. Springer, (2013)