Web-Based Support for Cooperative Software Engineering
Annals of Software Engineering
Behavioral Compatibility of Self-Typed Theories
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
Modelling of Object Based Systems with Hidden Sorted ECATNets
MASCOTS '95 Proceedings of the 3rd International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Selected Papers from Automated Deduction in Classical and Non-Classical Logics
A Model Theory for Generic Schema Management
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
Behavioral abstraction is hiding information
Theoretical Computer Science - Selected papers of CMCS'03
Behavioural specification for hierarchical object composition
Theoretical Computer Science - Formal methods for components and objects
Equality of streams is a Π0 over 2-complete problem
Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming
Science of Computer Programming
Closure properties for the class of behavioral models
Theoretical Computer Science
An Institutional Theory for #-Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Sheaves, Objects, and Distributed Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
A semantic approach to interpolation
Theoretical Computer Science
Algebraic specification techniques for parametric types with logic-based constraints
Proceedings of the 2009 ACM symposium on Applied Computing
A Functional Ontology of Observation and Measurement
GeoS '09 Proceedings of the 3rd International Conference on GeoSpatial Semantics
An image-schematic account of spatial categories
COSIT'07 Proceedings of the 8th international conference on Spatial information theory
An introduction to algebraic semiotics, with application to user interface design
Computation for metaphors, analogy, and agents
A semantic approach to interpolation
FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
Behavioral extensions of institutions
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
Hi-index | 0.00 |