( en | de | ru )

 

Disambiguation of "Schneider, Steve"

Author of the publication

copydeleteadd this publication to your clipboard
Concurrent and Real Time Systems: The CSP Approach

. John Wiley & Sons, Inc., New York, NY, USA, 1st edition, (1999)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Steve Völler

Steve Tonah

Steve Blechschmidt

Steve Pasek

Steve Klopfleisch

 

Other publications of authors with the same name

A Survey of Practical Formal Methods for Security., , , , , , and . CoRR, (2021)Fine-Grained Trackability in Protocol Executions., , , , , , , and . NDSS, The Internet Society, (2023)Augmenting an Internet Voting System with Selene Verifiability using Permissioned Distributed Ledger., , , , , , , and . ICDCS, page 1167-1168. IEEE, (2020)Concurrent and Real Time Systems: The CSP Approach. John Wiley & Sons, Inc., New York, NY, USA, 1st edition, (1999)The Web and the 2004 EP election: Comparing political actor Web sites in 11 EU Member States., , , and . Inf. Polity, 10 (3-4): 165-176 (2005)Vax-a-Net: Training-Time Defence Against Adversarial Patch Attacks., , and . ACCV (4), volume 12625 of Lecture Notes in Computer Science, page 235-251. Springer, (2020)Preserving Privacy of Vulnerable Users across Heterogeneous Sensitive Sensor Data Streams using Smart Contracts., , , , and . BlockSys, page 2-8. ACM, (2023)A Declaration of Software Independence., , , , and . Protocols, Strands, and Logic, volume 13066 of Lecture Notes in Computer Science, page 198-217. Springer, (2021)Automated anonymity verification of the ThreeBallot and VAV voting systems., , and . Softw. Syst. Model., 15 (4): 1049-1062 (2016)vVote: A Verifiable Voting System., , , and . ACM Trans. Inf. Syst. Secur., 18 (1): 3:1-3:30 (2015)