IPSI Transactions on Internet Research

Published in: IPSI Transaction on Internet Research Publisher: IPSI Ltd, Belgrade Open Access: CC-BY-NC-ND DOI: 10.58245/ipsi.tir ISSN: 1820 - 4503

Home                   Issues and Articles                   Facts about IPSI TIR journal                   Contact

1. About IPSI TIR Journal 1.1 Scope 1.2 Basics 1.3 Journal Ranking 2. Instructions for Authors 2.1 Submitting an Article 2.2 Methodology 2.3 Creativity 2.4 Synergy 2.5 Charges to the Authors 3. Peer Review Policy 3.1 Peer Review Main Pillars 3.2 Reviewers' Responsibilities 3.3 Authors' Responsibilities 3.4 Editors' Responsibilities & Publication Decisions 4. Conflict of Interest 5. Repeated and Multiple Publication 6. Access, Copyright, and Licensing 7. Identifying and Preventing Misconduct 8. Instructions in the Case of Corrections or Retractions 9. Content Originality and Reproduction, Copyright, and Plagiarism 10. Confidentiality Policy July 2020 | Volume 16 | Number 2 | ISSN 1820 - 4503 (Click here for the whole journal download) Guest Editor William Steingartner Special issue - "Selected Topics in Computer Science" Steingartner, William Editorial - Selected Topics in Computer Science Schreiner, Wolfgang and Reichl, Franz-Xaver Mathematical Model Checking Based on Semantics and SMT IPSI Transactions on Internet Research, Vol. 16, No. 2, July 2020, pp. 4-13. Mocinecova, Karina and Steingartner, William Software Support for Visualizing of the Graph Algorithms in a Novel Approach in Educating of Young IT Experts IPSI Transactions on Internet Research, Vol. 16, No. 2, July 2020, pp. 14-23. Sagi, Gabor and Al-Sabti, Karrar Totally bounded metric spaces, their model theoretic stability and similarity detecting algorithms IPSI Transactions on Internet Research, Vol. 16, No. 2, July 2020, pp. 24-30. Kvet, Michal and Matiasko, Karol Classification rules for temporal databases IPSI Transactions on Internet Research, Vol. 16, No. 2, July 2020, pp. 31-38. Gulabovska, Hristina and Porkolab, Zoltan Evaluation of Static Analysis Methods of Python Programs IPSI Transactions on Internet Research, Vol. 16, No. 2, July 2020, pp. 39-46. Brunner, Tibor and Porkolab, Zoltan Advanced Code Comprehension using Version Control Information IPSI Transactions on Internet Research, Vol. 16, No. 2, July 2020, pp. 47-54. Bilanova, Zuzana and Stancel, Martin The Automated Creation of Logical Constructions from Natural Language Sentences IPSI Transactions on Internet Research, Vol. 16, No. 2, July 2020, pp. 55-60. Olencin, Michal and Perhac, Jan Automated hardening of a Linux web server IPSI Transactions on Internet Research, Vol. 16, No. 2, July 2020, pp. 61-66. Dudas, Adam and Skrinarova, Jarmila Edge coloring of set of graphs with the use of data decomposition and clustering IPSI Transactions on Internet Research, Vol. 16, No. 2, July 2020, pp. 67-74. Szederjesi-Dragomir, Arnold; Gaceanu, Radu D.; Pop, Horia F.; and Sarbu, Costel Experiments on Rough Sets Clustering with Various Similarity Measures IPSI Transactions on Internet Research, Vol. 16, No. 2, July 2020, pp. 75-83.