The following pages link to Juliana Küster-Filipe (Q820133):
Displaying 11 items.
- Modelling concurrent interactions (Q820134) (← links)
- (Q2364683) (redirect page) (← links)
- A verified algorithm enumerating event structures (Q2364684) (← links)
- (Q2723915) (← links)
- On Distributed Stochastic Logics for Mobile Systems (Q2938142) (← links)
- Decomposing Interactions (Q3623934) (← links)
- (Q4506387) (← links)
- (Q4738326) (← links)
- Algebraic Methodology and Software Technology (Q5312988) (← links)
- Objects, Agents, and Features (Q5713992) (← links)
- A novel framework for systematic propositional formula simplification based on existential graphs (Q6730266) (← links)
