Skip to content

Yoshiki Nakamura

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

13

Venues

9

Active years

2009–2026

Best venue rank

A*

Where they publish

Papers

13 indexed papers, newest first.

YearVenueTitleAuthors
2026FOSSACSA Complete Propositional Dynamic Logic for Regular Expressions with Lookahead.Yoshiki Nakamura
2026FSCDThe Equational Theory of Relational Kleene Algebra with Graph Loop is PSPACE-Complete.Yoshiki Nakamura
2026LICSGuarded Negation Transitive Closure Logic.Diego Figueira, Santiago Figueira, Yoshiki Nakamura
2025CSLFinite Relational Semantics for Language Kleene Algebra with Complement.Yoshiki Nakamura
2023LICSExistential Calculi of Relations with Transitive Closure: Complexity and Edge Saturations.Yoshiki Nakamura
2023MFCSOn the Finite Variable-Occurrence Fragment of the Calculus of Relations with Bounded Dot-Dagger Alternation.Yoshiki Nakamura
2022CSLSpatial Existential Positive Logics for Hyperedge Replacement Grammars.Yoshiki Nakamura
2022HRIThe Effect of Robots Listening Attitude Change on the Self-disclosure of the Elderly: A Preliminary Study.Yoshiki Nakamura, Hiroyuki Umemuro
2021GECCOConvergence analysis of rule-generality on the XCS classifier system.Yoshiki Nakamura, Motoki Horiuchi, Masaya Nakata
2020FSCDOn Average-Case Hardness of Higher-Order Model Checking.Yoshiki Nakamura, Kazuyuki Asada, Naoki Kobayashi, Ryoma Sin'ya, Takeshi Tsukada
2020RO-MANThe Effect of Robot Gaze Direction While Idle on User Comfort and Subjective Impressions.Yoshiki Nakamura, Hiroyuki Umemuro
2017LICSPartial derivatives on graphs for Kleene allegories.Yoshiki Nakamura
2009HCIConstruction of Systematic Learning Support System of Business Theory and Method.Yoshiki Nakamura, Katsuhiro Sakamoto