Items where Year is 2002

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators | Item Type | No Grouping
Jump to: B | H | K | L | N | P | U
Number of items: 18.

B

Backes, Michael
(2002) Cryptographically Sound Analysis of Security Protocols.
Doctoral thesis, Saarland University, Computer Science Department.

Backes, Michael
(2002) Factorization of Univariate Polynomials.

Backes, Michael
(2002) New Number-Theoretic Assumptions in Cryptography (in german).

Backes, Michael and Jacobi, Christian and Pfitzmann, Birgit
(2002) Deriving Cryptographically Sound Implementations Using Composition and Formally Verified Bisimulation.
In: Proceedings of 11th International Symposium on Formal Methods Europe (FME).

Backes, Michael and Pfitzmann, Birgit
(2002) Computational Probabilistic Non-Interference.
In: Proceedings of 7th European Symposium on Research in Computer Security (ESORICS).

Backes, Michael and Pfitzmann, Birgit and Steiner, Michael and Waidner, Michael
(2002) Polynomial Fairness and Liveness.
In: Proceedings of 15th IEEE Computer Security Foundations Workshop (CSFW).

Baus, Jörg and Krüger, Antonio and Wahlster, Wolfgang
(2002) A resource-adaptive mobile navigation system.
In: Proceedings of the 7th International Conference on Intelligent User Interfaces, IUI 2002, San Francisco, California, USA, January 13-16, 2002.

Blake, M. Brian and Haigh, Karen Zita and Hexmoor, Henry and Falcone, Rino and Soh, Leen-Kiat and Baral, Chitta and McIlraith, Sheila A. and Gmytrasiewicz, Piotr J. and Parsons, Simon and Malaka, Rainer and Krüger, Antonio and Bouquet, Paolo and Smart, Bill and Kurumantani, Koichi and Pease, Adam and Brenner, Michael and desJardins, Marie and Junker, Ulrich and Delgrande, James P. and Doyle, Jon and Rossi, Francesca and Schaub, Torsten and Gomes, Carla P. and Walsh, Toby and Guo, Haipeng and Horvitz, Eric and Ide, Nancy and Welty, Christopher A. and Anger, Frank D. and Guesgen, Hans W. and Ligozat, Gérard
(2002) AAAI 2002 Workshops.
AI Magazine, 23 (4). 113–121.

Bohnenberger, Thorsten and Jameson, Anthony and Krüger, Antonio and Butz, Andreas
(2002) Location-Aware Shopping Assistance: Evaluation of a Decision-Theoretic Approach.
In: Mobile Human-Computer Interaction, 4th International Symposium, Mobile HCI 2002, Pisa, Italy, September 18-20, 2002, Proceedings.

Bohnenberger, Thorsten and Jameson, Anthony and Krüger, Antonio and Butz, Andreas
(2002) User acceptance of a decision-theoretic location-aware shopping guide.
In: Proceedings of the 7th International Conference on Intelligent User Interfaces, IUI 2002, San Francisco, California, USA, January 13-16, 2002.

H

Hoffmann, Jörg
(2002) Extending FF to Numerical State Variables.
In: Proceedings of the 15th Eureopean Conference on Artificial Intelligence, ECAI'2002, Lyon, France, July 2002.

Hoffmann, Jörg
(2002) Local Search Topology in Planning Benchmarks: A Theoretical Analysis.
In: Proceedings of the Sixth International Conference on Artificial Intelligence Planning Systems, April 23-27, 2002, Toulouse, France.

Hoffmann, Jörg
(2002) Local Search Topology in Planning Benchmarks: A Theoretical Analysis.
In: Proceedings Workshop Planen und Konfigurieren (PuK-2002), Freiburg, 10./ 11.10.2002.

K

Krüger, Antonio and Stahl, Christoph and Baus, Jörg
(2002) Positionsabhängige Kartengenerierung für mobile Fußgängernavigationssysteme.
In: Simulation und Visualisierung 2002 (SimVis 2002), 28. Februar - 1. März 2002, Magdeburg.

L

Levy, Paul Blain
(2002) Possible World Semantics for General Storage in Call-By-Value.
In: Computer Science Logic, 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL.

N

Nipkow, Tobias and Paulson, Lawrence C. and Wenzel, Markus
(2002) Isabelle/HOL --- A Proof Assistant for Higher-Order Logic.
LNCS, 2283 . Springer.

P

Pierce, Benjamin C.
(2002) Types and Programming Languages.
MIT Press.

U

Unruh, Dominique
(2002) Formal Security in Quantum Cryptology.
Masters thesis, Institut für Algorithmen und Kognitive Systeme, University of Karlsruhe.

This list was generated on Sat Sep 22 00:02:21 2018 CEST.