Menu:

• Home
• Didactic Activity
• Scientific Activity
• Curriculum Vitae
• Research
• Publication
• Contact

Publication (2009 - 2023)

(Update in July 20, 2023)

I. Published books / chapters:

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

II. Articles/Studies published in specialized journals of international circulation indexed in international databases specific to the field, which make a process of selection of journals based on performance criteria:

• 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. Indexed 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. Indexed 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. Indexed 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. Indexed 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. Articles/Studies published in the volumes of international scientific events recognized by ISI (with ISSN or ISBN) in the country and abroad:

• 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. Indexed in 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. Indexed in Scopus. Publishing year 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. Indexed in Scopus.
• 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 July, 2010, Corfu Island, 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, Corfu Island, 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 June 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 June 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. Articles / studies published in the volumes of international scientific events (with ISSN or ISBN) in the country and abroad:

• 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. Publishing year 2018. Indexed in 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. Publishing year 2016. Indexed in 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. Publishing year 2014. Indexed in 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, 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 Indexed in 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. ULBS Publishing House, Sibiu, 2009. Indexed in Zentralblatt Math (Zbl 1240.65005).

V. Artistic creations presented at recognized events:

• 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. Not published papers and presented at communication sessions:

• 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), May 14-15, Lucian Blaga University of Sibiu, Faculty of Sciences.