Algebraic Methods for Optimization Problems
Revised Lectures from the International Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Algebraic methods for optimization problems
Algebraic and coalgebraic methods in the mathematics of program construction
Acta Cybernetica
On Automating the Calculus of Relations
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
Relational Semantics Revisited
Electronic Notes in Theoretical Computer Science (ENTCS)
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
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
On the structure of demonic refinement algebras with enabledness and termination
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
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
NN'10/EC'10/FS'10 Proceedings of the 11th WSEAS international conference on nural networks and 11th WSEAS international conference on evolutionary computing and 11th WSEAS international conference on Fuzzy systems
Partial, total and general correctness
MPC'10 Proceedings of the 10th international conference on Mathematics of program construction
Unifying recursion in partial, total and general correctness
UTP'10 Proceedings of the Third international conference on Unifying theories of programming
WSEAS Transactions on Mathematics
From operational to denotational demonic semantics of nondeterministic while loops
ICCOMP'06 Proceedings of the 10th WSEAS international conference on Computers
Non-termination in unifying theories of programming
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
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
UTP'06 Proceedings of the First international conference on Unifying Theories of Programming
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
Evaluating sets of search points using relational algebra
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
Unifying correctness statements
MPC'12 Proceedings of the 11th international conference on Mathematics of Program Construction
Extended designs algebraically
Science of Computer Programming
Hi-index | 5.23 |