Nominal Semantics of the pi I-calculus. - Andrei Alexandru; Gabriel Ciobanu (SYNASC, 2011)

Efficient implementation of the overlap operator on multi-GPUs - Andrei Alexandru; Michael Lujan; Craig Pelissier; Ben Gamari; Frank X. Lee (CoRR, 2011)

A method for communication efficient work distributions in stencil operation based applications on heterogeneous clusters. - Joseph Schneible; Lubomir Riha; Maria Malik; Tarek A. El-Ghazawi; Andrei Alexandru (HPCS, 2012)

Nominal Fusion Calculus. - Andrei Alexandru; Gabriel Ciobanu (SYNASC, 2012)

Multi-mass solvers for lattice QCD on GPUs. - Andrei Alexandru; Craig Pelissier; Ben Gamari; Frank X. Lee (J. Comput. Phys., 2012)

Algebraic Properties of Generalized Multisets. - Andrei Alexandru; Gabriel Ciobanu (SYNASC, 2013)

Nominal Groups and Their Homomorphism Theorems. - Andrei Alexandru; Gabriel Ciobanu (Fundam. Informaticae, 2014)

Dening Finitely Supported Mathematics over Sets with Atoms. - Andrei Alexandru; Gabriel Ciobanu (ICTERI, 2015)

Main Steps in Defining Finitely Supported Mathematics. - Andrei Alexandru; Gabriel Ciobanu (ICTERI (Revised Selected Papers), 2015)

Static Analysis in Finitely Supported Mathematics. - Andrei Alexandru; Gabriel Ciobanu (SYNASC, 2015)

Generalized Multisets: From ZF to FSM. - Andrei Alexandru; Gabriel Ciobanu (Comput. Informatics, 2015)

Communication efficient work distributions in stencil operation based applications. - Joseph Schneible; Lubomir Riha; Maria Malik; Tarek A. El-Ghazawi; Andrei Alexandru (Concurr. Comput. Pract. Exp., 2015)

Lattice Quantum Chromodynamics with Overlap Fermions on GPUs. - Andrei Alexandru (Comput. Sci. Eng., 2015)

Finitely Supported Mathematics - An Introduction - Andrei Alexandru; Gabriel Ciobanu (Springer, 2016)

Abstract Interpretations in the Framework of Invariant Sets. - Andrei Alexandru; Gabriel Ciobanu (Fundam. Informaticae, 2016)

Pawlak Approximations in the Framework of Nominal Sets. - Andrei Alexandru; Gabriel Ciobanu (J. Multiple Valued Log. Soft Comput., 2016)

Order Relations Over Finitely Supported Structures. - Andrei Alexandru; Gabriel Ciobanu (SYNASC, 2018)

The Theory of Finitely Supported Structures and Choice Forms. - Andrei Alexandru (Sci. Ann. Comput. Sci., 2018)

Fuzzy sets within Finitely Supported Mathematics. - Andrei Alexandru; Gabriel Ciobanu (Fuzzy Sets Syst., 2018)

Finitely Supported Sets Containing Infinite Uniformly Supported Subsets. - Andrei Alexandru; Gabriel Ciobanu (FROM, 2019)

On the Foundations of Finitely Supported Sets. - Andrei Alexandru; Gabriel Ciobanu (J. Multiple Valued Log. Soft Comput., 2019)

IoT Solution for Smart Cities' Pollution Monitoring and the Security Challenges. - Cristian-Valeriu Toma; Andrei Alexandru; Marius Popa; Alin Zamfiroiu (Sensors, 2019)

Foundations of Finitely Supported Structures - A Set Theoretical Viewpoint - Andrei Alexandru; Gabriel Ciobanu (Springer, 2020)

Properties of the atoms in finitely supported structures. - Andrei Alexandru; Gabriel Ciobanu (Arch. Math. Log., 2020)

Fixed point results for finitely supported algebraic structures. - Andrei Alexandru; Gabriel Ciobanu (Fuzzy Sets Syst., 2020)

Relaxing the Fraenkel-Mostowski Set Theory. - Andrei Alexandru; Gabriel Ciobanu (J. Multiple Valued Log. Soft Comput., 2020)

Properties of Finitely Supported Self - Mappings on the Finite Powerset of Atoms. - Andrei Alexandru (Comput. Sci. J. Moldova, 2021)

Essentials of Finitely Supported Structures. - Andrei Alexandru; Gabriel Ciobanu (Bull. EATCS, 2021)

Finitely Supported Binary Relations between Infinite Atomic Sets. - Andrei Alexandru; Gabriel Ciobanu (Symmetry, 2021)

Various forms of infinity for finitely supported structures. - Andrei Alexandru; Gabriel Ciobanu (Arch. Math. Log., 2022)

Applications of Machine Learning to Lattice Quantum Field Theory. - Denis Boyda; Salvatore Calì; Sam Foreman; Lena Funcke; Daniel C. Hackett; Yin Lin; Gert Aarts; Andrei Alexandru; Xiao-Yong Jin; Biagio Lucini; Phiala E. Shanahan (CoRR, 2022)

Theories of life and computation: Special issue on the occasion of the 65th birthday of Professor Gabriel Ciobanu. - Andrei Alexandru; Bogdan Aman; Ross Horne (Theor. Comput. Sci., 2022)

Controlling industrial robots with Simulink. - Bucur Cosmin; Andrei Alexandru; Tasu Sorin (ECAI, 2023)

Fixed Point Results for Infinite Fuzzy Sets with Atoms. - Andrei Alexandru; Gabriel Ciobanu (J. Multiple Valued Log. Soft Comput., 2023)

Generalized Multisets Over Infinite Alphabets with Atoms. - Andrei Alexandru; Gabriel Ciobanu (SYNASC, 2024)

Finite Sets - What Kind of Finite? - Andrei Alexandru; Gabriel Ciobanu (Symmetry, 2024)

Atla Selene Mini: A General Purpose Evaluation Model. - Andrei Alexandru; Antonia Calvi; Henry Broomfield; Jackson Golden; Kyle Dai; Mathias Leys; Maurice Burger; Max Bartolo; Roman Engeler; Sashank Pisupati; Toby Drane; Young Sun Park (CoRR, 2025)