De Jongh and Glivenko theorems for equality theories. - A. Romanov (J. Appl. Non Class. Logics, 2007)

Embedded software of the KM3NeT central logic board. - Sebastiano Aiello; Albert Akhriev; Sergio Alves Garre; Zineb Aly; Antonio Ambrosone; Fabrizio Ameli; Michel André 002; E. Androutsou; Marco Anghinolfi; Mancia Anguita; L. Aphecetche; M. Ardid; et al. (Comput. Phys. Commun., 2024)

gSeaGen code by KM3NeT: An efficient tool to propagate muons simulated with CORSIKA. - Sebastiano Aiello; Albert Akhriev; A. R. Alhebsi; M. Alshamsi; Sergio Alves Garre; Antonio Ambrosone; Fabrizio Ameli; Michel André 002; L. Aphecetche; M. Ardid; S. Ardid; H. Atmani; et al. (Comput. Phys. Commun., 2025)

CayleyPy RL: Pathfinding and Reinforcement Learning on Cayley Graphs. - A. Chervov; A. Soibelman; S. Lytkin; Igor Kiselev; S. Fironov; A. Lukyanenko; A. Dolgorukova; A. Ogurtsov; F. Petrov; S. Krymskii; M. Evseev; L. Grunvald; et al. (CoRR, 2025)