João M. Lourenço

From MaRDI portal
Person:2008289



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
On the $p$-adic theory of local models2022-01-04Paper
Grassmanniennes affines tordues sur les entiers2019-12-26Paper
A survey of challenges for runtime verification from advanced application domains (beyond software)
Formal Methods in System Design
2019-11-25Paper
On the normality of Schubert varieties: remaining cases in positive characteristic2018-06-28Paper
scientific article; zbMATH DE number 1728458 (Why is no real title available?)2002-04-15Paper
A graphical development and debugging environment for parallel programs
Parallel Computing
1998-07-22Paper
A modular ramified geometric Satake equivalence
(available as arXiv preprint)
N/APaper


Research outcomes over time


This page was built for person: João M. Lourenço