Florin Stoica

According to our database, Florin Stoica authored at least 13 papers between 2008 and 2022.

Collaborative distances:

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

2022

ATLDesigner: ATL Model Checking Using An Attribute Grammar.

Laura Florentina Stoica, Florin Stoica

Int. J. Softw. Eng. Knowl. Eng., 2022

2020

Automatic optimized support vector regression for financial data prediction.

Dana Simian, Florin Stoica, Alina Barbulescu

Neural Comput. Appl., 2020

Integrated Tool for Assisted Predictive Analytics.

Florin Stoica, Laura Florentina Stoica

Proceedings of the Modelling and Development of Intelligent Systems, 2020

2019

Tendency of removal of the media from official communication of public institutions.

Florin Stoica

Proceedings of the 11th International Conference on Electronics, 2019

2018

Generating an ATL Model Checker using an Attribute Grammar.

Florin Stoica, Laura Florentina Stoica

CoRR, 2018

2015

Verification of JADE Agents Using ATL Model Checking.

Laura Florentina Stoica, Florin Stoica, Florian Mircea Boian

Int. J. Comput. Commun. Control, 2015

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

Implementing an ATL model checker tool using relational algebra concepts.

Florin Stoica, Laura Florentina Stoica

Proceedings of the 22nd International Conference on Software, 2014

2013

Building a new CTL model checker using Web services.

Florin Stoica, Laura Florentina Stoica

Proceedings of the 21st International Conference on Software, 2013

A Distributed CTL Model Checker.

Laura Florentina Stoica, Florian Mircea Boian, Florin Stoica

Proceedings of the DCNET, ICE-B and OPTICS 2013 - Proceedings of the 4th International Conference on Data Communication Networking, 10th International Conference on e-Business and 4th International Conference on Optical Communication Systems, Reykjavík, Iceland, 29, 2013

2011

A General Frame for Building Optimal Multiple SVM Kernels.

Dana Simian, Florin Stoica

Proceedings of the Large-Scale Scientific Computing - 8th International Conference, 2011

2009

Optimization of Complex SVM Kernels Using a Hybrid Algorithm Based on Wasp Behaviour.

Dana Simian, Florin Stoica, Corina Simian

Proceedings of the Large-Scale Scientific Computing, 7th International Conference, 2009

2008

A New Reinforcement Scheme for Stochastic Learning Automata - Application to Automatic Control.

Florin Stoica, Emil Marin Popa, Iulian Pah

Proceedings of the ICE-B 2008, 2008