Paweł Waszkiewicz

Jednostki:

  • Wydział Matematyki i Informatyki UJ
  • Instytut Informatyki Analitycznej
  • Katedra Podstaw Informatyki

Publikacje:

12.
Dirk Hofmann, Paweł Waszkiewicz
A duality of quantale-enriched categories, Journal of Pure and Applied Algebra vol. 216 (2012), 1866-1878
11.
Dirk Hofmann, Paweł Waszkiewicz
Approximation in quantale-enriched categories., Topology and its Applications vol. 158 (2011), 963-977
10.
Sylwia Antoniuk, Paweł Waszkiewicz
The duality of generalized metric spaces., Topology and its Applications vol. 158 (2011), 2371-2381
9.
Mateusz Kostanek, Paweł Waszkiewicz
The formal ball model for Q-categories., Mathematical Structures in Computer Science vol. 21 (2011), 41-64
8.
Paweł Waszkiewicz
Common patterns for metric and ordered fixed point theorems, in Proceedings of the 7th Workshop On Fixed Points in Computer Science (2010), 83-87
7.
Mateusz Kostanek, Paweł Waszkiewicz
The limit-colimit coincidence theorem for Q-categories, Mathematical Structures in Computer Science vol. 158 (2010), 267-284
6.
Paweł Waszkiewicz
On Domain Theory over Girard Quantales, Fundamenta Informaticae vol. 92 (2009), 169-192
5.
Paweł Waszkiewicz
Partial metrisability of continuous posets, Mathematical Structures in Computer Science vol. 16 (2006), 359-372
4.
Paweł Waszkiewicz
Completeness and Compactness of Quantitative Domains, Lecture Notes in Computer Science vol. 3623 (2005), 341-351
3.
Paweł Waszkiewicz
Approximation Simply Characterized., Electronic Notes in Theoretical Computer Science vol. 140 (2005), 113-117
2.
Paweł Waszkiewicz
Quantitative Continuous Domains, Applied Categorical Structures vol. 11 (2003), 41-67
1.
Paweł Waszkiewicz
Distance and Measurement in Domain Theory, Electronic Notes in Theoretical Computer Science vol. 45 (2001), 448-462

Granty (realizowane po maju 2009 roku)

TytułRolaRozpoczęcieZakończenie
Badanie ilościowe w logikach i teorii obliczeńWykonawca2009-09-172012-03-16