Search - IFIP Open Digital Library Access content directly

Filter your results

4 results
authFullName_s : Masami Hagiya
Page :
sorted by
Image document

Automatically Generating Programming Questions Corresponding to Rubrics Using Assertions and Invariants

 Masami Hagiya , Kosuke Fukuda , Yoshinori Tanabe , Toshinori Saito
1st International Conference on Sustainable ICT, Education, and Learning (SUZA), Apr 2019, Zanzibar, Tanzania. pp.89-98, ⟨10.1007/978-3-030-28764-1_11⟩
Conference papers hal-02515725v1
Image document

Model Checking of Concurrent Algorithms: From Java to C

 Cyrille Artho , Masami Hagiya , Watcharin Leungwattanakit , Yoshinori Tanabe , Mitsuharu Yamamoto
7th IFIP TC 10 Working Conference on Distributed, Parallel and Biologically Inspired Systems (DIPES) / 3rd IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing (BICC) / Held as Part of World Computer Congress (WCC) , Sep 2010, Brisbane, Australia. pp.90-101, ⟨10.1007/978-3-642-15234-4_10⟩
Conference papers hal-01054483v1
Image document

Self-stabilizing Distributed Algorithms by Gellular Automata

 Taiga Hongu , Masami Hagiya
26th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Aug 2020, Stockholm, Sweden. pp.86-98, ⟨10.1007/978-3-030-61588-8_7⟩
Conference papers hal-03659466v1
Image document

Turing-Completeness of Asynchronous Non-camouflage Cellular Automata

 Tatsuya Yamashita , Teijiro Isokawa , Ferdinand Peper , Ibuki Kawamata , Masami Hagiya
23th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2017, Milan, Italy. pp.187-199, ⟨10.1007/978-3-319-58631-1_15⟩
Conference papers hal-01656362v1
Page :