LIST OF PUBLICATIONS (ALL)

Back to Homepage

 

2021

   1. R. Janicki, J. Kleijn, M. Koutny and Ł. Mikulski, Relational Structures for Concurrent Behaviours, Theoretical Computer Science 862 (2021) 174-192, doi: 10.1016/j.tcs.2020.10.019

2020

   2. R. Janicki, Ł. Mikulski, Algebraic Structure of Step Traces and Interval Traces, Fundamenta Informaticae 175, 1-4 (2020), 253-280

  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.

2019

  1. X. Xie, X. Qin, Q. Zhou, Y. Zhou, T. Zhang, R. Janicki, W. Zhao, A novel test-cost-sensitive attribute reduction approach using the binary bat algorithm, Knowledge Based Systems,  doi.org/10.1016/j.knosys.2019.104938

  2. R. Janicki, M. Koutny, Operational Semantics, Interval Orders and Sequences of Antichains, Fundamenta Informaticae 169 (2019) 31-55.

  3. R. Janicki, J. Kleijn, M. Koutny and Ł. Mikulski, Classifying Invariant Structures of Step Traces, Journal of Computer and System Sciences 104 (2019), 297-322.

  4. R. Janicki, On Relationship Between Inhibitor Nets and Activator Nets, ICATPN’2019 (40th International Conference on Application and Theory of Petri Nets), Lecture Notes in Computer Science 11552, Springer 2019, 192-213.

  5. X. Xie, R. Janicki, X. Qin, W. Zhao, G. Huang, Local search for attribute reduction, IJCRS’2019 (International Joint Conference on Rough Sets), Lecture Notes in Artificial Intelligence 11499, Springer 2019, 102-117.

  6. 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.

2018

  1. R. Janicki, J. Kleijn and Ł. Mikulski, A Precise Characterisation of Step Traces and Their Concurrent Histories, Scientific Annals of Computer Science, 28, 2 (2018), 237-267.

  2. R. Janicki, Approximations of Arbitrary Relations by Partial Orders, International Journal of Approximate Reasoning, 98 (2018) 177-195.

  3. R. Janicki,  Finding Consistent Weights Assignments with Combined Pairwise Comparisons,  International Journal of Management and Decision Making,  17, 3 (2018) 322-347.

  4.  M. Alqarni, R. Janicki, Interval Semantics for Petri Nets with Inhibitor Arcs, Theoretical Computer Science (2018).

  5. R. Janicki, Modeling Operational Semantics with Interval Orders Represented by Sequences of Antichains, Proc. of ICATPN’2018 (39th International Conference on Application and Theory of Petri Nets), Lecture Notes in Computer Science 10877, Springer 2018, 251-271, 21 pages.

2017

  1. R. Janicki, J. Kleijn, M. Koutny and Ł. Mikulski, Invariant Structures and Dependence Relations, Fundamenta Informaticae, 155 (2017) 1-29.

  2. R. Janicki, J. Kleijn, M. Koutny and Ł. Mikulski, Alphabets of Acyclic Invariant Structures, Fundamenta Informaticae, 154 (2017) 207-224.

  3. 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.

  4.  R. Janicki, X. Yin, Modeling Concurrency With Interval Traces, Information and Computation, 253 (2017) 78-108.

  5.  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.

  6.  R. Janicki, Yet Another Kind of Rough Sets Induced by Coverings, Proc. of IJCRS’2017 (International Joint Conference on Rough Sets), Lecture Notes in Artificial Intelligence 10313, Springer 2017, 140-153.

  7.  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.

  8.  R. Janicki, Jetty Kleijn, M. Koutny and Ł. Mikulski, Synthesis of step alphabets for acyclic invariant structures, Proc. of ATAED’2017 (Workshop on Algorithms & Theories for the Analysis of Event Data), Zaragoza, Spain, June 26–27, 2017, CEUR Workshop Proceedings, Vol. 1847, pp. 76-88.

  9.  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.

 2016

  1.  R. Janicki, J. Kleijn, M. Koutny and Ł. Mikulski, Step Traces, Acta Informatica, 53 (2016) 35-65.

  2.  R. Janicki, A. Lenarcic, Optimal Approximations with Rough Sets and Similarities in Measure Spaces, International Journal of Approximate Reasoning, 71 (2016) 1-14.

  3.  R. Janicki, On Optimal Approximations of Arbitrary Relations by Partial Orders, Proc. of IJCRS’2016 (International Joint Conference on Rough Sets), Lecture Notes in Artificial Intelligence 9920, Springer 2016, 107-119.

  4.  A. D. Bogobowicz, R. Janicki, On Approximation of Relations by Generalized Closures and Generalized Kernels, Proc. of IJCRS (International Joint Conference on Rough Sets), Lecture Notes in Artificial Intelligence 9920, Springer 2016, 120-130,

  5.  E. Assiri, M. Assiri and R. Janicki, Elevator System. A Case Study of Coloured Petri Nets, Proc. of ICAT’16 (International Conference on Advanced Technology & Sciences), Konya, Turkey, September 1-4, 2016, pp. 40-45.

  6.  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.
     

2015

  1. R. Janicki, J. Kleijn, M. Koutny and Ł. Mikulski, Characterising Concurrent Histories, Fundamenta Informaticae, 139 (2015), 21-42.

  2. R. Janicki, M. H. Soudkhah, On Classification with Pairwise Comparisons, Support Vector Machines and Feature Domain Overlapping, The Computer Journal 58, 3 (2015).

  3. M. Alqarni, R. Janicki, On Interval Process Semantics of Petri Nets with Inhibitor Arcs, Proc. of ICATPN’2015 (36th International Conference on Application and Theory of Petri Nets), Lecture Notes in Computer Science 9115, Springer 2015, 7-27.

  4. R. Janicki, J. Kleijn, M. Koutny and Ł. Mikulski, Order Structures for Subclasses of Generalised Traces, Proc. of LATA’2015 (9th International Conference on Language and Automata Theory and Applications), Lecture Notes in Computer Science 8977, Springer 2015, 689-700,

  5. R. Janicki, On Qualitative and Quantitative Pairwise Comparisons, Proc. of ICAT’15 (International Conference on Advanced Technology & Sciences), Antalya, Turkey, August 4-7, 2015, pp. 21-28.

  6. M. Alqarni and R. Janicki, On Modeling Inhibitor Nets with Interval Processes and Interval Traces, Proc. of FCS’2015 (Foundations of Computer Science), Las Vegas, Nevada, USA, July 27-30, 2015, pp. 3-9, CSREA Press.

  7. M. Assiri, M. Alqarni and R. Janicki, Modeling Elevator System With Coloured Petri Nets, Proc. of SERP’2015 (Software Engineering Research and Practice), Las Vegas, Nevada, USA, July 27-30, 2015, pp. 183-189, CSREA Press.

  8. A. Mirdad, R. Janicki, Applications of Mixed Pairwise Comparisons, Proc. of ICAI’2015 (International Conference on Artificial Intelligence), Las Vegas, Nevada, USA, July 27-30, 2015, pp. 414-420, CSREA Press,

 2014

  1. I. Bourguiba, R. Janicki, Converting Software Cost Reduction Tables into Tabular Expressions, Proceedings of the IASTED International Conference Modelling and Simulation (AfricaMS 2014), September 1 - 3, 2014 Gaborone, Botswana, pp. 74-80.

2013

  1. R. Janicki, Property-Driven Rough Sets Approximations of Relations, In A. Skowron, Z. Suraj (eds.), Rough Sets and Intelligent Systems - Professor Zdzisław Pawlak in Memoriam (Series: Intelligence Systems Reference Laboratory Vol. 42), pp. 333-357, Springer 2013.

  2. R. Janicki, A. Lenarcic, Optimal Approximations with Rough Sets, Proc. of RSKT’2013 (7th Int. Conf. on Rough Sets and Knowledge Technology), Lecture Notes in Artificial Intelligence 8171, Springer 2013, 87-98

  3. R. Janicki, J. Kleijn, M. Koutny and Ł. Mikulski, Causal Structures for General Concurrent Behaviours, Proc. of CS&P’2013 (Concurrency, Specification and Programming), CEUR Workshops Proceedings, Vol. 1032, pp. 193-205

  4. M. H. Soudkhah, R. Janicki, Weighted Features Classification with Pairwise Comparisons, Support Vector Machines and Feature Domain Overlapping, 22nd IEEE WETICE (Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises) Conference, 4th Track on Cooperative Knowledge Discovery & Data Mining, Hammamet, Tunisia 2013, pp. 172-177, IEEE Publ.

  5. A. Bogobowicz, R. Janicki, On pairwise comparisons based internal and external measures for software evaluation, 22nd IEEE WETICE (Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises) Conference, 1st Track on Validating Software for Critical Systems, Hammamet, Tunisia 2013, pp. 371-376, IEEE Publ.

2012

  1. R. Janicki, Y. Zhai, On a Pairwise Comparison Based Consistent Non-Numerical Ranking, Logic Journal of IGPL 20, 4 (2012), 667-676.

  2. R. Janicki, X. Yin, N. Zubkova, Modeling Interval Order Structures with Partially Commutative Monoids, Proc. of CONCUR’2012 (23rd Intern. Conf. On Concurrency Theory), Lecture Notes in Computer Science 7454, Springer 2012, 425-439 (26% accepted).

  3. 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

  4. R. Janicki, Y. Zhai, Rank Reversals and Testing of Pairwise Comparisons Based Non-Numerical
    Rankings, Proc. of 10th Int. FLINS Conf. On Uncertainty Modeling in Knowledge Engineering and Decision Making, Istanbul, Turkey 2012, pp.374-381.

 2011

  1. R. Janicki, D. T. M. Le, Modelling Concurrency with Comtraces and Generalised Comtraces, Information and Computation 209 (2011), 1355-1389.

  2. V. Babiy, R. Janicki, W. W. Koczkodaj, A. Wassyng, A context aware framework for product based software certification, Journal of Applied Computer Science 19,1 (2011), 7-32.

  3. R. Janicki, Y. Zhai, Remarks on Pairwise Comparison Numerical and Non-Numerical Rankings, Proc. of RSKT’2011 (Rough Sets and Knowledge Technology), Lecture Notes in Artificial Intelligence 6954, Springer 2011, 290-300.

  4. R. Janicki, Y. Zhai, On Testing Pairwise Comparisons Based Non-Numerical Rankings, Proc. of ICAAA’2011 (International Conference on Applied Analysis and Algebra), pp. 45-49, Istanbul, Turkey 2011.

2010

  1. R. Janicki, Approximation of Arbitrary Binary Relations by Partial Orders. Classical and Rough Set Models, Transactions on Rough Sets 13 (2010), 17-38.

  2. R. Janicki, J. Kleijn, M. Koutny, Quotient Monoids and Concurrent Behaviours, In Carlos Martin-Vide (ed.), Series: Mathematics, Computing, Language and Life: Frontiers in Mathematical Linguistic and Language Theory - Vol 2 (Scientific Applications of Language Methods), World Scientific, London, 2010, pp. 311-385.

  3. V. Babiy, A. D. Bogobowicz, R. Janicki, W. W. Koczkodaj, A. Wassyng, Selecting the best strategy in a software certification process, Proc. of IMCSIT (International Multiconference on Computer Science and Information Technology), Vol. 5 (Advances in Artificial Intelligence and Applications), pp. 53-58, Wisła, Poland, 2010.

  4. R. Janicki, Y. Zhai, On a Consistency Driven Pairwise Comparison Based Non-numerical Ranking, Proc. of CMMSE’2010 (Computational and Mathematical Methods in Science and Engineering), Vol. 2, pp. 566-576, Almeria, Spain, 2010.

 2009

  1. R. Janicki, Pairwise Comparisons Based Non-Numerical Ranking, Fundamenta Informaticae 94 (2009), 1-21.

  2. P. Adamic, V. Babiy, R. Janicki, T. Kakiashvili, W. W. Koczkodaj, R. Tadeusiewicz, Pairwaise Comparisons and Visual Perceptions of Equal Area Polygons, Perceptual and Motor Skills, 108, 1 (2009), 37-42.

  3. R. Janicki, On Rough Sets with Structures and Properties, 12th RSFDGrC’2009 (Rough Sets, Fuzzy Sets, Data Mining and Granular Computing), Lecture Notes in Artificial Intelligence 5958, Springer 2009, 109-116. 

  4. R. Janicki, D.T.M. Le, N. Zubkova, Closure Operators for Order Structures, Proc. of FCT’2008 (Fundamentals of Computation Theory), Lecture Notes in Computer Science 5699, Springer 2009, 217-229.

  5. R. Janicki, N. Zubkova, On Closure Operator for Interval Order Structures, Proc. of FCS’2009 (Foundations of Computer Science), Las Vegas, Nevada, USA 2009.

  6. I. Bourguiba, R. Janicki, Tabular Expressions vs Software Cost Reduction, Proc. of SERP’2009 (Software Engineering Research and Practice), Las Vegas, Nevada, USA, 2009.

  7. 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.

  8. V. Babiy, R. Janicki, T. A. Jingco, T. Kakiashvili, W. W. Koczkodaj, M. Woodbury- Smith, Benefits of Using Tabular Expressions in Planning Health Services, Proc. of SERP’2009 (Software Engineering Research and Practice), Volume I, pp. 99-102, Las Vegas, Nevada, USA, 2009, CSREA Press.

  9. I. Bourguiba, R. Janicki, Table-based Specification Techniques, Proc. of the 39th CIE’2009 (Computers and Industrial Engineering), Troyes, France, 2009.

 2008

  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. R. Janicki, Relational Structures Model of Concurrency, Acta Informatica 45,4 (2008), 279-320.

  3. D.T.M. Le, R. Janicki, A Categorical Approach to Mereology and Its Application to Modelling Software Components, Transactions on Rough Sets 8 (2008), 146-174.

  4. R. Janicki, Some Remarks on Approximations of Arbitrary Binary Relations by Partial Orders, Proc. of RSCTC’2008 (Rough Sets and Current Trends in Computing), Lecture Notes in Artificial Intelligence 5306, Springer 2008, 81-91.

  5. R. Janicki, D.T.M. Le, Modelling Concurrency with Quotient Monoids, Proc. of ATPN’2008 (Application and Theory of Petri Nets), Lecture Notes in Computer Science 5062, Springer 2008, 251-269

  6. R. Janicki, Ranking with Partial Orders and Pairwise Comparisons, Proc. of RSKT’2008 (Rough Sets and Knowledge Technology), Lecture Notes in Artificial Intelligence 5009, Springer 2008, 442-451.

  7. 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.

  8. R. Janicki, W. W. Koczkodaj, V. Babiy, Pairwise Comparisons and Ranking, ICSS’08 (Int. Conference on Social Sciences), Izmir, Turkey 2008.

2007

  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. Janicki, D.T.M. Le, Towards a Pragmatic Mereology, Fundamenta Informaticae 75, 1– 4 (2007), 295-314.

  4. 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.

  5. R. Janicki, Pairwise Comparisons, Incomparability and Partial Orders, ICEIS’2007 ( 9th Int. Conference on Enterprise Information Systems), Volume 2 (Artificial Intelligence and Decision Support Systems), pp. 297-302, Funchal, Portugal 2007.

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

  7. R. Janicki, Specifying Module Interfaces with Finitely Defined Automata, 11th WSEAS Int. Conf. on Computers, pp. 108-113, Agios Nicolaos, Crete, Greece 2007, WSEAS Press.

 2006

  1. D.T.M. Le, R. Janicki, On a Parthood Specification Method for Component Software, Proc. of RSCTC’2006 (Rough Sets and Current Trends in Computing), Lecture Notes in Artificial Intelligence 4259, Springer 2006, 537-546

  2. 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.

 2005

  1. R. Janicki, A. Wassyng, Tabular Expressions and Their Relational Semantics, Fundamenta Informaticae 67, 4 (2005), 343-370.

  2. R. Janicki, Basic Mereology with Equivalence Relations, Proc. of MFCS’2005 (Mathematical Foundations of Computer Science), Lecture Notes in Computer Science 3618, Springer 2005, 507-519.

  3. R. Janicki, A Generalisation of Relational Structures Model of Concurrency, Proc. of ICTAC’04 (Intern. Colloquium on Theoretical Aspect of Computing), Lecture Notes in Computer Science 3407, Springer-Verlag 2005, 85-99.

  4. R. Janicki, Mereology for Software Engineering, Proc. of the 35th CIE’2005 (Computers and I ndustrial Engineering), Istanbul, Turkey 2005, Volume I, pp. 1017-1038.  

 2004

  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. 

  3. R. Janicki, Y. Zhai, On Properties of “Part of” Relations, Proc. of SERP’2004 (Software Engineering Research and Practice), Las Vegas, USA, 2004,  pp. 393-399.

  4. Y. Yang, R. Janicki, On Concurrency and Tabular Expressions, Proc. of SERP’2004 (Software Engineering Research and Practice), Las Vegas, USA, 2004, pp. 455 - 461.

 2003

  1. A. Wassyng, R. Janicki, Tabular Expressions in Software Engineering, Proc. of ICSSEA’03 (Intern. Conf. on Software and System Engineering), Vol. 4, Paris, France 2003, pp.1-46.

  2. R. Janicki, A. Wassyng, On Tabular Expressions, Proc. of. CASCON’2003 (13th IBM Centre for Advanced Studies Conference), Toronto, Canada 2003, pp. 38-52.

 2002

  1. R. Janicki, Remarks on Mereology of Direct Product and Relations, In J. Desharnais, M. Frappier, W. MacCaull (eds.) Relational Methods in Computer Science, Methodos Publ. 2002, pp. 65-84.

  2. R. Janicki, Towards a Mereological System for Direct Product and Relations, Proc. of RSCTC’2002 (Rough Sets and Current Trends in Computing), Lecture Notes in Artificial Intelligence 2475, Springer 2002, 113-122.

  3. G. Guo, R. Janicki, Modelling Concurrent Behaviours by Commutativity and Weak Causality Relations, Proc. of AMAST’02 (Algebraic Methodology and Software Technology), Lecture Notes in Computer Science 2422, Springer 2002, 178-191.

  4. R. Janicki, On a Mereological System for Relational Software Specifications, Proc. of MFCS’02 (Mathematical Foundations of Computer Science), Lecture Notes in Computer Science 2420, Springer 2002, 375-386.

  5. R. Janicki, Formal Specification and Finitely Defined Automata with Interpreted States, Proc. of SERP’2002 (Software Engineering Research and Practice), Las Vegas, USA, 2002, pp. 434-440.

  6. R. Janicki, Y. Zhang, A Simplistic Mereological System for Relations, Proc. of ICAI’2002 (International Conference on Artificial Intelligence), vol. II, Las Vegas, USA, 2002, pp. 1206-1212.

  7. 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.

 2001

  1. R. Janicki, E. Sekerinski, Foundations of the Trace Assertion Method of Module Interface Specification, IEEE Transactions on Software Engineering, 27, 7 (2001) 577-598.

  2. R. Janicki, R. Khédri, On a Formal Semantics of Tabular Expressions, Science of Computer Programming, 39 (2001) 189-213.

  3. R. Janicki, Y. Liu, On Trace Assertion Method of Module Interface Specification with Concurrency, Proc. of RSCTC’2000 (Rough Sets and Current Trends in Computing), Lecture Notes in Artificial Intelligence 2005, Springer 2001, 632-641.

  4. R. Janicki, Trace Assertion Method as an Example of Finitely Defined Automaton with Interpreted States, Proc. of SSGRR’2001, L’Aquila, Italy 2001.

 2000

  1.   R. Janicki, R. Khédri, On Mereology of Relation Algebras, Proc. of RelMiCS'2000 (Relational Methods in Computer Science), Quebec City, Canada, 2000, pp. 133-140.

  2.   R. Janicki, M. Koutny, On Causality of Nets with Priorities, Fundamenta Informaticae 38 (1999) 223-255.

 1998

  1.   R. Janicki, W. Koczkodaj, "A Weak Order Solution to a Group Ranking and Consistency-Driven Pairwise Comparisons", Applied Mathematics and Computation, 94 (1998), 227-241.

 1997

  1.   R. Janicki, M. Koutny, "Fundamentals of Modelling Concurrency Using Discrete Relational Structures", Acta Informatica, 34 (1997), 364-388.

  2.   R. Janicki, D. L. Parnas and J. Zucker, "Tabular Representations", In C. Brink and G. Schmidt (eds.) Relational Methods in Computer Science, Springer-Verlag, 1997, 184-196.

  3.   R. Janicki, "Pairwise Comparisons Revisited", 6th Symposium on Intelligent Information Systems, Zakopane, Poland, 1997, 47-52.

 1996

  1.   R. Janicki, W. Koczkodaj, "A Weak Order Approach to Group Ranking", Computers and Mathematics with Applications, 32, 2 (1996), 51-59.

  2.   R. Janicki, W. Koczkodaj, "Consistency-Driven Approach to Knowledge Acquisition for Expert Systems", Proceedings of CESA'96 (Computational Engineering in System Applications), Lille, France, 1996, 87-96. 

 1995

  1.   R. Janicki, M. Koutny, "Semantics of Inhibitor Nets", Information and Computation, 123, 1 (1995), 1‑16.

  2.   R. Janicki, "Towards a Formal Semantics of Parnas Tables", Proc. of the 17th International Conference on Software Engineering, Seattle, Washington, 1995, 231-240.

 1994

  1.   R. Janicki, M. Koutny, "Representations of Discrete Interval Orders", Journal of Information Processing and Cybernetics, 30, 3 (1994), 161-168.

  2.   R. Janicki, M. Koutny, "Deriving Histories of Nets with Priority Relations", Proc. PARLE'94 (Parallel Architectures and Languages Europe), Lecture Notes in Computer Science 817, Springer 1994, 623-634.

  3.   R. Janicki, "On Non-Numerical Ranking", Proceedings of the 3rd International Workshop on Rough Sets and Soft Computing (RSSC'94), San Jose, California, 1994, 190-197.

 1993

  1.   R. Janicki, M. Koutny, "Structure of Concurrency", Theoretical Computer Science, 112 (1993), 5-52.

  2.   R. Janicki, M. Koutny, "Order Structures and Generalisations of Szpilrajn's Theorem", Proceedings of 13th Fundamentals of Software Technology and Theoretical Computer Science (FSTTC'93), Lecture Notes in Computer Science 761, Springer 1993, 348-357.

  3.   R. Janicki, M. Koutny, "On Generalisations of Szpilrajn's Theorem", Proceedings of Annual CALIBAN Workshop, Munich, Germany (1993), 83-88.
    1992

  4.    R. Janicki, M. Koutny, "Invariants and Paradigms of Concurrency Theory", Future Generation Computer Systems, 8 (1992), 423-435

  5.    R. Janicki, M. Koutny, "Structure of Concurrency", In M. Nivat, C. Ratray, T. Rus, G. Scollo (eds.) Algebraic Methodology and Software Technology, Springer-Verlag, 1992, 98-107.

  6.    R. Janicki, M. Koutny, "Extensions of Partial Order Semantics", CALIBAN Workshop "What Good are Partial Orders?", Sheffield, U.K., 1992, in Hildesheimer Informatik -- Berichte, 13/92.

 1991

  1.    R. Janicki, M. Koutny, "On Some Implementation of Optimal Simulation", DIMACS Series in Discrete Mathematics and Theoretical Computer Science, 3 (1991), 231-250

  2.    R. Janicki, M. Koutny, "Optimal Simulations, Nets and Reachability Graphs", In G. Rozenberg (ed.) Advances of Petri Nets '91, Lecture Notes in Computer Science 524, Springer-Verlag, 1991, 205-226.

  3.    R. Janicki, M. Koutny, "Using Optimal Simulations to Reduce Readability Graphs", Proceedings of CAV'90 (Computer Aided Verification), Lecture Notes in Computer Science 531, Springer 1991.

  4.    R. Janicki, M. Koutny, "Invariant Semantics of Nets with Inhibitor Arcs", Proceedings of CONCUR'91 (International Conference on Concurrency Theory), Lecture Notes in Computer Science 527, Springer 1991, 317-331.

  5.    R. Janicki, M. Koutny, "Invariants and Paradigms of Concurrency Theory", Proceedings of PARLE'91 (Parallel Architectures and Languages Europe), Lecture Notes in Computer Science 506 Springer 1991), 59-74.

  6.    R. Janicki, M. Koutny, "Invariant Semantics of Nets with Inhibitor Arcs", 3rd Workshop on Concurrency and Compositionality, Goslar, Germany, 1991, 143-144.

  7.    R. Janicki, M. Koutny, "Structure of Concurrency", Proceedings of AMAST'91 (Algebraic Methodology and Software Technology) Workshops in Computing, Iowa City, Iowa, 1991, 83-86.

  8.    R. Janicki and M. Koutny, "Relational Structure Semantics at Concurrent Systems", 13th IMACS World Congress on Computation and Applied Mathematics, Dublin, Ireland (July 1991), 709-713.

 1990

  1.    R. Janicki, T. Müldner, "Transformation of Sequential Specifications into Concurrent Specifications by Synchronization Guards", Theoretical Computer Science, 77 (1990), 97-130.

  2.    R. Janicki and M. Koutny, "Observing Concurrent Histories", In H. Zedan (ed.) Real-Time Systems, Theory and Applications, North Holland, 1990, 133-142.

  3.    R. Janicki, M. Koutny, "Net Implementation of Optimal Simulation", Application and Theory of Petri Nets '90, Paris, France, June 1990.

  4.    R. Janicki, M. Koutny, "On Some Implementation of Optimal Simulation", 2nd Workshop on Computer-Aided Verification, Rutgers, New Jersey, June 1990

  5.    R. Janicki, T. Müldner, "A Simple Realization of a Parallel Device Recognizing Regularly Defined Trace Languages", 18th ACM Computer Science Conference, Washington, D.C. (ACM Press, 1990), 147-153.
      

 1989

  1.   R. Janicki, M. Koutny, "Towards a Theory of Simulation for Verification of Concurrent Systems", Parallel Architectures and Languages Europe '89, Lecture Notes in Computer Science 366, Springer 1989, 73-88.

  2.    R. Janicki, T. Müldner, "On Algebraic Transformation of Sequential Specifications", 1st International Conference on Algebraic Methodology and Software Technology AMAST'89, Iowa City, Iowa 1989, 141-144. 

  3.   R. Janicki, T. Müldner, "Complete Sequential Specification Allows for Concurrent Execution", 17th ACM Computer Science Conference, Louisville, Kentucky (ACM Press, 1989), 221-231. 

 1998

  1.   R. Janicki, T. Müldner, "Sequential Specifications and Concurrent Executions of BANACH Programs", CIPS Edmonton.'88 Conference, Edmonton, 1988, 81-88.

  2.   R. Janicki, P. E. Lauer, "On the Semantics of Priority Systems", 17th Annual International Conference on Parallel Processing, Pheasant Run, Illinois, (Penn State Press, 1988), II, 150-156.

  3.   R. Janicki, "How to Relieve a Programmer from Synchronization Details", 16th ACM Computer Science Conference, Atlanta, Georgia (ACM Press, 1988), 438-446.

 1987

  1.    R. Janicki, "A Formal Semantics for Concurrent Systems with a Priority Relation", Acta Informatica, 24 (1987), 33-55.

  2.    P. E. Lauer and R. Janicki, "An Introduction to the MACRO COSY Notation", In K. Voss, H. J. Genrich, G. Rozenberg (eds.) Concurrency and Nets: Advances in Petri Nets, Springer-Verlag, 1987, 284-314.

  3.    R. Janicki and M. Koutny, "On Equivalent Execution Semantics of Concurrent Systems", In G. Rozenberg (ed.), Advances of Petri Nets '87, Lecture Notes in Computer Science 266 Springer‑Verlag, 1987, 89-103.

 1986

  1.    R. Janicki, P. E. Lauer, M. Koutny and R. Devillers, "Concurrent and Maximally Concurrent Evolution of Non-Sequential Systems", Theoretical Computer Science, 43 (1986), 213-238.

  2.    R. Janicki, "On the Concept of Concurrency in Computers and Computations", Proceedings of 11th IMACS World Congress on System Simulation and Scientific Computations, in Computer Systems: Performance and Simulation, edited by M. Ruschitzka (North Holland, 1986), 95-102.

 1985

  1.    R. Janicki, "Transforming Sequential Systems into Concurrent Systems", Theoretical Computer Science, 36 (1985), 27-58.

  2.    R. Janicki, "Equivalence Notion for Path Expressions Systems", Elektron. Informations-verarbeitung und Kybernetik EIK, 21, 6 (1985), 283-295.

  3.    R. Janicki, P. E. Lauer and R. Devillers, "Maximal Concurrent Evolution of Non-Sequential Systems", Lecture Notes in Computer Science 197, Springer 1985, 268-280.

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

  5.    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.

 1984

  1.    R. Janicki, "Nets, Sequential Components and Concurrency Relations", Theoretical Computer Science, 29 (1984), 87-121.

  2.    R. Janicki, "A Method for Developing Concurrent Systems", 6th International Symposium on Programming, Lecture Notes in Computer Science 167, Springer 1984, 155-166.

  3.    R. Janicki, "Mazurkiewicz Trace Semantics for Communicating Sequential Systems", 5th European Workshop on Application and Theory of Petri Nets, Aarhus, Denmark, 1984, 50-71.

  4.   P. E. Lauer, J. R. Just, R. Janicki, "Modelling the Control Structure for Microprocessor Systems by Means of Petri Nets", Modelling, Identification and Control MIC '84, Innsbruck, Austria, 1984.
      

 1983

  1.    R. Janicki, P. E. Lauer, J. R. Just, "On the Description of Simple Microprocessor Configurations by Means of Petri Nets", 3rd Symposium on Microcomputer and Microprocessor Applications, Budapest, Hungary, 1983, 909-919.

 1982

  1.    R. Janicki, "On Concurrent Systems and Concurrency Relations", Proceedings of the 8th International Conference on Operating Systems, Visegrad, Hungary, 1982, 43-54.

  2.    E. Eberbach and R. Janicki, "A Note on Infinite Sets of Equations and Fixedpoint Semantics of Vectors of Coroutines", Proceedings of the 8th International Conference on Operating Systems, Visegrad, Hungary, 1982, 13-36.

  3.    R. Janicki, "Analysis of Concurrent Systems by Means of Concurrency Relations", Proceedings of the 1st AFCET Conference "Mathematics for Computer Science", Paris, France, 1982, 265-272.

 1981

  1.    R. Janicki, "A Construction of Concurrent Schemes by Means of Sequential Solutions and Concurrency Relations", Formalisation of Programming Concepts, Peniscola, Spain, 1981, Lecture Notes in Computer Science 107, Springer 1981, 327-334.

  2.    R. Janicki, "On the Design of Concurrent Systems", Proceedings of the 2nd Conference on Distributed Computing Systems. New York: Computer Society Press, 1981, 455-466.

 1980

  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.

  3.    R. Janicki, "On Atomic Nets and Concurrency Relations", Mathematical Foundations of Computer Science 1980, Lecture Notes in Computer Science 88, Springer 1980, 320-333.

  4.    R. Janicki, "An Algebraic Structure of Petri Nets", 4th International Symposium on Programming, Lecture Notes in Computer Science 83, Springer 1980, 177-192.

  5.    R. Janicki, "Remarks on the Structure of Unmarked Petri Nets", Proceedings of the 6th International Conference on Operating Systems, Visegrad, Hungary, 1980, 141-158.

 1979

  1.    R. Janicki, "Analysis of Vectors of Coroutines by Means of Components", Mathematical Research, 2 (1979), 207-213.

  2.    R. Janicki, "Analysis of Coroutines by Means of Vectors of Coroutines", Fundamenta Informaticae, 2, 2 (1979), 289-316.

  3.   R. Janicki, "A Characterisation of Concurrency-Like Relations, Semantics of Concurrent Computations", Lecture Notes in Computer Science 70, Springer 1979, 109-122.

 1978

  1.    R. Janicki, "Synthesis of Concurrent Schemes", Mathematical Foundations of Computer Science '78, Lecture Notes in Computer Science 64, Springer 1978, 289-307.

 1977

  1.    R. Janicki, "An Algebraic Approach to the Theory of Recursive Coroutines", Fundamenta Informaticae, 1, 1 (1977), 131-145.

  2.    R. Janicki, "Vectors of Coroutines over Blikle Nets", Fundamentals of Computation Theory '77, Lecture Notes in Computer Science 56, Springer 1977, 113-119.

1976

  1.    R. Janicki, "Vectors of Coroutines", Mathematical Foundations of Computer Science '76, Lecture Notes in Computer Science 45, Springer 1976, 377-384.


Back to Homepage