( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Bisimulation Minimization of Tree Automata.

, , и . Int. J. Found. Comput. Sci., 18 (4): 699-713 (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Walied Abdulla

Walied Abdulla

Abdulla Aschtari

Abdulla Amin

Abdulla Ali

 

Другие публикации лиц с тем же именем

Better Quasi-Ordered Transition Systems, и . CoRR, (2004)Bisimulation Minimization of Tree Automata., , и . CIAA, том 4094 из Lecture Notes in Computer Science, стр. 173-185. Springer, (2006)Effective Lossy Queue Languages., , и . ICALP, том 2076 из Lecture Notes in Computer Science, стр. 639-651. Springer, (2001)On the Qualitative Analysis of Conformon P Systems., , и . Workshop on Membrane Computing, том 5391 из Lecture Notes in Computer Science, стр. 78-94. Springer, (2008)Comparing the Expressive Power of Well-Structured Transition Systems., , и . CSL, том 4646 из Lecture Notes in Computer Science, стр. 99-114. Springer, (2007)The Best of Both Worlds: Trading Efficiency and Optimality in Fence Insertion for TSO., , и . ESOP, том 9032 из Lecture Notes in Computer Science, стр. 308-332. Springer, (2015)Zenoness for Timed Pushdown Automata., , и . INFINITY, том 140 из EPTCS, стр. 35-47. (2013)Optimal Reads-From Consistency Checking for C11-Style Memory Models., , , , , и . CoRR, (2023)The Decidability of Verification under Promising 2.0., , , , и . CoRR, (2020)Monotonic Abstraction for Programs with Multiply-Linked Structures., , и . Int. J. Found. Comput. Sci., 24 (2): 187-210 (2013)