Connectors for Mobile Programs
IEEE Transactions on Software Engineering
FMSP '00 Proceedings of the third workshop on Formal methods in software practice
A mapping algorithm for computer-assisted exploration in the design of embedded systems
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Optimizing object queries using an effective calculus
ACM Transactions on Database Systems (TODS)
Dynamic structures in modeling and simulation: a reflective approach
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Tagless staged interpreters for typed languages
Proceedings of the seventh ACM SIGPLAN international conference on Functional programming
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
Modeling Connectionist Network Structures: Some Geometric and Categorical Aspects
Annals of Mathematics and Artificial Intelligence
Industrial Applications of Software Synthesis via Category Theory—Case Studies Using Specware
Automated Software Engineering
Creating High Confidence in a Separation Kernel
Automated Software Engineering
Linear, Branching Time and Joint ClosureSemantics for Temporal Logic
Journal of Logic, Language and Information
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
Applying Category Theory to Derive Engineering Software from Encoded Knowledge
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Revised Lectures from the International Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Calculating Functional Programs
Revised Lectures from the International Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
On the Semantics of Place/Transition Nets
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Towards a Colimit-Based Semantics for Visual Programming
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
A Note on Modeling Connectionist Network Structures: Geometric and Categorical Aspects
AISC '00 Revised Papers from the International Conference on Artificial Intelligence and Symbolic Computation
A General Categorical Connection between Local Event Structures and Local Traces
FCT '99 Proceedings of the 12th International Symposium on Fundamentals of Computation Theory
Algebraic and coalgebraic methods in the mathematics of program construction
Calculating functional programs
Algebraic and coalgebraic methods in the mathematics of program construction
Towards an Algebra of Architectural Connectors: a Case Study on Synchronization for Mobility
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Journal of Functional Programming
A general framework for lazy functional logic programming with algebraic polymorphic types
Theory and Practice of Logic Programming
Progressive ontology alignment for meaning coordination: an information-theoretic foundation
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Pattern categories: a mathematical approach for organizing design patterns
CRPIT '02 Proceedings of the 2002 conference on Pattern languages of programs - Volume 13
Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts
Mathematical Structures in Computer Science
Feature Oriented Model Driven Development: A Case Study for Portlets
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Transformations of fuzzy graphs specified by FD-grammars
Cybernetics and Systems Analysis
A specification-based approach to testing software product lines
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Computational Realizations of Living Systems
Artificial Life
A specification-based approach to testing software product lines
The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering: companion papers
A distribution technique for graph rewriting and model transformation systems
PDCN'07 Proceedings of the 25th conference on Proceedings of the 25th IASTED International Multi-Conference: parallel and distributed computing and networks
Fibrations and universal view updatability
Theoretical Computer Science
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part III: ICCS 2007
Pullback Grammars Are Context-Free
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
The Objects and Arrows of Computational Design
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
On the modularity of feature interactions
GPCE '08 Proceedings of the 7th international conference on Generative programming and component engineering
Using modern mathematics as an FOSD modeling language
GPCE '08 Proceedings of the 7th international conference on Generative programming and component engineering
Institutionalising ontology-based semantic integration
Applied Ontology
A Modeling Language for Program Design and Synthesis
Advances in Software Engineering
ESOP '09 Proceedings of the 18th European Symposium on Programming Languages and Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Multimodal Networks: Structure and Operations
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
Formalizing Ontology Alignment and its Operations with Category Theory
Proceedings of the 2006 conference on Formal Ontology in Information Systems: Proceedings of the Fourth International Conference (FOIS 2006)
Vivid: A framework for heterogeneous problem solving
Artificial Intelligence
Compositional Specification of Parallel Components Using Circus
Electronic Notes in Theoretical Computer Science (ENTCS)
Distributed online evolution: an algebraic problem?
CEC'09 Proceedings of the Eleventh conference on Congress on Evolutionary Computation
A novel approach for component-based fault-tolerant software development
Information and Software Technology
Program refactoring, program synthesis, and model-driven development
CC'07 Proceedings of the 16th international conference on Compiler construction
Building concept representations from reusable components
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Towards managing dynamic reconfiguration of software systems in a categorical setting
ICTAC'10 Proceedings of the 7th International colloquium conference on Theoretical aspects of computing
Hereditary pushouts reconsidered
ICGT'10 Proceedings of the 5th international conference on Graph transformations
Pointfree expression and calculation: from quantification to temporal logic
Formal Methods in System Design
ECAL'09 Proceedings of the 10th European conference on Advances in artificial life: Darwin meets von Neumann - Volume Part II
ICCS'05 Proceedings of the 13th international conference on Conceptual Structures: common Semantics for Sharing Knowledge
AFP'04 Proceedings of the 5th international conference on Advanced Functional Programming
An algebraic basis for specifying and enforcing access control in security systems
IW-FM'00 Proceedings of the 4th Irish conference on Formal Methods
Information and Computation
Towards a formal approach to information systems design theory using category theory
DESRIST'12 Proceedings of the 7th international conference on Design Science Research in Information Systems: advances in theory and practice
Institutionalising ontology-based semantic integration
Applied Ontology
Generic programming with adjunctions
SSGIP'10 Proceedings of the 2010 international spring school conference on Generic and Indexed Programming
Pushouts in software architecture design
Proceedings of the 11th International Conference on Generative Programming and Component Engineering
Specification and Integration of Theorem Provers and Computer Algebra Systems
Fundamenta Informaticae
Adhesivity with Partial Maps instead of Spans
Fundamenta Informaticae - Recent Developments in the Theory of Graph Transformation, 2010
Transformation of Typed Composite Graphs with Inheritance and Containment Structures
Fundamenta Informaticae - Recent Developments in the Theory of Graph Transformation, 2010
An abstract representation of variational graphs
Proceedings of the 5th International Workshop on Feature-Oriented Software Development
Hi-index | 0.00 |