Sean Wilson

From MaRDI portal
Person:2454435



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
The Robotarium: Globally Impactful Opportunities, Challenges, and Lessons Learned in Remote-Access, Distributed Control of Multirobot Systems
IEEE Control Systems
2022-01-10Paper
The supersingular locus of the Shimura variety for \(\mathrm{GU}(1, n-1)\) over a ramified prime
Mathematische Zeitschrift
2014-06-13Paper
Automation for dependently typed functional programming
Fundamenta Informaticae
2011-05-20Paper


Research outcomes over time


This page was built for person: Sean Wilson