POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
Interconnecting formalisms: supporting modularity, reuse and incrementality
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
Algebraic approaches to nondeterminism—an overview
ACM Computing Surveys (CSUR)
On institutions for modular coalgebraic specifications
Theoretical Computer Science
CASL: the common algebraic specification language
Theoretical Computer Science
Logical systems for structured specifications
Theoretical Computer Science
Relating CASL with other specification languages: the institution level
Theoretical Computer Science
Extending Development Graphs with Hiding
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Semantics of Architectural Specifications in CASL
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Comorphism-Based Grothendieck Logics
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
Verifying Architectural Specifications
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
Moving Specification Structures Between Logical Systems
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
An Algebraic Framework for Separate Type-Checking
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Amalgamation in CASL via Enriched Signatures
ICALP '01 Proceedings of the 28th International Colloquium on Automata, Languages and Programming,
On the Duality between Observability and Reachability
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
Integrating HOL-CASL into the Development Graph Manager MAYA
FroCoS '02 Proceedings of the 4th International Workshop on Frontiers of Combining Systems
FroCoS '02 Proceedings of the 4th International Workshop on Frontiers of Combining Systems
Global Development via Local Observational Construction Steps
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
On the Integration of Observability and Reachability Concepts
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
Observational logic, constructor-based logic, and their duality
Theoretical Computer Science - Foundations of software science and computation structures
A Mathematical Toolbox for the Software Architec
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Institution-independent ultraproducts
Fundamenta Informaticae
Structured theories and institutions
Theoretical Computer Science
A theory of mixin modules: basic and derived operators
Mathematical Structures in Computer Science
Very abstract specifications: a formalism independent approach
Mathematical Structures in Computer Science
Herbrand theorems in arbitrary institutions
Information Processing Letters
Amalgamation in the semantics of CASL
Theoretical Computer Science - Automata, languages and programming
Generalized Interpolation in First Order Logic
Fundamenta Informaticae
Science of Computer Programming
Ultraproducts and possible worlds semantics in institutions
Theoretical Computer Science
Observational interpretation of casl specifications
Mathematical Structures in Computer Science
A categorical study on the finiteness of specifications
Information Processing Letters
Observability Concepts in Abstract Data Type Specification, 30 Years Later
Concurrency, Graphs and Models
A semantic approach to interpolation
Theoretical Computer Science
C++ concepts as institutions: a specification view on concepts
LCSD '07 Proceedings of the 2007 Symposium on Library-Centric Software Design
Conservativity in Structured Ontologies
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
A practical module system for LF
Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
Structured CSP: a process algebra as an institution
WADT'06 Proceedings of the 18th international conference on Recent trends in algebraic development techniques
Modular specification and verification of object-oriented programs
Modular specification and verification of object-oriented programs
Toward specifications for reconfigurable component systems
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
A heterogeneous approach to service-oriented systems specification
Proceedings of the 2010 ACM Symposium on Applied Computing
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
A semantic approach to interpolation
FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
Type class polymorphism in an institutional framework
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
Property preserving redesign of specifications
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
Externalized and internalized notions of behavioral refinement
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
An axiomatic approach to structuring specifications
Theoretical Computer Science
A proof theoretic interpretation of model theoretic hiding
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
An institution for graph transformation
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
Generalized Interpolation in First Order Logic
Fundamenta Informaticae
Institution-independent Ultraproducts
Fundamenta Informaticae
Principles of proof scores in CafeOBJ
Theoretical Computer Science
Interpolation in logics with constructors
Theoretical Computer Science
Institutional semantics for many-valued logics
Fuzzy Sets and Systems
Information and Computation
Comorphisms of structured institutions
Information Processing Letters
Parameterisation for abstract structured specifications
Theoretical Computer Science
Răzvan Diaconescu, Institution-independent Model Theory
Studia Logica
Hi-index | 0.01 |