Shin-ya Katsumata - Concepedia

Author

Shin-ya Katsumata

Also Known As

Katsumata Shin-ya, Katsumata, Shin-Ya, Katsumata, Shin-ya, Rot, J.C., S. Katsumata, SHIN-YA KATSUMATA, Shin-Ya Katsumata, Shin-ya Katsumata

Publications

723

Citations

H-Index

Concepts

All Affiliations

National Institute of Informatics Kyoto University University at Buffalo, State University of New York Tallinn University of Technology Institut national de recherche en sciences et technologies du numérique

About

Shin-ya Katsumata is an author at National Institute of Informatics specializing in automated reasoning, engineering, and formal methods.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	9	9	224
2	Computer Science	8	8	171
3	Education	2	2	71
4	Language Studies	1	1	53
5	Data Science	1	1	28

Shin-ya Katsumata

Publications

427

Citations

H-Index

Page 1

	Year	Citations
Parametric effect monads and semantics of effect systems Shin-ya Katsumata	2014	86
Combining effects and coeffects via grading Marco Gaboardi, Shin-ya Katsumata, Dominic Orchard, EngineeringType TheoryTreatment EffectEducationQuasi-experiment	2016	61
Parametric effect monads and semantics of effect systems Shin-ya Katsumata ACM SIGPLAN Notices Formal SemanticsParametric Effect MonadsAlgebraic LogicSyntaxEngineering	2014	53
A semantic account of metric preservation Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu,	2016	40
Probabilistic Relational Reasoning via Metrics Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu, EngineeringVerificationSemanticsSoftware AnalysisStatistical Relational Learning	2019	28
Approximate Span Liftings: Compositional Semantics for Relaxations of Differential Privacy Tetsuya Sato, Gilles Barthe, Marco Gaboardi, Privacy ProtectionEngineeringInformation SecurityFormal VerificationPrivacy System	2019	24
Relating computational effects by ⊤⊤-lifting Shin-ya Katsumata Information and Computation Computational ScienceComputational Complexity TheoryComputational Model TheoryComputational ParadigmComputational Effects	2012	23
Codensity Lifting of Monads and its Dual Shin-ya Katsumata, Tetsuya Sato, Tarmo Uustalu SHILAP Revista de lepidopterología	2018	17
Differentiable Causal Computations via Delayed Trace David Sprunger, Shin-ya Katsumata	2019	15
Weakest Preconditions in Fibrations Alejandro Aguirre, Shin-ya Katsumata Electronic Notes in Theoretical Computer Science Algebraic LogicCounter MonadSupermanifoldEngineeringProgramming Language Theory	2020	14

Page 1