|
1.
|
Papers
|
Stone dualities from opfibrations
(Collaboration)
2022/06
|
|
2.
|
Papers
|
Preorders, Partial Semigroups, and Quantales
(Collaboration)
2020/04
|
|
3.
|
Papers
|
Stone Dualities from Opfibrations
(Collaboration)
2020/04
|
|
4.
|
Papers
|
Composition of Different-Type Relations via the Kleisli Category for the Continuation Monad
(Collaboration)
2018/11
|
|
5.
|
Papers
|
Multirelational representation theorems for complete idempotent left semirings
(Collaboration)
2015/05
|
|
6.
|
Papers
|
A Sufficient Condition for Liftable Adjunctions between Eilenberg-Moore Categories
(Collaboration)
2014/04
|
|
7.
|
Papers
|
Implementation of high-definition lecture recording system for daily use
(Collaboration)
2013
|
|
8.
|
Papers
|
Relational Representation Theorem for Powerset Quantales
(Collaboration)
2012/09
|
|
9.
|
Papers
|
Ideal Completion of Join Semilattics over T-Algebra
(Collaboration)
2012/03
|
|
10.
|
Papers
|
Relational and Multirelational Representation Theorems for Complete Idempotent Left Semirings
(Collaboration)
2011/05
|
|
11.
|
Papers
|
Modal μ-calculus on min-plus algebra N∞
(Collaboration)
2010/08
|
|
12.
|
Papers
|
Multi-valued modal fixed point logics for model checking
(Single)
2010/08
|
|
13.
|
Papers
|
The cube of Kleene algebras and the triangular prism of multirelations
(Collaboration)
2009/11
|
|
14.
|
Papers
|
Multirelational Models of Lazy, Monodic Tree, and Probabilistic Kleene Algebras
(Collaboration)
2009/09
|
|
15.
|
Papers
|
An algebraic semantics of predicate abstraction for PML
(Collaboration)
2009/05
|
|
16.
|
Papers
|
Lawvere Theories Enriched over a General Base
(Collaboration)
2009/03
|
|
17.
|
Papers
|
A Non-Probabilistic Relational Model of Probabilistic KA
(Collaboration)
2008/04
|
|
18.
|
Papers
|
Multirelational Model of Lazy Kleene Algebra
(Collaboration)
2008/04
|
|
19.
|
Papers
|
Simulations of Multi-Valued Models for Modal mu-Calculus
(Collaboration)
2007/04
|
|
20.
|
Papers
|
A Coalgebraic Representation of Reduction by Cone of Influence
(Collaboration)
2006/10
|
|
21.
|
Papers
|
Formalising Coffman Conditions in First Order Modal mu Calculus (Extended Version)
(Collaboration)
2006/10
|
|
22.
|
Papers
|
A Coalgebraic Representation of Reduction by Cone of Influence
(Collaboration)
2006/02
|
|
23.
|
Papers
|
Algebraic Structures for Cocomplete Fibrations and Fibred CCCs
(Single)
2005/12
|
|
24.
|
Papers
|
Algebraic Structures for Cocomplete Fibrations and Fibred CCCs
(Single)
2005/09
|
|
25.
|
Papers
|
Algebraic Structure for a Fixed Point Logic and Abstract Interpretation
(Collaboration)
2005/06
|
|
26.
|
Papers
|
Lawvere Theories Enriched over a General Base
(Collaboration)
2005/02
|
|
27.
|
Other
|
Generated Waste and Recovery & Disposal of Solid Waste on the Sea of Japan Coast - Tracing Drifting Paths of Tsunami Debris
(Collaboration)
2013/02
|
|
5 display
|
|
All display(27)
|
