I agree that this site is using cookies. You can find further informations here.
X
Nishida, Atsushi
9  results:
Bookchapter (Online) X
Search for persons X
?
1

Hands-on Activities for Learning Computer Networks and Info..:

, In: 2023 IEEE International Conference on Teaching, Assessment and Learning for Engineering (TALE),
Nagataki, Hiroyuki ; Shirai, Shizuka ; Nishida, Tomohiro.. - p. 1-3 , 2023
Link: https://doi.org/10.1109/..
 
?
2

Helmholtz: A Verifier for Tezos Smart Contracts Based on Re..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Nishida, Yuki ; Saito, Hiromasa ; Chen, Ran... - p. 262-280 , 2021
Link: https://doi.org/10.1007/..
 
?
3

Manifest Contracts with Intersection Types:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,
Nishida, Yuki ; Igarashi, Atsushi - p. 33-52 , 2019
Link: https://doi.org/10.1007/..
 
?
4

Contributors:

, In: Plant Factory Using Artificial Light,
Anpo, Masakazu ; Belbin, Fiona E. ; den Besten, Jasper... - p. xi-xxii , 2019
Link: https://doi.org/10.1016/..
 
?
5

Query Expansion with Neural Question-to-Answer Translation ..:

, In: Companion Proceedings of the The Web Conference 2018,
Otsuka, Atsushi ; Nishida, Kyosuke ; Bessho, Katsuji.. - p. 1063-1068 , 2018
Link: https://dl.acm.org/doi/1..
 
?
6

List of Contributors:

, In: Acute Encephalopathy and Encephalitis in Infancy and Its Related Disorders,
Almuqbil, Mohamed ; Arai, Hiroshi ; Baba, Hiroshi... - p. v-viii , 2018
Link: https://doi.org/10.1016/..
 
?
7

Retrieve-and-Read : Multi-task Learning of Information R..:

, In: Proceedings of the 27th ACM International Conference on Information and Knowledge Management,
Nishida, Kyosuke ; Saito, Itsumi ; Otsuka, Atsushi.. - p. 647-656 , 2018
Link: https://dl.acm.org/doi/1..
 
?
8

Nondeterministic Manifest Contracts:

, In: Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming,
Nishida, Yuki ; Igarashi, Atsushi - p. 1-13 , 2018
Link: https://dl.acm.org/doi/1..
 
?
9

Manifest Contracts for Datatypes:

, In: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages,
Sekiyama, Taro ; Nishida, Yuki ; Igarashi, Atsushi - p. 195-207 , 2015
Link: https://dl.acm.org/doi/1..
 
1-9