Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
CADE-18 Proceedings of the 18th International Conference on Automated Deduction
The design and implementation of VAMPIRE
AI Communications - CASC
Isabelle/HOL: a proof assistant for higher-order logic
Isabelle/HOL: a proof assistant for higher-order logic
The mathserve system for semantic web reasoning services
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
A Heterogeneous Approach to UML Semantics
Concurrency, Graphs and Models
Natural Language Meets Spatial Calculi
Proceedings of the international conference on Spatial Cognition VI: Learning, Reasoning, and Talking about Space
Institutionalising ontology-based semantic integration
Applied Ontology
C++ concepts as institutions: a specification view on concepts
LCSD '07 Proceedings of the 2007 Symposium on Library-Centric Software Design
Exploring Multi-Paradigm Modeling Techniques
Simulation
Formal Management of CAD/CAM Processes
FM '09 Proceedings of the 2nd World Congress on Formal Methods
The VSE Refinement Method in Hets
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
From higher-order logic to Haskell: there and back again
Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation
Bootstrapping types and cotypes in HASCASL
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
Semantics-based change impact analysis for heterogeneous collections of documents
Proceedings of the 10th ACM symposium on Document engineering
Complete calculi for structured specifications in fork algebra
ICTAC'10 Proceedings of the 7th International colloquium conference on Theoretical aspects of computing
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
AIMSA'10 Proceedings of the 14th international conference on Artificial intelligence: methodology, systems, and applications
Dimensions of formality: a case study for MKM in software engineering
AISC'10/MKM'10/Calculemus'10 Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics
Towards MKM in the large: modular representation and scalable software architecture
AISC'10/MKM'10/Calculemus'10 Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics
Adding change impact analysis to the formal verification of C programs
IFM'10 Proceedings of the 8th international conference on Integrated formal methods
AMAST'10 Proceedings of the 13th international conference on Algebraic methodology and software technology
Formalizing and operationalizing industrial standards
FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software
DO-ROAM: activity-oriented search and navigation with OpenStreetMap
GeoS'11 Proceedings of the 4th international conference on GeoSpatial semantics
Representing model theory in a type-theoretical logical framework
Theoretical Computer Science
A foundational view on integration problems
MKM'11 Proceedings of the 18th Calculemus and 10th international conference on Intelligent computer mathematics
Project abstract: logic atlas and integrator (LATIN)
MKM'11 Proceedings of the 18th Calculemus and 10th international conference on Intelligent computer mathematics
Refinement trees: calculi, tools, and applications
CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science
Towards a Maude formal environment
Formal modeling
Hybrid specification of reactive systems: an institutional approach
SEFM'11 Proceedings of the 9th international conference on Software engineering and formal methods
Automatic cross validation of multiple specifications: a case study
FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
Lambda expressions in casl architectural specifications
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
A proof theoretic interpretation of model theoretic hiding
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
Towards logical frameworks in the heterogeneous tool set hets
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
Compositional modelling and reasoning in an institution for processes and data
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
Institutionalising ontology-based semantic integration
Applied Ontology
CICM'12 Proceedings of the 11th international conference on Intelligent Computer Mathematics
Information and Computation
Using domain specific languages to support verification in the railway domain
HVC'12 Proceedings of the 8th international conference on Hardware and Software: verification and testing
Ontological modelling of form and function for architectural design
Applied Ontology
Hi-index | 0.00 |