Strategic directions in concurrency research
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Information-Flow-Based Ontology Mapping
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Chu spaces as a semantic bridge between linear logic and mathematics
Theoretical Computer Science - Linear logic
Higher dimensional automata revisited
Mathematical Structures in Computer Science
Chu I: cofree equivalences, dualities and *-autonomous categories
Mathematical Structures in Computer Science
Ontology mapping: the state of the art
The Knowledge Engineering Review
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
ICCS'05 Proceedings of the 13th international conference on Conceptual Structures: common Semantics for Sharing Knowledge
Duality in Logic and Computation
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
Hi-index | 0.00 |