Checking relational specifications with binary decision diagrams
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Implementation of Relational Algebra Using Binary Decision Diagrams
ReIMICS '01 Revised Papers from the 6th International Conference and 1st Workshop of COST Action 274 TARSKI on Relational Methods in Computer Science
Software architecture abstraction and aggregation as algebraic manipulations
CASCON '99 Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative research
State space analysis of Petri nets with relation-algebraic methods
Journal of Symbolic Computation
A Relation-Algebraic Approach to Liveness of Place/Transition Nets
RelMiCS '09/AKA '09 Proceedings of the 11th International Conference on Relational Methods in Computer Science and 6th International Conference on Applications of Kleene Algebra: Relations and Kleene Algebra in Computer Science
A generic program for minimal subsets with applications
LOPSTR'02 Proceedings of the 12th international conference on Logic based program synthesis and transformation
Social networks: prestige, centrality, and influence
RAMICS'11 Proceedings of the 12th international conference on Relational and algebraic methods in computer science
RelMiCS'05 Proceedings of the 8th international conference on Relational Methods in Computer Science, Proceedings of the 3rd international conference on Applications of Kleene Algebra
Social software for coalition formation
TARSKI'02-05 Proceedings of the 2006 international conference on Theory and Applications of Relational Structures as Knowledge Instruments - Volume 2
Hi-index | 0.00 |