Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID65th Birthday: Andre Scedrov 2020
- Vivek Nigam
, Tajana Ban Kirigin, Carolyn L. Talcott, Joshua D. Guttman, Stepan L. Kuznetsov, Boon Thau Loo, Mitsuhiro Okada:
Logic, Language, and Security - Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 12300, Springer 2020, ISBN 978-3-030-62076-9
Logic
- Stepan L. Kuznetsov:
A $\varPi _1^0$-Bounded Fragment of Infinitary Action Logic with Exponential. 3-16 - Jean-Yves Girard:
Transcendental Syntax iv: Logic Without Systems. 17-36
Logic and Computing
- Mitsuhiro Okada:
A Small Remark on Hilbert's Finitist View of Divisibility and Kanovich-Okada-Scedrov's Logical Analysis of Real-Time Systems. 39-47 - Dusko Pavlovic:
Logic of Fusion - - Dedicated to Andre Scedrov -. 48-60 - Tajana Ban Kirigin, Benedikt Perak:
There's No Time, The Problem of Conceptualising Time. 61-68 - Dale Miller:
Andre and the Early Days of Penn's Logic and Computation Group. 69-70 - Maria Ribeiro, Pedro Adão, Paulo Mateus:
Formal Verification of Ethereum Smart Contracts Using Isabelle/HOL. 71-97 - Zvonimir Sikic, Silvia Ghilezan, Zoran Ognjanovic, Thomas Studer:
Logic and Applications - LAP Meeting. 98-100
Logic and Security
- Alan T. Sherman, Erin Lanus, Moses Liskov, Edward Zieglar, Richard Chang, Enis Golaszewski, Ryan Wnuk-Fink, Cyrus J. Bonyadi, Mario Yaksetig, Ian Blumenfeld:
Formal Methods Analysis of the Secure Remote Password Protocol. 103-126 - Vincent Cheval, Steve Kremer, Itsaka Rakotonirina:
The Hitchhiker's Guide to Decidability and Complexity of Equivalence Properties in Security Protocols. 127-145 - Paul D. Rowe, Joshua D. Guttman, John D. Ramsdell:
Assumption-Based Analysis of Distance-Bounding Protocols with cpsa. 146-166 - Matthew S. Bauer, Rohit Chadha, Mahesh Viswanathan:
Modelchecking Safety Properties in Randomized Security Protocols. 167-183
Logic and Language
- Glyn Morrill:
Andre Scedrov. 187-188 - Kaiji Lu, Piotr Mardziel, Fangjing Wu, Preetam Amancharla, Anupam Datta:
Gender Bias in Neural Natural Language Processing. 189-202
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-06-10 21:35 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
