default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Koki Nishizawa
@article{DBLP:journals/jlap/NishizawaKK22,
author = {Koki Nishizawa and
Shin{-}ya Katsumata and
Yuichi Komorida},
title = {Stone dualities from opfibrations},
journal = {J. Log. Algebraic Methods Program.},
volume = {127},
pages = {100773},
year = {2022},
url = {https://doi.org/10.1016/j.jlamp.2022.100773},
doi = {10.1016/J.JLAMP.2022.100773},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlap/NishizawaKK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/NishizawaKK20,
author = {Koki Nishizawa and
Shin{-}ya Katsumata and
Yuichi Komorida},
editor = {Uli Fahrenberg and
Peter Jipsen and
Michael Winter},
title = {Stone Dualities from Opfibrations},
booktitle = {Relational and Algebraic Methods in Computer Science - 18th International
Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings
[postponed]},
series = {Lecture Notes in Computer Science},
volume = {12062},
pages = {221--236},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-43520-2\_14},
doi = {10.1007/978-3-030-43520-2\_14},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/NishizawaKK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/NishizawaYF20,
author = {Koki Nishizawa and
Koji Yasuda and
Hitoshi Furusawa},
editor = {Uli Fahrenberg and
Peter Jipsen and
Michael Winter},
title = {Preorders, Partial Semigroups, and Quantales},
booktitle = {Relational and Algebraic Methods in Computer Science - 18th International
Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings
[postponed]},
series = {Lecture Notes in Computer Science},
volume = {12062},
pages = {237--252},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-43520-2\_15},
doi = {10.1007/978-3-030-43520-2\_15},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/NishizawaYF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/NishizawaT18,
author = {Koki Nishizawa and
Norihiro Tsumagari},
editor = {Jules Desharnais and
Walter Guttmann and
Stef Joosten},
title = {Composition of Different-Type Relations via the Kleisli Category for
the Continuation Monad},
booktitle = {Relational and Algebraic Methods in Computer Science - 17th International
Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 -
November 1, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11194},
pages = {97--112},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02149-8\_7},
doi = {10.1007/978-3-030-02149-8\_7},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/NishizawaT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/FurusawaN15,
author = {Hitoshi Furusawa and
Koki Nishizawa},
title = {Multirelational representation theorems for complete idempotent left
semirings},
journal = {J. Log. Algebraic Methods Program.},
volume = {84},
number = {3},
pages = {426--439},
year = {2015},
url = {https://doi.org/10.1016/j.jlamp.2014.08.008},
doi = {10.1016/J.JLAMP.2014.08.008},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/FurusawaN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/NishizawaF14,
author = {Koki Nishizawa and
Hitoshi Furusawa},
editor = {Peter H{\"{o}}fner and
Peter Jipsen and
Wolfram Kahl and
Martin Eric M{\"{u}}ller},
title = {A Sufficient Condition for Liftable Adjunctions between Eilenberg-Moore
Categories},
booktitle = {Relational and Algebraic Methods in Computer Science - 14th International
Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8428},
pages = {261--276},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06251-8\_16},
doi = {10.1007/978-3-319-06251-8\_16},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/NishizawaF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/educon/NagaiTNNI13,
author = {Takayuki Nagai and
Toshiyuki Toyota and
Takayuki Nagoya and
Koki Nishizawa and
Masakazu Imai},
title = {Implementation of high-definition lecture recording system for daily
use},
booktitle = {{IEEE} Global Engineering Education Conference, {EDUCON} 2013, Berlin,
Germany, March 13-15, 2013},
pages = {520--525},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/EduCon.2013.6530155},
doi = {10.1109/EDUCON.2013.6530155},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/educon/NagaiTNNI13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/NishizawaF12,
author = {Koki Nishizawa and
Hitoshi Furusawa},
editor = {Wolfram Kahl and
Timothy G. Griffin},
title = {Relational Representation Theorem for Powerset Quantales},
booktitle = {Relational and Algebraic Methods in Computer Science - 13th International
Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7560},
pages = {207--218},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33314-9\_14},
doi = {10.1007/978-3-642-33314-9\_14},
timestamp = {Wed, 15 Dec 2021 11:04:21 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/NishizawaF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/FurusawaN11,
author = {Hitoshi Furusawa and
Koki Nishizawa},
editor = {Harrie C. M. de Swart},
title = {Relational and Multirelational Representation Theorems for Complete
Idempotent Left Semirings},
booktitle = {Relational and Algebraic Methods in Computer Science - 12th International
Conference, {RAMICS} 2011, Rotterdam, The Netherlands, May 30 - June
3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6663},
pages = {148--163},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21070-9\_13},
doi = {10.1007/978-3-642-21070-9\_13},
timestamp = {Wed, 15 Dec 2021 11:04:20 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/FurusawaN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/Nishizawa10,
author = {Koki Nishizawa},
title = {Multi-Valued Modal Fixed Point Logics for Model Checking},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {93-D},
number = {8},
pages = {2036--2039},
year = {2010},
url = {https://doi.org/10.1587/transinf.E93.D.2036},
doi = {10.1587/TRANSINF.E93.D.2036},
timestamp = {Sat, 11 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/Nishizawa10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/imt/KinoshitaN10,
author = {Yoshiki Kinoshita and
Koki Nishizawa},
title = {An Algebraic Semantics of Predicate Abstraction for {PML}},
journal = {Inf. Media Technol.},
volume = {5},
number = {1},
pages = {48--57},
year = {2010},
url = {https://doi.org/10.11185/imt.5.48},
doi = {10.11185/IMT.5.48},
timestamp = {Wed, 04 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/imt/KinoshitaN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/imt/IkarashiTNH10,
author = {Dai Ikarashi and
Yoshinori Tanabe and
Koki Nishizawa and
Masami Hagiya},
title = {Modal {\(\mu\)}-calculus on Min-plus Algebra N\({}_{\mbox{{\(\infty\)}}}\)},
journal = {Inf. Media Technol.},
volume = {5},
number = {4},
pages = {1178--1192},
year = {2010},
url = {https://doi.org/10.11185/imt.5.1178},
doi = {10.11185/IMT.5.1178},
timestamp = {Wed, 04 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/imt/IkarashiTNH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/NishizawaTF09,
author = {Koki Nishizawa and
Norihiro Tsumagari and
Hitoshi Furusawa},
editor = {Rudolf Berghammer and
Ali Jaoua and
Bernhard M{\"{o}}ller},
title = {The Cube of Kleene Algebras and the Triangular Prism of Multirelations},
booktitle = {Relations and Kleene Algebra in Computer Science, 11th International
Conference on Relational Methods in Computer Science, RelMiCS 2009,
and 6th International Conference on Applications of Kleene Algebra,
{AKA} 2009, Doha, Qatar, November 1-5, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5827},
pages = {276--290},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04639-1\_19},
doi = {10.1007/978-3-642-04639-1\_19},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/NishizawaTF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/Nishizawa09,
author = {Koki Nishizawa},
title = {Multi-valued Modal Fixed Point Logics for Model Checking},
booktitle = {{ISMVL} 2009, 39th International Symposium on Multiple-Valued Logic,
21-23 May 2009, Naha, Okinawaw, Japan},
pages = {109--113},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ISMVL.2009.57},
doi = {10.1109/ISMVL.2009.57},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ismvl/Nishizawa09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/FurusawaTN08,
author = {Hitoshi Furusawa and
Norihiro Tsumagari and
Koki Nishizawa},
editor = {Rudolf Berghammer and
Bernhard M{\"{o}}ller and
Georg Struth},
title = {A Non-probabilistic Relational Model of Probabilistic Kleene Algebras},
booktitle = {Relations and Kleene Algebra in Computer Science, 10th International
Conference on Relational Methods in Computer Science, and 5th International
Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenw{\"{o}}rth,
Germany, April 7-11, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4988},
pages = {110--122},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78913-0\_10},
doi = {10.1007/978-3-540-78913-0\_10},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/FurusawaTN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/WatanabeNT06,
author = {Hiroshi Watanabe and
Koki Nishizawa and
Osamu Takaki},
editor = {Neil Ghani and
John Power},
title = {A Coalgebraic Representation of Reduction by Cone of Influence},
booktitle = {Proceedings of the Eighth Workshop on Coalgebraic Methods in Computer
Science, {CMCS} 2006, Vienna, Austria, March 25-27, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {164},
number = {1},
pages = {177--194},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.06.011},
doi = {10.1016/J.ENTCS.2006.06.011},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/WatanabeNT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-06 00:38 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
