Recent Publications

Journal papers

• Drămnesc, I., Jebelean, T., Synthesis of list algorithms by mechanical proving, Journal of Symbolic Computation 69 (1), pp. 61-92, 2015
• Dundua, B., Florido, M., Kutsia, T., Marin, M. CLP (H): Constraint logic programming for hedges. Theory and Practice of Logic Programming, 1-22, 2015.
• Istrate, G., Identifying almost-sorted permutations from TCP buffer dynamics. Scientific Annals of Computer Science, XXV (1), pp. 133-154, 2015.

• Istrate, G., Reachability and Recurrence in a Modular Generalization of Annihilating Random Walks (and lights-out games) to hypergraphs. Theoretical Computer Science , 580, pp. 83-93, 2015.

• Istrate, G., Two notes on generalized Darboux properties and related features of additive functions. Analele Universitatii Bucuresti Ser. Informatica, special issue dedicated to Professor Solomon Marcus' s 90th birthday , LXII (2), pp. 61-76, 2015.

• Kutsia, T., Marin, M., Regular expression order-sorted unification and matching. Journal of Symbolic Computation 67, pp. 42-67 (2015)
• Li, J., Agathos, A., Zaharie, D., Bioucas-Dias, J.M. , Plaza, A., Li, X. Minimum volume simplex analysis: A fast algorithm for linear hyperspectral unmixing, IEEE Transactions on Geoscience and Remote Sensing, 53 (9), 7090960, pp. 5067-5082, 2015
• Măruşter, L., Măruşter, S., On the error estimation and T-stability of the Mann iteration, Journal of Computational and Applied Mathematics 276, pp. 110-116, 2015
• Măruşter, S., Strong convergence of the mann iteration for demicontractive mappings, Applied Mathematical Sciences, 9 (41-44), pp. 2061-2068, 2015
• Petcu, D., Panica, S., Crăciun, C., Neagul, M., Şandru, C., Cloud resource orchestration within an open-source component-based platform as a service, Concurrency Computation 27 (9), pp. 2443-2469, 2015

Conference papers

• Aisenberg, J., Bonet, M.L., Buss, S., Crăciun, A., Istrate, G. Short Proofs of the Kneser-Lovász Coloring Principle. Proceedings of the 42nd International Colloquium on Automata, Languages, and Programming (ICALP 2015) , Lecture Notes in Computer Science vol. 9135, pp. 44-55. 2015.

• Dogaru, R., Micota, F., Zaharie, D., Searching for Taxonomy-based Similarity Measures for Medical Data, In Proceedings of the 7th Balkan Conference on Informatics (BCI 2015), art. nr. 27, ACM Press.
• Istrate, G., Bonchiş, C. Partition into heapable sequences, heap tableaux and a multiset extension of Hammersley’s process. Proceedings of the 26th Annual Symposium on Combinatorial Pattern Matching (CPM 2015), Lecture Notes in Computer Science 9133, pp. 261-271. Springer Verlag, 2015.
• Onchiş, D.M., Goţia, S.L., Enhancing dental radiographic images in spline-type spaces, Proceedings - 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, 7034730, pp. 559-564, 2015
• Onchiş, D.M., Frunzăverde, D., Găianu, M., Ciubotariu, R., Multi-phase identification in microstructures images using a GPU accelerated fuzzy C-Means segmentation, Proceedings - 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, 7034736, pp. 602-607, 2015
• Tirea, M., Negru, V., Intelligent stock market analysis system - A fundamental and macro-economical analysis approach, Proceedings - 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, 7034725, pp. 519-526, 2015