Florin Stoica

15 papers A 1Misc 2Journal 7Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
A machine learning approach of enhancing eCommerce solutions.
Expert Syst. Appl.
Florin Stoica, Elena Pelican
2024 J jnl
Formal Verification of Business Constraints in Workflow-Based Applications.
Inf.
Florin Stoica, Laura Florentina Stoica
2022 J jnl
ATLDesigner: ATL Model Checking Using An Attribute Grammar.
Int. J. Softw. Eng. Knowl. Eng.
Laura Florentina Stoica, Florin Stoica
2020 J jnl
Automatic optimized support vector regression for financial data prediction.
Neural Comput. Appl.
Dana Simian, Florin Stoica, Alina Barbulescu
2020 — conf
Integrated Tool for Assisted Predictive Analytics.
MDIS
Florin Stoica, Laura Florentina Stoica
2019 A conf
Tendency of removal of the media from official communication of public institutions.
ECAI
Florin Stoica
2018 J jnl
Generating an ATL Model Checker using an Attribute Grammar.
CoRR
Florin Stoica, Laura Florentina Stoica
2015 J jnl
Verification of JADE Agents Using ATL Model Checking.
Int. J. Comput. Commun. Control
Laura Florentina Stoica, Florin Stoica, Florian Mircea Boian
2014 Misc conf
Implementing an ATL model checker tool using relational algebra concepts.
SoftCOM
Florin Stoica, Laura Florentina Stoica
2014 J jnl
Using the Breeder genetic algorithm to optimize a multiple regression analysis model used in prediction of the mesiodistal width of unerupted teeth.
Int. J. Comput. Commun. Control
Florin Stoica, Cornel Boitor
2013 — conf
A Distributed CTL Model Checker.
DCNET/ICE-B/OPTICS
Laura Florentina Stoica, Florian Mircea Boian, Florin Stoica
2013 Misc conf
Building a new CTL model checker using Web services.
SoftCOM
Florin Stoica, Laura Florentina Stoica
2011 — conf
A General Frame for Building Optimal Multiple SVM Kernels.
LSSC
Dana Simian, Florin Stoica
2009 — conf
Optimization of Complex SVM Kernels Using a Hybrid Algorithm Based on Wasp Behaviour.
LSSC
Dana Simian, Florin Stoica, Corina Simian
2008 — conf
A New Reinforcement Scheme for Stochastic Learning Automata - Application to Automatic Control.
ICE-B
Florin Stoica, Emil Marin Popa, Iulian Pah