Maxwell Shinn

Publication Activity (10 Years)

Years Active: 2017-2020
Publications (10 Years): 6

Top Topics

Hardware Designs

Cognitive Tasks

Recurrent Neural Networks

Top Venues

Publications

Joshua B. Burt, Markus Helmer, Maxwell Shinn, Alan Anticevic, John D. Murray
Generative modeling of brain maps with spatial autocorrelation. NeuroImage 220 (2020)
Hongce Zhang, Maxwell Shinn, Aarti Gupta, Arie Gurfinkel, Nham Le, Nina Narodytska
Verification of Recurrent Neural Networks for Cognitive Tasks via Reachability Analysis. ECAI (2020)
Maxwell Shinn
Refinement Type Contracts for Verification of Scientific Investigative Software. VSTTE (2019)
Maxwell Shinn
Refinement type contracts for verification of scientific investigative software. CoRR (2019)
Rafael Romero-Garcia, Kirstie J. Whitaker, Frantisek Vása, Jakob Seidlitz, Maxwell Shinn, Peter Fonagy, Raymond J. Dolan, Peter B. Jones, Ian M. Goodyer, Edward T. Bullmore, Petra E. Vértes
Structural covariance networks are coupled to expression of genes enriched in supragranular layers of the human cortex. NeuroImage 171 (2018)
Maxwell Shinn, Rafael Romero-Garcia, Jakob Seidlitz, Frantisek Vása, Petra E. Vértes, Edward T. Bullmore
Versatility of nodal affiliation to communities. CoRR (2017)