Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Patrick Schaller
Modeling and Verifying Physical Properties of Security Protocols for Wireless Networks
Related publications
Security Analysis of Reliable Transport Layer Protocols for Wireless Sensor Networks
Verifying Security Protocols as Planning in Logic Programming
ACM Transactions on Computational Logic
Computational Mathematics
Theoretical Computer Science
Computer Science
Logic
Verifying Properties of Neural Networks
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Modeling Wireless Links for Transport Protocols
Computer Communication Review
Computer Networks
Software
Communications
Modeling of Collision Avoidance Protocols in Single-Channel Multihop Wireless Networks
Comparative Analysis of Wireless Security Protocols and Issues
International Journal of Trend in Scientific Research and Development
Wireless Physical Layer Security
Proceedings of the National Academy of Sciences of the United States of America
Multidisciplinary
Routing Protocols for Wireless Sensor Networks: A Survey
International Journal of Computer Applications
Congestion Control Protocols for Wireless Multimedia Sensor Networks
International Journal of Science and Research (IJSR)
