ACM Transactions on Programming Languages and Systems (TOPLAS)
On the equational definition of the least prefixed point
Theoretical Computer Science - Mathematical foundations of computer science
On the complexity of reasoning in Kleene algebra
Information and Computation - Special issue: LICS'97
Theoretical Computer Science - Words, languages and combinatorics
Algebras of modal operators and partial correctness
Theoretical Computer Science - Algebraic methodology and software technology
An Infinitary Sequent System for the Equational Theory of *-continuous Action Lattices
Fundamenta Informaticae
Axiomatizing rational power series over natural numbers
Information and Computation
*-Continuous Idempotent Left Semirings and Their Ideal Completion
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 fixed point equations over commutative semirings
STACS'07 Proceedings of the 24th annual conference on Theoretical aspects of computer science
Data preparation for data mining in medical data sets
Transactions on rough sets VI
The algebraic approach I: the algebraization of the chomsky hierarchy
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
The algebraic approach II: dioids, quantales and monads
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
Solving linear equations in *-continuous action lattices
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
Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
Reasoning about loops in total and general correctness
UTP'08 Proceedings of the 2nd international conference on Unifying theories of programming
Omega algebras and regular equations
RAMICS'11 Proceedings of the 12th international conference on Relational and algebraic methods in computer science
On probabilistic kleene algebras, automata and simulations
RAMICS'11 Proceedings of the 12th international conference on Relational and algebraic methods in computer science
On the complexity of the equational theory of relational action algebras
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
A language for task orchestration and its semantic properties
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
Decomposition of constraint automata
FACS'10 Proceedings of the 7th international conference on Formal Aspects of Component Software
An Infinitary Sequent System for the Equational Theory of *-continuous Action Lattices
Fundamenta Informaticae
Automated reasoning in higher-order regular algebra
RAMiCS'12 Proceedings of the 13th international conference on Relational and Algebraic Methods in Computer Science
| Hi-index | 0.00 |