Publications
[
Front page
|
List of pages
|
Search
|
Recent changes
|
Backup
|
Help
]
Start:
[[Publications]]
* Publications and Presentations [#mdac4708]
- [[[pdf]>https://doi.org/10.1007/978-3-031-84924-4_13]]
[[[slides]>https://popl25.sigplan.org/details/PADL-2025-p...
[[[extended version]>https://arxiv.org/abs/2411.14802]]
Kento Takyu and Kazunori Ueda, Enhancing a Hierarchical G...
In Proc. 27th International Symposium on Practical Aspect...
LNCS 15537, Springer-Verlag, 2025, pp.196-214,
DOI: 10.1007/978-3-031-84924-4_13.
- [&ref(aplas2024NIER.pdf,,slides);] Naoki Yamamoto and K...
Grammar-based Pattern Matching and Type Checking for Diff...
The 7th Workshop on New Ideas and Emerging Results in Pro...
- [[[pdf]>https://doi.org/10.1145/3678232.3678243]]
[&ref(PPDP2024.pdf,,slides);] Naoki Yamamoto and Kazunori...
Grammar-based Pattern Matching and Type Checking for Diff...
In Proceedings of the 26th International Symposium on Pri...
ACM, 2024, Article No.:13, pp.1-13,
DOI: 10.1145/3678232.3678243.
- [[[pdf]>https://doi.org/10.1007/978-3-031-71294-4_13]]
[&ref(LOPSTR2024.pdf,,slides);]
[[[extended version]>https://arxiv.org/abs/2409.11015]]
Haruto Mishina and Kazunori Ueda, Introducing Quantificat...
In Proc. 34th International Symposium on Logic-Based Prog...
LNCS 14919, Springer-Verlag, 2024, pp.220-239,
DOI: 10.1007/978-3-031-71294-4_13.
- [[[abstract and slides pdf]>https://conf.researchr.org/...
Kazunori Ueda,
Gentle Introduction to LMNtal: Language Design and Implem...
17th International Conference on Graph Transformation (IC...
- [[[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 of the conference v...
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://waseda.repo.nii.ac.jp/record/41342/file...
Alimujiang Yasen,
Hypergraph-Based Modeling of Formal Systems Involving Nam...
Doctoral Thesis, Department of Computer Science and Engin...
Waseda University, February 2018.
- [[[pdf]>https://www.jot.fm/contents/issue_2018_01/artic...
[&ref(meta2016_slide.pdf,,slides of the conference versio...
Yutaro Tsunekawa, Taichi Tomioka and Kazunori Ueda: Imple...
- [[[pdf]>https://link.springer.com/chapter/10.1007/978-3...
[&ref(ttcs2017-slides.pdf,,slides);]
Alimujiang Yasen and Kazunori Ueda: Unification of Hyperg...
- [[[pdf]>https://doi.org/10.1016/j.scico.2017.06.002]]
[&ref(FLOPS2016-v4.pdf,,slides of the conference version);]
Kazunozi Ueda: Logic/Constraint Programming and Concurren...
- [[[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...
[&ref(tase2016-slides.pdf,,slides);]
Alimujiang Yasen and Kazunori Ueda: Hypergraph Representa...
- [[[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 of the conference ver...
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://doi.org/10.1016/j.entcs.2005.12.103]]
[&ref(bertinoro-2005.pdf,,slides);]
Kazunori Ueda, Constraint-Based Concurrency and Beyond. E...
(Post-proceedings of the workshop
[[Algebraic Process Calculi: The First Twenty Five Years ...
- [[[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 [#mdac4708]
- [[[pdf]>https://doi.org/10.1007/978-3-031-84924-4_13]]
[[[slides]>https://popl25.sigplan.org/details/PADL-2025-p...
[[[extended version]>https://arxiv.org/abs/2411.14802]]
Kento Takyu and Kazunori Ueda, Enhancing a Hierarchical G...
In Proc. 27th International Symposium on Practical Aspect...
LNCS 15537, Springer-Verlag, 2025, pp.196-214,
DOI: 10.1007/978-3-031-84924-4_13.
- [&ref(aplas2024NIER.pdf,,slides);] Naoki Yamamoto and K...
Grammar-based Pattern Matching and Type Checking for Diff...
The 7th Workshop on New Ideas and Emerging Results in Pro...
- [[[pdf]>https://doi.org/10.1145/3678232.3678243]]
[&ref(PPDP2024.pdf,,slides);] Naoki Yamamoto and Kazunori...
Grammar-based Pattern Matching and Type Checking for Diff...
In Proceedings of the 26th International Symposium on Pri...
ACM, 2024, Article No.:13, pp.1-13,
DOI: 10.1145/3678232.3678243.
- [[[pdf]>https://doi.org/10.1007/978-3-031-71294-4_13]]
[&ref(LOPSTR2024.pdf,,slides);]
[[[extended version]>https://arxiv.org/abs/2409.11015]]
Haruto Mishina and Kazunori Ueda, Introducing Quantificat...
In Proc. 34th International Symposium on Logic-Based Prog...
LNCS 14919, Springer-Verlag, 2024, pp.220-239,
DOI: 10.1007/978-3-031-71294-4_13.
- [[[abstract and slides pdf]>https://conf.researchr.org/...
Kazunori Ueda,
Gentle Introduction to LMNtal: Language Design and Implem...
17th International Conference on Graph Transformation (IC...
- [[[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 of the conference v...
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://waseda.repo.nii.ac.jp/record/41342/file...
Alimujiang Yasen,
Hypergraph-Based Modeling of Formal Systems Involving Nam...
Doctoral Thesis, Department of Computer Science and Engin...
Waseda University, February 2018.
- [[[pdf]>https://www.jot.fm/contents/issue_2018_01/artic...
[&ref(meta2016_slide.pdf,,slides of the conference versio...
Yutaro Tsunekawa, Taichi Tomioka and Kazunori Ueda: Imple...
- [[[pdf]>https://link.springer.com/chapter/10.1007/978-3...
[&ref(ttcs2017-slides.pdf,,slides);]
Alimujiang Yasen and Kazunori Ueda: Unification of Hyperg...
- [[[pdf]>https://doi.org/10.1016/j.scico.2017.06.002]]
[&ref(FLOPS2016-v4.pdf,,slides of the conference version);]
Kazunozi Ueda: Logic/Constraint Programming and Concurren...
- [[[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...
[&ref(tase2016-slides.pdf,,slides);]
Alimujiang Yasen and Kazunori Ueda: Hypergraph Representa...
- [[[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 of the conference ver...
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://doi.org/10.1016/j.entcs.2005.12.103]]
[&ref(bertinoro-2005.pdf,,slides);]
Kazunori Ueda, Constraint-Based Concurrency and Beyond. E...
(Post-proceedings of the workshop
[[Algebraic Process Calculi: The First Twenty Five Years ...
- [[[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]")
