Computer Science · Physical Sciences
10h-index312citations83works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Logic, programming, and type systems(36), Underwater Vehicles and Communication Systems(21), Formal Methods in Verification(16), Software Engineering Research(10), Security and Verification in Computing(10)
Publications83 total
Lecture notes in computer science·2023
Lecture notes in computer science·2023· 2 cited
arXiv (Cornell University)·2022Open Access
arXiv (Cornell University)·2022Open Access
2022 IEEE 11th Global Conference on Consumer Electronics (GCCE)·2022
Lecture notes in computer science·2022· 1 cited
2021· 4 citedOpen Access
arXiv (Cornell University)·2020· 2 citedOpen Access
arXiv (Cornell University)·2020Open Access
arXiv (Cornell University)·2020Open Access
arXiv (Cornell University)·2020· 1 citedOpen Access
arXiv (Cornell University)·2020Open Access
Figshare·2020· 1 citedOpen Access
Zenodo (CERN European Organization for Nuclear Research)·2020Open Access
arXiv (Cornell University)·2020Open Access
arXiv (Cornell University)·2020· 1 citedOpen Access
reposiTUm (TU Wien)·2020· 9 citedOpen Access
Artificial Intelligence and Domain-Specific Languages for Interactive Theorem Proving
2020
Lecture notes in computer science·2020· 7 cited
Artificial Intelligence and Domain-Specific Languages for Interactive Theorem Proving / Yukata Nagahima
2020
page 1 of 5Next →
Frequent Co-authors
Takakazu Ishimatsu(12), Christine Rizkallah(9), Liam O’Connor(9), Thomas Sewell(9), Toby Murray(9), Gerwin Klein(9), Zilin Chen(8), Japheth Lim(8), Sidney Amani(7), Gabriele Keller(7), Alex Hixon(5), Peter Chubb(4), Joel Beeren(4), Joseph Tuong(4), Gernot Heiser(4), Nobuyoshi Taguchi(4), N. Taguchi(3), Kosei Shimoo(3), Ramana Kumar(2), Yilun He(2)