The following pages link to Pierre-Jean Meyer (Q290814):
Displaying 14 items.
- Robust controlled invariance for monotone systems: application to ventilation regulation in buildings (Q290816) (← links)
- Compositional abstraction refinement for control synthesis (Q1690521) (← links)
- (Q2056770) (redirect page) (← links)
- Breaking the circuit size barrier for secure computation under quasi-polynomial LPN (Q2056771) (← links)
- Topology-hiding communication from minimal assumptions (Q2119056) (← links)
- Hierarchical Decomposition of LTL Synthesis Problem for Nonlinear Control Systems (Q5211227) (← links)
- TIRA (Q5239242) (← links)
- (Q5375276) (← links)
- Interval Reachability Analysis (Q5879373) (← links)
- Correction to: ``Topology-hiding communication from minimal assumptions'' (Q6054730) (← links)
- Towards topology-hiding computation from oblivious transfer (Q6581794) (← links)
- On low-end obfuscation and learning (Q6610286) (← links)
- Fast public-key silent OT and more from constrained Naor-Reingold (Q6637563) (← links)
- Instantiating the hash-then-evaluate paradigm: strengthening PRFs, PCFs, and OPRFs (Q6660545) (← links)
