Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Automated Reasoning, Volume 46
Volume 46, Number 1, January 2011
- Carlos Areces, Daniel Gorín:
Resolution with Order and Selection for Hybrid Logics. 1-42 - Szymon Klarman, Ulle Endriss
, Stefan Schlobach:
ABox Abduction in the Description Logic ALC. 43-80 - Javier Larrosa, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell:
A Framework for Certified Boolean Branch-and-Bound Optimization. 81-102
Volume 46, Number 2, February 2011
- Ole J. Mengshoel, Dan Roth, David C. Wilkins:
Portfolios in Stochastic Local Search: Efficiently Computing Most Probable Explanations in Bayesian Networks. 103-160 - Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla:
Closed-Form Upper Bounds in Static Cost Analysis. 161-203 - Antonio Hernando, Eugenio Roanes-Lozano, Luis M. Laita:
A Polynomial Model for Logics with a Prime Power Number of Truth Values. 205-221
Volume 46, Numbers 3-4, April 2011
- Lujo Bauer, Sandro Etalle, Jerry den Hartog, Luca Viganò:
Preface of Special Issue on "Computer Security: Foundations and Automated Reasoning". 223-224 - Véronique Cortier, Steve Kremer, Bogdan Warinschi:
A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems. 225-259 - Judicaël Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech:
Automated Proofs for Asymmetric Encryption. 261-291 - Joana Martinho, António Ravara:
Encoding Cryptographic Primitives in a Calculus with Polyadic Synchronisation. 293-323 - Ralf Küsters, Tomasz Truderung:
Reducing Protocol Analysis with XOR to the XOR-Free Case in the Horn Theory Based Approach. 325-352 - Wihem Arsac, Giampaolo Bella, Xavier Chantry, Luca Compagna:
Multi-Attacker Protocol Validation. 353-388 - Max I. Kanovich, Paul D. Rowe, Andre Scedrov:
Collaborative Planning with Confidentiality. 389-421
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-05-10 18:47 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:
