 | 2009 |
|---|
| 72 |       | Ryszard Janicki,
Nadezhda Zubkova:
On Closure Operator for Interval Order Structures.
FCS 2009: 108-114 |
| 71 |  | Ryszard Janicki,
Dai Tri Man Le,
Nadezhda Zubkova:
Closure Operators for Order Structures.
FCT 2009: 217-229 |
| 70 | | Ryszard Janicki,
Ewa Romanowicz:
Proving Properties of Programs with Theorem Provers - Experiments with Z3 and Simplify.
Software Engineering Research and Practice 2009: 10-16 |
| 69 | | Imen Bourguiba,
Ryszard Janicki:
Tabular Expressions vs Software Cost Reduction.
Software Engineering Research and Practice 2009: 403-407 |
| 68 | | Volodymyr Babiy,
Ryszard Janicki,
Tiffany Jingco,
Tamar Kakiashvili,
Waldemar W. Koczkodaj,
Marc Woodbury-Smith:
Benefits of Using Tabular Expressions in Planning Health Services.
Software Engineering Research and Practice 2009: 99-102 |
| 67 | | Ryszard Janicki,
Dai Tri Man Le:
Modelling Concurrency with Comtraces and Generalized Comtraces
CoRR abs/0907.1722: (2009) |
| 2008 |
|---|
| 66 | | Ryszard Janicki,
Dai Tri Man Le:
Modelling Concurrency with Quotient Monoids.
Petri Nets 2008: 251-269 |
| 65 | | Ryszard Janicki:
Some Remarks on Approximations of Arbitrary Binary Relations by Partial Orders.
RSCTC 2008: 81-91 |
| 64 | | Ryszard Janicki:
Ranking with Partial Orders and Pairwise Comparisons.
RSKT 2008: 442-451 |
| 63 | | Ryszard Janicki:
Relational structures model of concurrency.
Acta Inf. 45(4): 279-320 (2008) |
| 62 | | 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 | | Ratvinder Singh Grewal,
Ryszard Janicki,
Tamar 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 | | Ryszard Janicki,
Dai Tri Man Le:
Towards a Pragmatic Mereology.
Fundam. Inform. 75(1-4): 295-314 (2007) |
| 58 | | Jacques Carette,
Ryszard Janicki:
Computing Properties of Numerical Imperative Programs by Symbolic Computation.
Fundam. Inform. 80(1-3): 125-146 (2007) |
| 2006 |
|---|
| 57 | | Dai Tri Man Le,
Ryszard Janicki:
On a Parthood Specification Method for Component Software.
RSCTC 2006: 537-546 |
| 56 | | Ryszard Janicki:
Special Issueon Application of Concurrency to System Design.
Fundam. Inform. 70(1-2): (2006) |
| 2005 |
|---|
| 55 | | Ryszard Janicki:
Basic Mereology with Equivalence Relations.
MFCS 2005: 507-519 |
| 54 | | Ryszard Janicki,
Alan Wassyng:
Tabular Expressions and Their Relational Semantics.
Fundam. Inform. 67(4): 343-370 (2005) |
| 2004 |
|---|
| 53 | | 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 | | Ryszard Janicki:
A Generalisation of a Relational Structures Model of Concurrency.
ICTAC 2004: 84-98 |
| 51 | | 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 | | Ryszard Janicki:
Preface.
Fundam. Inform. 62(2): (2004) |
| 2003 |
|---|
| 47 | | Ryszard Janicki,
Alan Wassyng:
On tabular expressions.
CASCON 2003: 92-106 |
| 2002 |
|---|
| 46 | | 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 | | 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 | | Ryszard Janicki:
Towards a Mereological System for Direct Products and Relations.
Rough Sets and Current Trends in Computing 2002: 113-122 |
| 2001 |
|---|
| 41 | | 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 | | 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 | | 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 | | 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 | | 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 | | 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 |
