Yuki Nishida - RankMe

15 papers A* 1B 2C 2Journal 8Unranked 1

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Combinatorial Algorithm for Tropical Linearly Factorized Programming. CoRR Yuki Nishida
2024	J	`jnl`	Law and Order for Typestate with Borrowing. CoRR Hannes Saffrich, Yuki Nishida, Peter Thiemann
2024	J	`jnl`	Law and Order for Typestate with Borrowing. Proc. ACM Program. Lang. Hannes Saffrich, Yuki Nishida, Peter Thiemann
2024	C	`conf`	iCon: Automated Verification of Inter-Transaction Properties in Tezos Smart Contracts with Unknowns. ICBC Yuki Nishida, Kohei Suenaga, Atsushi Igarashi
2022	J	`jnl`	Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types. New Gener. Comput. Yuki Nishida, Hiromasa Saito, Ran Chen, Akira Kawata, Jun Furuse, Kohei Suenaga, Atsushi Igarashi
2021	J	`jnl`	HELMHOLTZ: A Verifier for Tezos Smart Contracts Based on Refinement Types. CoRR Yuki Nishida, Hiromasa Saito, Ran Chen, Akira Kawata, Jun Furuse, Kohei Suenaga, Atsushi Igarashi
2021	—	`conf`	Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types. TACAS (2) Yuki Nishida, Hiromasa Saito, Ran Chen, Akira Kawata, Jun Furuse, Kohei Suenaga, Atsushi Igarashi
2020	J	`jnl`	Compilation of Coordinated Choice. CoRR Yuki Nishida, Atsushi Igarashi
2020	—	`—`	Typed Software Contracts with Intersection and Nondeterminism. Yuki Nishida
2019	B	`conf`	Manifest Contracts with Intersection Types. APLAS Yuki Nishida, Atsushi Igarashi
2019	J	`jnl`	Manifest Contracts with Intersection Types. CoRR Yuki Nishida, Atsushi Igarashi
2018	C	`conf`	Nondeterministic Manifest Contracts. PPDP Yuki Nishida, Atsushi Igarashi
2017	B	`conf`	Sharper and Simpler Nonlinear Interpolants for Program Verification. APLAS Takamasa Okudono, Yuki Nishida, Kensuke Kojima, Kohei Suenaga, Kengo Kido, Ichiro Hasuo
2017	J	`jnl`	Sharper and Simpler Nonlinear Interpolants for Program Verification. CoRR Takamasa Okudono, Yuki Nishida, Kensuke Kojima, Kohei Suenaga, Kengo Kido, Ichiro Hasuo
2015	A*	`conf`	Manifest Contracts for Datatypes. POPL Taro Sekiyama, Yuki Nishida, Atsushi Igarashi