Found 7 Documents (Results 1–7)
Forward-secure revocable secret handshakes from lattices. (English) Zbl 1517.94052
Cheon, Jung Hee (ed.) et al., Post-quantum cryptography. 13th international workshop, PQCrypto 2022, virtual event, September 28–30, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13512, 453-479 (2022).
Analysis of existence and non-existence of limit cycles for a family of Kolmogorov systems. (English) Zbl 1523.34033
Reviewer: Alois Steindl (Wien)
The complete proof theory of hybrid systems. (English) Zbl 1364.03045
Proceedings of the 2012 27th annual ACM/IEEE symposium on logic in computer science, LICS 2012, Dubrovnik, Croatia, June 25–28, 2012. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-4769-5). 541-550 (2012).
Practical synchronization of second-order nonautonomous systems with parameter mismatch and its applications. (English) Zbl 1258.34126
MSC:
34D06
The reach-and-evolve algorithm for reachability analysis of nonlinear dynamical systems. (English) Zbl 1337.93018
Halava, Vesa (ed.) et al., Proceedings of the 2nd workshop on reachability problems in computational models (RP 2008), Liverpool, UK, September 15–17, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 223, 87-102 (2008).
Filter Results by …
Document Type
- Journal Articles (4)
- Collection Articles (3)
all
top 5
Author
- Aledo, Juan Ángel (1)
- An, Zhiyuan (1)
- Benyoucef, Salah (1)
- Cai, Jianping (1)
- Carbó-Dorca, Ramon (1)
- Castro Perelman, Carlos (1)
- Collins, Peter J. (1)
- Goldsztejn, Alexandre (1)
- Hussein, Sarbast (1)
- Llano, Jose P. (1)
- Ma, Mihua (1)
- Pan, Jing (1)
- Platzer, André (1)
- Valverde, Jose C. (1)
- Wen, Yamin (1)
- Zhang, Fangguo (1)
- Zhou, Jin (1)
Serial
- Rend. Ist. Mat. Univ. Trieste (1)
- J. Math. Chem. (1)
- Nonlinear Dyn. (1)
- Chaos (1)