Publications/copy2
[
Front page
|
List of pages
|
Search
|
Recent changes
|
Backup
|
Help
]
Start:
[[Publications]]
* Publications and Presentations [#c568e38a]
- [[[extended abstract and poster pdf]>https://conf.resea...
Kento Takyu and Kazunori Ueda,
Encoding MELL Cut Elimination into a Hierarchical Graph R...
The 21st Asian Symposium on Programming Languages and Sys...
- [[[pdf]>https://doi.org/10.1007/978-3-031-36709-0_14]]
[&ref(ICGT2023.pdf,,slides);]
Jin Sano and Kazunori Ueda, Implementing the λGT Lan...
- [[[pdf]>https://doi.org/10.2197/ipsjjip.31.112]]
[&ref(SWoPP2022-slides-v2.pdf,,slides);]
Jin Sano, Naoki Yamamoto and Kazunori Ueda: Type Checking...
- [[[pdf]>https://doi.org/10.1109/ACCESS.2022.3217913]] N...
- [[[pdf]>https://doi.org/10.1109/ACCESS.2021.3112903]]
Alimujiang Yasen and Kazunori Ueda: Revisiting Graph Type...
- [[[pdf]>https://sites.google.com/view/gcm2021/pre-proce...
Naoki Yamamoto and Kazunori Ueda: Engineering Grammar-bas...
- [[[pdf]>https://doi.org/10.1007/978-3-030-23611-3_1]]
[&ref(ICGT2019.pdf,,slides);]
Taichi Tomioka, Yutaro Tsunekawa and Kazunori Ueda: Intro...
- [[[pdf]>https://www.jstage.jst.go.jp/article/transinf/E...
- [[[pdf]>https://www.jot.fm/contents/issue_2018_01/artic...
- [[[pdf]>https://link.springer.com/chapter/10.1007/978-3...
- [[[pdf]>https://doi.org/10.1016/j.scico.2017.06.002]] K...
- [[[pdf]>http://2016.splashcon.org/event/meta2016-implem...
[&ref(meta2016_slide.pdf,,slides);]
Yutaro Tsunekawa, Taichi Tomioka and Kazunori Ueda: Imple...
- [[[pdf]>http://doi.ieeecomputersociety.org/10.1109/TASE...
- [[[pdf]>http://link.springer.com/chapter/10.1007/978-3-...
[&ref(FLOPS2016-v4.pdf,,slides);]
Kazunori Ueda: Logic/Constraint Programming and Concurren...
- [[[pdf]>https://www.jstage.jst.go.jp/article/jssst/33/1...
- [[[pdf]>http://www.ueda.info.waseda.ac.jp/~ueda/pub/COB...
- [[[pdf]>http://jssst.or.jp/files/user/taikai/2014/PPL/P...
- [[[pdf]>http://jssst.or.jp/files/user/taikai/2013/hoga3...
- [[[pdf]>https://link.springer.com/article/10.1007/s1321...
- [[[pdf]>http://www.ueda.info.waseda.ac.jp/pub/jssst2012...
- [[[pdf]>https://www.jstage.jst.go.jp/article/jssst/28/4...
- [[[pdf]>https://www.jstage.jst.go.jp/article/jssst/27/4...
- [[[pdf]>https://link.springer.com/chapter/10.1007/978-3...
[&ref(ICTAC09.pdf,,slides);]
Kazunori Ueda, Takayuki Ayano, Taisuke Hori, Hiroki Iwasa...
DOI: 10.1007/978-3-642-03466-4_24.
- [[[pdf]>http://dx.doi.org/10.1016/j.tcs.2009.07.043]] K...
doi: 10.1016/j.tcs.2009.07.043.
- [[[pdf]>https://link.springer.com/chapter/10.1007/978-3...
DOI: 10.1007/978-3-540-70590-1_27.
- [[[pdf]>https://doi.org/10.1016/j.entcs.2008.04.012]]
[&ref(ambient-jssst2006.pdf,,slides);]
Kazunori Ueda, Encoding Distributed Process Calculi into ...
DOI: 10.1016/j.entcs.2008.04.012.
- [[[pdf]>https://www.jstage.jst.go.jp/article/jssst/25/3...
Computer Software, Vol.25, No.3 (2008), pp.49-54, DOI: 10...
- [[[pdf]>https://www.jstage.jst.go.jp/article/jssst/25/2...
Computer Software, Vol.25, No.2 (2008), pp.47-77, DOI: 10...
- [[[pdf]>https://www.jstage.jst.go.jp/article/jssst/25/1...
Computer Software, Vol.25. No.1 (2008), pp.124-150, DOI: ...
- [&ref(LIX-colloquium-2006.pdf,,slides);]
Kazunori Ueda, Hierarchical graph rewriting as a unifying...
[[LIX Colloquium on Emerging Trends in Concurrency Theory...
Paris, November 13-15, 2006.
- [[[pdf]>http://www.ueda.info.waseda.ac.jp/~ueda/pub/chr...
- [[[pdf]>http://www.cs.kuleuven.ac.be/~dtai/projects/ALP...
- [[[pdf]>https://dio.org/10.1016/j.entcs.2005.12.103]]
Kazunori Ueda, Constraint-Based Concurrency and Beyond. E...
- [[[pdf]>http://www.ueda.info.waseda.ac.jp/~ueda/pub/wmc...
[&ref(LMNtal-WMC2004.pdf,,slides);]
Kazunori Ueda and Norio Kato, LMNtal: a language model wi...
- [[[pdf]>https://www.jstage.jst.go.jp/article/jssst/21/2...
Computer Software, Vol.21, No.2 (2004), pp.44-60, DOI: 10...
- [[[pdf]>https://doi.org/10.1007/978-3-540-24599-5_50]] ...
End:
[[Publications]]
* Publications and Presentations [#c568e38a]
- [[[extended abstract and poster pdf]>https://conf.resea...
Kento Takyu and Kazunori Ueda,
Encoding MELL Cut Elimination into a Hierarchical Graph R...
The 21st Asian Symposium on Programming Languages and Sys...
- [[[pdf]>https://doi.org/10.1007/978-3-031-36709-0_14]]
[&ref(ICGT2023.pdf,,slides);]
Jin Sano and Kazunori Ueda, Implementing the λGT Lan...
- [[[pdf]>https://doi.org/10.2197/ipsjjip.31.112]]
[&ref(SWoPP2022-slides-v2.pdf,,slides);]
Jin Sano, Naoki Yamamoto and Kazunori Ueda: Type Checking...
- [[[pdf]>https://doi.org/10.1109/ACCESS.2022.3217913]] N...
- [[[pdf]>https://doi.org/10.1109/ACCESS.2021.3112903]]
Alimujiang Yasen and Kazunori Ueda: Revisiting Graph Type...
- [[[pdf]>https://sites.google.com/view/gcm2021/pre-proce...
Naoki Yamamoto and Kazunori Ueda: Engineering Grammar-bas...
- [[[pdf]>https://doi.org/10.1007/978-3-030-23611-3_1]]
[&ref(ICGT2019.pdf,,slides);]
Taichi Tomioka, Yutaro Tsunekawa and Kazunori Ueda: Intro...
- [[[pdf]>https://www.jstage.jst.go.jp/article/transinf/E...
- [[[pdf]>https://www.jot.fm/contents/issue_2018_01/artic...
- [[[pdf]>https://link.springer.com/chapter/10.1007/978-3...
- [[[pdf]>https://doi.org/10.1016/j.scico.2017.06.002]] K...
- [[[pdf]>http://2016.splashcon.org/event/meta2016-implem...
[&ref(meta2016_slide.pdf,,slides);]
Yutaro Tsunekawa, Taichi Tomioka and Kazunori Ueda: Imple...
- [[[pdf]>http://doi.ieeecomputersociety.org/10.1109/TASE...
- [[[pdf]>http://link.springer.com/chapter/10.1007/978-3-...
[&ref(FLOPS2016-v4.pdf,,slides);]
Kazunori Ueda: Logic/Constraint Programming and Concurren...
- [[[pdf]>https://www.jstage.jst.go.jp/article/jssst/33/1...
- [[[pdf]>http://www.ueda.info.waseda.ac.jp/~ueda/pub/COB...
- [[[pdf]>http://jssst.or.jp/files/user/taikai/2014/PPL/P...
- [[[pdf]>http://jssst.or.jp/files/user/taikai/2013/hoga3...
- [[[pdf]>https://link.springer.com/article/10.1007/s1321...
- [[[pdf]>http://www.ueda.info.waseda.ac.jp/pub/jssst2012...
- [[[pdf]>https://www.jstage.jst.go.jp/article/jssst/28/4...
- [[[pdf]>https://www.jstage.jst.go.jp/article/jssst/27/4...
- [[[pdf]>https://link.springer.com/chapter/10.1007/978-3...
[&ref(ICTAC09.pdf,,slides);]
Kazunori Ueda, Takayuki Ayano, Taisuke Hori, Hiroki Iwasa...
DOI: 10.1007/978-3-642-03466-4_24.
- [[[pdf]>http://dx.doi.org/10.1016/j.tcs.2009.07.043]] K...
doi: 10.1016/j.tcs.2009.07.043.
- [[[pdf]>https://link.springer.com/chapter/10.1007/978-3...
DOI: 10.1007/978-3-540-70590-1_27.
- [[[pdf]>https://doi.org/10.1016/j.entcs.2008.04.012]]
[&ref(ambient-jssst2006.pdf,,slides);]
Kazunori Ueda, Encoding Distributed Process Calculi into ...
DOI: 10.1016/j.entcs.2008.04.012.
- [[[pdf]>https://www.jstage.jst.go.jp/article/jssst/25/3...
Computer Software, Vol.25, No.3 (2008), pp.49-54, DOI: 10...
- [[[pdf]>https://www.jstage.jst.go.jp/article/jssst/25/2...
Computer Software, Vol.25, No.2 (2008), pp.47-77, DOI: 10...
- [[[pdf]>https://www.jstage.jst.go.jp/article/jssst/25/1...
Computer Software, Vol.25. No.1 (2008), pp.124-150, DOI: ...
- [&ref(LIX-colloquium-2006.pdf,,slides);]
Kazunori Ueda, Hierarchical graph rewriting as a unifying...
[[LIX Colloquium on Emerging Trends in Concurrency Theory...
Paris, November 13-15, 2006.
- [[[pdf]>http://www.ueda.info.waseda.ac.jp/~ueda/pub/chr...
- [[[pdf]>http://www.cs.kuleuven.ac.be/~dtai/projects/ALP...
- [[[pdf]>https://dio.org/10.1016/j.entcs.2005.12.103]]
Kazunori Ueda, Constraint-Based Concurrency and Beyond. E...
- [[[pdf]>http://www.ueda.info.waseda.ac.jp/~ueda/pub/wmc...
[&ref(LMNtal-WMC2004.pdf,,slides);]
Kazunori Ueda and Norio Kato, LMNtal: a language model wi...
- [[[pdf]>https://www.jstage.jst.go.jp/article/jssst/21/2...
Computer Software, Vol.21, No.2 (2004), pp.44-60, DOI: 10...
- [[[pdf]>https://doi.org/10.1007/978-3-540-24599-5_50]] ...
Page:
![[PukiWiki]](lmntal_220x80.png "[PukiWiki]")
