Andrzej M. Borzyszkowski

Publication Activity (10 Years)

Years Active: 1988-2019
Publications (10 Years): 1

Top Topics

Partially Ordered Sets

Image Registration

Top Venues

Fundam. Informaticae

Theor. Comput. Sci.

Publications

Andrzej M. Borzyszkowski
Regular Orthomodular Posets. Fundam. Informaticae 166 (1) (2019)
Andrzej M. Borzyszkowski
Computing majority via multiple queries. Theor. Comput. Sci. 539 (2014)
Éric Badouel, Marek A. Bednarczyk, Andrzej M. Borzyszkowski, Benoît Caillaud, Philippe Darondeau
Concurrent Secrets. Discret. Event Dyn. Syst. 17 (4) (2007)
Andrzej M. Borzyszkowski, Philippe Darondeau
Transition systems without transitions. Theor. Comput. Sci. 338 (1-3) (2005)
Marek A. Bednarczyk, Andrzej M. Borzyszkowski
On Concurrent Realization of Reactive Systems and Their Morphisms. Unifying Petri Nets (2001)
Marek A. Bednarczyk, Andrzej M. Borzyszkowski, Rafal Somla
Finite Completeness of Categories of Petri Nets. Fundam. Informaticae 43 (1-4) (2000)
Marek A. Bednarczyk, Andrzej M. Borzyszkowski
General Morphisms of Petri Nets (Extended Abstract). ICALP (1999)
Marek A. Bednarczyk, Andrzej M. Borzyszkowski
Concurrent Realizations of Reactive Systems. CTCS (1999)
Marek A. Bednarczyk, Andrzej M. Borzyszkowski
CPO's do not form a CPO, and yet Recursion Works. VDM Europe (1) (1991)
Marek A. Bednarczyk, Andrzej M. Borzyszkowski, Wieslaw Pawlowski
Towards the Semantics of the Definitional Language of MetaSoft. VDM Europe (1990)
Marek A. Bednarczyk, Andrzej M. Borzyszkowski, Wieslaw Pawlowski
Recursive Definitions Revisited. VDM Europe (1990)
Andrzej M. Borzyszkowski, Stefan Sokolowski
Understanding an informal Description: Office Documents Architecture, an ISO Standard. VDM Europe (1988)
Andrzej M. Borzyszkowski, Ryszard Kubiak, Stefan Sokolowski
A Set-Theoretic Model for a Typed Polymorphic Lambda Calculus - A Contribution to MetaSoft. VDM Europe (1988)