Follow
Ryszard Janicki
Ryszard Janicki
Professor, Department of Computing and Software, McMaster University
Verified email at mcmaster.ca - Homepage
Title
Cited by
Cited by
Year
Semantics of inhibitor nets
R Janicki, M Koutny
Information and Computation 123 (1), 1-16, 1995
2111995
Tabular representations in relational documents
R Janicki, DL Parnas, J Zucker
Relational methods in computer science, 184-196, 1997
1531997
Structure of concurrency
R Janicki, M Koutny
Theoretical Computer Science 112 (1), 5-52, 1993
1261993
Specification and analysis of concurrent systems: the COSY approach
R Janicki, PE Lauer
Springer Science & Business Media, 2012
962012
On a formal semantics of tabular expressions
R Janicki, R Khedri
Science of Computer Programming 39 (2-3), 189-213, 2001
882001
Towards a formal semantics of Parnas tables
R Janicki
Proceedings of the 17th International Conference on Software Engineering …, 1995
681995
Concurrent and maximally concurrent evolution of nonsequential systems
R Janicki, PE Lauer, M Koutny, R Devillers
Theoretical Computer Science 43, 213-238, 1986
651986
Invariants and paradigms of concurrency theory
R Janicki, M Koutny
Parle’91 Parallel Architectures and Languages Europe: Volume I: Parallel …, 1991
541991
Foundations of the trace assertion method of module interface specification
R Janicki, E Sekerinski
IEEE Transactions on Software Engineering 27 (7), 577-598, 2001
502001
Invariant semantics of nets with inhibitor arcs
R Janicki, M Koutny
International Conference on Concurrency Theory, 317-331, 1991
441991
A formal semantics for concurrent systems with a priority relation
R Janicki
Acta Informatica 24, 33-55, 1987
391987
Nets, sequential components and concurrency relations
R Janicki
Theoretical Computer Science 29 (1-2), 87-121, 1984
381984
A weak order approach to group ranking
R Janicki, WW Koczkodaj
Computers & Mathematics With Applications 32 (2), 51-59, 1996
351996
Fundamentals of modelling concurrency using discrete relational structures
R Janicki, M Koutny
Acta Informatica 34 (5), 367-388, 1997
341997
Optimal simulations, nets and reachability graphs
R Janicki, M Koutny
Advances in Petri Nets 1991 11, 205-226, 1991
341991
On a pairwise comparison-based consistent non-numerical ranking
R Janicki, Y Zhai
Logic Journal of the IGPL 20 (4), 667-676, 2012
332012
On causality semantics of nets with priorities
R Janicki, M Koutny
Fundamenta Informaticae 38 (3), 223-255, 1999
331999
Tabular expressions and their relational semantics
R Janicki, A Wassyng
Fundamenta Informaticae 67 (4), 343-370, 2005
312005
Pairwise comparisons based non-numerical ranking
R Janicki
Fundamenta Informaticae 94 (2), 197-217, 2009
292009
Relational structures model of concurrency
R Janicki
Acta Informatica 45 (4), 279-320, 2008
282008
The system can't perform the operation now. Try again later.
Articles 1–20