Treffer
1 - 7
von
7
für Suche '
Ghale, Milad K
'
Weiter zum Inhalt
VuFind
Zwischenablage:
0
in der Auswahl
(Voll)
Anmeldung über Ihre Einrichtung
Bootstrap
Reg_test
TUM
GatewayBayern
Rvk
reg_uni
Standard Theme
Mobile Theme
thws
Layout
Englisch
Deutsch
Sprache
OPAC
OPACplus
Stichwort
Titel
Verfasser
Schlagwort
Suchen
Erweitert
Suchergebnisse - Ghale, Milad K
Treffer
1 - 7
von
7
für Suche '
Ghale, Milad K
'
, Suchdauer: 0,59s
Treffer weiter einschränken
Sortieren
Relevanz
Nach Datum, absteigend
Verfasser
Titel
1
Formal and Executable Semantics of the Ethereum Virtual Machine in Dafny
von
Cassez, Franck
,
Fuller, Joanne
,
Ghale, Milad K.
,
Pearce, David J.
,
Quiles, Horacio M. A.
Volltext
Buchkapitel
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
2
Engineering Software for Modular Formalisation and Verification of STV Algorithms
von
Ghale, Milad K.
Volltext
Buchkapitel
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
3
Verified Certificate Checking for Counting Votes
von
Ghale, Milad K.
,
Pattinson, Dirk
,
Kumar, Ramana
,
Norrish, Michael
Volltext
Buchkapitel
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
4
A Formally Verified Single Transferable Voting Scheme with Fractional Values
von
Ghale, Milad K.
,
Goré, Rajeev
,
Pattinson, Dirk
Volltext
Buchkapitel
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
5
Modular Formalisation and Verification of STV Algorithms
von
Ghale, Milad K.
,
Goré, Rajeev
,
Pattinson, Dirk
,
Tiwari, Mukesh
Volltext
Buchkapitel
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
6
Formal and Executable Semantics of the Ethereum Virtual Machine in Dafny
von
Cassez, Franck
,
Fuller, Joanne
,
Ghale, Milad K
,
Pearce, David J
,
Quiles, Horacio M. A
Volltext bestellen
Artikel
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
7
Formal and Executable Semantics of the Ethereum Virtual Machine in Dafny
von
Cassez, Franck
,
Fuller, Joanne
,
Ghale, Milad K
,
Pearce, David J
,
Quiles, Horacio M A
Veröffentlicht in
arXiv.org
Volltext
Artikel
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
Suchwerkzeuge:
RSS-Feed abonnieren
Diese Suche als E-Mail versenden
Suche speichern
Zurück
Treffer weiter einschränken
Seite wird neu geladen, wenn Filter aktiviert oder ausgeschlossen wird.
Eingrenzen
Peer Reviewed
5 Treffer
5
Online Resources
7 Treffer
7
Format
Book Chapters
5 Treffer
5
Articles
2 Treffer
2
Zeitschriftentitel
Arxiv
1 Treffer
1
Schlagworte
Computer Science
5 Treffer
5
Science & Technology
5 Treffer
5
Technology
5 Treffer
5
Computer Science, Theory & Methods
4 Treffer
4
Computer Science, Software Engineering
3 Treffer
3
Election Candidates
2 Treffer
2
Uncounted Ballots
2 Treffer
2
Computation
1 Treffer
1
Computer Science - Logic In Computer Science
1 Treffer
1
Computer Science, Information Systems
1 Treffer
1
Computer Science, Interdisciplinary Applications
1 Treffer
1
Information Science & Library Science
1 Treffer
1
Initial Ballot
1 Treffer
1
Provable Judgements
1 Treffer
1
Public Administration
1 Treffer
1
Sanity Checks
1 Treffer
1
Semantics
1 Treffer
1
Single Transferable Vote
1 Treffer
1
Social Sciences
1 Treffer
1
State Machines
1 Treffer
1
Erscheinungsjahr
Von:
Bis:
Quelle
Ebook Central Perpetual And Dda
5 Treffer
5
Ebooks On Ebscohost
5 Treffer
5
Springer Books
5 Treffer
5
Casalini Torrossa Ebook Single Purchase
4 Treffer
4
Ingenta Connect
4 Treffer
4
Proquest Central (Alumni)
1 Treffer
1
Proquest Central Uk/Ireland
1 Treffer
1
Proquest Central Essentials
1 Treffer
1
Proquest Central
1 Treffer
1
Proquest One Community College
1 Treffer
1
Proquest Central Korea
1 Treffer
1
Free E- Journals
1 Treffer
1
Arxiv.org
1 Treffer
1