I agree that this site is using cookies. You can find further informations here.
X
Hagiya, Masami
44  results:
OpenAccess-fulltext X
Search for persons X
?
1

Accelerating the Finite-Element Method for Reaction-Diffusi..:

Sellami, Hedi ; Cazenille, Leo ; Fujii, Teruo...
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC7569852/.  , 2020
Link: http://www.ncbi.nlm.nih...
 
?
2

Self-stabilizing Distributed Algorithms by Gellular Automat:

Hongu, Taiga ; Hagiya, Masami
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-030-61588-8_7.  , 2020
Link: https://hal.inria.fr/hal..
 
?
3

Automatically Generating Programming Questions Correspondin..:

Hagiya, Masami ; Fukuda, Kosuke ; Tanabe, Yoshinori.
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-030-28764-1_11.  , 2019
Link: https://hal.inria.fr/hal..
 
?
4

Evolutionary optimization of self-assembly in a swarm of bi..:

Aubert-Kato, Nathanael ; Fosseprez, Charles ; Gines, Guillaume...
info:eu-repo/semantics/altIdentifier/doi/10.1145/3071178.3071289.  , 2017
Link: https://hal.sorbonne-uni..
 
?
5

Evolutionary optimization of self-assembly in a swarm of bi..:

Aubert-Kato, Nathanael ; Fosseprez, Charles ; Gines, Guillaume...
info:eu-repo/semantics/altIdentifier/doi/10.1145/3071178.3071289.  , 2017
Link: https://hal.sorbonne-uni..
 
?
6

Evolutionary optimization of self-assembly in a swarm of bi..:

Aubert-Kato, Nathanael ; Fosseprez, Charles ; Gines, Guillaume...
info:eu-repo/semantics/altIdentifier/doi/10.1145/3071178.3071289.  , 2017
Link: https://hal.sorbonne-uni..
 
?
7

Turing-Completeness of Asynchronous Non-camouflage Cellular..:

Yamashita, Tatsuya ; Isokawa, Teijiro ; Peper, Ferdinand..
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-58631-1_15.  , 2017
Link: https://hal.inria.fr/hal..
 
?
8

Turing-Completeness of Asynchronous Non-camouflage Cellular..:

Yamashita, Tatsuya ; Isokawa, Teijiro ; Peper, Ferdinand..
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-58631-1_15.  , 2017
Link: https://hal.inria.fr/hal..
 
?
9

Runtime Monitoring for Concurrent Systems:

Yamagata, Yoriyuki ; Artho, Cyrille ; Hagiya, Masami...
Lecture Notes in Computer Science, 0302-9743.  , 2016
Link: http://urn.kb.se/resolve..
 
?
10

Cardinality of UDP Transmission Outcomes:

Weitl, Franz ; Sebih, Nazim ; Artho, Cyrille...
Lecture Notes in Computer Science, 0302-9743.  , 2015
Link: http://urn.kb.se/resolve..
 
?
11

GRT at the SBST 2015 Tool Competition:

Ma, Lei ; Artho, Cyrille ; Zhang, Cheng...
, p. 48-51.  , 2015
Link: http://urn.kb.se/resolve..
 
?
12

Software Model Checking of UDP-based Distributed Applicatio..:

Sebih, Nazim ; Hagiya, Masami ; Weitl, Franz...
International Journal of Networking and Computing, 2185-2839, 2015, 5:2, s. 373-402.  , 2015
Link: http://urn.kb.se/resolve..
 
?
13

Using Checkpointing and Virtualization for Fault Injection:

Artho, Cyrille ; Suzaki, Kuniyasu ; Hagiya, Masami...
International Journal of Networking and Computing, 2185-2839, 2015, 5:2, s. 347-372.  , 2015
Link: http://urn.kb.se/resolve..
 
?
14

Using Checkpointing and Virtualization for Fault Injection:

Artho, Cyrille ; Hagiya, Masami ; Leungwattanakit, Watcharin...
Proc. 2nd Int. Symposium on Computing and Networking, p. 144-150.  , 2014
Link: http://urn.kb.se/resolve..
 
?
15

Software Model Checking of UDP-based Distributed Applicatio..:

Sebih, Nazim ; Weitl, Franz ; Artho, Cyrille...
Proc. 2nd Int. Symposium on Computing and Networking, p. 96-105.  , 2014
Link: http://urn.kb.se/resolve..
 
1-15