Reserved Area
Announcements
Blog
Images
Links
Opportunities
Presentations
Research Projects
Software
DAIS 2011
6/7/2011
Reykjavik, Iceland
presentationdais11.pdf
Recent Presentations
Measuring Icebergs: Using Different Methods to Estimate the Number of COVID-19 Cases in Portugal and Spain
Simplifying the analysis of software design variants with a colorful Alloy
HPC enabled ML-based approaches for Veteran Suicide Prevention
Authenticated, Partial Data Structures for Blockchain Scalability, Sustainability and Security
SSQSA: Set of Software Quality Static Analyzers
more