2004 (400 KB) - KIT – Fakultät für Informatik

Veröffentlichungen und Vorträge
Dietrich, T.:
Die Struktur des Handels auf eBay.de. IBM
Deutschland, Mainz, 29.06.2004
Dinger, J.:
Service-oriented P2P architecture for liberalised
markets. Seminar “Peer-to-Peer Systems and
Applications”, Dagstuhl, 10.03.2004
Dreier, T.:
Content - What should the EU do?. Looking into
the Future of ICT, Wi r t s c h a f t s m i n i s t e r i u m ,
Amsterdam, 30.09.2004
Dreier, T.:
Copyright and value-added information services.
12th Annual Fordham International IP Law &
Policy Conference, Fordham University New
York, 16.04.2004
Dreier, T.:
Creative Commons - Copyright in an Open Access
World. Berlin 2 Open Access - Steps Toward
Implementations of the Berlin Declaration on
Open Access to Knowledge in the Sciences and
the Humanities, MP'G/CERN, Genf, 12.05.2004
Dreier, T.:
Digital Rights Management. Science, Technologie
and Intellectual Property Protection in the
21st Century, Sino-German Institute for Legal
Studies, Peking, 10.10.2004
Dreier, T.:
Droit d'auteur - La situation d'allemande. La
transposition de la Directive sur l'harmonisation
de certains aspects du droit d'auteur et des droits
voisins dans la societé de l'information, Max-
Planck-Institut für Geistiges Eigentum/IRPI,
Paris, 24.09.2004
Dreier, T.:
Geräteabgabe und automatisierte Dienstleistungssysteme
heute und nach der geplanten Reform des
Urheberrechts. GRUR Bezirksgruppe Bayern,
München, 23.11.2004
Dreier, T.:
Open Access: The Legal Foundations. Zurich
Symposiium on Open Access to Knowledge and
406
Schorlarly Communication, Universität Zürich,
15.10.2004
Dreier, T.:
The German Creative Commons Licenses. Open
Everythins, Wizards of OS 3, Berlin, 11.06.2004
Dreier, T.:
The protection, exercise and enforcement of
rights in respect of copying and dissemination
through digital networks. Norwegian Association
of Copyright Law/Norwegain Ass. of Computers
and Law, Universität Oslo, 18.05.2004
Finkenzeller, Dieter:
VISUM: A VR System for the Simulation of
Mobile Robots. Kolloquium über Computergraphik,
LSIIT, Universität Straßburg, Straßburg,
Frankreich, 19.2.2004
Gaertler, M.; Patrignani, M.:
Dynamic Analysis of the Autonomous System
Graph. Inter-Domain Performance and Simulation
2004, Budapest, Hungary, 22.03.04
Glesner, S.:
A Program Result Checker for the Lexical
Analysis of the GNU C Compiler.; International
Workshop on Compiler Optimization meets
Compiler Verification (COCV 2004), 7th
European Conferences on Theory and Practice of
Software (ETAPS 2004), Barcelona, Spain,
Glesner, S.:
A Proof Calculus for Natural Semantics Based on
Greatest Fixed Point Semantics. International
Workshop on Compiler Optimization meets
Compiler Verification (COCV 2004), 7th
European Conferences on Theory and Practice of
Software (ETAPS 2004), Barcelona, Spain,
Glesner, S.:
An ASM Semantics for SSA Intermediate Representations.
11th International Workshop on
Abstract State Machines, Witterberg,
Glesner, S.:
Composing Correctness Proofs for Component
Systems. Seminar “Architecting Systems with
Trustworthy Components”, Schloss Dagstuhl,
Glesner, S.:
Formale Methoden: Abgedroschenes Schlagwort
oder stabilisierendes Rückgrat zuverlässiger
Software?. Workshop “Herausforderungen an die
Software-Engineering-Forschung in Deutschland”,
Schloss Dagstuhl,
Glesner, S.:
Optimierende Übersetzer: Vertrauen ist gut, Verifikation
ist besser!. Informatik-Kolloquium, Universität
Bremen,
Glesner, S.:
Verifikation optimierender Übersetzer. Jahrestreffen
des GI-Beirats der Universitätsprofessoren,
Schloss Dagstuhl,
Glesner, S.:
Verifikation optimierender Übersetzer. Vortrag in
der Arbeitsgruppe von Prof. Reichel, Institut für
Theoretische Informatik, Technische Universität
Dresden,
Glesner, S.:
Verifikation und Optimierung bei der Übersetzung
höherer Programmiersprachen. Jahrestreffen
der GI-Fachgruppe FoMSESS (Formale
Methoden und Software Engineering für Sichere
Systeme), Darmstadt,
Glesner, S.:
Verifikation von optimierenden Übersetzern.
Arbeitsgruppe von Prof. Nipkow, Institut für
Informatik, Technische Universität München,
München (Garching),
Görke, W.:
Dawn of the computer age - achievements by K.
Zuse. CSIT 2004, Budapest, 19.10.04
Görke, W.:
Geschichte der Rechentechnik, Teil Schaltwerke.
Vorlesung an der TU Sofia, Sofia, 18.05.-
21.05.04
Görke, W.:
Null und Computus - Informatikwurzeln in der
Antike und im Mittelalter?. Universität der
Bundeswehr, München, 16.03.04
Vorträge
Görke, W.:
The history of the creation of the first computer
I. Stibitz, Aiken, Zuse (with demos Z1-Z4).
Workshop Computus und new information technologies,
Ufa, 07.06.04
Görke, W.:
The history of the creation of the first computer
II. ENIAC, ABC, Colossus. Workshop Computus
and new information technologies, Ufa, 08.06.04
Görke, W.:
Ursprung des Computus, ältester Rädermechanis-
-mus, erste Maschinen von K. Zuse. Technische
Universität, Sofia, 21.05.04
Grassl, M.:
Diskrete Wignerfunktionen und Varianten in
zusammengesetzter Dimension. Kolloquium
“Kompetenznetzwerk Quanteninformationsverarbeitung”,
Stuttgart-Plieningen, 28.01.2004
Grassl, M.:
From Classical to Quantum Error- C o r r e c t i n g
Code. Instituts Seminar, Imai Laboratory, Institute
of Industrial Science, University of Tokyo,
Tokyo, 05.09.2004
Grassl, M.:
Group Symmetries and Discrete Wigner Functions.
Theoretisch-Physikalisches Kolloquium,
Abteilung für Quantenphysik, Universität Ulm,
25.11.2004
Grassl, M.:
On SIC-POVMs and MUBs in Dimension 6.
EQIS 2004, Tokyo, 05.09.2004
Grassl, M.:
QECC Beyond Qubits. International DFG
Workshop Hirschegg ""Quantum Entanglement -
from Error Correction to Secure Key Distribution,
Hirschegg, 02.04.2004
Grassl, M.:
Quantum Errer Correction - Discrete Mathematics
Meets Physics. Computational Algebra Semin
a r, School of Mathematics and Statistics,
University of Sydney, Sydney, 05.03.2004
407