Andrei Alexandru

Orcid: 0000-0002-0563-8391

According to our database1, Andrei Alexandru authored at least 34 papers between 2011 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Fixed Point Results for Infinite Fuzzy Sets with Atoms.
J. Multiple Valued Log. Soft Comput., 2023

Controlling industrial robots with Simulink.
Proceedings of the 15th International Conference on Electronics, 2023

2022
Theories of life and computation: Special issue on the occasion of the 65th birthday of Professor Gabriel Ciobanu.
Theor. Comput. Sci., 2022

Applications of Machine Learning to Lattice Quantum Field Theory.
CoRR, 2022

Various forms of infinity for finitely supported structures.
Arch. Math. Log., 2022

2021
Finitely Supported Binary Relations between Infinite Atomic Sets.
Symmetry, 2021

Essentials of Finitely Supported Structures.
Bull. EATCS, 2021

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

2020
Relaxing the Fraenkel-Mostowski Set Theory.
J. Multiple Valued Log. Soft Comput., 2020

Fixed point results for finitely supported algebraic structures.
Fuzzy Sets Syst., 2020

Properties of the atoms in finitely supported structures.
Arch. Math. Log., 2020

Foundations of Finitely Supported Structures - A Set Theoretical Viewpoint
Springer, ISBN: 978-3-030-52961-1, 2020

2019
IoT Solution for Smart Cities' Pollution Monitoring and the Security Challenges.
Sensors, 2019

On the Foundations of Finitely Supported Sets.
J. Multiple Valued Log. Soft Comput., 2019

Finitely Supported Sets Containing Infinite Uniformly Supported Subsets.
Proceedings of the Proceedings Third Symposium on Working Formal Methods, 2019

2018
Fuzzy sets within Finitely Supported Mathematics.
Fuzzy Sets Syst., 2018

The Theory of Finitely Supported Structures and Choice Forms.
Sci. Ann. Comput. Sci., 2018

Order Relations Over Finitely Supported Structures.
Proceedings of the 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2018

2016
Pawlak Approximations in the Framework of Nominal Sets.
J. Multiple Valued Log. Soft Comput., 2016

Abstract Interpretations in the Framework of Invariant Sets.
Fundam. Informaticae, 2016

Finitely Supported Mathematics - An Introduction
Springer, ISBN: 978-3-319-42282-4, 2016

2015
Lattice Quantum Chromodynamics with Overlap Fermions on GPUs.
Comput. Sci. Eng., 2015

Communication efficient work distributions in stencil operation based applications.
Concurr. Comput. Pract. Exp., 2015

Generalized Multisets: From ZF to FSM.
Comput. Informatics, 2015

Static Analysis in Finitely Supported Mathematics.
Proceedings of the 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2015

Main Steps in Defining Finitely Supported Mathematics.
Proceedings of the Information and Communication Technologies in Education, Research, and Industrial Applications, 2015

Dening Finitely Supported Mathematics over Sets with Atoms.
Proceedings of the 11th International Conference on ICT in Education, 2015

2014
Nominal Groups and Their Homomorphism Theorems.
Fundam. Informaticae, 2014

2013
Algebraic Properties of Generalized Multisets.
Proceedings of the 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2013

2012
Multi-mass solvers for lattice QCD on GPUs.
J. Comput. Phys., 2012

Nominal Fusion Calculus.
Proceedings of the 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2012

A method for communication efficient work distributions in stencil operation based applications on heterogeneous clusters.
Proceedings of the 2012 International Conference on High Performance Computing & Simulation, 2012

2011
Efficient implementation of the overlap operator on multi-GPUs
CoRR, 2011

Nominal Semantics of the pi I-calculus.
Proceedings of the 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2011


  Loading...