Ryszard Janicki

Lukasz Mikulski

Fundam. Informaticae, 2020

On relationships between imbalance and overlapping of datasets.

[BibT_eX]

[DOI]

Waleed Almutairi

Proceedings of 35th International Conference on Computers and Their Applications, 2020

Modelling and Analyzing Electrocardiogram Events using Timed Coloured Petri Nets.

[BibT_eX]

[DOI]

Mohammed Assiri

Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020), 2020

2019

A novel test-cost-sensitive attribute reduction approach using the binary bat algorithm.

[BibT_eX]

[DOI]

Knowl. Based Syst., 2019

Classifying invariant structures of step traces.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2019

Operational Semantics, Interval Orders and Sequences of Antichains.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2019

Local Search for Attribute Reduction.

[BibT_eX]

[DOI]

Proceedings of the Rough Sets - International Joint Conference, 2019

On Interval Semantics of Inhibitor and Activator Nets.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2019

Petri Nets: A Simple Language and Tool for Modeling Complex Ideas.

[BibT_eX]

[DOI]

Proceedings of the Carl Adam Petri: Ideas, Personality, Impact, 2019

2018

Interval semantics for Petri nets with inhibitor arcs.

[BibT_eX]

[DOI]

Mohammed A. Alqarni

Theor. Comput. Sci., 2018

Approximations of arbitrary relations by partial orders.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2018

A Precise Characterisation of Step Traces and Their Concurrent Histories.

[BibT_eX]

[DOI]

Jetty Kleijn

Lukasz Mikulski

Sci. Ann. Comput. Sci., 2018

Modeling Operational Semantics with Interval Orders Represented by Sequences of Antichains.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2018

2017

Modeling concurrency with interval traces.

[BibT_eX]

[DOI]

Xiang Yin

Inf. Comput., 2017

Invariant Structures and Dependence Relations.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2017

Alphabets of Acyclic Invariant Structures.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2017

Yet Another Kind of Rough Sets Induced by Coverings.

[BibT_eX]

[DOI]

Proceedings of the Rough Sets - International Joint Conference, 2017

datumPIPE: Data Generator and Corrupter for Multiple Data Quality Aspects.

[BibT_eX]

[DOI]

Samir Al-janabi

Abubaker Hamid

Proceedings of the 2017 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining 2017, Sydney, Australia, July 31, 2017

On Synthesising Step Alphabets for Acyclic Invariant Structures.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2017 Satellite event of the conferences: 38th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2017 and 17th International Conference on Application of Concurrency to System Design ACSD 2017, 2017

2016

Optimal approximations with Rough Sets and similarities in measure spaces.

[BibT_eX]

[DOI]

Adam Lenarcic

Int. J. Approx. Reason., 2016

Preface.

[BibT_eX]

[DOI]

Konrad Kulakowski

Fundam. Informaticae, 2016

Step traces.

[BibT_eX]

[DOI]

Acta Informatica, 2016

On Optimal Approximations of Arbitrary Relations by Partial Orders.

[BibT_eX]

[DOI]

Proceedings of the Rough Sets - International Joint Conference, 2016

On Approximation of Relations by Generalized Closures and Generalized Kernels.

[BibT_eX]

[DOI]

Agnieszka D. Bogobowicz

Proceedings of the Rough Sets - International Joint Conference, 2016

Corroborating Quality of Data Through Density Information.

[BibT_eX]

[DOI]

Samir Al-janabi

Proceedings of SAI Intelligent Systems Conference (IntelliSys) 2016, 2016

2015

Characterising Concurrent Histories.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2015

On Classification with Pairwise Comparisons, Support Vector Machines and Feature Domain Overlapping.

[BibT_eX]

[DOI]

Mohammad Hadi Soudkhah

Comput. J., 2015

Order Structures for Subclasses of Generalised Traces.

[BibT_eX]

[DOI]

Proceedings of the Language and Automata Theory and Applications, 2015

On Interval Process Semantics of Petri Nets with Inhibitor Arcs.

[BibT_eX]

[DOI]

Mohammed A. Alqarni

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2015

2013

Property-Driven Rough Sets Approximations of Relations.

[BibT_eX]

[DOI]

Proceedings of the Rough Sets and Intelligent Systems - Professor Zdzisław Pawlak in Memoriam, 2013

Weighted Features Classification with Pairwise Comparisons, Support Vector Machines and Feature Domain Overlapping.

[BibT_eX]

[DOI]

Mohammad Hadi Soudkhah

Proceedings of the 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2013

On Pairwise Comparisons Based Internal and External Measures for Software Evaluation.

[BibT_eX]

[DOI]

Agnieszka D. Bogobowicz

Proceedings of the 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2013

Optimal Approximations with Rough Sets.

[BibT_eX]

[DOI]

Adam Lenarcic

Proceedings of the Rough Sets and Knowledge Technology - 8th International Conference, 2013

Causal Structures for General Concurrent Behaviours.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Workshop on Concurrency, 2013

2012

On a pairwise comparison-based consistent non-numerical ranking.

[BibT_eX]

[DOI]

Log. J. IGPL, 2012

Optimization of Quadtree Representation and Compression.

[BibT_eX]

[DOI]

Xiang Yin

Proceedings of the Rough Sets and Current Trends in Computing, 2012

Modeling Interval Order Structures with Partially Commutative Monoids.

[BibT_eX]

[DOI]

Xiang Yin

Nadezhda Zubkova

Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012

2011

Approximations of Arbitrary Binary Relations by Partial Orders: Classical and Rough Set Models.

[BibT_eX]

[DOI]

Trans. Rough Sets, 2011

Modelling concurrency with comtraces and generalized comtraces.

[BibT_eX]

[DOI]

Inf. Comput., 2011

Preface.

[BibT_eX]

[DOI]

Stephen A. Edwards

Walter Vogler

Fundam. Informaticae, 2011

Remarks on Pairwise Comparison Numerical and Non-numerical Rankings.

[BibT_eX]

[DOI]

Proceedings of the Rough Sets and Knowledge Technology - 6th International Conference, 2011

2010

Preserving Consistency and Properties in Pairwise Comparisons Based Non-Numerical Ranking.

[BibT_eX]

Proceedings of the 2010 International Conference on Software Engineering Research & Practice, 2010

Selecting the best strategy in a software certification process.

[BibT_eX]

[DOI]

Vova Babiy

Agnieszka D. Bogobowicz

Alan Wassyng

Proceedings of the International Multiconference on Computer Science and Information Technology, 2010

On Consistency in Pairwise Comparisons Based Numerical and Non-Numerical Ranking.

[BibT_eX]

Proceedings of the 2010 International Conference on Foundations of Computer Science, 2010

Quotient Monoids and Concurrent Behaviours.

[BibT_eX]

Jetty Kleijn

Proceedings of the Scientific Applications of Language Methods., 2010

2009

Pairwise Comparisons Based Non-Numerical Ranking.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2009

Proving Properties of Programs with Theorem Provers - Experiments with Z3 and Simplify.

[BibT_eX]

Ewa Romanowicz

Proceedings of the 2009 International Conference on Software Engineering Research & Practice, 2009

Tabular Expressions vs Software Cost Reduction.

[BibT_eX]

Imen Bourguiba

Proceedings of the 2009 International Conference on Software Engineering Research & Practice, 2009

Benefits of Using Tabular Expressions in Planning Health Services.

[BibT_eX]

Marc Woodbury-Smith

Proceedings of the 2009 International Conference on Software Engineering Research & Practice, 2009

On Rough Sets with Structures and Properties.

[BibT_eX]

[DOI]

Proceedings of the Rough Sets, 2009

Closure Operators for Order Structures.

[BibT_eX]

[DOI]

Nadezhda Zubkova

Proceedings of the Fundamentals of Computation Theory, 17th International Symposium, 2009

On Closure Operator for Interval Order Structures.

[BibT_eX]

Nadezhda Zubkova

Proceedings of the 2009 International Conference on Foundations of Computer Science, 2009

2008

A Categorical Approach to Mereology and Its Application to Modelling Software Components.

[BibT_eX]

[DOI]

Trans. Rough Sets, 2008

Relational structures model of concurrency.

[BibT_eX]

[DOI]

Acta Informatica, 2008

Ranking with Partial Orders and Pairwise Comparisons.

[BibT_eX]

[DOI]

Proceedings of the Rough Sets and Knowledge Technology, Third International Conference, 2008

Some Remarks on Approximations of Arbitrary Binary Relations by Partial Orders.

[BibT_eX]

[DOI]

Proceedings of the Rough Sets and Current Trends in Computing, 2008

Modelling Concurrency with Quotient Monoids.

[BibT_eX]

[DOI]

Proceedings of the Applications and Theory of Petri Nets, 29th International Conference, 2008

2007

Towards a Pragmatic Mereology.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2007

Computing Properties of Numerical Imperative Programs by Symbolic Computation.

[BibT_eX]

[DOI]

Jacques Carette

Fundam. Informaticae, 2007

Pairwise Comparisons, Incomparability and Partial Orders.

[BibT_eX]

Proceedings of the ICEIS 2007, 2007

Attacking the Web Cancer with the Automatic Understanding Approach.

[BibT_eX]

[DOI]

Ratvinder Singh Grewal

Tamar Kakiashvili

K. Kielan

Kalpdrum Passi

Ryszard Tadeusiewicz

Proceedings of the Advances in Intelligent Web Mastering, Proceedings of the 5th Atlantic Web Intelligence Conference - AWIC 2007, Fontainebleau, France, June 25, 2007

2006

Special Issueon Application of Concurrency to System Design.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2006

On a Parthood Specification Method for Component Software.

[BibT_eX]

[DOI]

Proceedings of the Rough Sets and Current Trends in Computing, 2006

2005

Tabular Expressions and Their Relational Semantics.

[BibT_eX]

[DOI]

Alan Wassyng

Fundam. Informaticae, 2005

Basic Mereology with Equivalence Relations.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 2005, 2005

2004

Preface.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2004

Modelling Concurrency with Tabular Expressions.

[BibT_eX]

Yuwen Yang

Proceedings of the International Conference on Software Engineering Research and Practice, 2004

On Properties of 'Part of' Relations.

[BibT_eX]

Proceedings of the International Conference on Software Engineering Research and Practice, 2004

Verification of the WAP Transaction Layer.

[BibT_eX]

[DOI]

Yu-Tong He

Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

A Generalisation of a Relational Structures Model of Concurrency.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing, 2004

Verifying protocols by model checking: a case study of the wireless application protocol and the model checker SPIN.

[BibT_eX]

[DOI]

Yu-Tong He

Proceedings of the 2004 conference of the Centre for Advanced Studies on Collaborative research, 2004

2003

On tabular expressions.

[BibT_eX]

[DOI]

Alan Wassyng

Proceedings of the 2003 conference of the Centre for Advanced Studies on Collaborative Research, 2003

2002

Towards a Mereological System for Direct Products and Relations.

[BibT_eX]

[DOI]

Proceedings of the Rough Sets and Current Trends in Computing, 2002

On Concurrency Control in Object-oriented Databases.

[BibT_eX]

Daniela Rosu

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2002

On a Mereological System for Relational Software Specifications.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 2002, 2002

A simplistic Mereological System for Relations.

[BibT_eX]

Yuanyuan Zhang

Proceedings of the International Conference on Artificial Intelligence, 2002

Modelling Concurrent Behaviours by Commutativity and Weak Causality Relations.

[BibT_eX]

[DOI]

Guangyuan Guo

Proceedings of the Algebraic Methodology and Software Technology, 2002

2001

Foundations of the Trace Assertion Method of Module Interface Specification.

[BibT_eX]

[DOI]

Emil Sekerinski

IEEE Trans. Software Eng., 2001

On a formal semantics of tabular expressions.

[BibT_eX]

[DOI]

Ridha Khédri

Sci. Comput. Program., 2001

2000

On Trace Assertion Method of Module Interface Specification with Concurrency.

[BibT_eX]

[DOI]

Yan Liu

Proceedings of the Rough Sets and Current Trends in Computing, 2000

Remarks on Mereology of Relations.

[BibT_eX]

Ridha Khédri

Proceedings of the Participants Copies of Fifth International Seminar on Relational Methods in Computer Science, 2000

1999

On Causality Semantics of Nets with Priorities.

[BibT_eX]

[DOI]

Fundam. Informaticae, 1999

1998

A weak order solution to a group ranking and consistency-driven pairwise comparisons.

[BibT_eX]

[DOI]

Appl. Math. Comput., 1998

1997

Fundamentals of Modelling Concurrency Using Discrete Relational Structures.

[BibT_eX]

[DOI]

Acta Informatica, 1997

Tabular Representations in Relational Documents.

[BibT_eX]

[DOI]

David Lorge Parnas

Jeffery I. Zucker

Proceedings of the Relational Methods in Computer Science., 1997

1995

Semantics of Inhibitor Nets.

[BibT_eX]

[DOI]

Inf. Comput., 1995

Towards a Formal Semantics of Parnas Tables.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Software Engineering, 1995

1994

Representations of Discrete Interval Orders and Semi-Orders.

[BibT_eX]

J. Inf. Process. Cybern., 1994

Deriving Histories of Nets with Priority Relation.

[BibT_eX]

[DOI]

Proceedings of the PARLE '94: Parallel Architectures and Languages Europe, 1994

1993

Structure of Concurrency.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1993

Order Structures and Generalisations of Szpilrajn's Theorem.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1993

1992

Specification and Analysis of Concurrent Systems - The COSY Approach

[BibT_eX]

[DOI]

Peter E. Lauer

EATCS Monographs on Theoretical Computer Science, Springer, ISBN: 978-3-642-77337-2, 1992

Invariants and paradigms of concurrency theory.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 1992

1991

Invariant Semantics of Nets with Inhibitor Arcs.

[BibT_eX]

[DOI]

Proceedings of the CONCUR '91, 1991

1990

Transformations of Sequential Specifications into Concurrent Specifications by Synchronization Guards.

[BibT_eX]

[DOI]

Tomasz Müldner

Theor. Comput. Sci., 1990

On Some Implementation of Optimal Simulations.

[BibT_eX]

[DOI]

Proceedings of the Computer-Aided Verification, 1990

Using Optimal Simulations to Reduce Reachability Graphs.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 2nd International Workshop, 1990

Optimal simulations, nets and reachability graphs.

[BibT_eX]

[DOI]

Proceedings of the Advances in Petri Nets 1991, 1990

A Simple Realization of a Parallel Device Recognizing Regular Trace Languages.

[BibT_eX]

[DOI]

Tomasz Müldner

Proceedings of the ACM 18th Annual Computer Science Conference on Cooperation, 1990

1989

Towards A Theory Of Simulation For Verification Of Concurrent Systems.

[BibT_eX]

[DOI]

Proceedings of the PARLE '89: Parallel Architectures and Languages Europe, 1989

Complete Sequential Specification Allows for Concurrent Execution.

[BibT_eX]

[DOI]

Tomasz Müldner

Proceedings of the Computer Trends in the 1990s, 1989

1988

On the Semantics Of Priority Systems.

[BibT_eX]

Peter E. Lauer

Proceedings of the International Conference on Parallel Processing, 1988

How to relieve a programmer from synchronization details.

[BibT_eX]

[DOI]

Proceedings of the Sixteenth ACM Annual Conference on Computer Science, 1988

1987

A Formal Semantics for Concurrent Systems with a Priority Relation.

[BibT_eX]

[DOI]

Acta Informatica, 1987

1986

Concurrent and Maximally Concurrent Evolution of Nonsequential Systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1986

On equivalent execution semantics of concurrent systems.

[BibT_eX]

[DOI]

Proceedings of the Advances in Petri Nets 1987, 1986

1985

Transforming Sequential Systems into Concurrent Systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1985

An Equivalence Notion for Path Expressions Systems.

[BibT_eX]

J. Inf. Process. Cybern., 1985

1984

Nets, Sequential Components and Concurrency Relations.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1984

A Method for Developing Concurrent Systems.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Programming, 1984

Maximally Concurrent Evolution of Non-sequential Systems.

[BibT_eX]

[DOI]

Peter E. Lauer

Raymond R. Devillers

Proceedings of the Seminar on Concurrency, 1984

1981

A Construction of Concurrent Systems by Means of Sequential Solutions and Concurrency Relations.

[BibT_eX]

[DOI]

Proceedings of the Formalization of Programming Concepts, 1981

On the Design of Concurrent Systems.

[BibT_eX]

Proceedings of the 2nd International Conference on Distributed Computing Systems, 1981

1980

Some remarks on deterministic Mazurkiewicz algorithms and languages associated with them.

[BibT_eX]

Fundam. Informaticae, 1980

An Algebraic Structure of Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Programming, 1980

On Atomic Nets and Concurrency Relations.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1980 (MFCS'80), 1980

1979

A Characterization of Concurrency-Like Relations.

[BibT_eX]

[DOI]

Proceedings of the Semantics of Concurrent Computation, 1979

Analysis of vectors of coroutines by means of components.

[BibT_eX]

Proceedings of the Fundamentals of Computation Theory, 1979

1978

Synthesis of Concurrent Schemes.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1978, 1978

1977

Vectors of Coroutines over Blikle Nets.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Computation Theory, 1977

1976

Vectors of Coroutines.

[BibT_eX]

[DOI]