2008 |
66 | EE | Ryszard Janicki,
Dai Tri Man Le:
Modelling Concurrency with Quotient Monoids.
Petri Nets 2008: 251-269 |
65 | EE | Ryszard Janicki:
Some Remarks on Approximations of Arbitrary Binary Relations by Partial Orders.
RSCTC 2008: 81-91 |
64 | EE | Ryszard Janicki:
Ranking with Partial Orders and Pairwise Comparisons.
RSKT 2008: 442-451 |
63 | EE | Ryszard Janicki:
Relational structures model of concurrency.
Acta Inf. 45(4): 279-320 (2008) |
62 | EE | Dai Tri Man Le,
Ryszard Janicki:
A Categorical Approach to Mereology and Its Application to Modelling Software Components.
T. Rough Sets 8: 146-174 (2008) |
2007 |
61 | EE | Ratvinder Singh Grewal,
Ryszard Janicki,
T. Kakiashvili,
K. Kielan,
Waldemar W. Koczkodaj,
Kalpdrum Passi,
Ryszard Tadeusiewicz:
Attacking the Web Cancer with the Automatic Understanding Approach.
AWIC 2007: 136-141 |
60 | | Ryszard Janicki:
Pairwise Comparisons, Incomparability and Partial Orders.
ICEIS (2) 2007: 297-302 |
59 | EE | Ryszard Janicki,
Dai Tri Man Le:
Towards a Pragmatic Mereology.
Fundam. Inform. 75(1-4): 295-314 (2007) |
58 | EE | Jacques Carette,
Ryszard Janicki:
Computing Properties of Numerical Imperative Programs by Symbolic Computation.
Fundam. Inform. 80(1-3): 125-146 (2007) |
2006 |
57 | EE | Dai Tri Man Le,
Ryszard Janicki:
On a Parthood Specification Method for Component Software.
RSCTC 2006: 537-546 |
56 | EE | Ryszard Janicki:
Special Issueon Application of Concurrency to System Design.
Fundam. Inform. 70(1-2): (2006) |
2005 |
55 | EE | Ryszard Janicki:
Basic Mereology with Equivalence Relations.
MFCS 2005: 507-519 |
54 | EE | Ryszard Janicki,
Alan Wassyng:
Tabular Expressions and Their Relational Semantics.
Fundam. Inform. 67(4): 343-370 (2005) |
2004 |
53 | EE | Yu-Tong He,
Ryszard Janicki:
Verifying protocols by model checking: a case study of the wireless application protocol and the model checker SPIN.
CASCON 2004: 174-188 |
52 | EE | Ryszard Janicki:
A Generalisation of a Relational Structures Model of Concurrency.
ICTAC 2004: 84-98 |
51 | EE | Yu-Tong He,
Ryszard Janicki:
Verification of the WAP Transaction Layer.
SEFM 2004: 366-375 |
50 | | Ryszard Janicki,
Yun Zhai:
On Properties of 'Part of' Relations.
Software Engineering Research and Practice 2004: 393-399 |
49 | | Yuwen Yang,
Ryszard Janicki:
Modelling Concurrency with Tabular Expressions.
Software Engineering Research and Practice 2004: 455-461 |
48 | EE | Ryszard Janicki:
Preface.
Fundam. Inform. 62(2): (2004) |
2003 |
47 | EE | Ryszard Janicki,
Alan Wassyng:
On tabular expressions.
CASCON 2003: 92-106 |
2002 |
46 | EE | Guangyuan Guo,
Ryszard Janicki:
Modelling Concurrent Behaviours by Commutativity and Weak Causality Relations.
AMAST 2002: 178-191 |
45 | | Ryszard Janicki,
Yuanyuan Zhang:
A simplistic Mereological System for Relations.
IC-AI 2002: 1206-1212 |
44 | EE | Ryszard Janicki:
On a Mereological System for Relational Software Specifications.
MFCS 2002: 375-386 |
43 | | Daniela Rosu,
Ryszard Janicki:
On Concurrency Control in Object-oriented Databases.
PDPTA 2002: 956-962 |
42 | EE | Ryszard Janicki:
Towards a Mereological System for Direct Products and Relations.
Rough Sets and Current Trends in Computing 2002: 113-122 |
2001 |
41 | EE | Ryszard Janicki,
Emil Sekerinski:
Foundations of the Trace Assertion Method of Module Interface Specification.
IEEE Trans. Software Eng. 27(7): 577-598 (2001) |
40 | | Ryszard Janicki,
Ridha Khédri:
On a formal semantics of tabular expressions.
Sci. Comput. Program. 39(2-3): 189-213 (2001) |
2000 |
39 | | Ryszard Janicki,
Ridha Khédri:
Remarks on Mereology of Relations.
RelMiCS 2000: 133-140 |
38 | EE | Ryszard Janicki,
Yan Liu:
On Trace Assertion Method of Module Interface Specification with Concurrency.
Rough Sets and Current Trends in Computing 2000: 632-641 |
1999 |
37 | | Ryszard Janicki,
Maciej Koutny:
On Causality Semantics of Nets with Priorities.
Fundam. Inform. 38(3): 223-255 (1999) |
1997 |
36 | | Ryszard Janicki,
Maciej Koutny:
Fundamentals of Modelling Concurrency Using Discrete Relational Structures.
Acta Inf. 34(5): 367-388 (1997) |
1995 |
35 | EE | Ryszard Janicki:
Towards a Formal Semantics of Parnas Tables.
ICSE 1995: 231-240 |
34 | | Ryszard Janicki,
Maciej Koutny:
Semantics of Inhibitor Nets.
Inf. Comput. 123(1): 1-16 (1995) |
1994 |
33 | | Ryszard Janicki,
Maciej Koutny:
Deriving Histories of Nets with Priority Relation.
PARLE 1994: 623-634 |
32 | | Ryszard Janicki,
Maciej Koutny:
Representations of Discrete Interval Orders and Semi-Orders.
Elektronische Informationsverarbeitung und Kybernetik 30(3): 161-168 (1994) |
1993 |
31 | | Ryszard Janicki,
Maciej Koutny:
Order Structures and Generalisations of Szpilrajn's Theorem.
FSTTCS 1993: 348-357 |
30 | | Ryszard Janicki,
Maciej Koutny:
Structure of Concurrency.
Theor. Comput. Sci. 112(1): 5-52 (1993) |
1991 |
29 | | Ryszard Janicki,
Maciej Koutny:
Structure of Concurrency.
AMAST 1991: 98-107 |
28 | | Ryszard Janicki,
Maciej Koutny:
Invariant Semantics of Nets with Inhibitor Arcs.
CONCUR 1991: 317-331 |
27 | | Ryszard Janicki,
Maciej Koutny:
Invariants and Paradigms of Concurrency Theory.
PARLE (2) 1991: 59-74 |
1990 |
26 | EE | Ryszard Janicki,
Tomasz Müldner:
A Simple Realization of a Parallel Device Recognizing Regular Trace Languages.
ACM Conference on Computer Science 1990: 147-153 |
25 | | Ryszard Janicki,
Maciej Koutny:
Optimal simulations, nets and reachability graphs.
Applications and Theory of Petri Nets 1990: 205-226 |
24 | | Ryszard Janicki,
Maciej Koutny:
Using Optimal Simulations to Reduce Reachability Graphs.
CAV 1990: 166-175 |
23 | | Ryszard Janicki,
Tomasz Müldner:
Transformations of Sequential Specifications into Concurrent Specifications by Synchronization Guards.
Theor. Comput. Sci. 77(1&2): 97-129 (1990) |
1989 |
22 | EE | Ryszard Janicki,
Tomasz Müldner:
Complete Sequential Specification Allows for Concurrent Execution.
ACM Conference on Computer Science 1989: 221-231 |
21 | | Ryszard Janicki,
Maciej Koutny:
Towards A Theory Of Simulation For Verification Of Concurrent Systems.
PARLE (2) 1989: 73-88 |
1988 |
20 | EE | Ryszard Janicki:
How to relieve a programmer from synchronization details.
ACM Conference on Computer Science 1988: 438-446 |
19 | | Ryszard Janicki,
Peter E. Lauer:
On the Semantics Of Priority Systems.
ICPP (2) 1988: 150-156 |
1987 |
18 | | Ryszard Janicki:
A Formal Semantics for Concurrent Systems with a Priority Relation.
Acta Inf. 24(1): 33-55 (1987) |
1986 |
17 | | Ryszard Janicki,
Maciej Koutny:
On equivalent execution semantics of concurrent systems.
European Workshop on Applications and Theory of Petri Nets 1986: 89-103 |
16 | | Ryszard Janicki,
Peter E. Lauer,
Maciej Koutny,
Raymond R. Devillers:
Concurrent and Maximally Concurrent Evolution of Nonsequential Systems.
Theor. Comput. Sci. 43: 213-238 (1986) |
1985 |
15 | | Ryszard Janicki:
An Equivalence Notion for Path Expressions Systems.
Elektronische Informationsverarbeitung und Kybernetik 21(6): 283-295 (1985) |
14 | | Ryszard Janicki:
Transforming Sequential Systems into Concurrent Systems.
Theor. Comput. Sci. 36: 27-58 (1985) |
1984 |
13 | | Ryszard Janicki,
Peter E. Lauer,
Raymond R. Devillers:
Maximally Concurrent Evolution of Non-sequential Systems.
Seminar on Concurrency 1984: 268-280 |
12 | | Ryszard Janicki:
A Method for Developing Concurrent Systems.
Symposium on Programming 1984: 155-166 |
11 | | Ryszard Janicki:
Nets, Sequential Components and Concurrency Relations.
Theor. Comput. Sci. 29: 87-121 (1984) |
1981 |
10 | | Ryszard Janicki:
On the Design of Concurrent Systems.
ICDCS 1981: 455-466 |
9 | | Ryszard Janicki:
A Construction of Concurrent Systems by Means of Sequential Solutions and Concurrency Relations.
ICFPC 1981: 327-334 |
1980 |
8 | | Ryszard Janicki:
On Atomic Nets and Concurrency Relations.
MFCS 1980: 320-333 |
7 | | Ryszard Janicki:
An Algebraic Structure of Petri Nets.
Symposium on Programming 1980: 177-192 |
6 | | Ryszard Janicki:
Some remarks on deterministic Mazurkiewicz algorithms and languages associated with them.
Fundam. Inform. 3(1): 65-76 (1980) |
1979 |
5 | | Ryszard Janicki:
Analysis of vectors of coroutines by means of components.
FCT 1979: 207-213 |
4 | | Ryszard Janicki:
A Characterization of Concurrency-Like Relations.
Semantics of Concurrent Computation 1979: 109-122 |
1978 |
3 | | Ryszard Janicki:
Synthesis of Concurrent Schemes.
MFCS 1978: 298-307 |
1977 |
2 | | Ryszard Janicki:
Vectors of Coroutines over Blikle Nets.
FCT 1977: 113-119 |
1976 |
1 | | Ryszard Janicki:
Vectors of Coroutines.
MFCS 1976: 377-384 |