Vlad Saveluc
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2010–2013
Best venue rank
National
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | ESOP | Compositional Invariant Checking for Overlaid and Nested Linked Lists. | Constantin Enea, Vlad Saveluc, Mihaela Sighireanu |
| 2011 | SYNASC | Learning to Unlearn in Lattices of Concepts: A Case Study in Fluid Construction Grammars. | Liviu Ciortuz, Vlad Saveluc |
| 2010 | SYNASC | FCGlight: A System for Studying the Evolution of Natural Language. | Vlad Saveluc, Liviu Ciortuz |