Concepedia

Ryszard Janicki

RJ

Statistics

Publications

29

Citations

834

H-Index

18

Active since

1981

Affiliations

McMaster University(Current)

Newcastle University

Laurentian University

Leiden University

Institute of Mathematics

Ryszard Janicki is an author at McMaster University specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationParallel ProgrammingData MiningData ScienceParallel ComputingSemantics

Publications per year

1981–2019

29

Publications

29

Semantics of Inhibitor Nets

Ryszard Janicki, Maciej Koutny · Information and Computation · 1995 · 142 citations

Formal Semantics, Engineering, Automated Reasoning +8

Structure of concurrency

Ryszard Janicki, Maciej Koutny · Theoretical Computer Science · 1993 · 86 citations

Engineering, Formal Methods, Parallel Programming +5

On a formal semantics of tabular expressions

Ryszard Janicki, Ridha Khédri · Science of Computer Programming · 2001 · 54 citations

Formal Semantics, Formal Notation, Syntax +9

Concurrent and maximally concurrent evolution of nonsequential systems

Ryszard Janicki, Peter Lauer, Maciej Koutny et al. · Theoretical Computer Science · 1986 · 41 citations

Discrete Dynamical System, Concurrency Theory, Concurrent System +2

Towards a formal semantics of Parnas tables

Ryszard Janicki · 1995 · 37 citations · Full text

1–5 of 29