The following pages link to Fernando Orejas (Q347378):
Displaying 50 items.
- Amalgamation of domain specific languages with behaviour (Q347380) (← links)
- Invariant-free clausal temporal resolution (Q352974) (← links)
- Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs (Q418014) (← links)
- Semantics of structured normal logic programs (Q444364) (← links)
- Symbolic graphs for attributed graph constraints (Q631573) (← links)
- Institutions for navigational logics for graphical structures (Q724928) (← links)
- (Q934674) (redirect page) (← links)
- A functorial framework for constraint normal logic programming (Q934677) (← links)
- Reasoning with graph constraints (Q973044) (← links)
- Dual systems of tableaux and sequents for PLTL (Q1035676) (← links)
- A characterization of passing compatibility for parameterized specifications (Q1090101) (← links)
- Contextual rewriting as a sound and complete proof method for conditional LOG-specifications (Q1323311) (← links)
- Institutions for logic programming (Q1391732) (← links)
- Initial conflicts and dependencies: critical pairs revisited (Q1708183) (← links)
- Towards a navigational logic for graphical structures (Q1708184) (← links)
- A navigational logic for reasoning about graph properties (Q1996850) (← links)
- Transformation rules with nested application conditions: critical pairs, initial conflicts \& minimality (Q2049986) (← links)
- Unification of drags and confluence of drag rewriting (Q2683036) (← links)
- (Q2722030) (← links)
- Behaviour Protection in Modular Rule-Based System Specifications (Q2848869) (← links)
- Parallelism and concurrency in adhesive high-level replacement systems with negative application conditions (Q2864377) (← links)
- Architectural connectors for sequence diagrams (Q2871853) (← links)
- Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation (Q2888500) (← links)
- \(\mathcal M\)-adhesive transformation systems with nested application conditions. II: Embedding, critical pairs and local confluence (Q2898463) (← links)
- Lazy graph transformation (Q2898464) (← links)
- Borrowed Contexts for Attributed Graphs (Q2918977) (← links)
- Satisfiability of Constraint Specifications on XML Documents (Q2945725) (← links)
- (Q3034806) (← links)
- Controlling Reuse in Pattern-Based Model-to-Model Transformations (Q3059714) (← links)
- On the Specification and Verification of Model Transformations (Q3184747) (← links)
- Tableau-Based Reasoning for Graph Properties (Q3192220) (← links)
- (Q3343435) (← links)
- (Q3345754) (← links)
- Embedding and Confluence of Graph Transformations with Negative Application Conditions (Q3540396) (← links)
- Attributed Graph Constraints (Q3540405) (← links)
- Conflict Detection for Graph Transformation with Negative Application Conditions (Q3541947) (← links)
- Categorical Foundations of Distributed Graph Transformation (Q3541961) (← links)
- A Generic Approach to Connector Architectures Part I: The General Framework (Q3561226) (← links)
- A Generic Approach to Connector Architectures Part II: Instantiation to Petri Nets and CSP (Q3561227) (← links)
- A Cut-Free and Invariant-Free Sequent Calculus for PLTL (Q3608433) (← links)
- (Q3686016) (← links)
- (Q3707390) (← links)
- (Q3757375) (← links)
- (Q3920623) (← links)
- (Q4143288) (← links)
- Abstract and behaviour module specifications (Q4237907) (← links)
- (Q4299864) (← links)
- (Q4378146) (← links)
- (Q4399250) (← links)
- (Q4436351) (← links)
