Ryszard Janicki

ORCID

Publication Activity (10 Years)

Years Active: 1976-2024
Publications (10 Years): 36

Top Venues

Fundam. Informaticae

Petri Nets

IJCRS

Int. J. Approx. Reason.

Publications

Jirí Mazurek, Ryszard Janicki
A Hybrid Stochastic-Full Enumeration Approach to a Ranking Problem with Insufficient Information. CISS (2024)
Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
Relational Structures for Interval Order Semantics of Concurrent Systems. Petri Nets (2024)
Mahdee Jodayree, Wenbo He, Ryszard Janicki
Preventing Image Data Poisoning Attacks in Federated Machine Learning by an Encrypted Verification Key. KES (2023)
Ryszard Janicki
On some generalization of rough sets. Int. J. Approx. Reason. 163 (2023)
Mahdee Jodayree, Wenbo He, Ryszard Janicki
Preventing Text Data Poisoning Attacks in Federated Machine Learning by an Encrypted Verification Key. IJCRS (2023)
Ryszard Janicki, Maciej Koutny, Lukasz Mikulski
Interval Traces with Mutex Relation. Petri Nets (2023)
Samir Al-janabi, Ryszard Janicki
Data repair of density-based data cleaning approach using conditional functional dependencies. Data Technol. Appl. 56 (3) (2022)
Ryszard Janicki, Mahmoud Mahmoud
On Multiplicative, Additive and Qualitative Pairwise Comparisons. FedCSIS (2022)
Ryszard Janicki
Similarity for Multisets and Heterogeneous Sets. IPMU (1) (2022)
Ryszard Janicki, Slawomir Lasota, Natalia Sidorova
Preface. Fundam. Informaticae 183 (3-4) (2021)
Mohammed Assiri, Ryszard Janicki
Towards Modeling of Cardiac Pacemakers With Timed Coloured Petri Nets And Related Tools. PNSE@Petri Nets (2021)
Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
Relational structures for concurrent behaviours. Theor. Comput. Sci. 862 (2021)
Waleed Almutairi, Ryszard Janicki
On relationships between imbalance and overlapping of datasets. CATA (2020)
Ryszard Janicki, Lukasz Mikulski
Algebraic Structure of Step Traces and Interval Traces. Fundam. Informaticae 175 (1-4) (2020)
Mohammed Assiri, Ryszard Janicki
Modelling and Analyzing Electrocardiogram Events using Timed Coloured Petri Nets. PNSE@Petri Nets (2020)
Xiaojun Xie, Ryszard Janicki, Xiaolin Qin, Wei Zhao, Guangmei Huang
Local Search for Attribute Reduction. IJCRS (2019)
Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
Classifying invariant structures of step traces. J. Comput. Syst. Sci. 104 (2019)
Ryszard Janicki, Maciej Koutny
Operational Semantics, Interval Orders and Sequences of Antichains. Fundam. Informaticae 169 (1-2) (2019)
Xiaojun Xie, Xiaolin Qin, Qian Zhou, Yanghao Zhou, Tong Zhang, Ryszard Janicki, Wei Zhao
A novel test-cost-sensitive attribute reduction approach using the binary bat algorithm. Knowl. Based Syst. 186 (2019)
Ryszard Janicki
On Interval Semantics of Inhibitor and Activator Nets. Petri Nets (2019)
Ryszard Janicki
Approximations of arbitrary relations by partial orders. Int. J. Approx. Reason. 98 (2018)
Ryszard Janicki
Modeling Operational Semantics with Interval Orders Represented by Sequences of Antichains. Petri Nets (2018)
Ryszard Janicki, Jetty Kleijn, Lukasz Mikulski
A Precise Characterisation of Step Traces and Their Concurrent Histories. Sci. Ann. Comput. Sci. 28 (2) (2018)
Mohammed Alqarni, Ryszard Janicki
Interval semantics for Petri nets with inhibitor arcs. Theor. Comput. Sci. 727 (2018)
Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
On Synthesising Step Alphabets for Acyclic Invariant Structures. ATAED@Petri Nets/ACSD (2017)
Samir Al-janabi, Abubaker Hamid, Ryszard Janicki
datumPIPE: Data Generator and Corrupter for Multiple Data Quality Aspects. ASONAM (2017)
Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
Alphabets of Acyclic Invariant Structures. Fundam. Informaticae 154 (1-4) (2017)
Ryszard Janicki
Yet Another Kind of Rough Sets Induced by Coverings. IJCRS (1) (2017)
Ryszard Janicki, Xiang Yin
Modeling concurrency with interval traces. Inf. Comput. 253 (2017)
Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
Invariant Structures and Dependence Relations. Fundam. Informaticae 155 (1-2) (2017)
Agnieszka D. Bogobowicz, Ryszard Janicki
On Approximation of Relations by Generalized Closures and Generalized Kernels. IJCRS (2016)
Ryszard Janicki, Adam Lenarcic
Optimal approximations with Rough Sets and similarities in measure spaces. Int. J. Approx. Reason. 71 (2016)
Ryszard Janicki
On Optimal Approximations of Arbitrary Relations by Partial Orders. IJCRS (2016)
Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
Step traces. Acta Informatica 53 (1) (2016)
Samir Al-janabi, Ryszard Janicki
Corroborating Quality of Data Through Density Information. IntelliSys (1) (2016)
Ryszard Janicki, Konrad Kulakowski
Preface. Fundam. Informaticae 144 (3-4) (2016)
Mohammed Alqarni, Ryszard Janicki
On Interval Process Semantics of Petri Nets with Inhibitor Arcs. Petri Nets (2015)
Ryszard Janicki, Mohammad Hadi Soudkhah
On Classification with Pairwise Comparisons, Support Vector Machines and Feature Domain Overlapping. Comput. J. 58 (3) (2015)
Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
Characterising Concurrent Histories. Fundam. Informaticae 139 (1) (2015)
Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
Order Structures for Subclasses of Generalised Traces. LATA (2015)
Ryszard Janicki, Adam Lenarcic
Optimal Approximations with Rough Sets. RSKT (2013)
Agnieszka D. Bogobowicz, Ryszard Janicki
On Pairwise Comparisons Based Internal and External Measures for Software Evaluation. WETICE (2013)
Mohammad Hadi Soudkhah, Ryszard Janicki
Weighted Features Classification with Pairwise Comparisons, Support Vector Machines and Feature Domain Overlapping. WETICE (2013)
Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
Causal Structures for General Concurrent Behaviours. CS&P (2013)
Ryszard Janicki, Xiang Yin, Nadezhda Zubkova
Modeling Interval Order Structures with Partially Commutative Monoids. CONCUR (2012)
Ryszard Janicki, Yun Zhai
On a pairwise comparison-based consistent non-numerical ranking. Log. J. IGPL 20 (4) (2012)
Xiang Yin, Ryszard Janicki
Optimization of Quadtree Representation and Compression. RSCTC (2012)
Ryszard Janicki, Yun Zhai
Remarks on Pairwise Comparison Numerical and Non-numerical Rankings. RSKT (2011)
Ryszard Janicki, Dai Tri Man Le
Modelling concurrency with comtraces and generalized comtraces. Inf. Comput. 209 (11) (2011)
Stephen A. Edwards, Ryszard Janicki, Walter Vogler
Preface. Fundam. Informaticae 108 (1-2) (2011)
Ryszard Janicki
Approximations of Arbitrary Binary Relations by Partial Orders: Classical and Rough Set Models. Trans. Rough Sets 13 (2011)
Yun Zhai, Ryszard Janicki
Preserving Consistency and Properties in Pairwise Comparisons Based Non-Numerical Ranking. Software Engineering Research and Practice (2010)
Waldemar W. Koczkodaj, Vova Babiy, Agnieszka D. Bogobowicz, Ryszard Janicki, Alan Wassyng
Selecting the best strategy in a software certification process. IMCSIT (2010)
Yun Zhai, Ryszard Janicki
On Consistency in Pairwise Comparisons Based Numerical and Non-Numerical Ranking. FCS (2010)
Ryszard Janicki, Dai Tri Man Le
Modelling Concurrency with Comtraces and Generalized Comtraces CoRR (2009)
Volodymyr Babiy, Ryszard Janicki, Tiffany Jingco, Tamar Kakiashvili, Waldemar W. Koczkodaj, Marc Woodbury-Smith
Benefits of Using Tabular Expressions in Planning Health Services. Software Engineering Research and Practice (2009)
Ryszard Janicki, Ewa Romanowicz
Proving Properties of Programs with Theorem Provers - Experiments with Z3 and Simplify. Software Engineering Research and Practice (2009)
Imen Bourguiba, Ryszard Janicki
Tabular Expressions vs Software Cost Reduction. Software Engineering Research and Practice (2009)
Ryszard Janicki
On Rough Sets with Structures and Properties. RSFDGrC (2009)
Ryszard Janicki, Dai Tri Man Le, Nadezhda Zubkova
Closure Operators for Order Structures. FCT (2009)
Ryszard Janicki, Nadezhda Zubkova
On Closure Operator for Interval Order Structures. FCS (2009)
Ryszard Janicki
Pairwise Comparisons Based Non-Numerical Ranking. Fundam. Informaticae 94 (2) (2009)
Dai Tri Man Le, Ryszard Janicki
A Categorical Approach to Mereology and Its Application to Modelling Software Components. Trans. Rough Sets 8 (2008)
Ryszard Janicki, Dai Tri Man Le
Modelling Concurrency with Quotient Monoids. Petri Nets (2008)
Ryszard Janicki
Ranking with Partial Orders and Pairwise Comparisons. RSKT (2008)
Ryszard Janicki
Some Remarks on Approximations of Arbitrary Binary Relations by Partial Orders. RSCTC (2008)
Ryszard Janicki
Relational structures model of concurrency. Acta Informatica 45 (4) (2008)
Ryszard Janicki
Pairwise Comparisons, Incomparability and Partial Orders. ICEIS (2) (2007)
Ryszard Janicki, Dai Tri Man Le
Towards a Pragmatic Mereology. Fundam. Informaticae 75 (1-4) (2007)
Jacques Carette, Ryszard Janicki
Computing Properties of Numerical Imperative Programs by Symbolic Computation. Fundam. Informaticae 80 (1-3) (2007)
Ratvinder Singh Grewal, Ryszard Janicki, Tamar Kakiashvili, K. Kielan, Waldemar W. Koczkodaj, Kalpdrum Passi, Ryszard Tadeusiewicz
Attacking the Web Cancer with the Automatic Understanding Approach. AWIC (2007)
Ryszard Janicki
Special Issueon Application of Concurrency to System Design. Fundam. Informaticae 70 (1-2) (2006)
Dai Tri Man Le, Ryszard Janicki
On a Parthood Specification Method for Component Software. RSCTC (2006)
Ryszard Janicki, Alan Wassyng
Tabular Expressions and Their Relational Semantics. Fundam. Informaticae 67 (4) (2005)
Ryszard Janicki
Basic Mereology with Equivalence Relations. MFCS (2005)
Ryszard Janicki, Yun Zhai
On Properties of 'Part of' Relations. Software Engineering Research and Practice (2004)
Ryszard Janicki
Preface. Fundam. Informaticae 62 (2) (2004)
Yuwen Yang, Ryszard Janicki
Modelling Concurrency with Tabular Expressions. Software Engineering Research and Practice (2004)
Yu-Tong He, Ryszard Janicki
Verification of the WAP Transaction Layer. SEFM (2004)
Yu-Tong He, Ryszard Janicki
Verifying protocols by model checking: a case study of the wireless application protocol and the model checker SPIN. CASCON (2004)
Ryszard Janicki
A Generalisation of a Relational Structures Model of Concurrency. ICTAC (2004)
Ryszard Janicki, Alan Wassyng
On tabular expressions. CASCON (2003)
Ryszard Janicki
On a Mereological System for Relational Software Specifications. MFCS (2002)
Daniela Rosu, Ryszard Janicki
On Concurrency Control in Object-oriented Databases. PDPTA (2002)
Guangyuan Guo, Ryszard Janicki
Modelling Concurrent Behaviours by Commutativity and Weak Causality Relations. AMAST (2002)
Ryszard Janicki, Yuanyuan Zhang
A simplistic Mereological System for Relations. IC-AI (2002)
Ryszard Janicki
Towards a Mereological System for Direct Products and Relations. Rough Sets and Current Trends in Computing (2002)
Ryszard Janicki, Ridha Khédri
On a formal semantics of tabular expressions. Sci. Comput. Program. 39 (2-3) (2001)
Ryszard Janicki, Emil Sekerinski
Foundations of the Trace Assertion Method of Module Interface Specification. IEEE Trans. Software Eng. 27 (7) (2001)
Ryszard Janicki, Yan Liu
On Trace Assertion Method of Module Interface Specification with Concurrency. Rough Sets and Current Trends in Computing (2000)
Ryszard Janicki, Ridha Khédri
Remarks on Mereology of Relations. RelMiCS (2000)
Ryszard Janicki, Maciej Koutny
On Causality Semantics of Nets with Priorities. Fundam. Informaticae 38 (3) (1999)
Ryszard Janicki, Waldemar W. Koczkodaj
A weak order solution to a group ranking and consistency-driven pairwise comparisons. Appl. Math. Comput. 94 (2-3) (1998)
Ryszard Janicki, Maciej Koutny
Fundamentals of Modelling Concurrency Using Discrete Relational Structures. Acta Informatica 34 (5) (1997)
Ryszard Janicki
Towards a Formal Semantics of Parnas Tables. ICSE (1995)
Ryszard Janicki, Maciej Koutny
Semantics of Inhibitor Nets. Inf. Comput. 123 (1) (1995)
Ryszard Janicki, Maciej Koutny
Representations of Discrete Interval Orders and Semi-Orders. J. Inf. Process. Cybern. 30 (3) (1994)
Ryszard Janicki, Maciej Koutny
Deriving Histories of Nets with Priority Relation. PARLE (1994)
Ryszard Janicki, Maciej Koutny
Structure of Concurrency. Theor. Comput. Sci. 112 (1) (1993)
Ryszard Janicki, Maciej Koutny
Order Structures and Generalisations of Szpilrajn's Theorem. FSTTCS (1993)

Ryszard Janicki.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ryszard Janicki