A logical semantics for object-oriented databases
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
Specification matching for software reuse: a foundation
SSR '95 Proceedings of the 1995 Symposium on Software reusability
A Formal Specification Framework for Object-Oriented Distributed Systems
IEEE Transactions on Software Engineering
Object-oriented nets with algebraic specifications: the CO-OPN/2 formalism
Concurrent object-oriented programming and petri nets
Modeling inheritance as coercion in a symbolic computation system
Proceedings of the 2001 international symposium on Symbolic and algebraic computation
A causal semantics for CCS via rewriting logic
Theoretical Computer Science
Single Elementary Associative-Commutative Matching
Journal of Automated Reasoning
Maude: specification and programming in rewriting logic
Theoretical Computer Science - Rewriting logic and its applications
Logical foundations of cafeOBJ
Theoretical Computer Science - Rewriting logic and its applications
Specification of real-time and hybrid systems in rewriting logic
Theoretical Computer Science - Rewriting logic and its applications
Unions of non-disjoint theories and combinations of satisfiability procedures
Theoretical Computer Science
CASL: the common algebraic specification language
Theoretical Computer Science
Relating CASL with other specification languages: the institution level
Theoretical Computer Science
Towards an Algebraic Specification of the Java Virtual Machine
Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters
Abstract Data Types in Computer Algebra
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Translationg OBJ3 into CASL: The Institution Level
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
A Framework for Order-Sorted Algebra
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Solving the Inheritance Anomaly in Concurrent Object-Oriented Programming
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Behavioral Compatibility of Self-Typed Theories
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming
A Total Approach to Partial Algebraic Specification
ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
Contextual Multilanguages: A Learning Method
RSCTC '98 Proceedings of the First International Conference on Rough Sets and Current Trends in Computing
Constructor Subtyping in the Calculus of Inductive Constructions
FOSSACS '00 Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000
Models, Formalisms and Methods for Object-Oriented Distributed Computing (ECOOP Workshop)
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Component-Based Algebraic Specification and Verification in CafeOBJ
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Complete Categorical Equational Deduction
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
Translating Mizar for First Order Theorem Provers
MKM '03 Proceedings of the Second International Conference on Mathematical Knowledge Management
A Model Theory for Generic Schema Management
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
Algebraic Specifications, Higher-Order Types, and Set-Theoretic Models
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Certifying Domain-Specific Policies
Proceedings of the 16th IEEE international conference on Automated software engineering
Hidden coinduction: behavioural correctness proofs for objects
Mathematical Structures in Computer Science
Model driven security: From UML models to access control infrastructures
ACM Transactions on Software Engineering and Methodology (TOSEM)
Modeling and verification of real-time systems based on equations
Science of Computer Programming
Engineering and theoretical underpinnings of retrenchment
Science of Computer Programming
Graph rewriting for the π-calculus
Mathematical Structures in Computer Science
Proving operational termination of membership equational programs
Higher-Order and Symbolic Computation
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
Modular Preservation of Safety Properties by Cookie-Based DoS-Protection Wrappers
FMOODS '08 Proceedings of the 10th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
MTT: The Maude Termination Tool (System Description)
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
A Rewriting Calculus for Multigraphs with Ports
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Cryptographic Protocol Composition via the Authentication Tests
FOSSACS '09 Proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
From Access Control Policies to an Aspect-Based Infrastructure: A Metamodel-Based Approach
Models in Software Engineering
Strategy-Based Proof Calculus for Membrane Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Operational Termination of Membership Equational Programs: the Order-Sorted Way
Electronic Notes in Theoretical Computer Science (ENTCS)
Advanced service trading for scientific computing over the grid
The Journal of Supercomputing
A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy
Calculemus '09/MKM '09 Proceedings of the 16th Symposium, 8th International Conference. Held as Part of CICM '09 on Intelligent Computer Mathematics
Methods for Proving Termination of Rewriting-based Programming Languages by Transformation
Electronic Notes in Theoretical Computer Science (ENTCS)
Reasoning About Partial Functions in the Formal Development of Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Associative-commutative rewriting on large terms
RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
Reasoning support for CASL with automated theorem proving systems
WADT'06 Proceedings of the 18th international conference on Recent trends in algebraic development techniques
An Algebraic Specification for the MPEG-2 Encoding Algorithm
SEEFM '09 Proceedings of the 2009 Fourth South-East European Workshop on Formal Methods
From ASN.1 into CafeOBJ: Some First Steps
SEEFM '09 Proceedings of the 2009 Fourth South-East European Workshop on Formal Methods
Termination modulo combinations of equational theories
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic
Verification of object-oriented software: The KeY approach
Verification of object-oriented software: The KeY approach
Order-sorted parameterization and induction
Semantics and algebraic specification
Constructor-based institutions
CALCO'09 Proceedings of the 3rd international conference on Algebra and coalgebra in computer science
A Church-Rosser checker tool for conditional order-sorted equational Maude specifications
WRLA'10 Proceedings of the 8th international conference on Rewriting logic and its applications
Formal modeling and verification of sensor network encryption protocol in the OTS/CafeOBJ method
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
Fostering proof scores in CafeOBJ
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
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
Intelligent service trading and brokering for distributed network services in GridSolve
VECPAR'10 Proceedings of the 9th international conference on High performance computing for computational science
Existential rigidity and many modalities in order-sorted logic
Knowledge-Based Systems
A decision procedure for bisimilarity of generalized regular expressions
SBMF'10 Proceedings of the 13th Brazilian conference on Formal methods: foundations and applications
Incremental checking of well-founded recursive specifications modulo axioms
Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming
A transformation contract to generate aspects from access control policies
Software and Systems Modeling (SoSyM)
Modularisation in maude of parametrized RBAC for row level access control
ADBIS'11 Proceedings of the 15th international conference on Advances in databases and information systems
Fast sort computations for order-sorted matching and unification
Formal modeling
ICCS'05 Proceedings of the 13th international conference on Conceptual Structures: common Semantics for Sharing Knowledge
Ontologies for the semantic web in CASL
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
Faster basic syntactic mutation with sorts for some separable equational theories
RTA'05 Proceedings of the 16th international conference on Term Rewriting and Applications
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
High-Level Petri Net Model Checking with AlPiNA
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2010
The impact of class model redesign on state machines
ICMT'12 Proceedings of the 5th international conference on Theory and Practice of Model Transformations
Specification and Integration of Theorem Provers and Computer Algebra Systems
Fundamenta Informaticae
An Efficient Parser for a Class of Contextual Languages
Fundamenta Informaticae
Principles of proof scores in CafeOBJ
Theoretical Computer Science
On the algebraic semantics of reactive rules
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
Order-Sorted equality enrichments modulo axioms
WRLA'12 Proceedings of the 9th international conference on Rewriting Logic and Its Applications
Order-sorted Equational Unification Revisited
Electronic Notes in Theoretical Computer Science (ENTCS)
Using maude rewriting system to modularize and extend SQL
Proceedings of the 28th Annual ACM Symposium on Applied Computing
| Hi-index | 5.23 |