BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × China
1 × France
1 × Portugal
2 × USA
Collaborated with:
M.Koutny Y.He J.Kleijn L.Mikulski
Talks about:
order (2) comparison (1) generalis (1) transact (1) subclass (1) structur (1) reachabl (1) incompar (1) partial (1) pairwis (1)

Person: Ryszard Janicki

DBLP DBLP: Janicki:Ryszard

Contributed to:

LATA 20152015
ICEIS AIDSS 20072007
SEFM 20042004
ICSE 19951995
CAV 19901990

Wrote 5 papers:

LATA-2015-JanickiKKM #order #subclass
Order Structures for Subclasses of Generalised Traces (RJ, JK, MK, LM), pp. 689–700.
ICEIS-AIDSS-2007-Janicki #partial order
Pairwise Comparisons, Incomparability and Partial Orders (RJ), pp. 297–302.
SEFM-2004-HeJ #transaction #verification
Verification of the WAP Transaction Layer (YTH, RJ), pp. 366–375.
ICSE-1995-Janicki #semantics #towards
Towards a Formal Semantics of Parnas Tables (RJ), pp. 231–240.
CAV-1990-JanickiK #graph #reachability #simulation #using
Using Optimal Simulations to Reduce Reachability Graphs (RJ, MK), pp. 166–175.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.