| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ryszard Janicki, Dai Tri Man Le |
Modelling concurrency with comtraces and generalized comtraces.  |
Inf. Comput.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryszard Janicki |
Approximations of Arbitrary Binary Relations by Partial Orders: Classical and Rough Set Models. |
T. Rough Sets |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen A. Edwards, Ryszard Janicki, Walter Vogler |
Preface. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryszard Janicki, Yun Zhai |
Remarks on Pairwise Comparison Numerical and Non-numerical Rankings. |
RSKT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Waldemar W. Koczkodaj, Vova Babiy, Agnieszka D. Bogobowicz, Ryszard Janicki, Alan Wassyng |
Selecting the best strategy in a software certification process. |
IMCSIT |
2010 |
DBLP BibTeX RDF |
|
| 1 | Yun Zhai, Ryszard Janicki |
On Consistency in Pairwise Comparisons Based Numerical and Non-Numerical Ranking. |
FCS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Yun Zhai, Ryszard Janicki |
Preserving Consistency and Properties in Pairwise Comparisons Based Non-Numerical Ranking. |
Software Engineering Research and Practice |
2010 |
DBLP BibTeX RDF |
|
| 1 | Ryszard Janicki |
Pairwise Comparisons Based Non-Numerical Ranking. |
Fundam. Inform. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryszard Janicki, Dai Tri Man Le |
Modelling Concurrency with Comtraces and Generalized Comtraces |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Ryszard Janicki |
On Rough Sets with Structures and Properties. |
RSFDGrC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryszard Janicki, Dai Tri Man Le, Nadezhda Zubkova |
Closure Operators for Order Structures. |
FCT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryszard Janicki, Nadezhda Zubkova |
On Closure Operator for Interval Order Structures. |
FCS |
2009 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Imen Bourguiba, Ryszard Janicki |
Tabular Expressions vs Software Cost Reduction. |
Software Engineering Research and Practice |
2009 |
DBLP BibTeX RDF |
|
| 1 | Ryszard Janicki, Ewa Romanowicz |
Proving Properties of Programs with Theorem Provers - Experiments with Z3 and Simplify. |
Software Engineering Research and Practice |
2009 |
DBLP BibTeX RDF |
|
| 1 | Ryszard Janicki |
Relational structures model of concurrency. |
Acta Inf. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dai Tri Man Le, Ryszard Janicki |
A Categorical Approach to Mereology and Its Application to Modelling Software Components. |
T. Rough Sets |
2008 |
DBLP DOI BibTeX RDF |
“part of” relation, software component, category theory, mereology |
| 1 | Ryszard Janicki, Dai Tri Man Le |
Modelling Concurrency with Quotient Monoids. |
Petri Nets |
2008 |
DBLP DOI BibTeX RDF |
quotient monoids, comtraces, stratified partial orders, stratified order structures, traces, canonical representations, step sequences |
| 1 | Ryszard Janicki |
Some Remarks on Approximations of Arbitrary Binary Relations by Partial Orders. |
RSCTC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryszard Janicki |
Ranking with Partial Orders and Pairwise Comparisons. |
RSKT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Carette, Ryszard Janicki |
Computing Properties of Numerical Imperative Programs by Symbolic Computation. |
Fundam. Inform. |
2007 |
DBLP BibTeX RDF |
|
| 1 | Ryszard Janicki, Dai Tri Man Le |
Towards a Pragmatic Mereology. |
Fundam. Inform. |
2007 |
DBLP BibTeX RDF |
|
| 1 | Ryszard Janicki |
Pairwise Comparisons, Incomparability and Partial Orders. |
ICEIS |
2007 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
automatic understanding, security, Internet, privacy, knowledge base, spam |
| 1 | Ryszard Janicki |
Special Issueon Application of Concurrency to System Design. |
Fundam. Inform. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Dai Tri Man Le, Ryszard Janicki |
On a Parthood Specification Method for Component Software. |
RSCTC |
2006 |
DBLP DOI BibTeX RDF |
“part of” relation, theory of composition and decomposition, software architecture, software components, mereology |
| 1 | Ryszard Janicki, Alan Wassyng |
Tabular Expressions and Their Relational Semantics. |
Fundam. Inform. |
2005 |
DBLP BibTeX RDF |
|
| 1 | Ryszard Janicki |
Basic Mereology with Equivalence Relations. |
MFCS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryszard Janicki |
Preface. |
Fundam. Inform. |
2004 |
DBLP BibTeX RDF |
|
| 1 | Yu-Tong He, Ryszard Janicki |
Verification of the WAP Transaction Layer. |
SEFM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryszard Janicki |
A Generalisation of a Relational Structures Model of Concurrency. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuwen Yang, Ryszard Janicki |
Modelling Concurrency with Tabular Expressions. |
Software Engineering Research and Practice |
2004 |
DBLP BibTeX RDF |
|
| 1 | Ryszard Janicki, Yun Zhai |
On Properties of 'Part of' Relations. |
Software Engineering Research and Practice |
2004 |
DBLP BibTeX RDF |
|
| 1 | Ryszard Janicki, Alan Wassyng |
On tabular expressions. |
CASCON |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryszard Janicki |
Towards a Mereological System for Direct Products and Relations. |
Rough Sets and Current Trends in Computing |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryszard Janicki, Yuanyuan Zhang |
A simplistic Mereological System for Relations. |
IC-AI |
2002 |
DBLP BibTeX RDF |
|
| 1 | Ryszard Janicki |
On a Mereological System for Relational Software Specifications. |
MFCS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Guangyuan Guo, Ryszard Janicki |
Modelling Concurrent Behaviours by Commutativity and Weak Causality Relations. |
AMAST |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniela Rosu 0002, Ryszard Janicki |
On Concurrency Control in Object-oriented Databases. |
PDPTA |
2002 |
DBLP BibTeX RDF |
|
| 1 | Ryszard Janicki, Emil Sekerinski |
Foundations of the Trace Assertion Method of Module Interface Specification. |
IEEE Trans. Software Eng. |
2001 |
DBLP DOI BibTeX RDF |
Module interface specifications, trace assertion method, module refinement, tabular notation, state machines, nondeterminism, relational model, Mealy machines, step-sequences |
| 1 | Ryszard Janicki, Ridha Khédri |
On a formal semantics of tabular expressions. |
Sci. Comput. Program. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryszard Janicki, Yan Liu |
On Trace Assertion Method of Module Interface Specification with Concurrency. |
Rough Sets and Current Trends in Computing |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryszard Janicki, Ridha Khédri |
Remarks on Mereology of Relations. |
RelMiCS |
2000 |
DBLP BibTeX RDF |
|
| 1 | Ryszard Janicki, Maciej Koutny |
On Causality Semantics of Nets with Priorities. |
Fundam. Inform. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryszard Janicki, Maciej Koutny |
Fundamentals of Modelling Concurrency Using Discrete Relational Structures. |
Acta Inf. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryszard Janicki, Maciej Koutny |
Semantics of Inhibitor Nets. |
Inf. Comput. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryszard Janicki |
Towards a Formal Semantics of Parnas Tables. |
ICSE |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryszard Janicki, Maciej Koutny |
Representations of Discrete Interval Orders and Semi-Orders. |
Elektronische Informationsverarbeitung und Kybernetik |
1994 |
DBLP BibTeX RDF |
|
| 1 | Ryszard Janicki, Maciej Koutny |
Deriving Histories of Nets with Priority Relation. |
PARLE |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryszard Janicki, Maciej Koutny |
Structure of Concurrency. |
Theor. Comput. Sci. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryszard Janicki, Maciej Koutny |
Order Structures and Generalisations of Szpilrajn's Theorem. |
FSTTCS |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryszard Janicki, Maciej Koutny |
Invariant Semantics of Nets with Inhibitor Arcs. |
CONCUR |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryszard Janicki, Maciej Koutny |
Invariants and Paradigms of Concurrency Theory. |
PARLE |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryszard Janicki, Maciej Koutny |
Structure of Concurrency. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
| 1 | Ryszard Janicki, Tomasz Müldner |
Transformations of Sequential Specifications into Concurrent Specifications by Synchronization Guards. |
Theor. Comput. Sci. |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryszard Janicki, Maciej Koutny |
Optimal simulations, nets and reachability graphs. |
Applications and Theory of Petri Nets |
1990 |
DBLP DOI BibTeX RDF |
verification, Petri nets, traces, liveness, partial order semantics, reachability graphs, step sequences, state-space generation, deadlock-freeness |
| 1 | Ryszard Janicki, Maciej Koutny |
Using Optimal Simulations to Reduce Reachability Graphs. |
CAV |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryszard Janicki, Tomasz Müldner |
A Simple Realization of a Parallel Device Recognizing Regular Trace Languages. |
ACM Conference on Computer Science |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryszard Janicki, Maciej Koutny |
Towards A Theory Of Simulation For Verification Of Concurrent Systems. |
PARLE |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryszard Janicki, Tomasz Müldner |
Complete Sequential Specification Allows for Concurrent Execution. |
ACM Conference on Computer Science |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryszard Janicki, Peter E. Lauer |
On the Semantics Of Priority Systems. |
ICPP |
1988 |
DBLP BibTeX RDF |
|
| 1 | Ryszard Janicki |
How to relieve a programmer from synchronization details. |
ACM Conference on Computer Science |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryszard Janicki |
A Formal Semantics for Concurrent Systems with a Priority Relation. |
Acta Inf. |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryszard Janicki, Peter E. Lauer, Maciej Koutny, Raymond R. Devillers |
Concurrent and Maximally Concurrent Evolution of Nonsequential Systems. |
Theor. Comput. Sci. |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryszard Janicki, Maciej Koutny |
On equivalent execution semantics of concurrent systems. |
European Workshop on Applications and Theory of Petri Nets |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryszard Janicki |
Transforming Sequential Systems into Concurrent Systems. |
Theor. Comput. Sci. |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryszard Janicki |
An Equivalence Notion for Path Expressions Systems. |
Elektronische Informationsverarbeitung und Kybernetik |
1985 |
DBLP BibTeX RDF |
|
| 1 | Ryszard Janicki |
Nets, Sequential Components and Concurrency Relations. |
Theor. Comput. Sci. |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryszard Janicki, Peter E. Lauer, Raymond R. Devillers |
Maximally Concurrent Evolution of Non-sequential Systems. |
Seminar on Concurrency |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryszard Janicki |
A Method for Developing Concurrent Systems. |
Symposium on Programming |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryszard Janicki |
A Construction of Concurrent Systems by Means of Sequential Solutions and Concurrency Relations. |
ICFPC |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryszard Janicki |
On the Design of Concurrent Systems. |
ICDCS |
1981 |
DBLP BibTeX RDF |
|
| 1 | Ryszard Janicki |
Some remarks on deterministic Mazurkiewicz algorithms and languages associated with them. |
Fundam. Inform. |
1980 |
DBLP BibTeX RDF |
|
| 1 | Ryszard Janicki |
On Atomic Nets and Concurrency Relations. |
MFCS |
1980 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryszard Janicki |
An Algebraic Structure of Petri Nets. |
Symposium on Programming |
1980 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryszard Janicki |
A Characterization of Concurrency-Like Relations. |
Semantics of Concurrent Computation |
1979 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryszard Janicki |
Analysis of vectors of coroutines by means of components. |
FCT |
1979 |
DBLP BibTeX RDF |
|
| 1 | Ryszard Janicki |
Synthesis of Concurrent Schemes. |
MFCS |
1978 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryszard Janicki |
Vectors of Coroutines over Blikle Nets. |
FCT |
1977 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryszard Janicki |
Vectors of Coroutines. |
MFCS |
1976 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")