Ryszard Janicki
Ryszard Janicki
Professor, Department of Computing and Software, McMaster University
Geverifieerd e-mailadres voor mcmaster.ca - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Semantics of inhibitor nets
R Janicki, M Koutny
Information and Computation 123 (1), 1-16, 1995
2011995
Tabular representations in relational documents
R Janicki, DL Parnas, J Zucker
Relational methods in computer science, 184-196, 1997
1511997
Structure of concurrency
R Janicki, M Koutny
Theoretical Computer Science 112 (1), 5-52, 1993
1091993
On a formal semantics of tabular expressions
R Janicki, R Khedri
Science of Computer Programming 39 (2-3), 189-213, 2001
872001
Specification and analysis of concurrent systems: the COSY approach
R Janicki, PE Lauer
Springer Science & Business Media, 2012
842012
Towards a formal semantics of Parnas tables
R Janicki
1995 17th International Conference on Software Engineering, 231-231, 1995
611995
Concurrent and maximally concurrent evolution of nonsequential systems
R Janicki, PE Lauer, M Koutny, R Devillers
Theoretical Computer Science 43, 213-238, 1986
581986
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
Invariants and paradigms of concurrency theory
R Janicki, M Koutny
Parle’91 Parallel Architectures and Languages Europe, 481-496, 1991
481991
Invariant semantics of nets with inhibitor arcs
R Janicki, M Koutny
International Conference on Concurrency Theory, 317-331, 1991
401991
A formal semantics for concurrent systems with a priority relation
R Janicki
Acta Informatica 24 (1), 33-55, 1987
351987
Optimal simulations, nets and reachability graphs
R Janicki, M Koutny
International Conference on Application and Theory of Petri Nets, 205-226, 1990
331990
Nets, sequential components and concurrency relations
R Janicki
Theoretical Computer Science 29 (1-2), 87-121, 1984
321984
Tabular expressions and their relational semantics
R Janicki, A Wassyng
Fundamenta Informaticae 67 (4), 343-370, 2005
312005
Fundamentals of modelling concurrency using discrete relational structures
R Janicki, M Koutny
Acta Informatica 34 (5), 367-388, 1997
311997
On a pairwise comparison-based consistent non-numerical ranking
R Janicki, Y Zhai
Logic Journal of the IGPL 20 (4), 667-676, 2012
302012
Relational structures model of concurrency
R Janicki
Acta Informatica 45 (4), 279-320, 2008
272008
Tabular expressions in software engineering
A Wassyng, R Janicki
Proceedings of ICSSEA 3, 1-46, 2003
272003
On causality semantics of nets with priorities
R Janicki, M Koutny
Fundamenta Informaticae 38 (3), 223-255, 1999
271999
A weak order approach to group ranking
R Janicki, WW Koczkodaj
Computers & Mathematics With Applications 32 (2), 51-59, 1996
261996
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20