Vlad Saveluc

According to our database, Vlad Saveluc authored at least 4 papers between 2010 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Compositional Invariant Checking for Overlaid and Nested Linked Lists.

Constantin Enea, Vlad Saveluc, Mihaela Sighireanu

Proceedings of the Programming Languages and Systems, 2013

2012

Fluid Construction Grammar and Feature Constraint Logics.

Liviu Ciortuz, Vlad Saveluc

Proceedings of the Computational Issues in Fluid Construction Grammar, 2012

2011

Learning to Unlearn in Lattices of Concepts: A Case Study in Fluid Construction Grammars.

Liviu Ciortuz, Vlad Saveluc

Proceedings of the 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2011

2010

FCGlight: A System for Studying the Evolution of Natural Language.

Vlad Saveluc, Liviu Ciortuz

Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2010