IPSI Transactions on Internet Research, or (TIR)
(formerly: IPSI BgD Transactions on Internet Research)



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 Different Similarity Measures
IPSI Transactions on Internet Research, Vol. 16, No. 2, July 2020, pp. 75-83.