A New Reinforcement Scheme for Stochastic Learning Automata - Application to Automatic Control. - Florin Stoica; Emil Marin Popa; Iulian Pah (ICE-B, 2008)

Optimization of Complex SVM Kernels Using a Hybrid Algorithm Based on Wasp Behaviour. - Dana Simian; Florin Stoica; Corina Simian (LSSC, 2009)

A General Frame for Building Optimal Multiple SVM Kernels. - Dana Simian; Florin Stoica (LSSC, 2011)

A Distributed CTL Model Checker. - Laura Florentina Stoica; Florian Mircea Boian; Florin Stoica (DCNET/ICE-B/OPTICS, 2013)

Building a new CTL model checker using Web services. - Florin Stoica; Laura Florentina Stoica (SoftCOM, 2013)

Implementing an ATL model checker tool using relational algebra concepts. - Florin Stoica; Laura Florentina Stoica (SoftCOM, 2014)

Using the Breeder genetic algorithm to optimize a multiple regression analysis model used in prediction of the mesiodistal width of unerupted teeth. - Florin Stoica; Cornel Boitor (Int. J. Comput. Commun. Control, 2014)

Verification of JADE Agents Using ATL Model Checking. - Laura Florentina Stoica; Florin Stoica; Florian Mircea Boian (Int. J. Comput. Commun. Control, 2015)

Generating an ATL Model Checker using an Attribute Grammar. - Florin Stoica; Laura Florentina Stoica (CoRR, 2018)

Tendency of removal of the media from official communication of public institutions. - Florin Stoica (ECAI, 2019)

Integrated Tool for Assisted Predictive Analytics. - Florin Stoica; Laura Florentina Stoica (MDIS, 2020)

Automatic optimized support vector regression for financial data prediction. - Dana Simian; Florin Stoica; Alina Barbulescu (Neural Comput. Appl., 2020)

ATLDesigner: ATL Model Checking Using An Attribute Grammar. - Laura Florentina Stoica; Florin Stoica (Int. J. Softw. Eng. Knowl. Eng., 2022)

A machine learning approach of enhancing eCommerce solutions. - Florin Stoica; Elena Pelican (Expert Syst. Appl., 2025)