Vectors of Coroutines. - Ryszard Janicki (MFCS, 1976)

Vectors of Coroutines over Blikle Nets. - Ryszard Janicki (FCT, 1977)

Synthesis of Concurrent Schemes. - Ryszard Janicki (MFCS, 1978)

Analysis of vectors of coroutines by means of components. - Ryszard Janicki (FCT, 1979)

A Characterization of Concurrency-Like Relations. - Ryszard Janicki (Semantics of Concurrent Computation, 1979)

On Atomic Nets and Concurrency Relations. - Ryszard Janicki (MFCS, 1980)

An Algebraic Structure of Petri Nets. - Ryszard Janicki (Symposium on Programming, 1980)

Some remarks on deterministic Mazurkiewicz algorithms and languages associated with them. - Ryszard Janicki (Fundam. Informaticae, 1980)

On the Design of Concurrent Systems. - Ryszard Janicki (ICDCS, 1981)

A Construction of Concurrent Systems by Means of Sequential Solutions and Concurrency Relations. - Ryszard Janicki (ICFPC, 1981)

Maximally Concurrent Evolution of Non-sequential Systems. - Ryszard Janicki; Peter E. Lauer; Raymond Devillers (Seminar on Concurrency, 1984)

A Method for Developing Concurrent Systems. - Ryszard Janicki (Symposium on Programming, 1984)

Nets, Sequential Components and Concurrency Relations. - Ryszard Janicki (Theor. Comput. Sci., 1984)

An Equivalence Notion for Path Expressions Systems. - Ryszard Janicki (J. Inf. Process. Cybern., 1985)

Transforming Sequential Systems into Concurrent Systems. - Ryszard Janicki (Theor. Comput. Sci., 1985)

On equivalent execution semantics of concurrent systems. - Ryszard Janicki; Maciej Koutny (European Workshop on Applications and Theory of Petri Nets, 1986)

Concurrent and Maximally Concurrent Evolution of Nonsequential Systems. - Ryszard Janicki; Peter E. Lauer; Maciej Koutny; Raymond Devillers (Theor. Comput. Sci., 1986)

A Formal Semantics for Concurrent Systems with a Priority Relation. - Ryszard Janicki (Acta Informatica, 1987)

How to relieve a programmer from synchronization details. - Ryszard Janicki (ACM Conference on Computer Science, 1988)

On the Semantics Of Priority Systems. - Ryszard Janicki; Peter E. Lauer (ICPP (2), 1988)

Complete Sequential Specification Allows for Concurrent Execution. - Ryszard Janicki; Tomasz Müldner (ACM Conference on Computer Science, 1989)

Towards A Theory Of Simulation For Verification Of Concurrent Systems. - Ryszard Janicki; Maciej Koutny (PARLE (2), 1989)

A Simple Realization of a Parallel Device Recognizing Regular Trace Languages. - Ryszard Janicki; Tomasz Müldner (ACM Conference on Computer Science, 1990)

Optimal simulations, nets and reachability graphs. - Ryszard Janicki; Maciej Koutny (Applications and Theory of Petri Nets, 1990)

Using Optimal Simulations to Reduce Reachability Graphs. - Ryszard Janicki; Maciej Koutny (CAV, 1990)

On Some Implementation of Optimal Simulations. - Ryszard Janicki; Maciej Koutny (CAV (DIMACS/AMS volume), 1990)

Transformations of Sequential Specifications into Concurrent Specifications by Synchronization Guards. - Ryszard Janicki; Tomasz Müldner (Theor. Comput. Sci., 1990)

Invariant Semantics of Nets with Inhibitor Arcs. - Ryszard Janicki; Maciej Koutny (CONCUR, 1991)

Invariants and paradigms of concurrency theory. - Ryszard Janicki; Maciej Koutny (Future Gener. Comput. Syst., 1992)

Specification and Analysis of Concurrent Systems - The COSY Approach - Ryszard Janicki; Peter E. Lauer (Springer, 1992)

Order Structures and Generalisations of Szpilrajn's Theorem. - Ryszard Janicki; Maciej Koutny (FSTTCS, 1993)

Structure of Concurrency. - Ryszard Janicki; Maciej Koutny (Theor. Comput. Sci., 1993)

Deriving Histories of Nets with Priority Relation. - Ryszard Janicki; Maciej Koutny (PARLE, 1994)

Representations of Discrete Interval Orders and Semi-Orders. - Ryszard Janicki; Maciej Koutny (J. Inf. Process. Cybern., 1994)

Towards a Formal Semantics of Parnas Tables. - Ryszard Janicki (ICSE, 1995)

Semantics of Inhibitor Nets. - Ryszard Janicki; Maciej Koutny (Inf. Comput., 1995)

Tabular Representations in Relational Documents. - Ryszard Janicki; David Lorge Parnas; Jeffery I. Zucker (Relational Methods in Computer Science, 1997)

Fundamentals of Modelling Concurrency Using Discrete Relational Structures. - Ryszard Janicki; Maciej Koutny (Acta Informatica, 1997)

A weak order solution to a group ranking and consistency-driven pairwise comparisons. - Ryszard Janicki; Waldemar W. Koczkodaj (Appl. Math. Comput., 1998)

On Causality Semantics of Nets with Priorities. - Ryszard Janicki; Maciej Koutny (Fundam. Informaticae, 1999)

Remarks on Mereology of Relations. - Ryszard Janicki; Ridha Khédri (RelMiCS, 2000)

On Trace Assertion Method of Module Interface Specification with Concurrency. - Ryszard Janicki; Yan Liu (Rough Sets and Current Trends in Computing, 2000)

On a formal semantics of tabular expressions. - Ryszard Janicki; Ridha Khédri (Sci. Comput. Program., 2001)

Foundations of the Trace Assertion Method of Module Interface Specification. - Ryszard Janicki; Emil Sekerinski (IEEE Trans. Software Eng., 2001)

Modelling Concurrent Behaviours by Commutativity and Weak Causality Relations. - Guangyuan Guo; Ryszard Janicki (AMAST, 2002)

A simplistic Mereological System for Relations. - Ryszard Janicki; Yuanyuan Zhang (IC-AI, 2002)

On a Mereological System for Relational Software Specifications. - Ryszard Janicki (MFCS, 2002)

On Concurrency Control in Object-oriented Databases. - Daniela Rosu 002; Ryszard Janicki (PDPTA, 2002)

Towards a Mereological System for Direct Products and Relations. - Ryszard Janicki (Rough Sets and Current Trends in Computing, 2002)

On tabular expressions. - Ryszard Janicki; Alan Wassyng (CASCON, 2003)

Verifying protocols by model checking: a case study of the wireless application protocol and the model checker SPIN. - Yu-Tong He; Ryszard Janicki (CASCON, 2004)

A Generalisation of a Relational Structures Model of Concurrency. - Ryszard Janicki (ICTAC, 2004)

Verification of the WAP Transaction Layer. - Yu-Tong He; Ryszard Janicki (SEFM, 2004)

On Properties of 'Part of' Relations. - Ryszard Janicki; Yun Zhai (Software Engineering Research and Practice, 2004)

Modelling Concurrency with Tabular Expressions. - Yuwen Yang; Ryszard Janicki (Software Engineering Research and Practice, 2004)

Preface. - Ryszard Janicki (Fundam. Informaticae, 2004)

Basic Mereology with Equivalence Relations. - Ryszard Janicki (MFCS, 2005)

Tabular Expressions and Their Relational Semantics. - Ryszard Janicki; Alan Wassyng (Fundam. Informaticae, 2005)

On a Parthood Specification Method for Component Software. - Dai Tri Man Le; Ryszard Janicki (RSCTC, 2006)

Special Issueon Application of Concurrency to System Design. - Ryszard Janicki (Fundam. Informaticae, 2006)

Attacking the Web Cancer with the Automatic Understanding Approach. - Ratvinder Singh Grewal; Ryszard Janicki; Tamar Kakiashvili; K. Kielan; Waldemar W. Koczkodaj; Kalpdrum Passi; Ryszard Tadeusiewicz (AWIC, 2007)

Pairwise Comparisons, Incomparability and Partial Orders. - Ryszard Janicki (ICEIS (2), 2007)

Computing Properties of Numerical Imperative Programs by Symbolic Computation. - Jacques Carette; Ryszard Janicki (Fundam. Informaticae, 2007)

Towards a Pragmatic Mereology. - Ryszard Janicki; Dai Tri Man Le (Fundam. Informaticae, 2007)

Modelling Concurrency with Quotient Monoids. - Ryszard Janicki; Dai Tri Man Le (Petri Nets, 2008)

Some Remarks on Approximations of Arbitrary Binary Relations by Partial Orders. - Ryszard Janicki (RSCTC, 2008)

Ranking with Partial Orders and Pairwise Comparisons. - Ryszard Janicki (RSKT, 2008)

Relational structures model of concurrency. - Ryszard Janicki (Acta Informatica, 2008)

A Categorical Approach to Mereology and Its Application to Modelling Software Components. - Dai Tri Man Le; Ryszard Janicki (Trans. Rough Sets, 2008)

On Closure Operator for Interval Order Structures. - Ryszard Janicki; Nadezhda Zubkova (FCS, 2009)

Closure Operators for Order Structures. - Ryszard Janicki; Dai Tri Man Le; Nadezhda Zubkova (FCT, 2009)

On Rough Sets with Structures and Properties. - Ryszard Janicki (RSFDGrC, 2009)

Benefits of Using Tabular Expressions in Planning Health Services. - Volodymyr Babiy; Ryszard Janicki; Tiffany Jingco; Tamar Kakiashvili; Waldemar W. Koczkodaj; Marc Woodbury-Smith (Software Engineering Research and Practice, 2009)

Tabular Expressions vs Software Cost Reduction. - Imen Bourguiba; Ryszard Janicki (Software Engineering Research and Practice, 2009)

Proving Properties of Programs with Theorem Provers - Experiments with Z3 and Simplify. - Ryszard Janicki; Ewa Romanowicz (Software Engineering Research and Practice, 2009)

Pairwise Comparisons Based Non-Numerical Ranking. - Ryszard Janicki (Fundam. Informaticae, 2009)

Quotient Monoids and Concurrent Behaviours. - Ryszard Janicki; Jetty Kleijn; Maciej Koutny (Scientific Applications of Language Methods, 2010)

On Consistency in Pairwise Comparisons Based Numerical and Non-Numerical Ranking. - Yun Zhai; Ryszard Janicki (FCS, 2010)

Selecting the best strategy in a software certification process. - Waldemar W. Koczkodaj; Vova Babiy; Agnieszka D. Bogobowicz; Ryszard Janicki; Alan Wassyng (IMCSIT, 2010)

Preserving Consistency and Properties in Pairwise Comparisons Based Non-Numerical Ranking. - Yun Zhai; Ryszard Janicki (Software Engineering Research and Practice, 2010)

Remarks on Pairwise Comparison Numerical and Non-numerical Rankings. - Ryszard Janicki; Yun Zhai (RSKT, 2011)

Preface. - Stephen A. Edwards; Ryszard Janicki; Walter Vogler (Fundam. Informaticae, 2011)

Modelling concurrency with comtraces and generalized comtraces. - Ryszard Janicki; Dai Tri Man Le (Inf. Comput., 2011)

Approximations of Arbitrary Binary Relations by Partial Orders: Classical and Rough Set Models. - Ryszard Janicki (Trans. Rough Sets, 2011)

Modeling Interval Order Structures with Partially Commutative Monoids. - Ryszard Janicki; Xiang Yin; Nadezhda Zubkova (CONCUR, 2012)

Optimization of Quadtree Representation and Compression. - Xiang Yin; Ryszard Janicki (RSCTC, 2012)

On a pairwise comparison-based consistent non-numerical ranking. - Ryszard Janicki; Yun Zhai (Log. J. IGPL, 2012)

Causal Structures for General Concurrent Behaviours. - Ryszard Janicki; Jetty Kleijn; Maciej Koutny; Lukasz Mikulski (CS&P, 2013)

Optimal Approximations with Rough Sets. - Ryszard Janicki; Adam Lenarcic (RSKT, 2013)

On Pairwise Comparisons Based Internal and External Measures for Software Evaluation. - Agnieszka D. Bogobowicz; Ryszard Janicki (WETICE, 2013)

Weighted Features Classification with Pairwise Comparisons, Support Vector Machines and Feature Domain Overlapping. - Mohammad Hadi Soudkhah; Ryszard Janicki (WETICE, 2013)

Property-Driven Rough Sets Approximations of Relations. - Ryszard Janicki (Rough Sets and Intelligent Systems (1), 2013)

On Interval Process Semantics of Petri Nets with Inhibitor Arcs. - Mohammed A. Alqarni; Ryszard Janicki (Petri Nets, 2015)

Order Structures for Subclasses of Generalised Traces. - Ryszard Janicki; Jetty Kleijn; Maciej Koutny; Lukasz Mikulski (LATA, 2015)

On Classification with Pairwise Comparisons, Support Vector Machines and Feature Domain Overlapping. - Ryszard Janicki; Mohammad Hadi Soudkhah (Comput. J., 2015)

Characterising Concurrent Histories. - Ryszard Janicki; Jetty Kleijn; Maciej Koutny; Lukasz Mikulski (Fundam. Informaticae, 2015)

Corroborating Quality of Data Through Density Information. - Samir Al-janabi; Ryszard Janicki (IntelliSys (1), 2016)

On Approximation of Relations by Generalized Closures and Generalized Kernels. - Agnieszka D. Bogobowicz; Ryszard Janicki (IJCRS, 2016)

On Optimal Approximations of Arbitrary Relations by Partial Orders. - Ryszard Janicki (IJCRS, 2016)

Step traces. - Ryszard Janicki; Jetty Kleijn; Maciej Koutny; Lukasz Mikulski (Acta Informatica, 2016)

Preface. - Ryszard Janicki; Konrad Kulakowski (Fundam. Informaticae, 2016)

Optimal approximations with Rough Sets and similarities in measure spaces. - Ryszard Janicki; Adam Lenarcic (Int. J. Approx. Reason., 2016)

On Synthesising Step Alphabets for Acyclic Invariant Structures. - Ryszard Janicki; Jetty Kleijn; Maciej Koutny; Lukasz Mikulski (ATAED@Petri Nets/ACSD, 2017)

datumPIPE: Data Generator and Corrupter for Multiple Data Quality Aspects. - Samir Al-janabi; Abubaker Hamid; Ryszard Janicki (ASONAM, 2017)

Yet Another Kind of Rough Sets Induced by Coverings. - Ryszard Janicki (IJCRS (1), 2017)

Alphabets of Acyclic Invariant Structures. - Ryszard Janicki; Jetty Kleijn; Maciej Koutny; Lukasz Mikulski (Fundam. Informaticae, 2017)

Invariant Structures and Dependence Relations. - Ryszard Janicki; Jetty Kleijn; Maciej Koutny; Lukasz Mikulski (Fundam. Informaticae, 2017)

Modeling concurrency with interval traces. - Ryszard Janicki; Xiang Yin (Inf. Comput., 2017)

Modeling Operational Semantics with Interval Orders Represented by Sequences of Antichains. - Ryszard Janicki (Petri Nets, 2018)

A Precise Characterisation of Step Traces and Their Concurrent Histories. - Ryszard Janicki; Jetty Kleijn; Lukasz Mikulski (Sci. Ann. Comput. Sci., 2018)

Approximations of arbitrary relations by partial orders. - Ryszard Janicki (Int. J. Approx. Reason., 2018)

Interval semantics for Petri nets with inhibitor arcs. - Mohammed A. Alqarni; Ryszard Janicki (Theor. Comput. Sci., 2018)

Petri Nets: A Simple Language and Tool for Modeling Complex Ideas. - Ryszard Janicki (Carl Adam Petri: Ideas, Personality, Impact, 2019)

On Interval Semantics of Inhibitor and Activator Nets. - Ryszard Janicki (Petri Nets, 2019)

Local Search for Attribute Reduction. - Xiaojun Xie; Ryszard Janicki; Xiaolin Qin; Wei Zhao; Guangmei Huang (IJCRS, 2019)

Operational Semantics, Interval Orders and Sequences of Antichains. - Ryszard Janicki; Maciej Koutny (Fundam. Informaticae, 2019)

Classifying invariant structures of step traces. - Ryszard Janicki; Jetty Kleijn; Maciej Koutny; Lukasz Mikulski (J. Comput. Syst. Sci., 2019)

A novel test-cost-sensitive attribute reduction approach using the binary bat algorithm. - Xiaojun Xie; Xiaolin Qin; Qian Zhou; Yanghao Zhou; Tong Zhang; Ryszard Janicki; Wei Zhao (Knowl. Based Syst., 2019)

Modelling and Analyzing Electrocardiogram Events using Timed Coloured Petri Nets. - Mohammed Assiri; Ryszard Janicki (PNSE@Petri Nets, 2020)

On relationships between imbalance and overlapping of datasets. - Waleed Almutairi; Ryszard Janicki (CATA, 2020)

Algebraic Structure of Step Traces and Interval Traces. - Ryszard Janicki; Lukasz Mikulski (Fundam. Informaticae, 2020)

Towards Modeling of Cardiac Pacemakers With Timed Coloured Petri Nets And Related Tools. - Mohammed Assiri; Ryszard Janicki (PNSE@Petri Nets, 2021)

Preface. - Ryszard Janicki; Slawomir Lasota 001; Natalia Sidorova (Fundam. Informaticae, 2021)

Relational structures for concurrent behaviours. - Ryszard Janicki; Jetty Kleijn; Maciej Koutny; Lukasz Mikulski (Theor. Comput. Sci., 2021)

On Multiplicative, Additive and Qualitative Pairwise Comparisons. - Ryszard Janicki; Mahmoud Mahmoud (FedCSIS, 2022)

Similarity for Multisets and Heterogeneous Sets. - Ryszard Janicki (IPMU (1), 2022)

Data repair of density-based data cleaning approach using conditional functional dependencies. - Samir Al-janabi; Ryszard Janicki (Data Technol. Appl., 2022)

Paradigms of Concurrency - Observations, Behaviours, and Systems - a Petri Net View - Ryszard Janicki; Jetty Kleijn; Maciej Koutny; Lukasz Mikulski (Springer, 2022)

Interval Traces with Mutex Relation. - Ryszard Janicki; Maciej Koutny; Lukasz Mikulski (Petri Nets, 2023)

Preventing Image Data Poisoning Attacks in Federated Machine Learning by an Encrypted Verification Key. - Mahdee Jodayree; Wenbo He; Ryszard Janicki (KES, 2023)

Preventing Text Data Poisoning Attacks in Federated Machine Learning by an Encrypted Verification Key. - Mahdee Jodayree; Wenbo He; Ryszard Janicki (IJCRS, 2023)

On some generalization of rough sets. - Ryszard Janicki (Int. J. Approx. Reason., 2023)

Relational Structures for Interval Order Semantics of Concurrent Systems. - Ryszard Janicki; Jetty Kleijn; Maciej Koutny; Lukasz Mikulski (Petri Nets, 2024)

A Hybrid Stochastic-Full Enumeration Approach to a Ranking Problem with Insufficient Information. - Jirí Mazurek; Ryszard Janicki (CISS, 2024)

On Efficacy of Approximating Arbitrary Relations by Partial Orders. - Ryszard Janicki; Ni Yang (IPMU (1), 2024)

Finding Consistent Pairwise Comparisons with Genetic Algorithms. - Atiyeh Sayadi; Ryszard Janicki (IJCRS (2), 2024)

Minimizing Inconsistency in Pairwise Comparison Matrices Using Genetic Algorithm. - Atiyeh Sayadi; Baran Shajari; Ryszard Janicki (CISS, 2025)