Ryszard Janicki

143 papers A* 2A 1B 20C 5Misc 5Journal 49Unranked 54
YearRankTypeTitle / Venue / Authors
2026 J jnl
Inconsistency reduction in pairwise comparison matrices using genetic algorithms.
Int. J. Approx. Reason.
Atiyeh Sayadi, Ryszard Janicki
2025 Misc conf
Minimizing Inconsistency in Pairwise Comparison Matrices Using Genetic Algorithm.
CISS
Atiyeh Sayadi, Baran Shajari, Ryszard Janicki
2024 Misc conf
A Hybrid Stochastic-Full Enumeration Approach to a Ranking Problem with Insufficient Information.
CISS
Jirí Mazurek, Ryszard Janicki
2024 — conf
Finding Consistent Pairwise Comparisons with Genetic Algorithms.
IJCRS (2)
Atiyeh Sayadi, Ryszard Janicki
2024 — conf
On Efficacy of Approximating Arbitrary Relations by Partial Orders.
IPMU (1)
Ryszard Janicki, Ni Yang
2024 B conf
Relational Structures for Interval Order Semantics of Concurrent Systems.
Petri Nets
Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
2023 B conf
Interval Traces with Mutex Relation.
Petri Nets
Ryszard Janicki, Maciej Koutny, Lukasz Mikulski
2023 J jnl
On some generalization of rough sets.
Int. J. Approx. Reason.
Ryszard Janicki
2023 B conf
Preventing Image Data Poisoning Attacks in Federated Machine Learning by an Encrypted Verification Key.
KES
Mahdee Jodayree, Wenbo He, Ryszard Janicki
2023 — conf
Preventing Text Data Poisoning Attacks in Federated Machine Learning by an Encrypted Verification Key.
IJCRS
Mahdee Jodayree, Wenbo He, Ryszard Janicki
2022 J jnl
Data repair of density-based data cleaning approach using conditional functional dependencies.
Data Technol. Appl.
Samir Al-janabi, Ryszard Janicki
2022 C conf
On Multiplicative, Additive and Qualitative Pairwise Comparisons.
FedCSIS
Ryszard Janicki, Mahmoud Mahmoud
2022 — book
Paradigms of Concurrency - Observations, Behaviours, and Systems - a Petri Net View
Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
2022 — conf
Similarity for Multisets and Heterogeneous Sets.
IPMU (1)
Ryszard Janicki
2021 J jnl
Preface.
Fundam. Informaticae
Ryszard Janicki, Slawomir Lasota, Natalia Sidorova
2021 J jnl
Relational structures for concurrent behaviours.
Theor. Comput. Sci.
Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
2021 — conf
Towards Modeling of Cardiac Pacemakers With Timed Coloured Petri Nets And Related Tools.
PNSE@Petri Nets
Mohammed Assiri, Ryszard Janicki
2020 J jnl
Algebraic Structure of Step Traces and Interval Traces.
Fundam. Informaticae
Ryszard Janicki, Lukasz Mikulski
2020 B ed.
Application and Theory of Petri Nets and Concurrency - 41st International Conference, PETRI NETS 2020, Paris, France, June 24-25, 2020, Proceedings
Petri Nets
Ryszard Janicki, Natalia Sidorova, Thomas Chatain
2020 — conf
Modelling and Analyzing Electrocardiogram Events using Timed Coloured Petri Nets.
PNSE@Petri Nets
Mohammed Assiri, Ryszard Janicki
2020 Misc conf
On relationships between imbalance and overlapping of datasets.
CATA
Waleed Almutairi, Ryszard Janicki
2019 J jnl
A novel test-cost-sensitive attribute reduction approach using the binary bat algorithm.
Knowl. Based Syst.
Xiaojun Xie, Xiaolin Qin, Qian Zhou, Yanghao Zhou, Tong Zhang, Ryszard Janicki, Wei Zhao
2019 J jnl
Classifying invariant structures of step traces.
J. Comput. Syst. Sci.
Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
2019 — conf
Local Search for Attribute Reduction.
IJCRS
Xiaojun Xie, Ryszard Janicki, Xiaolin Qin, Wei Zhao, Guangmei Huang
2019 B conf
On Interval Semantics of Inhibitor and Activator Nets.
Petri Nets
Ryszard Janicki
2019 J jnl
Operational Semantics, Interval Orders and Sequences of Antichains.
Fundam. Informaticae
Ryszard Janicki, Maciej Koutny
2019 — ch.
Petri Nets: A Simple Language and Tool for Modeling Complex Ideas.
Carl Adam Petri: Ideas, Personality, Impact
Ryszard Janicki
2018 J jnl
A Precise Characterisation of Step Traces and Their Concurrent Histories.
Sci. Ann. Comput. Sci.
Ryszard Janicki, Jetty Kleijn, Lukasz Mikulski
2018 J jnl
Approximations of arbitrary relations by partial orders.
Int. J. Approx. Reason.
Ryszard Janicki
2018 J jnl
Interval semantics for Petri nets with inhibitor arcs.
Theor. Comput. Sci.
Mohammed A. Alqarni, Ryszard Janicki
2018 B conf
Modeling Operational Semantics with Interval Orders Represented by Sequences of Antichains.
Petri Nets
Ryszard Janicki
2017 J jnl
Alphabets of Acyclic Invariant Structures.
Fundam. Informaticae
Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
2017 J jnl
Invariant Structures and Dependence Relations.
Fundam. Informaticae
Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
2017 J jnl
Modeling concurrency with interval traces.
Inf. Comput.
Ryszard Janicki, Xiang Yin
2017 — conf
On Synthesising Step Alphabets for Acyclic Invariant Structures.
ATAED@Petri Nets/ACSD
Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
2017 — conf
Yet Another Kind of Rough Sets Induced by Coverings.
IJCRS (1)
Ryszard Janicki
2017 B conf
datumPIPE: Data Generator and Corrupter for Multiple Data Quality Aspects.
ASONAM
Samir Al-janabi, Abubaker Hamid, Ryszard Janicki
2016 — conf
Corroborating Quality of Data Through Density Information.
IntelliSys (1)
Samir Al-janabi, Ryszard Janicki
2016 — conf
On Approximation of Relations by Generalized Closures and Generalized Kernels.
IJCRS
Agnieszka D. Bogobowicz, Ryszard Janicki
2016 — conf
On Optimal Approximations of Arbitrary Relations by Partial Orders.
IJCRS
Ryszard Janicki
2016 J jnl
Optimal approximations with Rough Sets and similarities in measure spaces.
Int. J. Approx. Reason.
Ryszard Janicki, Adam Lenarcic
2016 J jnl
Preface.
Fundam. Informaticae
Ryszard Janicki, Konrad Kulakowski
2016 J jnl
Step traces.
Acta Informatica
Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
2015 J jnl
Characterising Concurrent Histories.
Fundam. Informaticae
Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
2015 J jnl
On Classification with Pairwise Comparisons, Support Vector Machines and Feature Domain Overlapping.
Comput. J.
Ryszard Janicki, Mohammad Hadi Soudkhah
2015 B conf
On Interval Process Semantics of Petri Nets with Inhibitor Arcs.
Petri Nets
Mohammed A. Alqarni, Ryszard Janicki
2015 C conf
Order Structures for Subclasses of Generalised Traces.
LATA
Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
2013 — conf
Causal Structures for General Concurrent Behaviours.
CS&P
Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
2013 C conf
On Pairwise Comparisons Based Internal and External Measures for Software Evaluation.
WETICE
Agnieszka D. Bogobowicz, Ryszard Janicki
2013 — conf
Optimal Approximations with Rough Sets.
RSKT
Ryszard Janicki, Adam Lenarcic
2013 — ch.
Property-Driven Rough Sets Approximations of Relations.
Rough Sets and Intelligent Systems (1)
Ryszard Janicki
2013 C conf
Weighted Features Classification with Pairwise Comparisons, Support Vector Machines and Feature Domain Overlapping.
WETICE
Mohammad Hadi Soudkhah, Ryszard Janicki
2012 B conf
Modeling Interval Order Structures with Partially Commutative Monoids.
CONCUR
Ryszard Janicki, Xiang Yin, Nadezhda Zubkova
2012 J jnl
On a pairwise comparison-based consistent non-numerical ranking.
Log. J. IGPL
Ryszard Janicki, Yun Zhai
2012 — conf
Optimization of Quadtree Representation and Compression.
RSCTC
Xiang Yin, Ryszard Janicki
2012 — ed.
Rough Sets and Knowledge Technology - 7th International Conference, RSKT 2012, Chengdu, China, August 17-20, 2012. Proceedings
RSKT
Tianrui Li, Hung Son Nguyen, Guoyin Wang, Jerzy W. Grzymala-Busse, Ryszard Janicki, Aboul Ella Hassanien, Hong Yu
2011 J jnl
Approximations of Arbitrary Binary Relations by Partial Orders: Classical and Rough Set Models.
Trans. Rough Sets
Ryszard Janicki
2011 J jnl
Modelling concurrency with comtraces and generalized comtraces.
Inf. Comput.
Ryszard Janicki, Dai Tri Man Le
2011 J jnl
Preface.
Fundam. Informaticae
Stephen A. Edwards, Ryszard Janicki, Walter Vogler
2011 — conf
Remarks on Pairwise Comparison Numerical and Non-numerical Rankings.
RSKT
Ryszard Janicki, Yun Zhai
2010 — conf
On Consistency in Pairwise Comparisons Based Numerical and Non-Numerical Ranking.
FCS
Yun Zhai, Ryszard Janicki
2010 — conf
Preserving Consistency and Properties in Pairwise Comparisons Based Non-Numerical Ranking.
Software Engineering Research and Practice
Yun Zhai, Ryszard Janicki
2010 — ch.
Quotient Monoids and Concurrent Behaviours.
Scientific Applications of Language Methods
Ryszard Janicki, Jetty Kleijn, Maciej Koutny
2010 — conf
Selecting the best strategy in a software certification process.
IMCSIT
Waldemar W. Koczkodaj, Vova Babiy, Agnieszka D. Bogobowicz, Ryszard Janicki, Alan Wassyng
2009 — conf
Benefits of Using Tabular Expressions in Planning Health Services.
Software Engineering Research and Practice
Volodymyr Babiy, Ryszard Janicki, Tiffany Jingco, Tamar Kakiashvili, Waldemar W. Koczkodaj, Marc Woodbury-Smith
2009 B conf
Closure Operators for Order Structures.
FCT
Ryszard Janicki, Dai Tri Man Le, Nadezhda Zubkova
2009 J jnl
Modelling Concurrency with Comtraces and Generalized Comtraces
CoRR
Ryszard Janicki, Dai Tri Man Le
2009 — conf
On Closure Operator for Interval Order Structures.
FCS
Ryszard Janicki, Nadezhda Zubkova
2009 — conf
On Rough Sets with Structures and Properties.
RSFDGrC
Ryszard Janicki
2009 J jnl
Pairwise Comparisons Based Non-Numerical Ranking.
Fundam. Informaticae
Ryszard Janicki
2009 — conf
Proving Properties of Programs with Theorem Provers - Experiments with Z3 and Simplify.
Software Engineering Research and Practice
Ryszard Janicki, Ewa Romanowicz
2009 — conf
Tabular Expressions vs Software Cost Reduction.
Software Engineering Research and Practice
Imen Bourguiba, Ryszard Janicki
2008 J jnl
A Categorical Approach to Mereology and Its Application to Modelling Software Components.
Trans. Rough Sets
Dai Tri Man Le, Ryszard Janicki
2008 B conf
Modelling Concurrency with Quotient Monoids.
Petri Nets
Ryszard Janicki, Dai Tri Man Le
2008 — conf
Ranking with Partial Orders and Pairwise Comparisons.
RSKT
Ryszard Janicki
2008 J jnl
Relational structures model of concurrency.
Acta Informatica
Ryszard Janicki
2008 — conf
Some Remarks on Approximations of Arbitrary Binary Relations by Partial Orders.
RSCTC
Ryszard Janicki
2007 — conf
Attacking the Web Cancer with the Automatic Understanding Approach.
AWIC
Ratvinder Singh Grewal, Ryszard Janicki, Tamar Kakiashvili, K. Kielan, Waldemar W. Koczkodaj, Kalpdrum Passi, Ryszard Tadeusiewicz
2007 J jnl
Computing Properties of Numerical Imperative Programs by Symbolic Computation.
Fundam. Informaticae
Jacques Carette, Ryszard Janicki
2007 — conf
Pairwise Comparisons, Incomparability and Partial Orders.
ICEIS (2)
Ryszard Janicki
2007 J jnl
Towards a Pragmatic Mereology.
Fundam. Informaticae
Ryszard Janicki, Dai Tri Man Le
2006 — conf
On a Parthood Specification Method for Component Software.
RSCTC
Dai Tri Man Le, Ryszard Janicki
2006 J jnl
Special Issueon Application of Concurrency to System Design.
Fundam. Informaticae
Ryszard Janicki
2005 B conf
Basic Mereology with Equivalence Relations.
MFCS
Ryszard Janicki
2005 J jnl
Tabular Expressions and Their Relational Semantics.
Fundam. Informaticae
Ryszard Janicki, Alan Wassyng
2004 C conf
A Generalisation of a Relational Structures Model of Concurrency.
ICTAC
Ryszard Janicki
2004 — conf
Modelling Concurrency with Tabular Expressions.
Software Engineering Research and Practice
Yuwen Yang, Ryszard Janicki
2004 — conf
On Properties of 'Part of' Relations.
Software Engineering Research and Practice
Ryszard Janicki, Yun Zhai
2004 J jnl
Preface.
Fundam. Informaticae
Ryszard Janicki
2004 B conf
Verification of the WAP Transaction Layer.
SEFM
Yu-Tong He, Ryszard Janicki
2004 — conf
Verifying protocols by model checking: a case study of the wireless application protocol and the model checker SPIN.
CASCON
Yu-Tong He, Ryszard Janicki
2003 — conf
On tabular expressions.
CASCON
Ryszard Janicki, Alan Wassyng
2002 Misc conf
A simplistic Mereological System for Relations.
IC-AI
Ryszard Janicki, Yuanyuan Zhang
2002 — conf
Modelling Concurrent Behaviours by Commutativity and Weak Causality Relations.
AMAST
Guangyuan Guo, Ryszard Janicki
2002 Misc conf
On Concurrency Control in Object-oriented Databases.
PDPTA
Daniela Rosu, Ryszard Janicki
2002 B conf
On a Mereological System for Relational Software Specifications.
MFCS
Ryszard Janicki
2002 — conf
Towards a Mereological System for Direct Products and Relations.
Rough Sets and Current Trends in Computing
Ryszard Janicki
2001 J jnl
Foundations of the Trace Assertion Method of Module Interface Specification.
IEEE Trans. Software Eng.
Ryszard Janicki, Emil Sekerinski
2001 J jnl
On a formal semantics of tabular expressions.
Sci. Comput. Program.
Ryszard Janicki, Ridha Khédri
2000 — conf
On Trace Assertion Method of Module Interface Specification with Concurrency.
Rough Sets and Current Trends in Computing
Ryszard Janicki, Yan Liu
2000 — conf
Remarks on Mereology of Relations.
RelMiCS
Ryszard Janicki, Ridha Khédri
1999 J jnl
On Causality Semantics of Nets with Priorities.
Fundam. Informaticae
Ryszard Janicki, Maciej Koutny
1998 J jnl
A weak order solution to a group ranking and consistency-driven pairwise comparisons.
Appl. Math. Comput.
Ryszard Janicki, Waldemar W. Koczkodaj
1997 J jnl
Fundamentals of Modelling Concurrency Using Discrete Relational Structures.
Acta Informatica
Ryszard Janicki, Maciej Koutny
1997 — ch.
Tabular Representations in Relational Documents.
Relational Methods in Computer Science
Ryszard Janicki, David Lorge Parnas, Jeffery I. Zucker
1995 J jnl
Semantics of Inhibitor Nets.
Inf. Comput.
Ryszard Janicki, Maciej Koutny
1995 A* conf
Towards a Formal Semantics of Parnas Tables.
ICSE
Ryszard Janicki
1994 — conf
Deriving Histories of Nets with Priority Relation.
PARLE
Ryszard Janicki, Maciej Koutny
1994 J jnl
Representations of Discrete Interval Orders and Semi-Orders.
J. Inf. Process. Cybern.
Ryszard Janicki, Maciej Koutny
1993 — conf
Order Structures and Generalisations of Szpilrajn's Theorem.
FSTTCS
Ryszard Janicki, Maciej Koutny
1993 J jnl
Structure of Concurrency.
Theor. Comput. Sci.
Ryszard Janicki, Maciej Koutny
1992 J jnl
Invariants and paradigms of concurrency theory.
Future Gener. Comput. Syst.
Ryszard Janicki, Maciej Koutny
1992 — book
Specification and Analysis of Concurrent Systems - The COSY Approach
Ryszard Janicki, Peter E. Lauer
1991 B conf
Invariant Semantics of Nets with Inhibitor Arcs.
CONCUR
Ryszard Janicki, Maciej Koutny
1991 — conf
Invariants and Paradigms of Concurrency Theory.
PARLE (2)
Ryszard Janicki, Maciej Koutny
1991 — conf
Structure of Concurrency.
AMAST
Ryszard Janicki, Maciej Koutny
1990 — conf
A Simple Realization of a Parallel Device Recognizing Regular Trace Languages.
ACM Conference on Computer Science
Ryszard Janicki, Tomasz Müldner
1990 — conf
On Some Implementation of Optimal Simulations.
CAV (DIMACS/AMS volume)
Ryszard Janicki, Maciej Koutny
1990 — conf
Optimal simulations, nets and reachability graphs.
Applications and Theory of Petri Nets
Ryszard Janicki, Maciej Koutny
1990 J jnl
Transformations of Sequential Specifications into Concurrent Specifications by Synchronization Guards.
Theor. Comput. Sci.
Ryszard Janicki, Tomasz Müldner
1990 A* conf
Using Optimal Simulations to Reduce Reachability Graphs.
CAV
Ryszard Janicki, Maciej Koutny
1989 — conf
Complete Sequential Specification Allows for Concurrent Execution.
ACM Conference on Computer Science
Ryszard Janicki, Tomasz Müldner
1989 — conf
Towards A Theory Of Simulation For Verification Of Concurrent Systems.
PARLE (2)
Ryszard Janicki, Maciej Koutny
1988 — conf
How to relieve a programmer from synchronization details.
ACM Conference on Computer Science
Ryszard Janicki
1988 — conf
On the Semantics Of Priority Systems.
ICPP (2)
Ryszard Janicki, Peter E. Lauer
1987 J jnl
A Formal Semantics for Concurrent Systems with a Priority Relation.
Acta Informatica
Ryszard Janicki
1986 J jnl
Concurrent and Maximally Concurrent Evolution of Nonsequential Systems.
Theor. Comput. Sci.
Ryszard Janicki, Peter E. Lauer, Maciej Koutny, Raymond Devillers
1986 — conf
On equivalent execution semantics of concurrent systems.
European Workshop on Applications and Theory of Petri Nets
Ryszard Janicki, Maciej Koutny
1985 J jnl
An Equivalence Notion for Path Expressions Systems.
J. Inf. Process. Cybern.
Ryszard Janicki
1985 J jnl
Transforming Sequential Systems into Concurrent Systems.
Theor. Comput. Sci.
Ryszard Janicki
1984 — conf
A Method for Developing Concurrent Systems.
Symposium on Programming
Ryszard Janicki
1984 — conf
Maximally Concurrent Evolution of Non-sequential Systems.
Seminar on Concurrency
Ryszard Janicki, Peter E. Lauer, Raymond Devillers
1984 J jnl
Nets, Sequential Components and Concurrency Relations.
Theor. Comput. Sci.
Ryszard Janicki
1981 — conf
A Construction of Concurrent Systems by Means of Sequential Solutions and Concurrency Relations.
ICFPC
Ryszard Janicki
1981 A conf
On the Design of Concurrent Systems.
ICDCS
Ryszard Janicki
1980 — conf
An Algebraic Structure of Petri Nets.
Symposium on Programming
Ryszard Janicki
1980 B conf
On Atomic Nets and Concurrency Relations.
MFCS
Ryszard Janicki
1980 J jnl
Some remarks on deterministic Mazurkiewicz algorithms and languages associated with them.
Fundam. Informaticae
Ryszard Janicki
1979 — conf
A Characterization of Concurrency-Like Relations.
Semantics of Concurrent Computation
Ryszard Janicki
1979 B conf
Analysis of vectors of coroutines by means of components.
FCT
Ryszard Janicki
1978 B conf
Synthesis of Concurrent Schemes.
MFCS
Ryszard Janicki
1977 B conf
Vectors of Coroutines over Blikle Nets.
FCT
Ryszard Janicki
1976 B conf
Vectors of Coroutines.
MFCS
Ryszard Janicki