( en | de | ru )

 

Disambiguation of "Tanabe, Yoshinori"

Author of the publication

copydeleteadd this publication to your clipboard
Pedagogical Lessons from an International Collaborative Big Data Undergraduate Research Project.

, , and . ECSA Workshops, page 32:1-32:6. ACM, (2015)

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. You can also use the button next to the name to display some publications already assigned to the person.

Yoshinori Aso

 

Other publications of authors with the same name

Model-Based Testing for MQTT Applications., , and . JCKBSE, volume 19 of Learning and Analytics in Intelligent Systems, page 47-59. Springer, (2020)Using Coq in Specification and Program Extraction of Hadoop MapReduce Applications., , , , and . SEFM, volume 7041 of Lecture Notes in Computer Science, page 350-365. Springer, (2011)Pedagogical Lessons from an International Collaborative Big Data Undergraduate Research Project., , and . ECSA Workshops, page 32:1-32:6. ACM, (2015)Verification of the Deutsch-Schorr-Waite Marking Algorithm with Modal Logic., , , and . VSTTE, volume 5295 of Lecture Notes in Computer Science, page 115-129. Springer, (2008)A decision procedure for alternation-free modal µ-calculi., , and . Advances in Modal Logic, page 341-362. College Publications, (2008)Introduction of Virtualization Technology to Multi-Process Model Checking., , , , and . NASA Formal Methods, volume NASA/CP-2009-215407 of NASA Conference Proceedings, page 106-110. (2009)A Decision Procedure for the Alternation-Free Two-Way Modal µ-Calculus., , , , and . TABLEAUX, volume 3702 of Lecture Notes in Computer Science, page 277-291. Springer, (2005)Fixed-Point Computations over Functions on Integers with Operations min, max and plus., and . FICS, page 108-115. Institute of Cybernetics, (2009)Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification., , , and . VSTTE, volume 4171 of Lecture Notes in Computer Science, page 518-527. Springer, (2005)Automatically Generating Programming Questions Corresponding to Rubrics Using Assertions and Invariants., , , and . SUZA, volume 564 of IFIP Advances in Information and Communication Technology, page 89-98. Springer, (2019)