The following pages link to Alberto Lluch Lafuente (Q832280):
Displaying 32 items.
- Model checking \(\omega \)-regular properties with decoupled search (Q832281) (← links)
- An extension of ERODE to reduce Boolean networks by backward Boolean equivalence (Q2112170) (← links)
- Reducing Boolean networks with backward Boolean equivalence (Q2142096) (← links)
- Quantitative \(\mu\)-calculus and CTL defined over constraint semirings (Q2576952) (← links)
- SoK: lending pools in decentralized finance (Q2670876) (← links)
- Replicating Data for Better Performances in X10 (Q2796227) (← links)
- Adaptable Transition Systems (Q2848873) (← links)
- (Q2849845) (← links)
- (Q2852049) (← links)
- Counterpart Semantics for a Second-Order μ-Calculus (Q2898468) (← links)
- Exploiting Over- and Under-Approximations for Infinite-State Counterpart Models (Q2918971) (← links)
- Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude? (Q2945130) (← links)
- Discretionary Information Flow Control for Interaction-Oriented Specifications (Q2945719) (← links)
- (Q2980974) (← links)
- (Q2980978) (← links)
- On GS-Monoidal Theories for Graphs with Nesting (Q3059707) (← links)
- (Q3396631) (← links)
- Graph-Based Design and Analysis of Dynamic Software Architectures (Q3507356) (← links)
- Heuristic Search for the Analysis of Graph Transition Systems (Q3541978) (← links)
- A Temporal Graph Logic for Verification of Graph Transformation Systems (Q3591071) (← links)
- Graphical Encoding of a Spatial Logic for the π-Calculus (Q3612492) (← links)
- (Q4530808) (← links)
- (Q4621140) (← links)
- (Q4738472) (← links)
- Counterpart Semantics for a Second-Order μ-Calculus (Q4931321) (← links)
- A theory of Automated Market Makers in DeFi (Q5060185) (← links)
- On Symbolic Semantics for Name-decorated Contexts (Q5166612) (← links)
- Programming and Verifying Component Ensembles (Q5170744) (← links)
- Hierarchical Design Rewriting with Maude (Q5179129) (← links)
- A White Box Perspective on Behavioural Adaptation (Q5256369) (← links)
- Star-Topology Decoupling in SPIN (Q5883577) (← links)
- Model Checking Software (Q5899046) (← links)
