default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJózef Winkowski
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2017
[j30]Józef Winkowski:
Multiplicative Transition Systems. Trans. Petri Nets Other Model. Concurr. 12: 187-215 (2017)- 2011
- [j29]Józef Winkowski:
Multiplicative Transition Systems. Fundam. Informaticae 109(2): 201-222 (2011)
2000 – 2009
- 2009
- [j28]Józef Winkowski:
An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 1: The Constructive Presentation. Fundam. Informaticae 97(1-2): 235-273 (2009) - [j27]Józef Winkowski:
An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 2: The Axiomatic Presentation. Fundam. Informaticae 97(4): 439-470 (2009) - 2008
- [j26]Józef Winkowski:
An Algebraic Framework for Defining Random Concurrent Behaviours. Fundam. Informaticae 85(1-4): 481-496 (2008) - 2007
- [j25]Józef Winkowski:
Behaviour Algebras. Fundam. Informaticae 75(1-4): 537-560 (2007) - [j24]Józef Winkowski:
Towards a Framework for Modelling Behaviours of Hybrid Systems. Fundam. Informaticae 80(1-3): 311-332 (2007) - 2006
- [j23]Józef Winkowski:
An Axiomatic Characterization of Algebras of Processes of Petri Nets. Fundam. Informaticae 72(1-3): 407-420 (2006) - 2005
- [j22]Józef Winkowski:
Towards a Framework for Modelling Systems with Rich Internal Structures of States and Processes. Fundam. Informaticae 68(1-2): 175-206 (2005) - 2003
- [j21]Józef Winkowski:
An algebraic characterization of independence of Petri net processes. Inf. Process. Lett. 88(1-2): 73-81 (2003) - 2002
- [j20]Józef Winkowski:
Reachability in Contextual Nets. Fundam. Informaticae 51(1-2): 235-250 (2002) - 2000
- [j19]Józef Winkowski:
An Algebra of Data Flows. Fundam. Informaticae 42(1): 75-104 (2000) - [j18]Józef Winkowski:
Processes of timed Petri nets. Theor. Comput. Sci. 243(1-2): 1-34 (2000)
1990 – 1999
- 1998
- [j17]Józef Winkowski:
Processes of Contextual Nets and their Characteristics. Fundam. Informaticae 36(1): 71-101 (1998) - 1997
- [j16]Józef Winkowski:
A Representation of Processes of Petri Nets by Matrices. Fundam. Informaticae 30(1): 97-107 (1997) - [j15]Andrea Maggiolo-Schettini, Józef Winkowski:
A Partial Order Representation of Processes of Transforming Graphs. Fundam. Informaticae 31(3/4): 337-355 (1997) - [e2]Antoni W. Mazurkiewicz, Józef Winkowski:
CONCUR '97: Concurrency Theory, 8th International Conference, Warsaw, Poland, July 1-4, 1997, Proceedings. Lecture Notes in Computer Science 1243, Springer 1997, ISBN 3-540-63141-0 [contents] - 1996
- [j14]Andrea Maggiolo-Schettini, Józef Winkowski:
A Kernel Language for Programmed Rewriting of (Hyper)graphs. Acta Informatica 33(6): 523-546 (1996) - [j13]Józef Winkowski:
Concatenable Weighted Pomsets and Their Applications to Modelling Processes of Petri Nets. Fundam. Informaticae 28(3-4): 403-421 (1996) - [c17]Andrea Maggiolo-Schettini, Józef Winkowski:
Dynamic Graphs. MFCS 1996: 431-442 - 1994
- [c16]Józef Winkowski:
Algebras of Processes of Timed Petri Nets. CONCUR 1994: 194-209 - 1992
- [j12]Andrea Maggiolo-Schettini, Józef Winkowski:
Towards an Algebra for Timed Behaviours. Theor. Comput. Sci. 103(2): 335-363 (1992) - [c15]Andrea Maggiolo-Schettini, Józef Winkowski:
A Programming Language for Deriving Hypergraphs. CAAP 1992: 221-231 - 1991
- [j11]Andrea Maggiolo-Schettini, G. Michele Pinna, Józef Winkowski:
A compositional semantics for unmarked predicate/transition nets. Fundam. Informaticae 14(1): 109-128 (1991) - 1990
- [c14]Andrea Maggiolo-Schettini, Józef Winkowski:
Programmed Derivations of Relational Structures. Graph-Grammars and Their Application to Computer Science 1990: 582-598
1980 – 1989
- 1987
- [j10]Józef Winkowski, Andrea Maggiolo-Schettini:
An Algebra of Processes. J. Comput. Syst. Sci. 35(2): 206-228 (1987) - 1982
- [j9]Waldemar Korczynski, Józef Winkowski:
A Communication Concept for Distributed Systems. Inf. Process. Lett. 15(3): 111-114 (1982) - [j8]Andrea Maggiolo-Schettini, Józef Winkowski:
Processes of Transforming Structures. J. Comput. Syst. Sci. 24(3): 245-282 (1982) - [j7]Józef Winkowski:
An Algebraic Description of System Behaviours. Theor. Comput. Sci. 21: 315-340 (1982) - [c13]Andrea Maggiolo-Schettini, Józef Winkowski:
Towards a Programming Language for Manipulating Relational Data Bases. Formal Description of Programming Concepts 1982: 265-280 - [c12]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: 64-65 - [c11]Józef Winkowski:
Comments on the Paper by A. W. Wymore. International Working Conference on Model Realism 1982: 200-201 - 1981
- [j6]Józef Winkowski:
Protocols of Accessing Overlapping Sets of Resources. Inf. Process. Lett. 12(5): 239-243 (1981) - [j5]Hartmut Ehrig, Hans-Jörg Kreowski, Andrea Maggiolo-Schettini, Barry K. Rosen, Józef Winkowski:
Transformations of Structures: an Algebraic Approach. Math. Syst. Theory 14: 305-334 (1981) - [j4]Andrea Maggiolo-Schettini, Horst F. Wedde, Józef Winkowski:
Modeling a Solution for a Control Problem in Distributed Systems by Restrictions. Theor. Comput. Sci. 13: 61-83 (1981) - 1980
- [j3]Józef Winkowski:
Behaviours of Concurrent Systems. Theor. Comput. Sci. 12: 39-60 (1980)
1970 – 1979
- 1979
- [c10]Józef Winkowski:
An Algebraic Approach to Concurrence. MFCS 1979: 523-532 - [c9]Andrea Maggiolo-Schettini, Horst F. Wedde, Józef Winkowski:
Modelling a Solution for a Control Problem in Distributed Systems by Restrictions. Formale Modelle für Informationssysteme 1979: 199-201 - [c8]Andrea Maggiolo-Schettini, Horst F. Wedde, Józef Winkowski:
Modeling a Solution for a Control Problem in Distributed Systems by Restrictions. Semantics of Concurrent Computation 1979: 226-248 - 1978
- [c7]Andrea Maggiolo-Schettini, Józef Winkowski:
Processes in Structures. Graph-Grammars and Their Application to Computer Science and Biology 1978: 317-330 - [c6]Hartmut Ehrig, Hans-Jörg Kreowski, Andrea Maggiolo-Schettini, Barry K. Rosen, Józef Winkowski:
Deriving Structures from Structures. MFCS 1978: 177-190 - [e1]Józef Winkowski:
Mathematical Foundations of Computer Science 1978, Proceedings, 7th Symposium, Zakopane, Poland, September 4-8, 1978. Lecture Notes in Computer Science 64, Springer 1978, ISBN 0-387-08921-7 [contents] - 1977
- [j2]Józef Winkowski:
An Algebraic Characterization of the Behaviour of Non-Sequential Systems. Inf. Process. Lett. 6(4): 105-109 (1977) - [c5]Józef Winkowski:
Algebras of Partial Sequences - A Tool to Deal with Concurrency. FCT 1977: 187-198 - [c4]Horst F. Wedde, Józef Winkowski:
Determining Processes by Violations. MFCS 1977: 549-559 - 1976
- [c3]Józef Winkowski:
On Sequential Modelling of Non-Sequential Processes. MFCS 1976: 559-568 - 1975
- [j1]Józef Winkowski:
Concurrent Programs. J. Inf. Process. Cybern. 11(4-6): 283-290 (1975) - [c2]Józef Winkowski:
Proving Properties of Programs by Means of Predicate Logic. MFCS 1975: 465-471 - 1974
- [c1]Józef Winkowski:
Concurrent Programs. MFCS 1974: 202-221
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:49 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
