Andrei Alexandru
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
2
Active years
2011–2024
Best venue rank
National
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | SYNASC | Generalized Multisets Over Infinite Alphabets with Atoms. | Andrei Alexandru, Gabriel Ciobanu |
| 2018 | SYNASC | Order Relations Over Finitely Supported Structures. | Andrei Alexandru, Gabriel Ciobanu |
| 2015 | ICTERI | Dening Finitely Supported Mathematics over Sets with Atoms. | Andrei Alexandru, Gabriel Ciobanu |
| 2015 | ICTERI | Main Steps in Defining Finitely Supported Mathematics. | Andrei Alexandru, Gabriel Ciobanu |
| 2015 | SYNASC | Static Analysis in Finitely Supported Mathematics. | Andrei Alexandru, Gabriel Ciobanu |
| 2013 | SYNASC | Algebraic Properties of Generalized Multisets. | Andrei Alexandru, Gabriel Ciobanu |
| 2012 | SYNASC | Nominal Fusion Calculus. | Andrei Alexandru, Gabriel Ciobanu |
| 2011 | SYNASC | Nominal Semantics of the pi I-calculus. | Andrei Alexandru, Gabriel Ciobanu |