BibSonomy

The easy way to manage scientific publications and bookmarks

BibSonomy helps you to manage your publications and bookmarks, to collaborate with your colleagues and to find new interesting material for your research.

bookmarks (hide)
display
all
bookmarks only
sort by
date
title
order
ascending
descending
RSS
BibTeX
XML

1What is Ethereum? A Step-by-Step Beginners Guide [Ultimate Guide]
https://blockgeeks.com/guides/what-is-ethereum/
2 hours ago by @hernan
ethereum
(0)
copydelete
- community post
- history of this post
1Corda: Frictionless Commerce
https://www.corda.net/
2 hours ago by @hernan
blockchain
(0)
copydelete
- community post
- history of this post
1GOTO Amsterdam 2017
https://gotoams.nl/2017/sessions/143
3 hours ago by @schmidt2
2017amsterdamgoto_conferencekeynotetalkthe_scribes_oath
(0)
copydelete
- community post
- history of this post
1Keynote - Robert C. Martin (Uncle Bob) - The Scribe's Oath
https://conf-assets.s3.eu-central-1.amazonaws.com/uploads/videos/conference_4/143/original/Keynote%20-%20Robert%20C.%20Martin%20(Uncle%20Bob)%20-%20The%20Scribe's%20Oath.mp4
3 hours ago by @schmidt2
ethicsformat_mp4oathone_hourrobert_c_martinscribetalkthe_scribes_oathtowatchvideo
(0)
copydelete
- community post
- history of this post
1transactions - What if a country 100% denominated in a cryptocurrency loses internet connectivity to the rest of the world? - Bitcoin Stack Exchange
https://bitcoin.stackexchange.com/questions/18958/what-if-a-country-100-denominated-in-a-cryptocurrency-loses-internet-connectivi
3 hours ago by @hernan
cap_theorem
(0)
copydelete
- community post
- history of this post

publications (hide)
display
all
publications only
sort by
date
title
order
ascending
descending
help for advanced sorting...
RSS
BibTeX
RDF
more...

1Verification of Distributed Algorithms
?. (2013)
2 hours ago by @hernan
distributed_systems
(0)
copydeleteadd this publication to your clipboard
1A Practical Introduction to PSL
?. (?)
3 hours ago by @hernan
security
(0)
copydeleteadd this publication to your clipboard
1CertiKOS: A Certified Kernel for Secure Cloud Computing
L. et al.. (2013)
3 hours ago by @hernan
certikos
(0)
copydeleteadd this publication to your clipboard
1Modular Verification for Computer Security
Appel. (2016)
3 hours ago by @hernan
compcert
(0)
copydeleteadd this publication to your clipboard
1A theory of Aspects
L. Walker. (2013)Steve Zdancewic.
3 hours ago by @hernan
ligatti
(0)
copydeleteadd this publication to your clipboard

BibSonomy

The easy way to manage scientific publications and bookmarks

bookmarks (hide)
display
all
bookmarks only
sort by
date
title
order
ascending
descending
RSS
BibTeX
XML

1What is Ethereum? A Step-by-Step Beginners Guide [Ultimate Guide]

1Corda: Frictionless Commerce

1GOTO Amsterdam 2017

1Keynote - Robert C. Martin (Uncle Bob) - The Scribe's Oath

1transactions - What if a country 100% denominated in a cryptocurrency loses internet connectivity to the rest of the world? - Bitcoin Stack Exchange

publications (hide)
display
all
publications only
sort by
date
title
order
ascending
descending
help for advanced sorting...
RSS
BibTeX
RDF
more...

1Verification of Distributed Algorithms

1A Practical Introduction to PSL

1CertiKOS: A Certified Kernel for Secure Cloud Computing

1Modular Verification for Computer Security

1A theory of Aspects

news

busy tags

The easy way to manage scientific publications and bookmarks

bookmarks (hide) displayallbookmarks only sort bydatetitleorderascendingdescending RSSBibTeXXML

publications (hide) displayallpublications only sort bydatetitleorderascendingdescendinghelp for advanced sorting... RSSBibTeXRDFmore...

news

busy tags

bookmarks (hide)
display
all
bookmarks only
sort by
date
title
order
ascending
descending
RSS
BibTeX
XML

publications (hide)
display
all
publications only
sort by
date
title
order
ascending
descending
help for advanced sorting...
RSS
BibTeX
RDF
more...