Logical foundations of cafeOBJ
Theoretical Computer Science - Rewriting logic and its applications
Presentations for Abstract Context Institutions
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
Combining Logics: Parchments Revisited
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
An Algebraic Framework for Separate Type-Checking
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Rewriting Logic as a Unifying Framework for Petri Nets
Unifying Petri Nets, Advances in Petri Nets
Category-based constraint logic
Mathematical Structures in Computer Science
Abstract and behaviour module specifications
Mathematical Structures in Computer Science
Interpolation in Grothendieck institutions
Theoretical Computer Science
Category localization semantics for specification refinements
Annals of Mathematics and Artificial Intelligence
A categorical study on the finiteness of specifications
Information Processing Letters
Towards Algebraic High-Level Systems as Weak Adhesive HLR Categories
Electronic Notes in Theoretical Computer Science (ENTCS)
ICCS '09 Proceedings of the 17th International Conference on Conceptual Structures: Conceptual Structures: Leveraging Semantic Technologies
ICCS'05 Proceedings of the 13th international conference on Conceptual Structures: common Semantics for Sharing Knowledge
Interpolation for predefined types
Mathematical Structures in Computer Science
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
Theoroidal maps as algebraic simulations
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
A categorical approach to simulations
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
Categorical foundations of distributed graph transformation
ICGT'06 Proceedings of the Third international conference on Graph Transformations
An axiomatic approach to structuring specifications
Theoretical Computer Science
On fuzzification of topological categories
Fuzzy Sets and Systems
| Hi-index | 5.23 |