welcome: please sign in
location: Diff for "Publications"
Differences between revisions 33 and 198 (spanning 165 versions)
Revision 33 as of 2015-10-01 08:53:36
Size: 3220
Comment:
Revision 198 as of 2024-10-13 09:35:54
Size: 3081
Comment:
Deletions are marked like this. Additions are marked like this.
Line 1: Line 1:
||Previous years: ||[[Publications/2014|2014]] ||[[Publications/2013|2013]] ||[[Publications/2012|2012]] ||[[Publications/2011|2011]] ||[[Publications/2010|2010]] ||[[Publications/2009|2009]] ||[[Publications/2008|2008]] ||[[Publications/2007|2007]] ||[[Publications/2006|2006]] ||[[Publications/2005|2005]] || Previous years (20xx):
||[[Publications/2021|2021]] || [[Publications/2022|2022]] || [[Publications/2023|2023]] ||
||[[Publications/2020|2020]] ||[[Publications/2019|2019]] ||[[Publications/2018|2018]] ||[[Publications/2017|2017]] ||[[Publications/2016|2016]] ||
||[[Publications/2015|2015]]
||[[Publications/2014|2014]] ||[[Publications/2013|2013]] ||[[Publications/2012|2012]] ||[[Publications/2011|2011]] ||
||
[[Publications/2010|2010]] ||[[Publications/2009|2009]] ||[[Publications/2008|2008]] ||[[Publications/2007|2007]] ||[[Publications/2006|2006]] ||
Line 3: Line 7:

== Recent Publications ==
== 2024 ==
Line 6: Line 9:
 * Drămnesc, I., Jebelean, T., Synthesis of list algorithms by mechanical proving, Journal of Symbolic Computation 69 (1), pp. 61-92, 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.
 * 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
 1. '''Kaslik, E.''', '''Kökövics, E.-A.''', Rădulescu, A., Stability of coupled Wilson–Cowan systems with distributed delays, Chaos, Solitons and Fractals 179,114420, 2024
 1. Neculae, A., Barnett, Z.C., '''Miok, K.''', (...), Stoeckel, J.A., Pârvulescu, L., Living on the edge: Crayfish as drivers to anoxification of their own shelter microenvironment, PLoS ONE 19(1 January),e0287888, 2024
 1. Díaz-del-Río, F., Molina-Abril, H., Real, P., '''Onchis, D.''', Blanco-Trejo, S., Parallel homological calculus for 3D binary digital images, Annals of Mathematics and Artificial Intelligence, 2024
 1. Valcan, S., '''Gaianu, M.''', Complete Convolutional Neural Networks Environment for Computer Vision Problems With Nvidia Drive AGX Xavier, Communications in Computer and Information Science, 2024, 2165 CCIS, pp. 83–93
Line 16: Line 15:
 * 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.
 * Istrate, G., Bonchis, 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.
 * Onchis, D.M., Gotia, 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
 * Onchis, D.M., Frunzaverde, D., Gaianu, 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
 1. '''Babuc, D., '''Fortiş, A.-E.''', A Customizable Intelligent System for Cervical Cytology Image Classifications Lecture Notes on Data Engineering and Communications Technologies, 87, pp. 82–93, 2024
 1. '''Bogdan, V.''', '''Bonchiş, C.''', Orhei, C., An Image Sharpening Technique Based on Dilated Filters and 2D-DWT Image Fusion, Proceedings of the International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, 3, pp. 591–598, 2024
 1. '''Drămnesc, I.''', '''Jebelean, T.''', Stratulat, S., Certification of Sorting Algorithms Using Theorema and Coq, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 14991 LNAI, pp. 38–56, 2024
 1. '''Eraşcu, M.''', Fast and Exact Synthesis of Application Deployment Plans using Graph Neural Networks and Satisfiability Modulo Theory, Proceedings of the International Joint Conference on Neural Networks, 2024
 1. '''Iuhasz, G.''', '''Panica, S.''', '''Fortis, F.''', Duma, A., A Distributed Platform for Cycle Detection and Analysis in Cyber-Physical Systems, Lecture Notes on Data Engineering and Communications Technologies, 2024, 200, pp. 437–450
 1. '''Puiu, I.-L.''', '''Fortiș, T.-F.''', The Efficiency of Building Maintenance Using Digital Twins: A Literature Review, Lecture Notes on Data Engineering and Communications Technologies, 203, pp. 201–211, 2024
 1. '''Urechiatu, R.''', '''Frincu, M.''', Improved Galaxy Morphology Classification with Convolutional Neural Networks, Universe, 2024, 10(6), 230
 
 

Previous years (20xx):

2021

2022

2023

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2024

Journal papers

  1. Kaslik, E., Kökövics, E.-A., Rădulescu, A., Stability of coupled Wilson–Cowan systems with distributed delays, Chaos, Solitons and Fractals 179,114420, 2024

  2. Neculae, A., Barnett, Z.C., Miok, K., (...), Stoeckel, J.A., Pârvulescu, L., Living on the edge: Crayfish as drivers to anoxification of their own shelter microenvironment, PLoS ONE 19(1 January),e0287888, 2024

  3. Díaz-del-Río, F., Molina-Abril, H., Real, P., Onchis, D., Blanco-Trejo, S., Parallel homological calculus for 3D binary digital images, Annals of Mathematics and Artificial Intelligence, 2024

  4. Valcan, S., Gaianu, M., Complete Convolutional Neural Networks Environment for Computer Vision Problems With Nvidia Drive AGX Xavier, Communications in Computer and Information Science, 2024, 2165 CCIS, pp. 83–93

Conference papers

  1. Babuc, D., Fortiş, A.-E., A Customizable Intelligent System for Cervical Cytology Image Classifications Lecture Notes on Data Engineering and Communications Technologies, 87, pp. 82–93, 2024

  2. Bogdan, V., Bonchiş, C., Orhei, C., An Image Sharpening Technique Based on Dilated Filters and 2D-DWT Image Fusion, Proceedings of the International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, 3, pp. 591–598, 2024

  3. Drămnesc, I., Jebelean, T., Stratulat, S., Certification of Sorting Algorithms Using Theorema and Coq, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 14991 LNAI, pp. 38–56, 2024

  4. Eraşcu, M., Fast and Exact Synthesis of Application Deployment Plans using Graph Neural Networks and Satisfiability Modulo Theory, Proceedings of the International Joint Conference on Neural Networks, 2024

  5. Iuhasz, G., Panica, S., Fortis, F., Duma, A., A Distributed Platform for Cycle Detection and Analysis in Cyber-Physical Systems, Lecture Notes on Data Engineering and Communications Technologies, 2024, 200, pp. 437–450

  6. Puiu, I.-L., Fortiș, T.-F., The Efficiency of Building Maintenance Using Digital Twins: A Literature Review, Lecture Notes on Data Engineering and Communications Technologies, 203, pp. 201–211, 2024

  7. Urechiatu, R., Frincu, M., Improved Galaxy Morphology Classification with Convolutional Neural Networks, Universe, 2024, 10(6), 230

Publications (last edited 2024-10-13 10:44:20 by DanielaZaharie)