×

zbMATH — the first resource for mathematics

Watanabe, Hiroshi

Compute Distance To:
Author ID: watanabe.hiroshi Recent zbMATH articles by "Watanabe, Hiroshi"
Published as: Watanabe, H.; Watanabe, Hiroshi
Documents Indexed: 13 Publications since 1998

Publications by Year

Citations contained in zbMATH

11 Publications have been cited 98 times in 70 Documents Cited by Year
Combining a monad and a comonad. Zbl 1002.68059
Power, John; Watanabe, Hiroshi
23
2002
On the structure of categories of coalgebras. Zbl 0973.68178
Johnstone, P.; Power, J.; Tsujishita, T.; Watanabe, H.; Worrell, J.
20
2001
Distributivity for endofunctors, pointed and co-pointed endofunctors, monads and comonads. Zbl 0960.18002
Lenisa, Marina; Power, John; Watanabe, Hiroshi
20
2000
Category theory for operational semantics. Zbl 1071.68059
Lenisa, Marina; Power, John; Watanabe, Hiroshi
14
2004
Well-behaved translations between structural operational semantics. Zbl 1270.68159
Watanabe, Hiroshi
6
2002
Distributivity for a monad and a comonad. Zbl 0918.68062
Power, John; Watanabe, Hiroshi
5
1999
An axiomatics for categories of coalgebras. Zbl 0917.68124
Power, John; Watanabe, Hiroshi
5
1998
An axiomatics for categories of transition systems as coalgebras. Zbl 0945.18500
Johnstone, Peter; Power, John; Tsujishita, Toru; Watanabe, Hiroshi; Worrell, James
2
1998
A coalgebraic representation of reduction by cone of influence. Zbl 1276.68112
Watanabe, Hiroshi; Nishizawa, Koki; Takaki, Osamu
1
2006
The subobject classifier of the category of functional bisimulations. Zbl 0936.18003
Watanabe, Hiroshi
1
1999
A criterion for the existence of subobject classifiers. Zbl 0921.18002
Watanabe, Hiroshi
1
1999
A coalgebraic representation of reduction by cone of influence. Zbl 1276.68112
Watanabe, Hiroshi; Nishizawa, Koki; Takaki, Osamu
1
2006
Category theory for operational semantics. Zbl 1071.68059
Lenisa, Marina; Power, John; Watanabe, Hiroshi
14
2004
Combining a monad and a comonad. Zbl 1002.68059
Power, John; Watanabe, Hiroshi
23
2002
Well-behaved translations between structural operational semantics. Zbl 1270.68159
Watanabe, Hiroshi
6
2002
On the structure of categories of coalgebras. Zbl 0973.68178
Johnstone, P.; Power, J.; Tsujishita, T.; Watanabe, H.; Worrell, J.
20
2001
Distributivity for endofunctors, pointed and co-pointed endofunctors, monads and comonads. Zbl 0960.18002
Lenisa, Marina; Power, John; Watanabe, Hiroshi
20
2000
Distributivity for a monad and a comonad. Zbl 0918.68062
Power, John; Watanabe, Hiroshi
5
1999
The subobject classifier of the category of functional bisimulations. Zbl 0936.18003
Watanabe, Hiroshi
1
1999
A criterion for the existence of subobject classifiers. Zbl 0921.18002
Watanabe, Hiroshi
1
1999
An axiomatics for categories of coalgebras. Zbl 0917.68124
Power, John; Watanabe, Hiroshi
5
1998
An axiomatics for categories of transition systems as coalgebras. Zbl 0945.18500
Johnstone, Peter; Power, John; Tsujishita, Toru; Watanabe, Hiroshi; Worrell, James
2
1998
all top 5

Cited by 89 Authors

8 Klin, Bartek
7 Rot, Jurriaan
5 Power, John
4 Böhm, Gabriella
4 Pous, Damien
4 Wisbauer, Robert
3 Bonchi, Filippo
3 Bonsangue, Marcello Maria
3 Milius, Stefan
3 Rutten, Jan J. M. M.
3 Velebil, Jiří
3 Watanabe, Hiroshi
3 Worrell, James B.
3 Zhang, Xiaohui
2 Adámek, Jiří
2 Bartels, Falk
2 Hansen, Helle Hvid
2 Jacobs, Bart
2 Kianpi, Maurice
2 Kick, Marco
2 Mavoungou, Jean-Paul
2 Schröder, Lutz
2 Uustalu, Tarmo
1 Ahman, Danel
1 Balan, Adriana
1 Barbosa, Luís Soares
1 Brzeziński, Tomasz
1 Bulacu, Daniel
1 Buscemi, Maria Grazia
1 Caenepeel, Stefaan
1 Chen, Yuanyuan
1 Ciancia, Vincenzo
1 De Marchi, Federico
1 Dong, Lihong
1 Femić, Bojana
1 Gadducci, Fabio
1 Garner, Richard
1 Ghani, Neil
1 Goubault-Larrecq, Jean
1 Guan, Xuechong
1 Gumm, Heinz-Peter
1 Hermida, Claudio
1 Hughes, Jesse
1 Hutton, Graham
1 Incurvati, Luca
1 Jaskelioff, Mauro
1 Johnstone, Peter T.
1 Jugnia, Celestin Nkuimi
1 Kupke, Clemens
1 Kurz, Alexander
1 Lack, Stephen
1 Lasota, Sławomir
1 Lengyel, Florian
1 Lenisa, Marina
1 Mahmoudi, Mojgan
1 Makkai, Michael
1 Marmolejo, Francisco
1 Melliès, Paul-André
1 Mesablishvili, Bachuki
1 Miculan, Marino
1 Mossakowski, Till
1 Myers, Robert S. R.
1 Nowak, David E.
1 Oliveira, José Nuno
1 Orzan, Simona
1 Petrisan, Daniela Luan
1 Reichel, Horst
1 Rodrigues, César J.
1 Roggenbach, Markus
1 Sangiorgi, Davide
1 Schröder, Tobias
1 Schubert, Christoph
1 Silva, Alexandra
1 Simpson, Alex K.
1 Staton, Sam
1 Street, Ross H.
1 Tanaka, Miki
1 Tholen, Walter
1 Tsujishita, Toru
1 van Breugel, Franck
1 Van den Berg, Benno
1 Vazquez-Marquez, Adrian
1 Vene, Varmo
1 Wang, Dingguo
1 Wang, Wei
1 Wesselink, Wieger
1 Willemse, Tim A. C.
1 Winter, Joost
1 Zhao, Xiaofan

Citations by Year