Skip to main navigation
Skip to search
Skip to main content
University of Birmingham Home
Help & FAQ
Home
Research output
Profiles
Research units
Projects
Activities
Datasets
Equipment
Prizes
Press/Media
Search by expertise, name or affiliation
Advanced Research Fellowship : Semantics of Non-determinism: Functions, Strategies and Bisimulation
Levy, Paul
(Principal Investigator)
Computer Science
Overview
Fingerprint
Research output
(8)
Research output
Research output per year
2008
2008
2009
2010
2011
2012
2014
2015
2015
4
Paper
2
Conference contribution
2
Article
Research output per year
Research output per year
2 results
Publication Year, Title
(descending)
Publication Year, Title
(ascending)
Title
Type
Filter
Article
Search results
2015
On Final Coalgebras of Power-Set Functors and Saturated Trees: To George Janelidze on the Occasion of His Sixtieth Birthday
Adámek, J.
,
Levy, P. B.
,
Milius, S.
,
Moss, L. S.
&
Sousa, L.
,
1 Aug 2015
,
In:
Applied Categorical Structures.
23
,
4
,
p. 609-641
Research output
:
Contribution to journal
›
Article
›
peer-review
Power set
100%
Coalgebra
88%
Functor
70%
Chain
45%
Labeled Trees
26%
5
Citations (Scopus)
2012
Characteristic formulae for fixed-point semantics: A general framework
Aceto, L.
,
Ingolfsdottir, A.
,
Levy, P. B.
&
Sack, J.
,
Apr 2012
,
In:
Mathematical Structures in Computer Science.
22
,
2
,
p. 125-173
49 p.
Research output
:
Contribution to journal
›
Article
›
peer-review
Semantics
100%
Fixed point
82%
Framework
66%
Infinitary Logic
28%
Labeled Transition System
27%
14
Citations (Scopus)