Items where Year is 2004

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Author(s)/Creator(s) | Item Type | No Grouping
Jump to: B | H | K | R | S | T | U | W
Number of items: 31.

B

Backes, Michael
(2004) A Cryptographically Sound Dolev-Yao Style Security Proof of the Otway-Rees Protocol.
In: Proceedings of 9th European Symposium on Research in Computer Security (ESORICS).

Backes, Michael and Bagga, Walid and Karjoth, Günter and Schunter, Matthias
(2004) Efficient Comparison of Enterprise Privacy Policies.
In: Proceedings of 19th ACM Symposium on Applied Computing (SAC).

Backes, Michael and Dürmuth, Markus and Karjoth, Günter
(2004) Unification in Privacy Policy Evaluation - Translating EPAL to Prolog.
In: Proceedings of 5th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY).

Backes, Michael and Dürmuth, Markus and Steinwandt, Rainer
(2004) An Algebra for Composing Enterprise Privacy Policies.
In: Proceedings of 9th European Symposium on Research in Computer Security (ESORICS).

Backes, Michael and Hofheinz, Dennis
(2004) How to Break and Repair a Universally Composable Signature Functionality.
In: Proceedings of 7th Information Security Conference (ISC).

Backes, Michael and Pfitzmann, Birgit
(2004) Computational Probabilistic Non-Interference.
International Journal of Information Security (IJIS), 3 (1). pp. 42-60.

Backes, Michael and Pfitzmann, Birgit
(2004) A Cryptographically Sound Security Proof of the Needham-Schroeder-Lowe Public-Key Protocol.
IEEE Journal on Selected Areas of Computing (JSAC), 22 (10). pp. 2075-2086.

Backes, Michael and Pfitzmann, Birgit
(2004) Symmetric Encryption in a Simulatable Dolev-Yao Style Cryptographic Library.
In: Proceedings of 17th IEEE Computer Security Foundations Workshop (CSFW).

Backes, Michael and Pfitzmann, Birgit and Steiner, Michael and Waidner, Michael
(2004) Polynomial Liveness.
Journal of Computer Security, 12 (3-4). pp. 589-617.

Backes, Michael and Pfitzmann, Birgit and Waidner, Michael
(2004) A General Composition Theorem for Secure Reactive System.
In: Proceedings of 1st Theory of Cryptography Conference (TCC).

Backes, Michael and Pfitzmann, Birgit and Waidner, Michael
(2004) Justifying a Dolev-Yao Model under Active Attacks.
In: UNSPECIFIED Lecture Notes in Computer Science, 3655 . Springer, pp. 1-42.

Backes, Michael and Waidner, Michael and Pfitzmann, Birgit
(2004) Low-level Ideal Signatures and General Integrity Idealization.
In: Proceedings of 7th Information Security Conference (ISC).

Becker, Bernd and Behle, Markus and Eisenbrand, Friedrich and Franzle, Martin and Herbstritt, Marc and Herde, Christian and Hoffmann, Jörg and Kröning, Daniel and Nebel, Bernhard and Polian, Ilia and Wimmer, Ralf
(2004) Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous Systems.
In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Kaiserslautern, Germany, February 24-25, 2004.

Brafman, Ronen I. and Hoffmann, Jörg
(2004) Conformant Planning via Heuristic Forward Search: A New Approach.
In: Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling (ICAPS 2004), June 3-7 2004, Whistler, British Columbia, Canada.

Butz, Andreas and Gross, Markus H. and Krüger, Antonio
(2004) TUISTER: a tangible UI for hierarchical structures.
In: Proceedings of the 9th International Conference on Intelligent User Interfaces, IUI 2004, Funchal, Madeira, Portugal, January 13-16, 2004.

Butz, Andreas and Krüger, Antonio and Kray, Christian and Schmidt, Albrecht
(2004) Workshop W5: multi-user and ubiquitous user interfaces (MU3I).
In: Proceedings of the 9th International Conference on Intelligent User Interfaces, IUI 2004, Funchal, Madeira, Portugal, January 13-16, 2004.

H

Hammer, Christian and Snelting, Gregor
(2004) An improved slicer for Java.
In: PASTE '04: Proceedings of the 5th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering.

Hein, Matthias and Lal, Thomas Navin and Bousquet, Olivier
(2004) Hilbertian Metrics on Probability Measures and Their Application in SVM?s.
In: Pattern Recognition, 26th DAGM Symposium, August 30 - September 1, 2004, Tübingen, Germany, Proceedings.

Hoffmann, Jörg
(2004) Utilizing Problem Structure in Planning: A Local Search Approach.
KI, 18 (2). p. 55.

Hoffmann, Jörg and Porteous, Julie and Sebastia, Laura
(2004) Ordered Landmarks in Planning.
J. Artif. Intell. Res., 22. 215–278.

K

Krüger, Antonio and Aslan, Ilhan and Zimmer, Hubert D.
(2004) The Effects of Mobile Pedestrian Navigation Systems on the Concurrent Acquisition of Route and Survey Knowledge.
In: Mobile Human-Computer Interaction - Mobile HCI 2004, 6th International Symposium, Glasgow, UK, September 13-16, 2004, Proceedings.

Krüger, Antonio and Butz, Andreas and Müller, Christian A. and Stahl, Christoph and Wasinger, Rainer and Steinberg, Karl-Ernst and Dirschl, Andreas
(2004) The connected user interface: realizing a personal situated navigation service.
In: Proceedings of the 9th International Conference on Intelligent User Interfaces, IUI 2004, Funchal, Madeira, Portugal, January 13-16, 2004.

Krüger, Antonio and Malaka, Rainer
(2004) Artificial Intelligence Goes Mobile.
Applied Artificial Intelligence, 18 (6). 469–476.

Krüger, Jochen
(2004) Der Richtervorbehalt als Königsweg für den Schutz von Grundrechten?
Deutsche Richterzeitung, 82 (9). pp. 247-250.

R

Rocchi, Cesare and Stock, Oliviero and Zancanaro, Massimo and Kruppa, Michael and Krüger, Antonio
(2004) The museum visit: generating seamless personalized presentations on multiple devices.
In: Proceedings of the 9th International Conference on Intelligent User Interfaces, IUI 2004, Funchal, Madeira, Portugal, January 13-16, 2004.

S

Sorge, Christoph and Bergfelder, Martin
(2004) Signatures by electronic agents: a legal perspective.
In: Proceedings of the LEA 04 workshop on the law of electronic agents.

T

Trüg, Sebastian and Hoffmann, Jörg and Nebel, Bernhard
(2004) Applying Automatic Planning Systems to Airport Ground-Traffic Control - A Feasibility Study.
In: KI 2004: Advances in Artificial Intelligence, 27th Annual German Conference on AI, KI 2004, Ulm, Germany, September 20-24, 2004, Proceedings.

U

Unruh, Dominique
(2004) Classical Control in Quantum Programs.
UNSPECIFIED
.

Unruh, Dominique
(2004) Simulatable security for quantum protocols.
UNSPECIFIED
.

W

Wasinger, Rainer and Krüger, Antonio
(2004) Multi-modal Interaction with Mobile Navigation Systems (Multimodale Interaktion mit Mobilen Navigationssystemen).
it - Information Technology, 46 (6). 322–331.

Wiering, Marco and Van Veenen, Jelle and Vreeken, Jilles and Koopman, Arne
(2004) Simulation and Optimization of Traffic in a City.
In: Proceedings of the IEEE Intelligent Vehicles Symposium (IV).

This list was generated on Sat Dec 21 00:41:18 2024 CET.
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.