ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation
A foundation for representing and querying moving objects
ACM Transactions on Database Systems (TODS)
Techniques and language constructs for developing generic informations systems: a case study
SSR '01 Proceedings of the 2001 symposium on Software reusability: putting software reuse in context
Modeling inheritance as coercion in a symbolic computation system
Proceedings of the 2001 international symposium on Symbolic and algebraic computation
MBase: representing knowledge and context for the intergration of mathematical software systems
Journal of Symbolic Computation - Calculemus-99: integrating computation and deduction
CASL: the common algebraic specification language
Theoretical Computer Science
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
Proof Transformations for Evolutionary Formal Software Development
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Increasing Reusability in Information Systems Development by Applying Generic Methods
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
One Step up the Abstraction Ladder: Combining Algebras - From Functional Pieces to a Whole
COSIT '99 Proceedings of the International Conference on Spatial Information Theory: Cognitive and Computational Foundations of Geographic Information Science
Lifestyles - An Algebraic Approach to Change in Identity
STDBM '99 Proceedings of the International Workshop on Spatio-Temporal Database Management
On the Duality between Observability and Reachability
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
The Common Framework Initiative for Algebraic Specification and Development of Software
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Hidden Specification of a Functional System
Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
Rewriting Logic and Elan: Prototyping Tools for Petri Nets with Time
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
Locally Effective Objects and Artificial Intelligence
AISC '00 Revised Papers from the International Conference on Artificial Intelligence and Symbolic Computation
On the Integration of Observability and Reachability Concepts
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
Observational logic, constructor-based logic, and their duality
Theoretical Computer Science - Foundations of software science and computation structures
A theory of mixin modules: basic and derived operators
Mathematical Structures in Computer Science
The algebraic structure of interfaces
Science of Computer Programming
Algebraic specification of network security risk management
Proceedings of the 2003 ACM workshop on Formal methods in security engineering
Solving scheduling problems by untimed model checking: the clinical chemical analyser case study
Proceedings of the 10th international workshop on Formal methods for industrial critical systems
Cones and foci: A mechanical framework for protocol verification
Formal Methods in System Design
The intersection of algebra and coalgebra
Theoretical Computer Science - Algebra and coalgebra in computer science
Test Purpose Concretization through Symbolic Action Refinement
TestCom '08 / FATES '08 Proceedings of the 20th IFIP TC 6/WG 6.1 international conference on Testing of Software and Communicating Systems: 8th International Workshop
A Mathematical Tool to Extend 2D Spatial Operations to Higher Dimensions
ICCSA '08 Proceeding sof the international conference on Computational Science and Its Applications, Part I
Towards Refinement of Clinical Evidence Using General Logics
ICAISC '08 Proceedings of the 9th international conference on Artificial Intelligence and Soft Computing
Formalizing in Coq Hidden Algebras to Specify Symbolic Computation Systems
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
Institutions, property-aware programming and testing
LCSD '07 Proceedings of the 2007 Symposium on Library-Centric Software Design
Composing Partially Ordered Monads
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
Early diagnosis of cognitive disorder based on ground categories for decision support structures
FUZZ-IEEE'09 Proceedings of the 18th international conference on Fuzzy Systems
Cones and foci for protocol verification revisited
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
Fields, meadows and abstract data types
Pillars of computer science
Experience of building an architecture-based generator using GenVoca for distributed systems
Science of Computer Programming
Monadic extensions of institutions
Fuzzy Sets and Systems
Reasoning about incompletely defined programs
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Software services: scientific challenge or industrial hype?
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Algebra ∩ coalgebra = presheaves
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
Map algebra extended with functors for temporal data
ER'05 Proceedings of the 24th international conference on Perspectives in Conceptual Modeling
An interstage change model for sandbox geography
GeoS'05 Proceedings of the First international conference on GeoSpatial Semantics
Stochastic restricted broadcast process theory
EPEW'11 Proceedings of the 8th European conference on Computer Performance Engineering
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
OCEANUS: a spatio-temporal data stream system prototype
Proceedings of the Third ACM SIGSPATIAL International Workshop on GeoStreaming
Hi-index | 0.00 |