蓮尾 一郎

J-GLOBALへ         更新日: 18/10/10 12:39
 
アバター
研究者氏名
蓮尾 一郎
 
ハスオ イチロウ
URL
http://group-mmm.org/~ichiro
所属
国立情報学研究所
部署
アーキテクチャ科学研究系
職名
准教授
学位
PhD(Radboud University Nijmegen)
その他の所属
総合研究大学院大学JST ERATO 蓮尾メタ数理システムデザインプロジェクト
科研費研究者番号
60456762

研究分野

 
 

論文

 
Ichiro Hasuo,Toshiki Kataoka,Kenta Cho 0002
Mathematical Structures in Computer Science   28(4) 562-611   2018年   [査読有り]
Ichiro Hasuo
J. Log. Algebr. Meth. Program.   94 183   2018年   [査読有り]
Takumi Akazaki,Yoshihiro Kumazawa,Ichiro Hasuo
Proceedings First Workshop on Formal Verification of Autonomous Vehicles, FVAV@iFM 2017, Turin, Italy, 19th September 2017.   3-18   2017年   [査読有り]
Natsuki Urabe,Masaki Hara,Ichiro Hasuo
32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017   1-12   2017年   [査読有り]
Masaki Waga,Ichiro Hasuo,Kohei Suenaga
Formal Modeling and Analysis of Timed Systems - 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings   224-243   2017年   [査読有り]
Corina Cîrstea,Shunsuke Shimizu,Ichiro Hasuo
7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017, June 12-16, 2017, Ljubljana, Slovenia   7:1-7:18   2017年   [査読有り]
Takamasa Okudono,Yuki Nishida,Kensuke Kojima,Kohei Suenaga,Kengo Kido,Ichiro Hasuo
Programming Languages and Systems - 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings   491-513   2017年   [査読有り]
0000-0002-8300-4650,Ichiro Hasuo
New Generation Comput.   35(3) 271-305   2017年   [査読有り]
Natsuki Urabe,Ichiro Hasuo
Logical Methods in Computer Science   13(3)    2017年   [査読有り]
Natsuki Urabe,Ichiro Hasuo
Inf. Comput.   252 110-137   2017年   [査読有り]
Ichiro Hasuo,Naohiko Hoshino
Ann. Pure Appl. Logic   168(2) 404-469   2017年   [査読有り]
Kengo Kido,Swarat Chaudhuri,Ichiro Hasuo
Verification, Model Checking, and Abstract Interpretation - 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings   229-249   2016年   [査読有り]
Ichiro Hasuo
1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016, June 22-26, 2016, Porto, Portugal   2:1-2:2   2016年   [査読有り]
Koko Muroya,Naohiko Hoshino,Ichiro Hasuo
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, St. Petersburg, FL, USA, January 20 - 22, 2016   748-760   2016年   [査読有り]
Ichiro Hasuo,Shunsuke Shimizu,Corina Cîrstea
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, St. Petersburg, FL, USA, January 20 - 22, 2016   718-732   2016年   [査読有り]
Wataru Hino,Hiroki Kobayashi,Ichiro Hasuo,Bart Jacobs 0001
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, New York, NY, USA, July 5-8, 2016   682-691   2016年   [査読有り]
Masaki Waga,Takumi Akazaki,Ichiro Hasuo
Formal Modeling and Analysis of Timed Systems - 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings   121-139   2016年   [査読有り]
Natsuki Urabe,Shunsuke Shimizu,Ichiro Hasuo
27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada   24:1-24:15   2016年   [査読有り]
Ichiro Hasuo,Prakash Panangaden
New Generation Comput.   34(1-2) 1-2   2016年   [査読有り]
Shota Nakagawa,Ichiro Hasuo
Trustworthy Global Computing - 10th International Symposium, TGC 2015, Madrid, Spain, August 31 - September 1, 2015 Revised Selected Papers   112-130   2015年   [査読有り]
Takumi Akazaki,Ichiro Hasuo
Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II   356-374   2015年   [査読有り]
Kengo Kido,Swarat Chaudhuri,Ichiro Hasuo
1st International Workshop on Symbolic and Numerical Methods for Reachability Analysis, SNR@CAV 2015, San Francisco, CA, USA, July 19, 2015   11-22   2015年   [査読有り]
Natsuki Urabe,Ichiro Hasuo
6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015, June 24-26, 2015, Nijmegen, The Netherlands   320-335   2015年   [査読有り]
Ichiro Hasuo
Theor. Comput. Sci.   604 2-29   2015年   [査読有り]
Takumi Akazaki,Ichiro Hasuo,Kohei Suenaga
Proceedings 4th Workshop on Hybrid Autonomous Systems, HAS 2014, Grenoble, France, 12-13 April 2014.   22-39   2014年   [査読有り]
Akira Yoshimizu,Ichiro Hasuo,Claudia Faggian,Ugo Dal Lago
Programming Languages and Systems - 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings   371-391   2014年   [査読有り]
Naohiko Hoshino,Koko Muroya,Ichiro Hasuo
Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, Vienna, Austria, July 14 - 18, 2014   52:1-52:10   2014年   [査読有り]
Ugo Dal Lago,Claudia Faggian,Ichiro Hasuo,Akira Yoshimizu
Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, Vienna, Austria, July 14 - 18, 2014   35:1-35:10   2014年   [査読有り]
Natsuki Urabe,Ichiro Hasuo
CONCUR 2014 - Concurrency Theory - 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings   451-466   2014年   [査読有り]
Ichiro Hasuo
Coalgebraic Methods in Computer Science - 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers   10-32   2014年   [査読有り]
Kohei Suenaga,Hiroyoshi Sekine,Ichiro Hasuo
The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013   417-430   2013年   [査読有り]
Ichiro Hasuo,Kenta Cho 0002,Toshiki Kataoka,Bart Jacobs 0001
Electr. Notes Theor. Comput. Sci.   298 197-214   2013年   [査読有り]
Ichiro Hasuo,Kohei Suenaga
Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings   462-478   2012年   [査読有り]
Ichiro Hasuo,Naohiko Hoshino
Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science, LICS 2011, June 21-24, 2011, Toronto, Ontario, Canada   237-246   2011年   [査読有り]
Kohei Suenaga,Ichiro Hasuo
Automata, Languages and Programming - 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II   392-403   2011年   [査読有り]
Ichiro Hasuo
Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings   222-236   2011年   [査読有り]
Ichiro Hasuo,Bart Jacobs 0001
Mathematical Structures in Computer Science   21(2) 267-320   2011年   [査読有り]
Ichiro Hasuo
CONCUR 2010 - Concurrency Theory, 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings   447-461   2010年   [査読有り]
Ichiro Hasuo,Yoshinobu Kawabe,Hideki Sakurada
Theor. Comput. Sci.   411(22-24) 2239-2259   2010年   [査読有り]
Ichiro Hasuo,Bart Jacobs 0001,Milad Niqui
Electr. Notes Theor. Comput. Sci.   265 351-368   2010年   [査読有り]
Kazuyuki Asada,Ichiro Hasuo
Electr. Notes Theor. Comput. Sci.   264(2) 25-45   2010年   [査読有り]
Ichiro Hasuo,Chris Heunen,Bart Jacobs 0001,Ana Sokolova
Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings   64-80   2009年   [査読有り]
Bart Jacobs 0001,Chris Heunen,Ichiro Hasuo
J. Funct. Program.   19(3-4) 403-438   2009年   [査読有り]
Bart Jacobs 0001,Ichiro Hasuo
Journal of Computer Security   17(6) 909-944   2009年   [査読有り]
Ichiro Hasuo,Bart Jacobs 0001,Ana Sokolova
Foundations of Software Science and Computational Structures, 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedi   246-260   2008年   [査読有り]
Ichiro Hasuo,Bart Jacobs 0001,Tarmo Uustalu
Automata, Languages and Programming, 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings   619-630   2007年   [査読有り]
Ichiro Hasuo,Yoshinobu Kawabe
Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings   379-394   2007年   [査読有り]
Ichiro Hasuo,Bart Jacobs 0001,Ana Sokolova
Logical Methods in Computer Science   3(4)    2007年   [査読有り]
Bart Jacobs 0001,Ichiro Hasuo
Workshop on Mathematically Structured Functional Programming, MSFP@MPC 2006, Kuressaare, Estonia, July 2, 2006.      2006年   [査読有り]
Nuttapong Attrapadung,Yang Cui,Array,Goichiro Hanaoka,Ichiro Hasuo,Hideki Imai,Kanta Matsuura,Peng Yang 0002,Rui Zhang 0002
LATIN 2006: Theoretical Informatics, 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006, Proceedings   130-141   2006年   [査読有り]
Ichiro Hasuo
CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings   406-420   2006年   [査読有り]
Ichiro Hasuo,Bart Jacobs 0001,Ana Sokolova
Electr. Notes Theor. Comput. Sci.   164(1) 47-65   2006年   [査読有り]
Flavio D. Garcia,Ichiro Hasuo,Wolter Pieters,Peter van Rossum
Proceedings of the 2005 ACM workshop on Formal methods in security engineering, FMSE 2005, Fairfax, VA, USA, November 11, 2005   63-72   2005年   [査読有り]
Ichiro Hasuo,Bart Jacobs 0001
Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings   213-231   2005年   [査読有り]
Ichiro Hasuo,Ryo Kashima
Logic Journal of the IGPL   11(6) 615-646   2003年   [査読有り]

競争的資金等の研究課題

 
計算機システムの形式検証