- Radboud Repository
- →
- Browsing by Author
JavaScript is disabled for your browser. Some features of this site may not work without it.
Browsing by Author "Hasuo, I."
Now showing items 1-19 of 19
-
Healthiness from Duality Hino, W.; Kobayashi, H.; Hasuo, I. ; Jacobs, B.2016, Article in monograph or in proceedings (Koskinen, E. (ed.), LICS '16 : Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, pp. 682-691) -
Coinductive Predicates and Final Sequences in a Fibration Hasuo, I. ; Cho, K.; Kataoka, T.; Jacobs, B.2013, Part of book or chapter of book (Kozen, D. (ed.), Mathematical Foundations of Programming Semantics : Twenty-ninth Annual Conference Tulane University New Orleans, LA, USA June 23–25, 2013, pp. 197-214) -
Traces for coalgebraic components 2011, Article / Letter to editor (Mathematical Structures in Computer Science, vol. 21, iss. 2, (2011), pp. 267-320)
-
Coalgebraic representation theory of fractals 2010, Article / Letter to editor (Electronic Notes in Theoretical Computer Science, vol. 265, iss. C, (2010), pp. 351-368)
-
Semantics and Logic for Security Protocols 2009, Article / Letter to editor (Journal of Computer Security, vol. 17, iss. 6, (2009), pp. 909-944)
-
Categorical Semantics for Arrows 2009, Article / Letter to editor (Journal of Functional Programming, vol. 19, iss. 3-4, (2009), pp. 403-438)
-
Coalgebraic Components in a Many-Sorted Microcosm 2009, Article in monograph or in proceedings (Kurz, A.; Tarlecki, A. (ed.), Algebra and Coalgebra in Computer Science : Third International Conference, CALCO 2009, Italy, September 7-10, 2009. Proceedings, pp. 64-80)
-
The Microcosm Principle and Concurrency in Coalgebra 2008, Article in monograph or in proceedings (Amadio, R. (ed.), Foundations of Software Science and Computation Structures : 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings, pp. 246-260)
-
-
Categorical Views on Computations on Trees (Extended Abstract) Hasuo, Ichiro ; Jacobs, Bart ; Uustalu, Tarmo2007, Article in monograph or in proceedings (ICALP, pp. 619-630)
-
Probabilistic Anonymity via Coalgebraic Simulations Hasuo, Ichiro ; Kawabe, Yoshinobu2007, Article in monograph or in proceedings (European Symposium on Programming (ESOP '07), pp. 379-394) -
The Microcosm Principle and Concurrency in Coalgebra (Abstract) 2007, Article in monograph or in proceedings (Haveraaen, Magne; Power, John; Seisenberger, Monika (ed.), CALCO-jnr Workshop, pp. 1-2)
-
Generic Trace Semantics via Coinduction 2007, Article / Letter to editor (Logical Methods in Computer Science, vol. 3, iss. 4, (2007), pp. 1-36)
-
Generic Forward and Backward Simulations 2006, Article in monograph or in proceedings (International Conference on Concurrency Theory (CONCUR 2006), pp. 406-420)
-
Generic Trace Theory 2006, Article in monograph or in proceedings (Ghani, N. (ed.), Proceedings of the Eighth Workshop on Coalgebraic Methods in Computer Science (CMCS 2006), Eighth Workshop on Coalgebraic Methods in Computer Science, pp. 47-65)
-
Freyd is Kleisli, for Arrows 2006, Article in monograph or in proceedings (McBride, C.; Uustalu, T. (ed.), Workshop on Mathematically Structured Functional Programming (MSFP 2006))
-
Relations Among Notions of Security for Identity Based Encryption Schemes Attrapadung, Nuttapong; Cui, Yang; Galindo Chacon, David ; Hanaoka, Goichiro; Hasuo, Ichiro ; Imai, Hideki; Matsuura, Kanta; Yang, Peng; Zhang, Rui2006, Article in monograph or in proceedings (Correa, José R.; Hevia, Alejandro; Kiwi, Marcos A. (ed.), LATIN 2006: Theoretical Informatics, 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006, Proceedings, pp. 130-141)
-
Context-free Languages via Coalgebraic Trace Semantics 2005, Article in monograph or in proceedings (Fiadeiro, J.L.; Harman, N.; Roggenbach, M. (ed.), Conference on Algebra and Coalgebra in Computer Science (CALCO 2005), pp. 204-233)
-
Provable Anonymity 2005, Article in monograph or in proceedings (K, Ralf (ed.), 3rd ACM Workshop on Formal Methods in Security Engineering (FMSE05), pp. 63-72)
Now showing items 1-19 of 19
Search Repository
Browse
-
All of Repository
Upload Full Text