The following pages link to Jaime Ramos (Q549722):
Displaying 21 items.
- Distributed temporal logic for the analysis of security protocol models (Q549724) (← links)
- Multi-agent systems specification and certification: a situation and state calculus approach (Q596479) (← links)
- From fibring to cryptofibring. A solution to the collapsing problem (Q874748) (← links)
- Event-based time-stamped claim logic (Q2043818) (← links)
- Essential structure of proofs as a measure of complexity (Q2183713) (← links)
- The robust minimal controllability problem (Q2409157) (← links)
- Hierarchical logical consequence (Q3119162) (← links)
- Combining Classical and Intuitionistic Implications (Q3525005) (← links)
- (Q3560845) (← links)
- Labelled Tableaux for Distributed Temporal Logic (Q3656773) (← links)
- A temporal logic approach to object certification (Q4332063) (← links)
- (Q4400804) (← links)
- (Q4471713) (← links)
- (Q4941936) (← links)
- Robust forecast aggregation: Fourier <i>L</i><sub>2</sub><i>E</i> regression (Q4961412) (← links)
- (Q5224785) (← links)
- (Q5226947) (← links)
- Recent Trends in Algebraic Development Techniques (Q5703994) (← links)
- Recent Trends in Algebraic Development Techniques (Q5900822) (← links)
- Conservative translations revisited (Q6156208) (← links)
- Bounded model checking distributed temporal logic (Q6166689) (← links)