( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
BDDs vs. Zero-Suppressed BDDs: for CTL Symbolic Model Checking of Petri Nets.

, , , и . FMCAD, том 1166 из Lecture Notes in Computer Science, стр. 435-449. Springer, (1996)

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.

Victoria Ichizli

Takashi Ichinose

Toshiyuki Ichiba

Yasuhisa Ichihashi

Temmyo Ichiro

 

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

Editor's Message to Special Issue of Young Researchers' Papers.. J. Inf. Process., (2021)Enumeration of Associative Magic Squares of Order 7., и . J. Inf. Process., (2020)Compiling Crossing-free Geometric Graphs with Connectivity Constraint for Fast Enumeration, Random Sampling, and Optimization., , , и . CoRR, (2020)Recent Research Activities on Algorithmic Foundations for Social Advancement.. WALCOM, том 14549 из Lecture Notes in Computer Science, стр. 1-8. Springer, (2024)Fast Regular Expression Matching Based On Dual Glushkov NFA., , , , и . Stringology, стр. 3-16. Department of Theoretical Computer Science, Faculty of Information Technology, Czech Technical University in Prague, (2014)Implementation of sequence BDDs in Erlang., , и . Erlang Workshop, стр. 90-91. ACM, (2011)Second Workshop on Algorithms for Large-Scale Information Processing in Knowledge Discovery (ALSIP)., и . JSAI-isAI Workshops, том 7258 из Lecture Notes in Computer Science, стр. 184-185. Springer, (2011)Arithmetic Boolean Expression Manipulator Using BDDs., и . Formal Methods Syst. Des., 10 (2/3): 221-242 (1997)Synthesis of Semi-Classical Quantum Circuits., , и . J. Multiple Valued Log. Soft Comput., 18 (1): 99-114 (2012)Techniques of BDD/ZDD: Brief History and Recent Activity.. IEICE Trans. Inf. Syst., 96-D (7): 1419-1429 (2013)