( en | de | ru )

 

Disambiguierung von "Abdulla, Parosh Aziz"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Regular Model Checking made Simple and Efficient

, , , und . (2002)

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.

Walied Abdulla

Walied Abdulla

Abdulla Aschtari

Abdulla Amin

Abdulla Ali

 

Weitere Publikationen von Autoren mit dem selben Namen

Comparing the Expressive Power of Well-Structured Transition Systems., , und . CSL, Volume 4646 von Lecture Notes in Computer Science, Seite 99-114. Springer, (2007)The Best of Both Worlds: Trading Efficiency and Optimality in Fence Insertion for TSO., , und . ESOP, Volume 9032 von Lecture Notes in Computer Science, Seite 308-332. Springer, (2015)On the Qualitative Analysis of Conformon P Systems., , und . Workshop on Membrane Computing, Volume 5391 von Lecture Notes in Computer Science, Seite 78-94. Springer, (2008)Effective Lossy Queue Languages., , und . ICALP, Volume 2076 von Lecture Notes in Computer Science, Seite 639-651. Springer, (2001)Bisimulation Minimization of Tree Automata., , und . CIAA, Volume 4094 von Lecture Notes in Computer Science, Seite 173-185. Springer, (2006)Decision problems in systolic circuit verification.. Uppsala University, Sweden, (1990)Verifying Reachability for TSO Programs with Dynamic Thread Creation., , , , und . NETYS, Volume 13464 von Lecture Notes in Computer Science, Seite 283-300. Springer, (2022)The Decidability of Verification under PS 2.0., , , , und . ESOP, Volume 12648 von Lecture Notes in Computer Science, Seite 1-29. Springer, (2021)Chain-Free String Constraints., , , , und . ATVA, Volume 11781 von Lecture Notes in Computer Science, Seite 277-293. Springer, (2019)Forcing Monotonicity in Parameterized Verification: From Multisets to Words.. SOFSEM, Volume 5901 von Lecture Notes in Computer Science, Seite 1-15. Springer, (2010)