Not finding it? Sign in to also search OpenAlex live.
-
STLScope: artifact for "Diverse STL Counterexample Pools for Hybrid Automata: Generation and Selection" (SEFM 2026)2026 IT University Of Copenhagen (IT University of Copenhagen) dataset Computer Science Formal Methods in Verification Open access
Sergio Quijano, Arapatsakos Georg, Erika Abraham, Mahsa Varshosaz, Andrzej Wąsowski
0citations -
Netherlands Cryptolands; Starting point of the crypto-communications roadmap: an overview of 4 important developments in cryptography2021 Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands other Computer Science Cryptography and Data Security Open access
Y. Meijaard, M. Heesch, R.J.F. (Ronald) Cramer, J. (Jelger) Groenland
0citations