Code migration and program maintainability---a categorical perspective
Information Processing Letters
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
Perceive this as that – Analogies, artificial perception, and category theory
Annals of Mathematics and Artificial Intelligence
Logic of Change: Semantics of Object Systemswith Active Relations
Automated Software Engineering
Producing reliable software: an experiment
Journal of Systems and Software
Specification of real-time and hybrid systems in rewriting logic
Theoretical Computer Science - Rewriting logic and its applications
Logical Relations in Circuit Verification
ASIAN '99 Proceedings of the 5th Asian Computing Science Conference on Advances in Computing Science
Categorical Programming with Abstract Data Types
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
An Algebraic Interpretation of Semantic Networks
COSIT '99 Proceedings of the International Conference on Spatial Information Theory: Cognitive and Computational Foundations of Geographic Information Science
A Higher-Order Calculus for Categories
TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics
Generalizing Graphs Using Amalgamation and Selection
SSD '99 Proceedings of the 6th International Symposium on Advances in Spatial Databases
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
Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Reverse Engineering Legacy Information Systems for Internet Based Interoperation
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
A uniform approach to domain theory in realizability models
Mathematical Structures in Computer Science
Traceability in viewpoint merging: a model management perspective
TEFSE '05 Proceedings of the 3rd international workshop on Traceability in emerging forms of software engineering
Consistency of the theory of contexts
Journal of Functional Programming
Proceedings of the 2006 international workshop on Global integrated model management
A derivation system and compositional logic for security protocols
Journal of Computer Security
A relationship-driven approach to view merging
ACM SIGSOFT Software Engineering Notes
A comparison between two logical formalisms for rewriting
Theory and Practice of Logic Programming
A Relationship-Driven Framework for Model Merging
MISE '07 Proceedings of the International Workshop on Modeling in Software Engineering
Fibrations and universal view updatability
Theoretical Computer Science
Database interoperability through state-based logical data independence
International Journal of Computer Applications in Technology
European Journal of Combinatorics
Institutionalising ontology-based semantic integration
Applied Ontology
A Diagrammatic Logic for Object-Oriented Visual Modeling
Electronic Notes in Theoretical Computer Science (ENTCS)
Mathematical Support for Ensemble Engineering
Software-Intensive Systems and New Computing Paradigms
Synthesising CCS bisimulation using graph rewriting
Information and Computation
Specifying overlaps of heterogeneous models for global consistency checking
Proceedings of the First International Workshop on Model-Driven Interoperability
Testing of abstract components
ICTAC'10 Proceedings of the 7th International colloquium conference on Theoretical aspects of computing
Monad transformers as monoid transformers
Theoretical Computer Science
Pointfree expression and calculation: from quantification to temporal logic
Formal Methods in System Design
Model synchronization: mappings, tiles, and categories
GTTSE'09 Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III
Lenses, fibrations and universal translations
Mathematical Structures in Computer Science
Computational simulation of categorical constructions
EUROCAST'05 Proceedings of the 10th international conference on Computer Aided Systems Theory
A meta-ontological architecture for foundational ontologies
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, COA, and ODBASE - Volume Part II
Observing reductions in nominal calculi via a graphical encoding of processes
Processes, Terms and Cycles
An algebraic basis for specifying and enforcing access control in security systems
IW-FM'00 Proceedings of the 4th Irish conference on Formal Methods
IW-FM'98 Proceedings of the 2nd Irish conference on Formal Methods
Algebraic advances for aliasing
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
Intermodeling, queries, and kleisli categories
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
A metamodelling approach to behavioural modelling
Proceedings of the Fourth Workshop on Behaviour Modelling - Foundations and Applications
A Relation Between Unambiguous Regular Expressions and Abstract Data Types
Fundamenta Informaticae
A graph transformation-based semantics for deep metamodelling
AGTIVE'11 Proceedings of the 4th international conference on Applications of Graph Transformations with Industrial Relevance
Multigraphical membrane systems revisited
CMC'12 Proceedings of the 13th international conference on Membrane Computing
Natural Computing: an international journal
Hi-index | 0.00 |