We stand with Ukraine  

Andrzej M. Borzyszkowski

Orcid: 0000-0002-4477-8960

According to our database1, Andrzej M. Borzyszkowski authored at least 13 papers between 1988 and 2019.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
Regular Orthomodular Posets.
[BibTeX]
[DOI]
Andrzej M. Borzyszkowski
Fundam. Informaticae, 2019

2014
Computing majority via multiple queries.
[BibTeX]
[DOI]
Andrzej M. Borzyszkowski
Theor. Comput. Sci., 2014

2007
Concurrent Secrets.
[BibTeX]
[DOI]
Éric Badouel
,
Marek A. Bednarczyk
,
Andrzej M. Borzyszkowski
,
Benoît Caillaud
,
Philippe Darondeau
Discret. Event Dyn. Syst., 2007

2005
Transition systems without transitions.
[BibTeX]
[DOI]
Andrzej M. Borzyszkowski
,
Philippe Darondeau
Theor. Comput. Sci., 2005

2001
On Concurrent Realization of Reactive Systems and Their Morphisms.
[BibTeX]
[DOI]
Marek A. Bednarczyk
,
Andrzej M. Borzyszkowski
Proceedings of the Unifying Petri Nets, Advances in Petri Nets, 2001

2000
Finite Completeness of Categories of Petri Nets.
[BibTeX]
[DOI]
Marek A. Bednarczyk
,
Andrzej M. Borzyszkowski
,
Rafal Somla
Fundam. Informaticae, 2000

1999
Concurrent Realizations of Reactive Systems.
[BibTeX]
[DOI]
Marek A. Bednarczyk
,
Andrzej M. Borzyszkowski
Proceedings of the Conference on Category Theory and Computer Science, 1999

General Morphisms of Petri Nets (Extended Abstract).
[BibTeX]
[DOI]
Marek A. Bednarczyk
,
Andrzej M. Borzyszkowski
Proceedings of the Automata, 1999

1991
CPO's do not form a CPO, and yet Recursion Works.
[BibTeX]
[DOI]
Marek A. Bednarczyk
,
Andrzej M. Borzyszkowski
Proceedings of the VDM '91, 1991

1990
Towards the Semantics of the Definitional Language of MetaSoft.
[BibTeX]
[DOI]
Marek A. Bednarczyk
,
Andrzej M. Borzyszkowski
,
Wieslaw Pawlowski
Proceedings of the VDM '90, 1990

Recursive Definitions Revisited.
[BibTeX]
[DOI]
Marek A. Bednarczyk
,
Andrzej M. Borzyszkowski
,
Wieslaw Pawlowski
Proceedings of the VDM '90, 1990

1988
Understanding an informal Description: Office Documents Architecture, an ISO Standard.
[BibTeX]
[DOI]
Andrzej M. Borzyszkowski
,
Stefan Sokolowski
Proceedings of the VDM '88, 1988

A Set-Theoretic Model for a Typed Polymorphic Lambda Calculus - A Contribution to MetaSoft.
[BibTeX]
[DOI]
Andrzej M. Borzyszkowski
,
Ryszard Kubiak
,
Stefan Sokolowski
Proceedings of the VDM '88, 1988


  Loading...