Having a solid background in both applied and pure mathematics I was not afraid to use these

skills, with various results, in many diverse areas as Data Cleaning, Algorithms, Formal

Verification, Data Compression, Model Checking, Formal Languages, Databases and even

Theoretical Physics. Quite often research topic came from a collaborator, often a graduate

student with some work experience.


Back to Homepage


  1. M. Jodayree, R. Janicki, A Predictive Resource Management for Clouds, Proc. of FLINS’2020, In World Scientific Proceedings Series on Computer Engineering and Information Science, vol 12, Developments of Artificial Intelligence Technologies in Computation and Robotics, pp. 421-428 (2020)

  2. W. A. Almutairi, R. Janicki, On relationships between imbalance and overlapping of datasets, CATA’2020 (35th International Conference on Computers and Their Applications), San Francisco, CA, March 23-25, 2020, EpiC Series in Computing, vol. 69, pp. 141-150.


  1. S. Al-janabi, R. Janicki, Generation and Corruption of Structured and Semistructured Data, In P. Karampelas (ed.), From Security to Community Detection in Social Networking Platforms, pp. 155-166, Springer 2019.


  1. A. Fernandez, R. Janicki and M. Soltys, Computing covers from matchings with permutations, International Journal of Computers and Their Applications (IJCA), 24, 2 (2017) 72-80.

  2. S. Al-janabi, A. Hamid, R. Janicki, datumPIPE: Data Generator and Corrupter for Multiple Data Quality Aspects, Proc. of ASONAM’17 (Advances in Social Networks Analysis and Mining), Sydney, Australia, July 31 - August 3, 2017, pp. 589-592.

  3. A. Fernandez, R. Janicki and M. Soltys, A permutation-based algorithm for computing covers from matchings, Proc. of CATA’17 (32nd International Conference on Computers and Their Applications), Honolulu, Hawaii, USA, March 20-22, 2017, pp. 27-32.

  4. S. Al-janabi and R. Janicki, Corroborating Quality of Data Through Density Information, Proc. of SAI Intelligent Systems Conference 2016, Lecture Notes in Networks and Systems 15, Springer 2017, 1128-1146


  1. S. Al-janabi and R. Janicki, A Density-based Data Cleaning Approach for Deduplication with Data Consistency and Accuracy, Proc. of SAI Computing Conference 2016, London, UK, July 13-15, pp. 492-501, IEEE Publishing.


  1. X. Yin, R. Janicki, Optimization of Quadtree Representation and Compression, Proc. of RSCTC’2012 (8th Int. Conf. on Rough Sets and Current Trends in Computing), Lecture Notes in Artificial Intelligence 7413, Springer 2012, 198-205


  1. R. Janicki, E. Romanowicz, Proving Properties of Programs with Theorem Provers. Experiments with Z3 and Simplify,  Proc. of SERP’2009 (Software Engineering Research and Practice), Las Vegas, Nevada, USA, 2009.


  1. V. Babiy, B. Bigelow, R. S. Grewal, R. Janicki, T. Kakiashvili, W. W. Koczkodaj, R. Tadeusiewicz, Internet Contamination as a Global Harm and Social Problem, Journal of Applied Computer Science, 2, 26 (2008), 45-58.

  2. T. Kakiashvili, D. Matheson, P. Montgomery, W. W. Koczkodaj, V. Babiy, R. Janicki, R. S.Grewal, K. Passi, Computer classification tools for the social work support towards solving mental problems in Canada,  ICSS’08 (Int. Conference on Social Sciences), Izmir, Turkey 2008.


  1. B. Bigelow, R. Janicki, T. Kakiashvili, W. W. Koczkodaj, K. Passi, R. Tadeusiewicz, A Case of Web Cancer, Pro Dialog 23(2007), 59-62.

  2. J. Carette, R. Janicki, Computing Properties of Numerical Imperative Programs by Symbolic Computation, Fundamenta Informaticae 80, 1–3 (2007), 125-146.

  3. R. S. Grewal, R. Janicki, T. Kakiashvili, W. W. Koczkodaj, M. R. Ogiela, K. Passi, R. Tadeusiewicz, Attacking the web cancer with the automatic understanding approach, AWIC’2007 (5th Atlantic Web Intelligence Conference), Fontainebleau, France 2007, Advances in Soft Computing 43, Springer 2007, 392-397.

  4. R. Janicki, Y. Zhai, Program Verification with Maple, 3rd ATINER Int. Conf. on Computer Science and Information Systems, Athens, Greece 2007.


  1. J. Carette, R. Janicki, Y. Zhai, Program Verification by Calculating Relations, Proc. of 15th IASTED ASM’06 (Applied Simulation and Modelling), Rhodos, Greece 2006, pp.150-156, Acta Press.


  1. Y. T. He, R. Janicki, Verifying Protocols by Model Checking. A Case Study of the Wireless Application Protocol and the Model Checker SPIN, Proc. of CASCON’2004 (14th IBM Centre for Advanced Studies Conference), Toronto, Canada 2004, pp. 174-188.

  2. Y. T. He, R. Janicki, Verification of the WAP Transaction Layer, Proc. of SEFM’2004 (Software Engineering and Formal Methods), Beijing, China, 2004, IEEE Computer Society Press, pp. 366-375.


  1. D. Rosu, R. Janicki, On Concurrency Control in Object-Oriented Data Bases, Proc. of PDPTA’2002 (Parallel and Distributed Processing Techniques and Applications), vol. III, Las Vegas, USA, 2002, pp. 956-962.


  1. R. Janicki, R. Kepa, "Towards a Reference-Based Data Model", Proceedings of the 3rd Hungarian Computer Science Conference, Györ, Hungary, 1985, 85-93.

  2. R. Janicki, E. Eberbach, J. R. Just, P. Proszynski, "Towards a Formal Description of Fault-Tolerant Computing Systems", 13th IASTED Conference on Modelling and Simulation, Lugano, Switzerland (Acta Press, Anaheim, 1985), 453-456.


  1. T. Jannson, R. Janicki "An Eigenvalue Formulation of Inverse Theory of Scalar Diffraction", Optik, 56, 4 (1980), 429-441.

  2. R. Janicki, "Some Remarks on Deterministic Mazurkiewicz Algorithms and Languages Associated with Them", Fundamenta Informaticae, 3, 1 (1980), 65-76.

Back to Homepage