References of "Bana, Gergely 50026499"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailFormal Analysis of Vote Privacy Using Computationally Complete Symbolic Attacker
Bana, Gergely UL; Chadha, Rohit; Eeralla, Ajay

in Computer Security (2018)

Detailed reference viewed: 66 (5 UL)
Peer Reviewed
See detailModels of Objective Chance: An Analysis through Examples
Bana, Gergely UL

in Making it Formally Explicit (2017)

Detailed reference viewed: 36 (1 UL)
Full Text
Peer Reviewed
See detailOn the Formal Consistency of the Principal Principle
Bana, Gergely UL

in Philosophy of Science (2016)

Detailed reference viewed: 43 (1 UL)
Full Text
Peer Reviewed
See detailSemantics for “Enough-Certainty" and Fitting’s Embedding of Classical Logic in S4
Bana, Gergely UL; Okada, Mitsuhiro

in Proceedings of the 25th EACSL Annual Conference on Computer Science Logic (2016)

Detailed reference viewed: 17 (1 UL)