Center for Research & Development in Mathematics and Applications / Centro de Investigação e Desenvolvimento em Matemática e Aplicações (CIDMA)

Research facility


Location: Aveiro, Portugal (PT) PT

ISNI: 0000000123236065

ROR: https://ror.org/00nt41z93

Show on Map:

close-button

Types of publications

Journal article
Book chapter / Article in edited volumes
Authored book
Translation
Thesis
Edited Volume
Conference contribution
Other publication type
Unpublished / Preprint

Publication year

From
To

Abstract

Journal

Quantitative Hennessy-Milner Theorems via Notions of Density (2023) Forster J, Goncharov S, Hofmann D, Nora P, Schröder L, Wild P Conference contribution A point-free perspective on lax extensions and predicate liftings (2023) Goncharov S, Hofmann D, Nora P, Schröder L, Wild P Journal article Kantorovich Functors and Characteristic Logics for Behavioural Distances (2023) Goncharov S, Hofmann D, Nora P, Schröder L, Wild P Conference contribution The ASKAP-EMU Early Science Project: 888 MHz radio continuum survey of the Large Magellanic Cloud (2021) Pennock CM, Van Loon JT, Filipović MD, Andernach H, Haberl F, Kothes R, Lenc E, et al. Journal article