Concepedia
Statistics
Publications
9
Citations
249
H-Index
Active since
1995
Affiliations
University of Udine(Current)
University of Edinburgh
Marina Lenisa is an author at University of Udine specializing in automated reasoning, formal methods, and engineering.
Top concepts
Automated ReasoningEngineeringFormal MethodsSemanticsComputer ScienceLanguageLinguisticsSemantic WebGamesCompilers
Publications per year
1995–2008
Distributivity for endofunctors, pointed and co-pointed endofunctors, monads and comonads
Marina Lenisa, John Power, Hiroshi Watanabe · Electronic Notes in Theoretical Computer Science · 2000 · 66 citations · Full text
Category theory for operational semantics
Marina Lenisa, John Power, Hiroshi Watanabe · Theoretical Computer Science · 2004 · 42 citations
Operational Semantics, Automated Reasoning, Language Studies +4
From Set-theoretic Coinduction to Coalgebraic Coinduction: some results, some problems
Marina Lenisa · Electronic Notes in Theoretical Computer Science · 1999 · 33 citations · Full text
Semantical analysis of perpetual strategies in λ-calculus
Furio Honsell, Marina Lenisa · Theoretical Computer Science · 1999 · 29 citations
Engineering, Automated Reasoning, Formal Methods +2
Generalized Coiteration Schemata1 1Research supported by the MIUR Project COFIN 2001013518 Cometa.
Daniela Cancila, Furio Honsell, Marina Lenisa · Electronic Notes in Theoretical Computer Science · 2003 · 18 citations · Full text
Engineering, Type Theory, Structured Data +25
1–5 of 9