CAC 2.0 : a corrupt and correct logic locking technique resilient to structural analysis attacksAksoy, Levent; Yasin, Muhammad; Pagliarini, Samuel NascimentoarXiv.org2024 / 6 p. : ill https://doi.org/10.48550/arXiv.2401.07142

CLFT : camera-LiDAR fusion transformer for semantic segmentation in autonomous driving : preprintGu, Junyi; Bellone, Mauro; Pivonka, Tomas; Sell, RaivoarXiv.org2024 / 12 p. : ill https://doi.org/10.48550/arXiv.2404.17793

Collages of string diagramsBraithwaite, Dylan; Roman Garcia, MarioarXiv.org2023 / p. 39-53 : ill https://doi.org/10.48550/arXiv.2305.02675

Comparison of Bayesian and particle swarm algorithms for hyperparameter optimisation in machine learning applications in high energy physics : [preprint]Tani, Laurits; Veelken, ChristianarXiv.org2024 / 8 p. : ill https://doi.org/10.48550/arXiv.2201.06809

Context-Free Languages of String DiagramsEarnshaw, Matthew David; Román, MarioarXiv.org2024 / 24 p. : ill https://doi.org/10.48550/arXiv.2404.10653

Cornering optics : preprintBoisseau, Guillaume; Nester, Chad Mitchell; Roman Garcia, MarioarXiv.org2022 https://doi.org/10.48550/arXiv.2205.00842

Deductive systems and coherence for skew prounital closed categoriesUustalu, Tarmo; Veltri, Niccolo; Zeilberger, NoamProceedings of the 3rd Annual International Applied Category Theory Conference 20202021 / p. 1-19 https://doi.org/10.48550/arXiv.2101.03809 Conference Proceedings at Scopus Article at Scopus Article at WOS

DeepVigor+: Scalable and Accurate Semi-Analytical Fault Resilience Analysis for Deep Neural NetworksAhmadilivani, Mohammad Hasan; Raik, Jaan; Daneshtalab, Masoud; Jenihhin, MaksimarXiv.org2024 / 14 p. : ill https://doi.org/10.48550/arXiv.2410.15742

Diagrammatic algebra of first order logic : [preprint]Bonchi, Filippo; Di Giorgio, Alessandro; Haydon, Nathan Joseph; Sobocinski, Pawel MariaarXiv.org2024 / 34 p. : ill https://doi.org/10.48550/arXiv.2401.07055

Differential 2-rigsLoregian, Fosco; Trimble, ToddarXiv.org2022 / 16 p. : ill https://doi.org/10.48550/arXiv.2103.00938 https://msp.cis.strath.ac.uk/act2022/papers/ACT2022_paper_4413.pdf

Discretizing numerical attributes : an analysis of human perceptionsKaushik, Minakshi; Sharma, Rahul; Draheim, DirkarXiv.org2023 / 18 p. : ill https://doi.org/10.48550/arXiv.2311.03278

Escrows are opticsGenovese, Fabrizio; Loregian, Fosco; Palombi, DanielearXiv.org2022 / 16 p. : ill https://doi.org/10.48550/arXiv.2105.10028 https://arxiv.org/pdf/2105.10028.pdf

Evaluating chatbots to promote users' trust - practices and open problemsSrivastava, Biplav; Lakkaraju, Kausik; Koppel, Tarmo; Narayanan, Vignesh; Kundu, Ashish; Joshi, SachindraarXiv2023 / 9 p https://doi.org/10.48550/arXiv.2309.05680

Evolutionary algorithms for hyperparameter optimization in machine learning for application in high energy physics : [preprint]Tani, Laurits; Rand, Diana; Veelken, Christian; Kadastik, MarioarXiv.org2021 / 11 p. : ill https://doi.org/10.48550/arXiv.2011.04434

Fekete's lemma for componentwise subadditive functions of two or more real variablesCapobianco, SilvioarXiv.org2019 / 20 p. : ill https://arxiv.org/abs/1904.10507

Fibration linguistics (FibLang) : language acquisitionGenovese, Fabrizio; Loregian, Fosco; Puca, CaterinaarXiv.org2022 / p. 1-16 : ill https://doi.org/10.48550/arXiv.2207.06765 https://arxiv.org/pdf/2207.06765.pdf

Fibrational linguistics (FibLang) : first conceptsGenovese, Fabrizio; Loregian, Fosco; Puca, CaterinaarXiv2022 / 22 p. : ill https://doi.org/10.48550/arXiv.2201.01136 https://arxiv.org/pdf/2201.01136.pdf

From an attention economy to an ecology of attending. A manifestoBombaerts, Gunter; Hannes, Tom; Adam, Martin; Aloisi, Alessandra; Anderson, Joel; Berger, Lawrence; Bettera, Stefano Davide; Campo, Enrico; Candiotto, Laura; Panizza, Silvia Caprioglio; Drechsler, Wolfgang; Shakya, ShobhitarXiv.org2024 / 21 p https://doi.org/10.48550/arXiv.2410.17421

Functorial language games for question answeringFelice, Giovanni de; Di Lavore, Elena; Roman Garcia, Mario; Toumi, AlexisProceedings of the 3rd Annual International Applied Category Theory Conference 20202021 / p. 311–321 https://doi.org/10.4204/EPTCS.333.21 Conference Proceedings at Scopus Article at Scopus Article at WOS

FuzzSense : Towards A Modular Fuzzing Framework for Autonomous Driving SoftwareRoberts, Andrew James; Teply, Lorenz; Pese, Mert D.; Maennel, Olaf Manuel; Hamad, Mohammad; Steinhorst, SebastianarXiv.org2025 / arXiv:2504.10717, 6 p. : ill https://doi.org/10.48550/arXiv.2504.10717

Holistic IJTAG-based external and internal fault monitoring in UAVsAhmed, Foisal; Jenihhin, MaksimarXiv.org2023 / 6 p. : ill https://doi.org/10.48550/arXiv.2303.01816

Inverse source problem with a posteriori boundary measurement for fractional diffusion equationsJanno, Jaan; Kian, YavararXiv.org2022 / 17 p https://doi.org/10.48550/arXiv.2207.06468

KRATT : QBF-assisted removal and structural analysis attack against logic lockingAksoy, Levent; Yasin, Muhammad; Pagliarini, Samuel NascimentoarXiv.org2023 / 7 p. : ill https://doi.org/10.48550/arXiv.2311.05982

Optics for premonoidal categoriesHefford, James; Roman Garcia, MarioarXiv.org2023 / p. 152-171 : ill https://doi.org/10.48550/arXiv.2305.02906

Palatini F (R, X) : a new framework for inflationary attractorsDioguardi, Christian; Racioppi, AntonioarXiv2023 / 6 p. : ill https://doi.org/10.48550/arXiv.2307.02963

Palatini Linear Attractors Are Back in ACTionDioguardi, Christian; Karam, AlexandrosarXiv.org2025 / 5 p https://doi.org/10.48550/arXiv.2504.12937 https://arxiv.org/abs/2504.12937

Preventing distillation-based attacks on Neural Network IPGrailoo, Mahdieh; Abideen, Zain Ul; Leier, Mairo; Pagliarini, Samuel NascimentoarXiv.org2022 / 7 p. : ill https://doi.org/10.48550/arXiv.2204.00292

The produoidal algebra of process decompositionEarnshaw, Matthew David; Hefford, James; Roman Garcia, MarioarXiv.org2023 / 56 p. : ill https://doi.org/10.48550/arXiv.2301.11867

Profunctor optics : a categorical updateClarke, Bryce James; Elkins, Derek; Gibbons, Jeremy; Loregian, Fosco; Milewski, Bartosz; Pillmore, Emily; Roman Garcia, MarioarXiv.org2022 / 45 p https://doi.org/10.48550/arXiv.2001.07488

Promonads and string diagrams for effectful categories : preprintRoman Garcia, MarioarXiv.org2022 https://doi.org/10.48550/arXiv.2205.07664

Proof theory of partially normal skew monoidal categoriesUustalu, Tarmo; Veltri, Niccolo; Zeilberger, NoamProceedings of the 3rd Annual International Applied Category Theory Conference 20202021 / p. 1-17 https://doi.org/10.48550/arXiv.2101.10487 Conference Proceedings at Scopus Article at Scopus Article at WOS

RESAA: A Removal and Structural Analysis Attack Against Compound Logic Locking : [preprint]Almeida, Felipe; Aksoy, Levent; Pagliarini, Samuel NascimentoarXiv.org2025 / 12 p. : ill https://doi.org/10.48550/arXiv.2409.16959

SALSy : security-aware layout synthesisEslami, Mohammad; Perez, Tiago Diadami; Pagliarini, Samuel NascimentoarXiv.org2024 / 13 p. : ill https://doi.org/10.48550/arXiv.2308.06201

SCARF : securing chips with a robust framework against fabrication-time hardware Trojans : preprintEslami, Mohammad; Ghasempouri, Tara; Pagliarini, Samuel NascimentoarXiv.org2024 / 14 p. : ill https://doi.org/10.48550/arXiv.2402.12162

Search for Higgs boson pairs decaying to WW*WW*, WW*ττ, and ττττ in proton-proton collisions at √s = 13 TeV : [preprint]Ehatäht, Karl; Kadastik, Mario; Raidal, Martti; Tani, Laurits; Veelken, ChristianarXiv.org2023 / 62 p. : ill https://doi.org/10.48550/arXiv.2206.10268

Situated transition systemsNester, Chad MitchellarXiv2022 / p. 103-115 https://doi.org/10.4204/EPTCS.372.8 Conference Proceedings at Scopus Article at Scopus Article at WOS

String diagrammatic electrical circuit theoryBoisseau, Guillaume; Sobocinski, Pawel MariaarXiv2022 / p. 178-191 : ill https://doi.org/10.4204/EPTCS.372.13 https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ACT2021.13 Conference Proceedings at Scopus Article at Scopus Article at WOS

A systematic study of lattice-based NIST PQC algorithms : from reference implementations to hardware acceleratorsImran, Malik; Abideen, Zain Ul; Pagliarini, Samuel NascimentoarXiv.org2020 / 36 p. : ill

Tau lepton identification and reconstruction : a new frontier for jet-tagging ML algorithms : [preprint]Lange, Thomas; Nandan, Saswati; Pata, Joosep; Tani, Laurits; Veelken, ChristianarXiv.org2023 / 22 p. : ill https://doi.org/10.48550/arXiv.2307.07747

A version of the simplex method for solving linear systems of inequalities and linear programming problemsÜbi, Jaan; Übi, EvaldarXiv.org2023 / 9 p https://doi.org/10.48550/arXiv.2305.03730

Why quantum state verification cannot be both efficient and secure : a categorical approachWiesner, Fabian; Chaoui, Ziad; Kessler, Diana-Maria; Pappa, Anna; Karvonen, MarttiarXiv.org2024 / 36 p https://doi.org/10.48550/arXiv.2411.04767