| Semantics of inhibitor nets R Janicki, M Koutny Information and Computation 123 (1), 1-16, 1995 | 223 | 1995 |
| Tabular representations in relational documents R Janicki, DL Parnas, J Zucker Relational methods in computer science, 184-196, 1997 | 143 | 1997 |
| Structure of concurrency R Janicki, M Koutny Theoretical Computer Science 112 (1), 5-52, 1993 | 137 | 1993 |
| Specification and analysis of concurrent systems: the COSY approach R Janicki, PE Lauer Springer Science & Business Media, 2012 | 97 | 2012 |
| On a formal semantics of tabular expressions R Janicki, R Khedri Science of Computer Programming 39 (2-3), 189-213, 2001 | 90 | 2001 |
| Towards a formal semantics of Parnas tables R Janicki Proceedings of the 17th International Conference on Software Engineering …, 1995 | 70 | 1995 |
| Concurrent and maximally concurrent evolution of nonsequential systems R Janicki, PE Lauer, M Koutny, R Devillers Theoretical Computer Science 43, 213-238, 1986 | 65 | 1986 |
| Invariants and paradigms of concurrency theory R Janicki, M Koutny Parle’91 Parallel Architectures and Languages Europe: Volume I: Parallel …, 1991 | 57 | 1991 |
| Foundations of the trace assertion method of module interface specification R Janicki, E Sekerinski IEEE Transactions on Software Engineering 27 (7), 577-598, 2001 | 50 | 2001 |
| Invariant semantics of nets with inhibitor arcs R Janicki, M Koutny International Conference on Concurrency Theory, 317-331, 1991 | 43 | 1991 |
| Fundamentals of modelling concurrency using discrete relational structures R Janicki, M Koutny Acta Informatica 34 (5), 367-388, 1997 | 38 | 1997 |
| Nets, sequential components and concurrency relations R Janicki Theoretical Computer Science 29 (1-2), 87-121, 1984 | 38 | 1984 |
| A formal semantics for concurrent systems with a priority relation R Janicki Acta Informatica 24, 33-55, 1987 | 37 | 1987 |
| A weak order approach to group ranking R Janicki, WW Koczkodaj Computers & Mathematics With Applications 32 (2), 51-59, 1996 | 36 | 1996 |
| On a pairwise comparison-based consistent non-numerical ranking R Janicki, Y Zhai Logic Journal of the IGPL 20 (4), 667-676, 2012 | 34 | 2012 |
| Optimal simulations, nets and reachability graphs R Janicki, M Koutny Advances in Petri Nets 1991 11, 205-226, 1991 | 34 | 1991 |
| On causality semantics of nets with priorities R Janicki, M Koutny Fundamenta Informaticae 38 (3), 223-255, 1999 | 33 | 1999 |
| Tabular expressions and their relational semantics R Janicki, A Wassyng Fundamenta Informaticae 67 (4), 343-370, 2005 | 32 | 2005 |
| Pairwise comparisons based non-numerical ranking R Janicki Fundamenta Informaticae 94 (2), 197-217, 2009 | 30 | 2009 |
| A novel test-cost-sensitive attribute reduction approach using the binary bat algorithm X Xie, X Qin, Q Zhou, Y Zhou, T Zhang, R Janicki, W Zhao Knowledge-Based Systems 186, 104938, 2019 | 29 | 2019 |
