×

Found 2,297 Documents (Results 1–100)

Algorithms for matrix code and alternating trilinear form equivalences via new isomorphism invariants. (English) Zbl 07943264

Joye, Marc (ed.) et al., Advances in cryptology – EUROCRYPT 2024. 43rd annual international conference on the theory and applications of cryptographic techniques, Zurich, Switzerland, May 26–30, 2024. Proceedings. Part III. Cham: Springer. Lect. Notes Comput. Sci. 14653, 160-187 (2024).
Full Text: DOI

On bisimilarity for polyhedral models and SLCS. (English) Zbl 1543.68243

Huisman, Marieke (ed.) et al., Formal techniques for distributed objects, components, and systems. 43rd IFIP WG 6.1 international conference, FORTE 2023, held as part of the 18th international federated conference on distributed computing techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13910, 132-151 (2023).
Full Text: DOI

Filter Results by …

Access

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software