We stand with Ukraine  

Yuki Nishida

Orcid: 0000-0001-5941-6770

Affiliations:
  • Kyoto University, Kyoto, Japan


According to our database1, Yuki Nishida authored at least 7 papers between 2015 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types.
[BibTeX]
[DOI]
Yuki Nishida
,
Hiromasa Saito
,
Ran Chen
,
Akira Kawata
,
Jun Furuse
,
Kohei Suenaga
,
Atsushi Igarashi
New Gener. Comput., 2022

2020
Typed Software Contracts with Intersection and Nondeterminism.
[BibTeX]
[DOI]
Yuki Nishida
PhD thesis, 2020

Compilation of Coordinated Choice.
[BibTeX]
[DOI]
Yuki Nishida
,
Atsushi Igarashi
CoRR, 2020

2019
Manifest Contracts with Intersection Types.
[BibTeX]
[DOI]
Yuki Nishida
,
Atsushi Igarashi
Proceedings of the Programming Languages and Systems - 17th Asian Symposium, 2019

2018
Nondeterministic Manifest Contracts.
[BibTeX]
[DOI]
Yuki Nishida
,
Atsushi Igarashi
Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, 2018

2017
Sharper and Simpler Nonlinear Interpolants for Program Verification.
[BibTeX]
[DOI]
Takamasa Okudono
,
Yuki Nishida
,
Kensuke Kojima
,
Kohei Suenaga
,
Kengo Kido
,
Ichiro Hasuo
Proceedings of the Programming Languages and Systems - 15th Asian Symposium, 2017

2015
Manifest Contracts for Datatypes.
[BibTeX]
[DOI]
Taro Sekiyama
,
Yuki Nishida
,
Atsushi Igarashi
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015


  Loading...