Kazunori Ueda
(上田 和紀)
Modified on: 02/01
Profile Information
- Affiliation
- Professor, Faculty of Science and Engineering School of Fundamental Science and Engineering, Waseda University
- Degree
-
工学博士(1986, 東京大学)Doctor of Engineering
- Researcher number
- 10257206
- J-GLOBAL ID
- 200901023161066131
- researchmap Member ID
- 1000169702
- External link
Research Interests
4Research Areas
2Research History
12-
2010 - Present
-
2007 - Present
-
2006 - 2016
-
2011 - 2012
-
2000 - 2001
-
1994 - 2000
-
1994 - 1995
-
1983 - 1993
-
1985 - 1992
Education
2Major Committee Memberships
15-
Apr, 2013 - Dec, 2017
-
Apr, 2004 - Mar, 2008
-
Apr, 2000 - Mar, 2002
-
Apr, 1998 - Mar, 2000
Major Awards
12-
2016
-
2015
-
2011
-
2001
-
2000
-
1993
-
1988
Papers
259-
Cyber Physical Systems. Model-Based Design. CyPhy 2019, WESE 2019. Lecture Notes in Computer Science, 11971 153-178, Feb, 2020 Peer-reviewed
-
44th IEEE Annual Computers, Software, and Applications Conference(COMPSAC), 1113-1114, 2020 Peer-reviewed
-
CoRR, abs/1910.12272, 2019 Peer-reviewed
-
Graph Transformation. ICGT 2019. Lecture Notes in Computer Science, 11629 3-20, 2019 Peer-reviewed
-
IEICE Trans. Inf. Syst., 102-D(3) 645-649, 2019 Peer-reviewed
-
Sci. Comput. Program., 164 3-17, 2018 Peer-reviewedLead author
-
J. Object Technol., 17(1) 1-28, 2018 Peer-reviewed
-
IEICE Trans. Inf. Syst., 101-D(4) 1126-1140, 2018 Peer-reviewed
-
Cyber Physical Systems. Design, Modeling, and Evaluation. CyPhy 2016. Lecture Notes in Computer Science, 10107 17-30, Jan, 2017 Peer-reviewed
-
Topics in Theoretical Computer Science. TTCS 2017. Lecture Notes in Computer Science, 10608 106-124, 2017 Peer-reviewed
-
2017 IEEE 22nd Pacific Rim International Symposium on Dependable Computing (PRDC), 292-300, 2017 Peer-reviewed
-
2016 23rd International Symposium on Temporal Representation and Reasoning (TIME), 4-11, Oct, 2016 Peer-reviewed
-
First Workshop on Meta-Programming Techniques and Reflection (META'16), Amsterdam, Oct, 2016 Peer-reviewed
-
Computer Software, 33(1) 1_126-1_149, 2016
-
コンピュータソフトウェア, 33(1) 126-149, Jan, 2016 Peer-reviewed
-
Proc. 13th International Symposium on Functional and Logic Programming (FLOPS 2016), 1-11, 2016 Invited
-
IEICE Transactions on Information and Systems, E99.D(9) 2259-2268, 2016 Peer-reviewed
-
Electronic Notes in Theoretical Computer Science, 317 109-115, Nov, 2015 Peer-reviewed
-
2015 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, 261-268, Mar, 2015 Peer-reviewed
-
Journal of The Society of Instrument and Control Engineers, 53(12) 1086-1092, Dec, 2014 Peer-reviewed
Major Misc.
25-
情報処理, 57(8) 734-737, Jul, 2016 Invited
-
コンピュータソフトウェア, 25(3) 1-1, Jul, 2008
Books and Other Publications
13-
近代科学社, Dec, 2019
-
共立出版, Jul, 2017
-
Lecture Notes in Computer Science 6461, Springer-Verlag, 2010
-
共立出版, Dec, 2005
-
Lecture Notes in Computer Science 2024, Springer-Verlag, 2001
-
Lecture Notes in Computer Science 1345, Springer-Verlag, 1997
-
情報処理学会, 1997
-
岩波書店, 1992
-
The MIT Press, 1991
-
Nov, 1990
-
産業調査会 事典出版センター, Aug, 1989
-
Sep, 1987
-
bit 臨時増刊，共立出版, Oct, 1981
Major Presentations
16-
日本ソフトウェア科学会第35回大会 (August 29-31, 2018, 大阪大学), Aug, 2018 Invited
-
Thirteenth International Symposium on Functional and Logic Programming (FLOPS 2016, March 4-6, 2016, Kochi, Japan), Mar, 2016 Invited
-
LIX Colloquium on Emerging Trends in Concurrency Theory (November 2006, Ecole Polytechnique de Paris, France), Nov, 2006 Invited
-
Third Workshop on Constraint Handling Rules (CHR 2006, July 2006, Venice, Italy), Jul, 2006 Invited
-
Algebraic Process Calculi: The First Twenty Five Years and Beyond (August 1-5, 2005, Bertinoro, Italy), 2005 Invited
-
Fifth Workshop on Membrane Computing (WMC5, June 2004, Milano, Italy), Jun, 2004 Invited
-
Seventeenth International Conference on Logic Programming (ICLP'01, Novermber-December 2001, Paphos, Cyprus), Nov, 2001 Invited
-
Fourth International Symposium on Theoretical Aspects of Computer Software (TACS 2001, October 2001, Sendai, Japan), Oct, 2001 Invited
-
Twelfth International Conference on Logic Programming (ICLP'95, June 1995, Kanagawa, Japan), Jun, 1995 Invited
-
International Conference organized by the IPSJ to Commemorate the 30th Anniversary (InfoJapan'90, October 1990, Tokyo, Japan), Oct, 1990 Invited
-
IFIP 11th World Computer Congress, Aug, 1989 Invited
-
International Conference on Fifth Generation Computer Systems 1988 (FGCS'88, November 1988, Tokyo, Japan), Nov, 1988 Invited
-
Fourth International Conference on Logic Programming (ICLP'87, May 1987, Melborne, Australia), 1987 Invited
-
Workshop on Foundations of Logic and Functional Programming (December 1986, Trento, Italy), Dec, 1986 Invited
Professional Memberships
5Works
2-
2010 - Present Software
-
2002 - Present Software
Research Projects
19-
科学研究費挑戦的研究（萌芽）, Jun, 2018 - Mar, 2021
-
科学研究費基盤研究（Ｂ）, Apr, 2018 - Mar, 2021
-
Apr, 2015 - Mar, 2018
-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (A), Japan Society for the Promotion of Science, 2008 - 2012
-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (B), Japan Society for the Promotion of Science, 2008 - 2011
-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research on Priority Areas, Japan Society for the Promotion of Science, 2006 - 2011
-
科学研究費基盤研究（Ｃ）, 2006 - 2007
-
科学研究費特定領域研究, 2006 - 2007
-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (B), Japan Society for the Promotion of Science, 2004 - 2007
-
科学研究費特定領域研究, 2002 - 2006
-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research on Priority Areas, Japan Society for the Promotion of Science, 2001 - 2006
-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (C), Japan Society for the Promotion of Science, 1999 - 2002
-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research on Priority Areas, Japan Society for the Promotion of Science, 1997 - 2000
-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (C), Japan Society for the Promotion of Science, 1995 - 1998
-
1996 - 1997
There are no coauthors to display.
{{coauthor.Related.name_str}}
{{coauthor.Related.last_modified}} Updated