A posteriori error estimation and adaptivity for multiscale finite element approxi...
Modal Ecumenism through RNmatrices: Theory, Implementation, and Verification
Numerical analyses applied to the safeguarding and enhancing of cultural heritage...
Logics of formal inconsistency with replacement: An algebraic and proof-theoreti...
A new conception of abstract logic as base for definability theory