Software engineering education: Rôles of formal specification and design calculi
Annals of Software Engineering - Special issue on software engineering education
Continuations for parallel logic programming
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
Abstract computability and algebraic specification
ACM Transactions on Computational Logic (TOCL)
Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
Theoretical Computer Science
A category of compositional domain-models for separable stone spaces
Theoretical Computer Science
A Complete Coinductive Logical System for Bisimulation Equivalence on Circular Objects
FoSSaCS '99 Proceedings of the Second International Conference on Foundations of Software Science and Computation Structure, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99
Mathematical Structures in Computer Science
A study of evaluation order semantics in expressions with side effects
Journal of Functional Programming
De Bakker-Zucker processes revisited
Information and Computation
Theoretical Computer Science - Selected papers of CMCS'03
Notions of bisimulation and congruence formats for SOS with data
Information and Computation
ACM SIGACT News
Denotational semantics for programming languages, balanced quasi-metrics and fixed points
International Journal of Computer Mathematics - Recent Advances in Computational and Applied Mathematics in Science and Engineering
On the structure of the space of complexity partial functions
International Journal of Computer Mathematics - Recent Advances in Computational and Applied Mathematics in Science and Engineering
Semantics in Data and Knowledge Bases
Semantics in Data and Knowledge Bases
Fully abstract models and refinements as tools to compare agents in timed coordination languages
Theoretical Computer Science
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Electronic Notes in Theoretical Computer Science (ENTCS)
Notions of bisimulation and congruence formats for SOS with data
Information and Computation
Interactive Markov chains: and the quest for quantified quality
Interactive Markov chains: and the quest for quantified quality
The Hausdorff fuzzy quasi-metric
Fuzzy Sets and Systems
Towards a theory of refinement in timed coordination languages
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
Linking denotational semantics with operational semantics for web services
Innovations in Systems and Software Engineering
Metric spaces and termination analyses
APLAS'10 Proceedings of the 8th Asian conference on Programming languages and systems
Equational presentations of functors and monads
Mathematical Structures in Computer Science
Algebraic approach to linking the semantics of web services
Innovations in Systems and Software Engineering
An accessible approach to behavioural pseudometrics
ICALP'05 Proceedings of the 32nd international conference on Automata, Languages and Programming
AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology
Facilitating modular property-preserving extensions of programming languages
IW-FM'98 Proceedings of the 2nd Irish conference on Formal Methods
Hyperspaces of a weightable quasi-metric space: Application to models in the theory of computation
Mathematical and Computer Modelling: An International Journal
Full Abstractness of a Metric Semantics for Action Refinement
Fundamenta Informaticae
| Hi-index | 0.00 |