Publications

Proccedings of Foreign Conferences:

U. Bentkowska, K. Balicki, Comparison of algorithms for decision making problems and preservation of alpha-properties of fuzzy relations in aggregation process, Journal of Automation, Mobile Robotics and Intelligent Systems 10 (2) 2016, 25-39

Balicki K.: XCCS Diagram to CCS Script Conversion Algorithm, Concurrency, Specification and Programming (CS&P 2014) : Proceedings of the 23th International Workshop on Concurrency, Specification and Programming: Chemnitz, Germany, September 29 - October 1, 2014. Vol-1269 / ed. by Louchka Popova-Zeugmann ; Humboldt University of Berlin, Department of Informatics.

Balicki, K., Szpyrka, M.: "Tag Abstraction for XCCS Modeling Language", Warsaw University 2009, Proceedings of the CS&P’2009 Workshop, Volume 1, pp. 26-37.

Balicki, K., Szpyrka, M.: "Formal Definition of XCCS Modelling Language" Concurrency, Specification and Programming CS&P'2008.

Balicki, K., Szpyrka, M.: "XCCS - graficzne rozszerzenie algebry procesów CCS", XIII Międzynarodowa konferencja matematyczno-informatyczna : Chełm-Rzeszów-Lublin, 1-4 lipca 2007 : materiały konferencyjne str. 19-20

Balicki, K.: "The Traffic Lights Control System Modelled with the Use of Coloured Petri Nets with Time", Berlin 2004, Humboldt-Universitat zu Berlin, pp. 1-11, Concurrency, Specification and Programming CS&P'2004.

 

Materials of Conferences in Poland:

Balicki, K.: "Modelowanie systemu sterowania światłami drogowymi za pomocą kolorowanych sieci z czasem", Materiały Konferencyjne X Środowiskowej Konferencji Matematyczno-Informatycznej, Korytnica 2004,str. 19.