| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Józef Winkowski |
Multiplicative Transition Systems.  |
Fundam. Inform.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Józef Winkowski |
An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 1: The Constructive Presentation. |
Fundam. Inform. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Józef Winkowski |
An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 2: The Axiomatic Presentation. |
Fundam. Inform. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Józef Winkowski |
An Algebraic Framework for Defining Random Concurrent Behaviours. |
Fundam. Inform. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Józef Winkowski |
Towards a Framework for Modelling Behaviours of Hybrid Systems. |
Fundam. Inform. |
2007 |
DBLP BibTeX RDF |
|
| 1 | Józef Winkowski |
Behaviour Algebras. |
Fundam. Inform. |
2007 |
DBLP BibTeX RDF |
|
| 1 | Józef Winkowski |
An Axiomatic Characterization of Algebras of Processes of Petri Nets. |
Fundam. Inform. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Józef Winkowski |
Towards a Framework for Modelling Systems with Rich Internal Structures of States and Processes. |
Fundam. Inform. |
2005 |
DBLP BibTeX RDF |
|
| 1 | Józef Winkowski |
An algebraic characterization of independence of Petri net processes. |
Inf. Process. Lett. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Józef Winkowski |
Reachability in Contextual Nets. |
Fundam. Inform. |
2002 |
DBLP BibTeX RDF |
|
| 1 | Józef Winkowski |
Processes of timed Petri nets. |
Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Józef Winkowski |
An Algebra of Data Flows. |
Fundam. Inform. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Józef Winkowski |
Processes of Contextual Nets and their Characteristics. |
Fundam. Inform. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Józef Winkowski |
A Representation of Processes of Petri Nets by Matrices. |
Fundam. Inform. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Maggiolo-Schettini, Józef Winkowski |
A Partial Order Representation of Processes of Transforming Graphs. |
Fundam. Inform. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Antoni W. Mazurkiewicz, Józef Winkowski (eds.) |
CONCUR '97: Concurrency Theory, 8th International Conference, Warsaw, Poland, July 1-4, 1997, Proceedings |
CONCUR |
1997 |
DBLP BibTeX RDF |
|
| 1 | Andrea Maggiolo-Schettini, Józef Winkowski |
A Kernel Language for Programmed Rewriting of (Hyper)graphs. |
Acta Inf. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Józef Winkowski |
Concatenable Weighted Pomsets and Their Applications to Modelling Processes of Petri Nets. |
Fundam. Inform. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Maggiolo-Schettini, Józef Winkowski |
Dynamic Graphs. |
MFCS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Józef Winkowski |
Algebras of Processes of Timed Petri Nets. |
CONCUR |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Maggiolo-Schettini, Józef Winkowski |
Towards an Algebra for Timed Behaviours. |
Theor. Comput. Sci. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Maggiolo-Schettini, Józef Winkowski |
A Programming Language for Deriving Hypergraphs. |
CAAP |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Maggiolo-Schettini, G. Michele Pinna, Józef Winkowski |
A compositional semantics for unmarked predicate/transition nets. |
Fundam. Inform. |
1991 |
DBLP BibTeX RDF |
|
| 1 | Andrea Maggiolo-Schettini, Józef Winkowski |
Programmed Derivations of Relational Structures. |
Graph-Grammars and Their Application to Computer Science |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Józef Winkowski, Andrea Maggiolo-Schettini |
An Algebra of Processes. |
J. Comput. Syst. Sci. |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Waldemar Korczynski, Józef Winkowski |
A Communication Concept for Distributed Systems. |
Inf. Process. Lett. |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | Józef Winkowski |
An Algebraic Description of System Behaviours. |
Theor. Comput. Sci. |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Maggiolo-Schettini, Józef Winkowski |
Processes of Transforming Structures. |
J. Comput. Syst. Sci. |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | Józef Winkowski |
Comments on the Paper by A. W. Wymore. |
International Working Conference on Model Realism |
1982 |
DBLP BibTeX RDF |
|
| 1 | Józef Winkowski |
Comments on the Paper by Hendrik Decker and Jürgen Geissler: "Modeling and Simulating Nets of Agencies with BORIS". |
International Working Conference on Model Realism |
1982 |
DBLP BibTeX RDF |
|
| 1 | Józef Winkowski |
Protocols of Accessing Overlapping Sets of Resources. |
Inf. Process. Lett. |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Maggiolo-Schettini, Horst Wedde, Józef Winkowski |
Modeling a Solution for a Control Problem in Distributed Systems by Restrictions. |
Theor. Comput. Sci. |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Hartmut Ehrig, Hans-Jörg Kreowski, Andrea Maggiolo-Schettini, Barry K. Rosen, Józef Winkowski |
Transformations of Structures: an Algebraic Approach. |
Mathematical Systems Theory |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Józef Winkowski |
Behaviours of Concurrent Systems. |
Theor. Comput. Sci. |
1980 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Maggiolo-Schettini, Horst Wedde, Józef Winkowski |
Modeling a Solution for a Control Problem in Distributed Systems by Restrictions. |
Semantics of Concurrent Computation |
1979 |
DBLP DOI BibTeX RDF |
|
| 1 | Józef Winkowski |
An Algebraic Approach to Concurrence. |
MFCS |
1979 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Maggiolo-Schettini, Horst Wedde, Józef Winkowski |
Modelling a Solution for a Control Problem in Distributed Systems by Restrictions. |
Formale Modelle für Informationssysteme |
1979 |
DBLP BibTeX RDF |
|
| 1 | Andrea Maggiolo-Schettini, Józef Winkowski |
Processes in Structures. |
Graph-Grammars and Their Application to Computer Science and Biology |
1978 |
DBLP DOI BibTeX RDF |
|
| 1 | Hartmut Ehrig, Hans-Jörg Kreowski, Andrea Maggiolo-Schettini, Barry K. Rosen, Józef Winkowski |
Deriving Structures from Structures. |
MFCS |
1978 |
DBLP DOI BibTeX RDF |
|
| 1 | Józef Winkowski (eds.) |
Mathematical Foundations of Computer Science 1978, Proceedings, 7th Symposium, Zakopane, Poland, September 4-8, 1978 |
MFCS |
1978 |
DBLP BibTeX RDF |
|
| 1 | Józef Winkowski |
An Algebraic Characterization of the Behaviour of Non-Sequential Systems. |
Inf. Process. Lett. |
1977 |
DBLP DOI BibTeX RDF |
|
| 1 | Horst Wedde, Józef Winkowski |
Determining Processes by Violations. |
MFCS |
1977 |
DBLP DOI BibTeX RDF |
|
| 1 | Józef Winkowski |
Algebras of Partial Sequences - A Tool to Deal with Concurrency. |
FCT |
1977 |
DBLP DOI BibTeX RDF |
|
| 1 | Józef Winkowski |
On Sequential Modelling of Non-Sequential Processes. |
MFCS |
1976 |
DBLP DOI BibTeX RDF |
|
| 1 | Józef Winkowski |
Concurrent Programs. |
Elektronische Informationsverarbeitung und Kybernetik |
1975 |
DBLP BibTeX RDF |
|
| 1 | Józef Winkowski |
Proving Properties of Programs by Means of Predicate Logic. |
MFCS |
1975 |
DBLP DOI BibTeX RDF |
|
| 1 | Józef Winkowski |
Concurrent Programs. |
MFCS |
1974 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")