Code migration and program maintainability---a categorical perspective
Information Processing Letters
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
On category theory as a (meta) ontology for information systems research
Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
View updates in a semantic data modelling paradigm
ADC '01 Proceedings of the 12th Australasian database conference
Introducing the mathematical category of artificial perceptions
Annals of Mathematics and Artificial Intelligence
Perceive this as that – Analogies, artificial perception, and category theory
Annals of Mathematics and Artificial Intelligence
Spatial Cognition and Computation
Spatial Communication with Maps: Defining the Correctness of Maps Using a Multi-Agent Simulation
Spatial Cognition II, Integrating Abstract Theories, Empirical Studies, Formal Methods, and Practical Applications
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
Calculating Functional Programs
Revised Lectures from the International Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Compositional Style of Programming FPGAs
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
A Formalization of the IWIM Model
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
View Updatability Based on the Models of a Formal Specification
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Calculating functional programs
Algebraic and coalgebraic methods in the mathematics of program construction
Journal of Symbolic Computation
Journal of Symbolic Computation
Reverse Engineering Legacy Information Systems for Internet Based Interoperation
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Desert Island Reading Assignment
Automated Software Engineering
Case study on algebraic software methodologies for scientific computing
Scientific Programming
Fibrations and universal view updatability
Theoretical Computer Science
Database interoperability through state-based logical data independence
International Journal of Computer Applications in Technology
Implementing a Categorical Information System
AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
A Characterisation of Lambda Definability with Sums Via T T-Closure Operators
CSL '08 Proceedings of the 22nd international workshop on Computer Science Logic
Towards a Categorical Matching Method to Process High-Dimensional Emergency Knowledge Structures
ISNN '08 Proceedings of the 5th international symposium on Neural Networks: Advances in Neural Networks, Part II
Mathematical Support for Ensemble Engineering
Software-Intensive Systems and New Computing Paradigms
Functional metamodels for systems and software
Journal of Systems and Software
The minimal mathematical structure for a synchronic approach to fuzzy set theory
Fuzzy Sets and Systems
Bounded lattice t-norms as an interval category
WoLLIC'07 Proceedings of the 14th international conference on Logic, language, information and computation
A relational model of incomplete data without nulls
CATS '10 Proceedings of the Sixteenth Symposium on Computing: the Australasian Theory - Volume 109
An Algebra of Automata That Includes Both Classical and Quantum Entities
Electronic Notes in Theoretical Computer Science (ENTCS)
IW-FM'98 Proceedings of the 2nd Irish conference on Formal Methods
Mathematics for formal methods, a proposal for education reform
IW-FM'98 Proceedings of the 2nd Irish conference on Formal Methods
Recursion diagrams: ideas for a geometry of formal methods
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
Fix-Point Semantics For Programs In Distributive Categories
Fundamenta Informaticae
Parameters And Parametrization In Specification, Using Distributive Categories
Fundamenta Informaticae
Hi-index | 0.00 |