dblp.uni-trier.dewww.uni-trier.de

Ryszard Janicki

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
66EERyszard Janicki, Dai Tri Man Le: Modelling Concurrency with Quotient Monoids. Petri Nets 2008: 251-269
65EERyszard Janicki: Some Remarks on Approximations of Arbitrary Binary Relations by Partial Orders. RSCTC 2008: 81-91
64EERyszard Janicki: Ranking with Partial Orders and Pairwise Comparisons. RSKT 2008: 442-451
63EERyszard Janicki: Relational structures model of concurrency. Acta Inf. 45(4): 279-320 (2008)
62EEDai 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
61EERatvinder 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
59EERyszard Janicki, Dai Tri Man Le: Towards a Pragmatic Mereology. Fundam. Inform. 75(1-4): 295-314 (2007)
58EEJacques Carette, Ryszard Janicki: Computing Properties of Numerical Imperative Programs by Symbolic Computation. Fundam. Inform. 80(1-3): 125-146 (2007)
2006
57EEDai Tri Man Le, Ryszard Janicki: On a Parthood Specification Method for Component Software. RSCTC 2006: 537-546
56EERyszard Janicki: Special Issueon Application of Concurrency to System Design. Fundam. Inform. 70(1-2): (2006)
2005
55EERyszard Janicki: Basic Mereology with Equivalence Relations. MFCS 2005: 507-519
54EERyszard Janicki, Alan Wassyng: Tabular Expressions and Their Relational Semantics. Fundam. Inform. 67(4): 343-370 (2005)
2004
53EEYu-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
52EERyszard Janicki: A Generalisation of a Relational Structures Model of Concurrency. ICTAC 2004: 84-98
51EEYu-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
48EERyszard Janicki: Preface. Fundam. Inform. 62(2): (2004)
2003
47EERyszard Janicki, Alan Wassyng: On tabular expressions. CASCON 2003: 92-106
2002
46EEGuangyuan 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
44EERyszard 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
42EERyszard Janicki: Towards a Mereological System for Direct Products and Relations. Rough Sets and Current Trends in Computing 2002: 113-122
2001
41EERyszard 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
38EERyszard 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
35EERyszard 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
26EERyszard 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
22EERyszard 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
20EERyszard 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

Coauthor Index

1Jacques Carette [58]
2Raymond R. Devillers [13] [16]
3Ratvinder Singh Grewal [61]
4Guangyuan Guo [46]
5Yu-Tong He [51] [53]
6T. Kakiashvili [61]
7Ridha Khédri [39] [40]
8K. Kielan [61]
9Waldemar W. Koczkodaj [61]
10Maciej Koutny [16] [17] [21] [24] [25] [27] [28] [29] [30] [31] [32] [33] [34] [36] [37]
11Peter E. Lauer [13] [16] [19]
12Dai Tri Man Le [57] [59] [62] [66]
13Yan Liu (Yan (Jenny) Liu) [38]
14Tomasz Müldner [22] [23] [26]
15Kalpdrum Passi [61]
16Daniela Rosu [43]
17Emil Sekerinski [41]
18Ryszard Tadeusiewicz [61]
19Alan Wassyng [47] [54]
20Yuwen Yang [49]
21Yun Zhai [50]
22Yuanyuan Zhang [45]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)