Andrei Rimsa
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2009–2026
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CGO | Binary Diffing via Library Signatures. | Andrei Rimsa, Anderson Faustino da Silva, Camilo Santana, Fernando Magno Quinto Pereira |
| 2013 | SMC | SCGaz - A Synthetic Formal Context Generator with Density Control for Test and Evaluation of FCA Algorithms. | Andrei Rimsa, Mark A. J. Song, Luis E. Zrate |
| 2011 | CC | Tainted Flow Analysis on e-SSA-Form Programs. | Andrei Rimsa, Marcelo d'Amorim, Fernando Magno Quinto Pereira |
| 2009 | ICCS | Evaluation of Different BDD Libraries to Extract Concepts in FCA - Perspectives and Limitations. | Andrei Rimsa, Luis E. Zrate, Mark A. J. Song |
| 2009 | ICFCA | Handling Large Formal Context Using BDD - Perspectives and Limitations. | Andrei Rimsa, Luis E. Zrate, Mark A. J. Song |