Reserved Area
Announcements
Blog
Images
Links
Opportunities
Presentations
Research Projects
Software
Presentations
Machine Assisted Verification Tools for Cryptography
,
at
Porto, Portugal,
10/13/2010
SRDS 2009 - On the Cost of Database Clusters Reconfiguration
,
at
Niagara Falls, New York, U.S.A.,
9/30/2009
:
presentationsrds09.pdf
ole
Model-based Spreadsheet Engineering
,
at
Braga, Portugal
Talk at the IEEE Symposium on Visual Languages and Human-Centric Computing: Extension and Implementation of ClassSheet Models (Slides in PDF)
vlhcc12_talk.pdf
SDMCMM 12 - Automatic Elasticity in OpenStack
,
at
Montreal, Canada
presentation.pdf
Talk at the Joint SSaaPP/FATBIT 2012 Workshop: Model-based Spreadsheet Engineering (Slides in PDF)
Extension and Implementation of ClassSheet Models
,
at
IEEE Symposium on Visual Languages and Human-Centric Computing
An exercise in formalisation (and what it gets you): blockchain transactions
By
Sergey Goncharov
, Friedrich-Alexander-Universität Erlangen-Nürnberg.
Read more
Talk at the IEEE Symposium on Visual Languages and Human-Centric Computing: Extension and Implementation of ClassSheet Models
« first
‹ previous
1
2
3
4
5
6
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