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.
Math. Struct. Comput. Sci., 2011

2010
The limit-colimit coincidence theorem for -categories.
Math. Struct. Comput. Sci., 2010

Approximation in quantale-enriched categories
CoRR, 2010

Common Patterns for Metric and Ordered Fixed Point Theorems.
Proceedings of the 7th Workshop on Fixed Points in Computer Science, 2010

2009
On Domain Theory over Girard Quantales.
Fundam. Informaticae, 2009

2006
Partial metrisability of continuous posets.
Math. Struct. Comput. Sci., 2006

2005
Completeness and Compactness of Quantitative Domains.
Proceedings of the Fundamentals of Computation Theory, 15th International Symposium, 2005

2004
Approximation Simply Characterized.
Proceedings of the Second Workshop on Computational Logic and Applications, 2004

2003
Quantitative Continuous Domains.
Appl. Categorical Struct., 2003

How Do Domains Model Topologies?
Proceedings of 19th Conference on the Mathematical Foundations of Programming Semantics, 2003

2001
Distance and Measurement in Domain Theory.
Proceedings of the Seventeenth Conference on the Mathematical Foundations of Programming Semantics, 2001


  Loading...