Paulo Silva
Cryptography and Information Security
Post Doc Researcher
(email)
Publications
Estevez E,
Cledou MG
, Janowski T
. 2013.
Electronic Participation - Framework
.
Estevez E,
Cledou MG
, Janowski T
. 2013.
Electronic Participation - Toolkit
.
« first
‹ previous
…
76
77
78
79
80
81
82
83
84
Announcements
Bio
Links
Presentations
Publications
Software
Tags
Calculational proofs
(1)
CAO language
(3)
Compiler
(1)
Constraints
(1)
Cryptography Implementations
(3)
Data refinement
(1)
DSL
(4)
Equational Reasoning
(1)
Fork algebras
(2)
Formal Language Specification
(1)
GADT
(2)
Galculator
(1)
Galois connections
(4)
Haskell
(4)
Indirect equality
(1)
Invariants
(1)
Point-free notation
(1)
Point-free program transformation
(1)
program calculation
(1)
Proof Assistant
(3)
Relation algebras
(1)
Schema transformation
(1)
SQL
(1)
Strategic term rewriting
(4)
Tools for Cryptography
(1)
Type Soundness Proof
(1)
Type System
(2)
VDM
(1)