| Publication | Date of Publication | Type |
|---|
On Interval Semantics of Inhibitor and Activator Nets
Application and Theory of Petri Nets and Concurrency | 2024-01-29 | Paper |
On some generalization of rough sets
International Journal of Approximate Reasoning | 2023-12-12 | Paper |
Interval traces with mutex relation
| 2023-11-16 | Paper |
Yet another kind of rough sets induced by coverings
Rough Sets | 2022-06-15 | Paper |
Paradigms of concurrency. Observations, behaviours and systems -- a Petri net view
Studies in Computational Intelligence | 2022-02-21 | Paper |
Algebraic structure of step traces and interval traces
Fundamenta Informaticae | 2021-05-20 | Paper |
Relational structures for concurrent behaviours
Theoretical Computer Science | 2021-03-09 | Paper |
Operational semantics, interval orders and sequences of antichains
Fundamenta Informaticae | 2020-01-24 | Paper |
Modeling operational semantics with interval orders represented by sequences of antichains
| 2019-12-18 | Paper |
Classifying invariant structures of step traces
Journal of Computer and System Sciences | 2019-06-25 | Paper |
A precise characterisation of step traces and their concurrent histories
Scientific Annals of Computer Science | 2019-02-08 | Paper |
On optimal approximations of arbitrary relations by partial orders
| 2018-10-22 | Paper |
On approximation of relations by generalized closures and generalized kernels
| 2018-10-22 | Paper |
Approximations of arbitrary relations by partial orders
International Journal of Approximate Reasoning | 2018-06-22 | Paper |
Interval semantics for Petri nets with inhibitor arcs
Theoretical Computer Science | 2018-05-17 | Paper |
Invariant structures and dependence relations
Fundamenta Informaticae | 2018-01-19 | Paper |
Alphabets of Acyclic Invariant Structures
Fundamenta Informaticae | 2018-01-19 | Paper |
Modeling concurrency with interval traces
Information and Computation | 2017-03-16 | Paper |
Characterising concurrent histories
Fundamenta Informaticae | 2016-04-28 | Paper |
Order structures for subclasses of generalised traces
Language and Automata Theory and Applications | 2016-04-08 | Paper |
Optimal approximations with rough sets and similarities in measure spaces
International Journal of Approximate Reasoning | 2016-03-09 | Paper |
Step traces
Acta Informatica | 2016-02-19 | Paper |
On interval process semantics of Petri nets with inhibitor arcs
Application and Theory of Petri Nets and Concurrency | 2015-08-27 | Paper |
Property-driven rough sets approximations of relations
Rough Sets and Intelligent Systems - Professor Zdzisław Pawlak in Memoriam | 2015-04-02 | Paper |
On a pairwise comparison-based consistent non-numerical ranking
Logic Journal of the IGPL | 2013-06-04 | Paper |
Modeling interval order structures with partially commutative monoids
Lecture Notes in Computer Science | 2012-09-25 | Paper |
Modelling concurrency with comtraces and generalized comtraces
Information and Computation | 2011-12-12 | Paper |
Quotient monoids and concurrent behaviours
| 2011-07-27 | Paper |
Modelling concurrent behaviours by commutativity and weak causality relations
Algebraic Methodology and Software Technology | 2011-05-06 | Paper |
Approximations of arbitrary binary relations by partial orders: classical and rough set models
Transactions on Rough Sets XIII | 2011-02-11 | Paper |
Closure Operators for Order Structures
Fundamentals of Computation Theory | 2009-10-20 | Paper |
Pairwise Comparisons Based Non-Numerical Ranking
Fundamenta Informaticae | 2009-10-12 | Paper |
A Categorical Approach to Mereology and Its Application to Modelling Software Components
Transactions on Rough Sets VIII | 2009-02-10 | Paper |
Some Remarks on Approximations of Arbitrary Binary Relations by Partial Orders
Rough Sets and Current Trends in Computing | 2008-11-25 | Paper |
On a Parthood Specification Method for Component Software
Rough Sets and Current Trends in Computing | 2008-11-13 | Paper |
Relational structures model of concurrency
Acta Informatica | 2008-07-30 | Paper |
Modelling Concurrency with Quotient Monoids
Applications and Theory of Petri Nets | 2008-07-03 | Paper |
scientific article; zbMATH DE number 5286863 (Why is no real title available?)
| 2008-06-11 | Paper |
Computing properties of numerical imperative programs by symbolic computation
| 2008-01-02 | Paper |
scientific article; zbMATH DE number 5129610 (Why is no real title available?)
| 2007-02-26 | Paper |
Mathematical Foundations of Computer Science 2005
Lecture Notes in Computer Science | 2006-10-20 | Paper |
Semantics of inhibitor nets
Information and Computation | 2006-10-10 | Paper |
Tabular expressions and their relational semantics
| 2006-06-19 | Paper |
Theoretical Aspects of Computing - ICTAC 2004
Lecture Notes in Computer Science | 2005-11-30 | Paper |
scientific article; zbMATH DE number 2060760 (Why is no real title available?)
| 2004-03-18 | Paper |
scientific article; zbMATH DE number 1931943 (Why is no real title available?)
| 2003-06-20 | Paper |
scientific article; zbMATH DE number 1929953 (Why is no real title available?)
| 2003-06-18 | Paper |
scientific article; zbMATH DE number 1927339 (Why is no real title available?)
| 2003-06-12 | Paper |
On a formal semantics of tabular expressions
Science of Computer Programming | 2001-01-01 | Paper |
A weak order solution to a group ranking and consistency-driven pairwise comparisons
Applied Mathematics and Computation | 2000-05-10 | Paper |
scientific article; zbMATH DE number 1354136 (Why is no real title available?)
| 1999-10-31 | Paper |
scientific article; zbMATH DE number 1086637 (Why is no real title available?)
| 1998-04-03 | Paper |
Fundamentals of modelling concurrency using discrete relational structures
Acta Informatica | 1997-11-17 | Paper |
A weak order approach to group ranking
Computers & Mathematics with Applications | 1996-12-19 | Paper |
scientific article; zbMATH DE number 827980 (Why is no real title available?)
| 1996-03-05 | Paper |
Structure of concurrency
Theoretical Computer Science | 1993-10-17 | Paper |
scientific article; zbMATH DE number 177250 (Why is no real title available?)
| 1993-05-18 | Paper |
scientific article; zbMATH DE number 177512 (Why is no real title available?)
| 1993-05-18 | Paper |
scientific article; zbMATH DE number 107452 (Why is no real title available?)
| 1993-01-23 | Paper |
Transformations of sequential specifications into concurrent specifications by synchronization guards
Theoretical Computer Science | 1990-01-01 | Paper |
A formal semantics for concurrent systems with a priority relation
Acta Informatica | 1987-01-01 | Paper |
scientific article; zbMATH DE number 4043257 (Why is no real title available?)
| 1987-01-01 | Paper |
scientific article; zbMATH DE number 4035117 (Why is no real title available?)
| 1987-01-01 | Paper |
Concurrent and maximally concurrent evolution of nonsequential systems
Theoretical Computer Science | 1986-01-01 | Paper |
scientific article; zbMATH DE number 3902013 (Why is no real title available?)
| 1985-01-01 | Paper |
scientific article; zbMATH DE number 3915635 (Why is no real title available?)
| 1985-01-01 | Paper |
Transforming sequential systems into concurrent systems
Theoretical Computer Science | 1985-01-01 | Paper |
Nets, sequential components and concurrency relations
Theoretical Computer Science | 1984-01-01 | Paper |
scientific article; zbMATH DE number 3856387 (Why is no real title available?)
| 1984-01-01 | Paper |
scientific article; zbMATH DE number 3810936 (Why is no real title available?)
| 1982-01-01 | Paper |
scientific article; zbMATH DE number 3915634 (Why is no real title available?)
| 1982-01-01 | Paper |
scientific article; zbMATH DE number 3731348 (Why is no real title available?)
| 1981-01-01 | Paper |
scientific article; zbMATH DE number 3684903 (Why is no real title available?)
| 1980-01-01 | Paper |
scientific article; zbMATH DE number 3703980 (Why is no real title available?)
| 1980-01-01 | Paper |
scientific article; zbMATH DE number 3696490 (Why is no real title available?)
| 1980-01-01 | Paper |
scientific article; zbMATH DE number 3823113 (Why is no real title available?)
| 1980-01-01 | Paper |
scientific article; zbMATH DE number 3624773 (Why is no real title available?)
| 1979-01-01 | Paper |
scientific article; zbMATH DE number 3655322 (Why is no real title available?)
| 1979-01-01 | Paper |
scientific article; zbMATH DE number 3662544 (Why is no real title available?)
| 1979-01-01 | Paper |
scientific article; zbMATH DE number 3681117 (Why is no real title available?)
| 1979-01-01 | Paper |
scientific article; zbMATH DE number 3594628 (Why is no real title available?)
| 1978-01-01 | Paper |
scientific article; zbMATH DE number 3571466 (Why is no real title available?)
| 1977-01-01 | Paper |
scientific article; zbMATH DE number 3564312 (Why is no real title available?)
| 1977-01-01 | Paper |
scientific article; zbMATH DE number 3527795 (Why is no real title available?)
| 1976-01-01 | Paper |
scientific article; zbMATH DE number 3529396 (Why is no real title available?)
| 1976-01-01 | Paper |
scientific article; zbMATH DE number 3530951 (Why is no real title available?)
| 1976-01-01 | Paper |
