The Complete Guide to SCION From Design Principles to Formal Verification von Chuat, Laurent, Legner, Markus, Basin, David, Hausheer, David, Hitz, Samuel, Müller, Peter, Perrig, Adrian

Volltext öffnen Volltext öffnen

Applied information security a hands-on approach von Basin, David, Schaller, Patrick, Schläpfer, Michael

Beschreibung

Proceedings of the second ACM conference on Wireless network security von Basin, David

Volltext öffnen

Engineering theories of software intensive systems International Summer School Marktoberdorf August 3 to August 15, 2004; working material for the lectures von Basin, David, Doser, Jürgen

Labelled Deduction von Basin, David

Volltext öffnen Volltext öffnen

Automating meta-theory creation and system extension von Basin, David A., Giunchiglia, Fausto, Traverso, Paolo

Search in games with incomplete information a case study using bridge card play von Frank, Ian, Basin, David

Middle-out reasoning for synthesis and induction von Kraan, Ina, Basin, David, Bundy, Alan

Workshop on Theorem Proving with Analytic Tableaux and Related Methods Marseille, France, April 28 - 30, 1993 von Basin, David

Inhaltsverzeichnis

An adaptation of proof-planning to declarer play in bridge von Frank, Ian, Basin, David A., Bundy, Alan

The Boyer-Moore prover and NUPRL an experimental comparison von Basin, David, Kaufmann, Matt

Some normalization properties of Martin-Löf's type theory, and applications von Basin, David A., Howe, Douglas J.

Difference matching von Basin, David A., Walsh, Toby

Applied information security a hands-on approach von Basin, David, Schaller, Patrick, Schläpfer, Michael

Volltext öffnen

Middle-out reasoning for logic program synthesis von Kraan, Ina, Basin, David A., Bundy, Alan

Metalogical frameworks von Basin, David A., Constable, Robert Lee 1952-

Logic program synthesis via proof planning von Kraan, Ina, Basin, David A., Bundy, Alan

Extracting circuits from constructive proofs von Basin, David A.

Experience with FS0 as a framework theory von Matthews, Seán, Smaill, Alan, Basin, David A.

Metalogical frameworks von Basin, David A., Constable, Robert Lee 1952-