Integration of sequential scenarios
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Integration of Sequential Scenarios
IEEE Transactions on Software Engineering
ACM Transactions on Programming Languages and Systems (TOPLAS)
Defining and Applying Measures of Distance Between Specifications
IEEE Transactions on Software Engineering
Relation Graphs: A Structure for Representing Relations in Contextual Logic of Relations
ICCS '02 Proceedings of the 10th International Conference on Conceptual Structures: Integration and Interfaces
On a Mereological System for Relational Software Specifications
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
Towards a Mereological System for Direct Products and Relations
TSCTC '02 Proceedings of the Third International Conference on Rough Sets and Current Trends in Computing
Revised Lectures from the International Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Algebraic Semantics of ER-Models in the Context of the Calculus of Relations. II: Dynamic View
ReIMICS '01 Revised Papers from the 6th International Conference and 1st Workshop of COST Action 274 TARSKI on Relational Methods in Computer Science
ReIMICS '01 Revised Papers from the 6th International Conference and 1st Workshop of COST Action 274 TARSKI on Relational Methods in Computer Science
ReIMICS '01 Revised Papers from the 6th International Conference and 1st Workshop of COST Action 274 TARSKI on Relational Methods in Computer Science
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
The Demonic Product of Probabilistic Relations
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Algebraic and coalgebraic methods in the mathematics of program construction
ER modelling from first relational principles
Theoretical Computer Science
Relational characterizations of system fault tolerance
Science of Computer Programming
Formal specification and refinement of a safe train control function
Formal methods for embedded distributed systems
Acta Cybernetica
Normal forms for binary relations
Theoretical Computer Science
Tracing Relations Probabilistically
Fundamenta Informaticae
Tracing Relations Probabilistically
Fundamenta Informaticae
Cardinal Addition in Distributive Allegories
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
Complements in Distributive Allegories
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
The converse of a stochastic relation
FOSSACS'03/ETAPS'03 Proceedings of the 6th International conference on Foundations of Software Science and Computation Structures and joint European conference on Theory and practice of software
RelMiCS'08/AKA'08 Proceedings of the 10th international conference on Relational and kleene algebra methods in computer science, and 5th international conference on Applications of kleene algebra
Social networks: prestige, centrality, and influence
RAMICS'11 Proceedings of the 12th international conference on Relational and algebraic methods in computer science
Ampersand applying relation algebra in practice
RAMICS'11 Proceedings of the 12th international conference on Relational and algebraic methods in computer science
Relational heterogeneity relaxed by subtyping
RAMICS'11 Proceedings of the 12th international conference on Relational and algebraic methods in computer science
RelView: an OBDD-based computer algebra system for relations
CASC'05 Proceedings of the 8th international conference on Computer Algebra in Scientific Computing
Semigroupoid interfaces for relation-algebraic programming in haskell
RelMiCS'06/AKA'06 Proceedings of the 9th international conference on Relational Methods in Computer Science, and 4th 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
Tracing Relations Probabilistically
Fundamenta Informaticae
Tracing Relations Probabilistically
Fundamenta Informaticae
Fork Algebras in Algebra, Logic and Computer Science
Fundamenta Informaticae
Hi-index | 0.00 |