Menu:

• Acasă
• Activitate didactică
• Activitate științifică
• Curriculum Vitae
• Cercetare
• Publicații
• Contact

Publicații (2009 - iulie 2023)

(Actualizat in data de 20 iulie 2023)

I. Cărți/Capitole publicate:

• Capitolul 6, Laura Florentina Laura, Tehnici de accesibilizare a materialelor didactice digitale. pp. 157-181, 2019. Daniela-Maria Crețu (coordonator), Predarea și învățarea în învățământul superior. Aspecte teoretice și practice. Editura universitară, București 2019, ISBN 978-606-28-0896-9.
• Laura Florentina Stoica, Daniela Preda, Florin Stoica, Tehnici de accesibilizare a documentelor și aplicațiilor software, Ed. ULBS, Sibiu, ISBN 978-606-12-1335-1, 240 pagini, 2016.
• Florin Stoica, Laura Florentina Cacovean, Programare API, Ed. Psihomedia Sibiu, ISBN 978-973-1753-75-1, 354 pagini, 2009.

II. Articole/studii publicate în reviste de specialitate de circulaţie internaţională indexate în baze de date internaţionale specifice domeniului, care fac un proces de selecţie a revistelor pe baza unor criterii de performanță:

• Laura Florentina Stoica, Stoica Florin, ATLDesigner: ATL Model Checking Using An Attribute Grammar, International journal of software engineering and knowledge engineering (IJSEKE), Vol. 32, No. 08, pp. 1125-1154, 2022, ISSN: 0218-1940. Indexat ISI Thomson, Scopus. https://doi.org/10.1142/S0218194022500450
• Oprea, Simona-Vasilica, Adela Bâra, Cristian-Eugen Ciurea, and Laura F. Stoica, Smart Cities and Awareness of Sustainable Communities Related to Demand Response Programs: Data Processing with First-Order and Hierarchical Confirmatory Factor Analyses, Journals Electronics 2022, 11(7), 1157. Indexat ISI Thomson, Scopus. https://doi.org/10.3390/electronics11071157
• Marian-Pompiliu Cristescu, Raluca-Andreea Nerișanu, Maria Flori, Florin Stoica, Florentina Laura Stoica, Analysing the Stock Market as an Economic Lever, Using a Qualitative and a Quantitative Model, Journals Mathematics 2021, 9(19), 2369. Indexat ISI Thomson, Scopus. https://doi.org/10.3390/math9192369
• Laura Florentina Stoica, Florin Stoica, Florian Mircea Boian, Verification of JADE Agents Using ATL Model Checking, International Journal of Computers Communications & Control (IJCCC), ISSN 1841-9836, 10(5):718-731, October, 2015. Jurnal clasificat CNATDCU, categoria C. Indexat ISI Thomson, Scopus.
• Laura Florentina Stoica, Florian Mircea Boian. Algebraic approach to implementing an ATL model checker. Studia Univ. Babes Bolyai, Informatica, Cluj-Napoca, Romania. Volume LVII, Number 2, pages 73–82, 2012.
• Marian Pompiliu Cristescu, Corina Ioana Cristescu, Laura Florentina Cacovean, Florin Martin, The Cost Influence On Reliability And Security Of The Software Systems, Journal of Mobile, Embedded and Distributed Systems, vol. II, no. 2, pp. 69-73, pg. 5, 2010, ISSN 2067 – 4074.

III. Articole/studii publicate în volumele unor manifestări ştiinţifice internaţionale recunoscute ISI (cu ISSN sau ISBN) din ţară şi din străinătate:

• Raluca-Andreea Nerișanu, Marian-Pompiliu Cristescu, Florin Stoica, Florentina Laura Stoica, Dumitru Alexandru Mara, The Good Part of COVID-19 Pandemic: Increasing the Living Standards of Physically Challenged People by Accepting Telework as a New Normality, in Association with Assistive Technologies, GSMAC 2022. Springer Proceedings in Business and Economics. Springer, Cham. pp 101–119, 2022. Indexat Scopus. ISBN: 978-3-031-09421-7. https://doi.org/10.1007/978-3-031-09421-7_7
• Florin Stoica, Laura Florentina Stoica, Integrated Tool for Assisted Predictive Analytics, Proceeding of 7th International Conference on Modelling and Development of Intelligent Systems, MDIS 2020, Sibiu, Romania, October 22–24, 2020, Revised Selected PapersSibiu, pp. 149-166. Indexat Scopus. Anul publicării 2021.
• Alina Barbulescu, Florin Stoica, Laura Florentina Stoica, Sensemaking with Interactive Data Visualization, International Business Information Management Association (IBIMA) Conference, At Seville, Spain, pp. 3213-3228, 2016, ISBN: 978-0-9860419-8-3.
• Florin Stoica, Laura Stoica, ATL Model Checking in the Cloud, Sixth International Conference on Internet Technologies & Applications, ITA 2015, 8-11 September 2015, Wrexham, North Wales, UK.
• Florin Stoica, Laura Stoica, Implementing an ATL Model Checker tool using Relational Algebra concepts, The 22nd International Conference on Software, Telcomunication and Computer Networks, SoftCom 2014, Split, September 17-19, 2014.
• Florin Stoica, Laura Stoica, Building a new CTL model checker using Web Services, Proceeding The 21th International Conference on Software, Telecommunications and Computer Networks (SoftCOM 2013), At Split-Primosten, Croatia, 18-20 September, 2013, pp. 1-5, pg. 6.
• Laura Florentina Stoica, Florian Mircea Boian, Florin Stoica, A Distributed CTL Model Checker, Proceeding of 10th International Conference on e-Business, ICE-B 2013, Reykjavik Iceland, paper 33, pp. 379-386, pg. 8, 29-31 July, 2013.
• Laura F. Cacovean, Florin Stoica, Dana Simian, A New Model Checking Tool, Proceedings of the European Computing Conference (ECC ’11), Paris, France, April 28-30, 2011, pp. 358-364, ISBN: 978-960-474-297-4, ISSN: 2222-7342. Indexat Scopus. Conferință clasificată CNATDCU, categoria C. (ECC)
• Laura Florentina Cacovean, Florin Stoica, Modeling the Broker Behavior Using a BDI Agent, Proceedings of the 14th WSEAS International Conference on Computers (CSCC), 22-25 iulie, 2010, Insula Corfu, Grecia. ISSN: 1792-4391, ISBN: 978-960-474-206-6. Indexat Scopus.
• Florin Stoica, Laura Florentina Cacovean, An Evolutionary Approach for Optimizing Stochastic Learning Automata, Proceedings of the 14th WSEAS International Conference on Computers (CSCC), 22-25 iulie, 2010, Insula Corfu, Grecia, pp. 704-709, pg. 6, ISSN: 1792-4391, ISBN: 978-960-474-206-6.
• Florin Stoica, Laura Florentina Cacovean, Interoperability Issues in Accessing Databases through Web Services, Proceedings of the 11th WSEAS International Conference on EVOLUTIONARY COMPUTING (EC '10), 13-15 iunie 2010, Iasi, Romania, pp.279-284, pg. 5, ISSN: 1790-2769, ISBN: 978-960-474-194-6.
• Laura Florentina Cacovean, Using CTL Model Checker for Verification of Domain Application Systems, Proceedings of the 11th WSEAS International Conference on EVOLUTIONARY COMPUTING (EC '10), 13-15 iunie 2010, Iasi, Romania, pp. 262-267, pg. 6, ISSN: 1790-2769, ISBN: 978-960-474-194-6.
• Florin Stoica, Laura Florentina Cacovean, Using Genetic Algorithms and Simulation as Decision Support in Marketing Strategies and Long-Term Production Planning, Proceedings of the 9th WSEAS International Conference on Simulation, Modelling and Optimization (SMO ‘09), Budapest Tech, Hungary, September 3-5, 2009, pp. 435-439, pg. 5, ISSN: 1790-2769, ISBN: 978-960-474-113-7.
• Laura Cacovean, Florin Stoica, CTL Model Update Implementation Using ANTLR Tools, Proceedings of the 13th WSEAS International Conference on COMPUTERS, Rodos, Greece, July 23-25, 2009, ISSN: 1790-5109, pp. 169-174, pg. 5, ISBN: 978-960-474-099-4.

IV. Articole/studii publicate în volumele unor manifestări ştiinţifice internaţionale (cu ISSN sau ISBN) din ţară şi din străinătate:

• Florin Stoica, Alina Bărbulescu, Laura Florentina Stoica, Tuning Extreme Learning Machines with genetic algorithms, Proceeding of Fifth International Conference on Modelling and Development of Intelligent Systems, Sibiu, Romania, June 23 - 25, 2017, pp. 72-81. Anul publicării 2018. Indexată Zentralblatt Math (Zbl 1410.68324).
• Laura Florentina Stoica, Florin Stoica, Florian Mircea Boian, Generating a CTL model checker using an attribute grammar, Proceeding of Fourth International Conference on Modelling and Development of Intelligent Systems, Sibiu, Romania, October 28 - November 1, 2015, pp. 130-143. Anul publicarii 2016. Indexată Zentralblatt Math (Zbl 1410.68239).
• Laura Florentina Stoica, Florin Stoica, Florian Mircea Boian, Using ATL model checking in agent-based applications, Proceeding of Third International Conference on Modelling and Development of Intelligent Systems, Sibiu, Romania, 10 –12 October, 2013, pp. 127-135, pg. 9. Anul publicarii 2014. Indexată Zentralblatt Math (Zbl 1410.68238).
• L.F. Stoica,  F. Stoica, D. Simian. Client/Server Implementation of an ATL Model Checker Using Web Services. Proceedings of the 16th WSEAS International Conference on Computers, Kos Island, Greece, pp. 359–364, pg. 6, July 14-17, 2012. ISBN: 978-1-61804-109-8.
• Laura Florentina Stoica , Florin Stoica - Considerations about the implementation of an ATL model checker, Proceedings of Second International Conference on Modelling and Development of Intelligent Systems - MDIS. Sibiu, Romania, September 29 - October 02, ISSN 2067-3965, ISBN 978-606-12-0243-0, pp. 170-179, pg. 10, 2011 Indexată Zentralblatt Math (Zbl 1424.68092).
• Ciprian Ioan Cucu, Marian Pompiliu Cristescu, Laura Florentina Cacovean, Corina Ioana Cristescu, Considerations on using knowledge management principles in the development of e-learning platforms, Proceedings of the 4th International Conference on Knowledge Management: Projects, Systems and Technologies - KIP 2009, Bucharest, November 6-7 2009, pp. 87-89, pg. 3, ISBN: 978-973-663-783-41.
• Laura Florentina Cacovean, Marian Pompiliu Cristescu, Corina Ioana Cristescu, Ciprian Cucu, Construction of a generalized model for determination the broker behaviour for capital market, Proceedings of the 4th International Conference on Knowledge Management: Projects, Systems and Technologies - KIP 2009, Bucharest, November 6-7 2009, pp. 83-85, pg. 3, ISBN: 978-973-663-783-41
• Laura Florentina Cacovean, An Algebraic Specification for CTL with Time Constraints, First International Conference on "Modelling and Development of Intelligent Systems", October 22-25, 2009, Sibiu, Romania, pp. 46-55, pg. 10, ISSN 2067 - 3965. Editura Universitatii "Lucian Blaga", Sibiu, 2009. Indexată Zentralblatt Math (Zbl 1240.65005).

V. Creații artistice prezentate la manifestări recunoscute

• Laura Florentina Stoica, Algebraic approach to implementing a model checker ATL, The National Conference ZAC2012, Computer Science Section, Babes-Bolyai University, Cluj-Napoca, May 30, 2012, pp. 75-78

VI. Lucrări nepublicate și prezentate la sesiunile de comunicări:

• Laura F. Cacovean, General model construction for determination the broker behavior on capital market with an algebraic specification for CTL, International  Workshop   "Advanced Topics in Computer Science" (ATCS 2010), 14-15 Mai, Universitatea "Lucian Blaga" Sibiu, Facultatea de Stiinte.