On final coalgebras of continuous functors
Theoretical Computer Science - Category theory and computer science
Infinitary lambda calculus and discrimination of Berarducci trees
Theoretical Computer Science - Australasian computer science
Infinite trees and completely iterative theories: a coalgebraic view
Theoretical Computer Science
Coalgebraic modal logic: soundness, completeness and decidability of local consequence
Theoretical Computer Science
On varieties and covarieties in a category
Mathematical Structures in Computer Science
Mathematical Structures in Computer Science
Mathematical Structures in Computer Science
Geometry of Interaction and linear combinatory algebras
Mathematical Structures in Computer Science
Final coalgebras as greatest fixed points in ZF set theory
Mathematical Structures in Computer Science
Hidden coinduction: behavioural correctness proofs for objects
Mathematical Structures in Computer Science
Mathematical Structures in Computer Science
De Bakker-Zucker processes revisited
Information and Computation
On tree coalgebras and coalgebra presentations
Theoretical Computer Science
A comonadic account of behavioural covarieties of coalgebras
Mathematical Structures in Computer Science
Coalgebraic modal logic of finite rank
Mathematical Structures in Computer Science
On the final sequence of a finitary set functor
Theoretical Computer Science
A behavioural pseudometric for metric labelled transition systems
CONCUR 2005 - Concurrency Theory
Processes as formal power series: a coinductive approach to denotational semantics
Theoretical Computer Science
The category-theoretic solution of recursive program schemes
Theoretical Computer Science - Algebra and coalgebra in computer science
Coalgebraic Modal Logic Beyond Sets
Electronic Notes in Theoretical Computer Science (ENTCS)
Recursively defined metric spaces without contraction
Theoretical Computer Science
Expressivity of coalgebraic modal logic: The limits and beyond
Theoretical Computer Science
Observational Coalgebras and Complete Sets of Co-operations
Electronic Notes in Theoretical Computer Science (ENTCS)
PSPACE bounds for rank-1 modal logics
ACM Transactions on Computational Logic (TOCL)
A Coalgebraic Approach to Process Equivalence and a Coinduction Principle for Traces
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Rank-1 modal logics are coalgebraic
STACS'07 Proceedings of the 24th annual conference on Theoretical aspects of computer science
Free modal algebras: a coalgebraic perspective
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
Structural operational semantics for weighted transition systems
Semantics and algebraic specification
Electronic Notes in Theoretical Computer Science (ENTCS)
Coalgebraic Representation Theory of Fractals
Electronic Notes in Theoretical Computer Science (ENTCS)
Information and Computation
Resource bisimilarity and graded bisimilarity coincide
Information Processing Letters
Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra
Mathematical Structures in Computer Science
Traces for coalgebraic components
Mathematical Structures in Computer Science
Initial algebras and terminal coalgebras in many-sorted sets
Mathematical Structures in Computer Science
Connections of coalgebra and semantic modeling
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
Decomposing the lattice of meaningless sets in the infinitary lambda calculus
WoLLIC'11 Proceedings of the 18th international conference on Logic, language, information and computation
From grammars and automata to algebras and coalgebras
CAI'11 Proceedings of the 4th international conference on Algebraic informatics
Realization of Coinductive Types
Electronic Notes in Theoretical Computer Science (ENTCS)
An accessible approach to behavioural pseudometrics
ICALP'05 Proceedings of the 32nd international conference on Automata, Languages and Programming
A coalgebraic perspective on linear weighted automata
Information and Computation
Expressivity of coalgebraic modal logic: the limits and beyond
FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
Continuity and discontinuity in lambda calculus
TLCA'05 Proceedings of the 7th international conference on Typed Lambda Calculi and Applications
From T-coalgebras to filter structures and transition systems
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
Context-free languages via coalgebraic trace semantics
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
The category theoretic solution of recursive program schemes
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
Order structures on böhm-like models
CSL'05 Proceedings of the 19th international conference on Computer Science Logic
Coalgebraic correspondence theory
FOSSACS'10 Proceedings of the 13th international conference on Foundations of Software Science and Computational Structures
Narcissists are easy, stepmothers are hard
FOSSACS'12 Proceedings of the 15th international conference on Foundations of Software Science and Computational Structures
A formal abstract framework for modelling and testing complex software systems
Theoretical Computer Science
LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
Structural operational semantics for stochastic and weighted transition systems
Information and Computation
Coalgebraic announcement logics
ICALP'13 Proceedings of the 40th international conference on Automata, Languages, and Programming - Volume Part II
Hi-index | 5.24 |