Concepedia

Nicola Gambino

NG

15

Publications

674

Citations

15

H-Index

2004

Active since

Affiliations

Université du Québec à Montréal(Current)

Istituto di Matematica Applicata e Tecnologie Informatiche

University of Palermo

University of Cambridge

University of Manchester

Nicola Gambino is an author at Université du Québec à Montréal specializing in automated reasoning, formal methods, and engineering.

Top concepts

Automated ReasoningSemanticsEngineeringFormal MethodsArchitectural DesignEvolutionary BiologyRepresentation Theory

Publications per year

2004–2022

15

Publications

15

Polynomial functors and polynomial monads

Nicola Gambino, Joachim Kock · Mathematical Proceedings of the Cambridge Philosophical Society · 2012 · 145 citations · Full text

The identity type weak factorisation system

Nicola Gambino, Richard Garner · Theoretical Computer Science · 2008 · 106 citations · Full text

Matrix Factorization, Low-rank Approximation, Representation Theory +1

The cartesian closed bicategory of generalised species of structures

Marcelo Fiore, Nicola Gambino, Martin Hyland et al. · Journal of the London Mathematical Society · 2007 · 99 citations

Generalised Species, Mathematical Structure, Higher Category Theory +6

The Frobenius condition, right properness, and uniform fibrations

Nicola Gambino, Christian Sattler · Journal of Pure and Applied Algebra · 2017 · 38 citations · Full text

Spatiality for formal topologies

Nicola Gambino, Peter Schuster · Mathematical Structures in Computer Science · 2007 · 37 citations

Architectural Design, Spatial Theory, Formal Topology +5

Rows per page

1–5 of 15