Isabela Dramnesc
Orcid: 0000-0003-4686-2864
According to our database1,
Isabela Dramnesc
authored at least 22 papers
between 2011 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the LPAR 2024 Complementary Volume, Port Louis, Mauritius, May 26-31, 2024, 2024
2023
Proceedings of the 21st IEEE Jubilee International Symposium on Intelligent Systems and Informatics, 2023
2022
Proceedings of the Intelligent Computer Mathematics - 15th International Conference, 2022
2021
J. Log. Algebraic Methods Program., 2021
Proceedings of the 15th IEEE International Symposium on Applied Computational Intelligence and Informatics, 2021
Proceedings of the Theoretical Aspects of Computing - ICTAC 2021, 2021
2020
Proceedings of the 14th IEEE International Symposium on Applied Computational Intelligence and Informatics, 2020
2019
Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques.
J. Symb. Comput., 2019
Proceedings of the Proceedings Third Symposium on Working Formal Methods, 2019
Case Studies on Algorithm Discovery from Proofs: The Delete Function on Lists and Binary Trees using Multisets.
Proceedings of the 17th IEEE International Symposium on Intelligent Systems and Informatics, 2019
Automatic Synthesis of Merging and Inserting Algorithms on Binary Trees Using Multisets in Theorema.
Proceedings of the Mathematical Aspects of Computer and Information Sciences, 2019
2016
A case study on algorithm discovery from proofs: The insert function on binary trees.
Proceedings of the 11th IEEE International Symposium on Applied Computational Intelligence and Informatics, 2016
Proceedings of the Language and Automata Theory and Applications, 2016
2015
Proceedings of the 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2015
Proceedings of the 13th IEEE International Symposium on Intelligent Systems and Informatics, 2015
Proceedings of the 10th IEEE Jubilee International Symposium on Applied Computational Intelligence and Informatics, 2015
2014
Proceedings of the IEEE 12th International Symposium on Intelligent Systems and Informatics, 2014
2012
Proceedings of the 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2012
Discovery of inductive algorithms through automated reasoning: A case study on sorting.
Proceedings of the 10th IEEE Jubilee International Symposium on Intelligent Systems and Informatics, 2012
Proceedings of the 7th IEEE International Symposium on Applied Computational Intelligence and Informatics, 2012
2011
Proceedings of the 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2011