We stand with Ukraine  

Pawel Waszkiewicz

Affiliations:
  • Jagiellonian University, Theoretical Computer Science, Kraków, Poland


According to our database1, Pawel Waszkiewicz authored at least 11 papers between 2001 and 2011.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2011
The formal ball model for -categories.
[BibTeX]
[DOI]
Mateusz Kostanek
,
Pawel Waszkiewicz
Math. Struct. Comput. Sci., 2011

2010
The limit-colimit coincidence theorem for -categories.
[BibTeX]
[DOI]
Mateusz Kostanek
,
Pawel Waszkiewicz
Math. Struct. Comput. Sci., 2010

Approximation in quantale-enriched categories
[BibTeX]
[DOI]
Dirk Hofmann
,
Pawel Waszkiewicz
CoRR, 2010

Common Patterns for Metric and Ordered Fixed Point Theorems.
[BibTeX]
[DOI]
Pawel Waszkiewicz
Proceedings of the 7th Workshop on Fixed Points in Computer Science, 2010

2009
On Domain Theory over Girard Quantales.
[BibTeX]
[DOI]
Pawel Waszkiewicz
Fundam. Informaticae, 2009

2006
Partial metrisability of continuous posets.
[BibTeX]
[DOI]
Pawel Waszkiewicz
Math. Struct. Comput. Sci., 2006

2005
Completeness and Compactness of Quantitative Domains.
[BibTeX]
[DOI]
Pawel Waszkiewicz
Proceedings of the Fundamentals of Computation Theory, 15th International Symposium, 2005

2004
Approximation Simply Characterized.
[BibTeX]
[DOI]
Pawel Waszkiewicz
Proceedings of the Second Workshop on Computational Logic and Applications, 2004

2003
Quantitative Continuous Domains.
[BibTeX]
[DOI]
Pawel Waszkiewicz
Appl. Categorical Struct., 2003

How Do Domains Model Topologies?
[BibTeX]
[DOI]
Pawel Waszkiewicz
Proceedings of 19th Conference on the Mathematical Foundations of Programming Semantics, 2003

2001
Distance and Measurement in Domain Theory.
[BibTeX]
[DOI]
Pawel Waszkiewicz
Proceedings of the Seventeenth Conference on the Mathematical Foundations of Programming Semantics, 2001


  Loading...