Ensuring Correctness of Lightweight Tactics for Java Card Dynamic Logic
Bubel, R.; Roth, A.; Rümmer, P.
2004. Proceedings of Workshop on Logical Frameworks and Meta-Languages (LFM) at Second International Joint Conference on Automated Reasoning 2004, Cork, Ireland, 04.-09.07.04, 84–105, Cork 

Taclets: a new paradigm for constructing interactive theorem provers
Beckert, B.; Giese, M.; Habermalz, E.; Hähnle, R.; Roth, A.; Rümmer, P.; Schlager, S.
2004. Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales, Serie A: Matemáticas, 98 (1), 17–53 

Real Time Stereo By Using Dynamic Programming
Forstmann, S.; Thüring, S.; Kanou, Y.; Ohya, J.; Schmitt, A.
2004. Conference on Computer Vision and Pattern Recognition Workshop (CVPRW’04), 29–36, IEEE Computer Society 

HW3D: A tool for interactive real-time 3D visualization in GIS supported flood modelling
Bender, J.; Finkenzeller, D.; Oel, P.
2004. Computer Animation and Social Agents (CASA 2004), 305–314, Computer Graphics Society 

B-Splines with Arbitrary Connection matrices
Prautzsch, H.
2004. Constructive approximation, 20 (2), 191–205 

Fast Subpixel Accurate Reconstruction using Color Structured Light
Li, H.; Straub, R.; Prautzsch, H.
2004. Proceedings of the Fourth IASTED International Conference on Visualization, Imaging and Image Processing, 396–401, Marbella 

Crossing reduction in circular layouts
Baur, M.; Brandes, U.
2004. Graph-theoretic concepts in computer science. 30th International Workshop, WG 2004, Bad Honnef, Germany, June 21 - 23, 2004. revised papers. Hrsg.: J. Hromkovi, 332–343, Springer-Verlag 

Combining Speed-up Techniques for Shortest-Path Computations
Holzer, M.; Schulz, F.; Willhalm, T.
2004. Experimental and efficient algorithms. 3rd Int. Workshop, WEA 2004, Angra dos Reis, Brazil, May 25 - 28, 2004. Hrsg.: C. C. Ribeiro, 269–284, Springer-Verlag 

Efficient Simulation of CA with Few Activities
Walter, R.; Worsch, T.
2004. Cellular Automata. 6th International Conference on Cellular Automata for Research and Industry, ACRI 2004, Amsterdam, The Netherlands, October 25 - 28, 2004; proceedings. Hrsg.: Peter M. A. Sloot, 101–110, Springer-Verlag 

Praktikum ’Mobile Informationssysteme’
Klein, M.; König-Ries, B.; Lockemann, P.; Mülle, J.
2004. Die Notebook-Universität Karlsruhe (TH) NUKATH. Hrsg.: J. Deussen, 52–63, Universitätsverlag Karlsruhe 

Interaction modeling of the different knowledge representation forms in the decision support system
Chernyakhovskaya, L. R.; Nikulina, N. O.; Osipova, I. V.; Mülle, J. A.
2004. Proceedings of the Workshop Computer Science and Information Technologies, CSIT’2004. Bd. 1: Regular papers, 153–156, Hungarian Academy of Sciences 

Using Mixins to Build a Flexible Lightweight Middleware for Unbiquitous Computing
Sven Apel; Klemens Böhm
2004. Proceedings of the Workshop on Software Engineering and Middleware (SEM 2004), Linz/Österreich, 500, Linz 

Database Support for Species Extraction from the Biosystematics Litearture - a Feasibility Demonstration
Ralf Duckstein; Klemens Böhm
2004. Proceedings of the 13th International conference on Information an Knowledge Management, Washington D.C., Nov. 2004, 800, Washington 

FairNet - How to Counter Free Riding in Peer-to-Peer Data Structures
Erik Buchmann; Klemens Böhm
2004. Proceedings of Cooperative Information Systems (CoopIS) 2004 International Conference, Agia Napa, Zypern, Oct. 2004, Agia Napa 

The Firing Squad Synchronisation Problem with Many Generals für One-Dimensional CA
Schmid, W.; Worsch, T.
2004. Exploring new frontiers of theoretical informatics. IFIP 18th World Computer Congress ; TC1 3rd International Conference on Theoretical Computer Science (TCS2004) ; 22 - 27 August 2004, Toulouse, France. Hrsg.: J.-J. Lévy, 111–124, Kluwer 

Conclusion of the Evaluation of a Content Management System (CMS) for the Ministry of Environment and Transportation Baden-Württemberg (UVM)
Dietrich, A.; Ebel, R.; Zetzmann, K.
2004. Sh@ring. Proceedings of the 18th International Conference Informatics for Environmental Protection, October 21-23, 2004, CERN, Geneva (Switzerland), 129–133, Editions du Tricorne 

Position Paper for the First AKT Workshop on Semantic Web Services
König-Ries, B.; Klein, M.
2004. First AKT Workshop on Semantic Web Services, Milton Keynes, UK, Dec. 8, 2004, 50–51, Milton Keynes 

Integrating Preferences into Service Requests to Automate Service Usage
Klein, M.; König-Ries, B.
2004. First AKT Workshop on Semantic Web Services, Milton Keynes, UK, Dec. 8, 2004, 26–29, Milton Keynes 

Coupled Signature and Specification Matching for Automatic Service Binding
Klein, M.; König-Ries, B.
2004. Web Services. European Conference, ECOWS 2004, Erfurt, Germany, September 27 - 30, 2004; proceedings. Hrsg.: Liang-Jie Zhang, 183–212, Springer-Verlag 

Combining Query and Preference - An Approach to Fully Automatize Dynamic Service Binding
Klein, M.; König-Ries, B.
2004. Proceedings. IEEE International Conference on Web Services, San Diego, California, 6 - 9 July 2004, 788–791, IEEE Computer Society 

Effektive und effiziente Dienstsuche und -nutzung in Ad-hoc-Netzen - Zwischenbericht für das Projekt DIANE innerhalb des Schwerpunktprogramms 1140 der DFG
König-Ries, B.; Obreiter, P.; Klein, M.
2004 

Activity-Based User Modeling in Service-Oriented Ad hoc Networks
Breyer, T.; Klein, M.; Obreiter, P.; König-Ries, B.
2004. Wireless on-demand network systems. 1st IFIP TC6 Working Conference, WONS 2004, Madonna di Campiglio, Italy, January 21-23, 2004 ; proceedings. Hrsg.: R. Battiti, 43–56, Springer-Verlag 

Schrotrauschen im Mach-Zehnder Interferometer. diploma thesis
Förster, H.
2004. Universität Karlsruhe (TH) 

Elektronischer Transport in metallischen Atomkontakten. diploma thesis
Häfner, M.
2004. Universität Karlsruhe (TH) 

Singlet-triplet mixing in superconductor-ferromagnet hybrid devices
Eschrig, M.; Kopu, J.; Konstandin, A.; Cuevas, J. C.; Fogelström, M.; Schön, G.
2004. Advances in Solid State Physics, 44, 533–546  

Many-body effects in nanospintronics devices
Utsumi, Y.; Martinek, J.; Bruno, P.; Barnas, J.; Maekawa, S.
2004. Journal of the Magnetics Society of Japan, 28 (11), 1081–1088 

Shot noise in mesoscopic transport through localised states
Savchenko, A. K.; Safonov, S. S.; Roshko, S. H.; Bagrets, D. A.; Jouravlev, O. N.; Nazarov, Y. V.; Linfield, E. H.; Ritchie, D. A.
2004. Physica Status Solidi / B, 241 (1), 26–32  

Towards a theory of electrical transport through atomic and molecular junctions
Cuevas, J. C.; Heurich, J.; Pauly, F.; Wenzel, W.; Schön, G.
2004. Phase Transitions, 77 (1-2), 175–189. doi:10.1080/1411596310001622473 

Superconducting atomic contacts and multiple Andreev reflections
Cuevas, J. C.; Belzig, W.
2004. Quantum information and decoherence in nanosystems - proceedings of the 39th rencontre de Moriond, January 25 - February 1st, 2004, La Thuile, Italy. Ed.: D. C. Glattli, 353–358, The Gioi Publishers  

Spin and current variations in Josephson junctions
Shnirman, A.; Nussinov, Z.; Zhu, J.-X.; Balatsky, A. V.; Makhlin, Y.
2004. Fizika nizkich temperatur, 30 (7/8), 834–840 

Spin and current variations in Josephson junctions
Shnirman, A.; Nussinov, Z.; Zhu, J.-X.; Balatsky, A. V.; Makhlin, Y.
2004. Low temperature physics, 30 (7/8), 629–633 

On the extra phase correction to the semiclassical spin coherent-state propagator
Pletyukhov, M.
2004. Journal of Mathematical Physics, 45 (5), 1859/1–14  

Dissipative effects in Josephson qubits
Makhlin, Y.; Schön, G.; Shnirman, A.
2004. Chemical physics, 296 (2/3), 315–324. doi:10.1016/j.chemphys.2003.09.025 

Conduction channels of one-atom zinc contacts
Häfner, M.; Konrad, P.; Pauly, F.; Cuevas, J. C.; Scheer, E.
2004. Physical Review -Series B-, 70 (24), 241404 R/1–4  

DC-transport in superconducting point contacts: a full countingstatistics view
Cuevas, J. C.; Belzig, W.
2004. Physical Review -Series B-, 70 (21), 214512/1–18  

Coherent current transport in wide ballistic Josephson junctions
Samuelsson, P.; Interman, A.; Johansson, G.; Bezuglyi, E. V.; Shumeiko, V. S.; Wendin, G.; Kursten, R.; Richter, A.; Matsuyama, T.; Merkt, U.
2004. Physical Review -Series B-, 70 (21), 212505/1–4  

Generation of squeezed states of nanomechanical resonators by reservoir engineering
Rabl, P.; Shnirman, A.; Zoller, P.
2004. Physical Review -Series B-, 70 (20), 205304/1–12  

Transport of interacting electrons in arrays of quantum dots and diffusive wires
Golubev, D. S.; Zaikin, A. D.
2004. Physical Review -Series B-, 70 (16), 165423/1–12. doi:10.1103/PhysRevB.70.165423  

Data Model for Integration of PDC and Diagnosis in Service-Applications
Längle, T.; Konnov, A.; Guilleaume, M.; H. Wörn
2004. Proceedings of the CSIT 04, Budapest, 2004, 26–32, Budapest 

Service-Engineering in Productive Industry with the "PROSERV" Architecture
Guilleaume, M.; Konnov, A.; Längle, T.; H. Woern
2004. Proceedings of the "International IMS Forum 2004", Como, Italy, 2004, 206–213, Como 

Persistent currents in a multicomponent Tomonaga-Luttinger liquid: application to a mesoscopic semiconductor ring with spin-orbit interaction
Pletyukhov, M.; Gritsev, V.
2004. Physical Review -Series B-, 70 (16), 165316/1–13  

Cavity QED in superconducting circuits: Suseptibility at elevated temperatures
Rau, I.; Johansson, G.; Shnirman, A.
2004. Physical Review -Series B-, 70 (5), 54521/1–7  

Theory of spin waves in diluted-magnetic-semiconductor quantum wells
Frustaglia, D.; Richter, K.; MacDonald, A. H.
2004. Physical Review -Series B-, 70 (4), 45205/1–13  

Spin interference effects in ring conductors subject to Rashba coupling
Frustaglia, D.; Richter, K.
2004. Physical Review -Series B-, 69 (23), 235310/1–7  

Aharonov-Bohm physics with spin. II. Spin-flip effects in two-dimensional ballistic systems
Frustaglia, D.; Hentschel, M.; Richter, K.
2004. Physical Review -Series B-, 69 (15), 155327/1–11  

Aharonov-Bohm physics with spin I: Geometric phases in one-dimensional ballistic rings
Hentschel, M.; Schomerus, H.; Frustaglia, D.; Richter, K.
2004. Physical Review -Series B-, 69 (15), 155326/1–14 

Indirect exchange interaction between two quantum dots in an Aharonov-Bohm ring
Utsumi, Y.; Martinek, J.; Bruno, P.; Imamura, H.
2004. Physical Review -Series B-, 69 (15), 155320/1–10  

Determining the current polarization in Al/Co nanostructured point contacts
Perez-Willard, F.; Cuevas, J. C.; Suergers, C.; Pfundstein, P.; Kopu, J.; Eschrig, M.; Löhneysen, H. von
2004. Physical Review -Series B-, 69 (14), 140502/1–4  

Rechtsberatung durch Computerprogramme: Software in vermeindbarem Konflikt mit dem Rechtsberatungsgesetz (RBerG) bzw. dem Steuerberatungsgesetz (StBerG)
Stern, M.
2004. Computer und Recht, 20 (8), 561–565 

Online-Ticketing: Rechtliche Rahmenbedingungen und wirtschaftliche Aspekte des Online-Vertriebs von Kulturtickets
Stern, M.
2004. Kultur und Recht, (12), 1 ff 

Rückforderung verauslagter Bestattungskosten durch die öffentliche Verwaltung
Stern, M.
2004. Zeitschrift für die Anwaltspraxis, (19), 561 

Bürgerlichrechtliche und aktienrechtliche Schadensersatzansprüche wegen Verletzung der §§ 20, 21 AktG
Stern, M.
2004. Tenea 

Quantum holonomies with Josephson-junction devices
Cholascinski, M.
2004. Physical Review -Series B-, 69 (13), 134516/1–5  

Ring-shaped Andreev Billiards in quantizing magnetic fields
Cserti, J.; Polinák, P.; Palla, G.; Zülicke, U.; Lambert, C. J.
2004. Physical Review -Series B-, 69 (13), 134514/1–7  

Ground state cooling of mechanical resonators
Martin, I.; Shnirman, A.; Tian, L.; Zoller, P.
2004. Physical Review -Series B-, 69 (12), 125339/1–12  

Transfer-matrix description of heterostructures involving superconductors and ferromagnets
Kopu, J.; Eschrig, M.; Cuevas, J. C.; Fogelström, M.
2004. Physical Review -Series B-, 69 (9), 94501/1–9  

Conductance oscillations in strongly correlated fractional quantum Hall line junctions
Zülicke, U.; Shimshoni, E.
2004. Physical Review -Series B-, 69 (8), 85307/1–9  

Stochastic properties of the random waypoint mobility model
Bettstetter, C.; Hartenstein, H.; Pérez-Costa, X.
2004. Wireless networks, 10 (5), 555–567. doi:10.1023/B:WINE.0000036458.88990.e5 

Electron transport through interacting quantum dots in the metallic regime
Golubev, D. S.; Zaikin, A. D.
2004. Physical review / B, 69 (7), Art. Nr. 075318. doi:10.1103/PhysRevB.69.075318  

Two-dimensional hole precession in an all-semiconductor spin field effect transistor
Pala, M. G.; Governale, M.; König, J.; Zülicke, U.; Iannaccone, G.
2004. Physical Review -Series B-, 69 (4), 45304/1–9  

Quantum impurity approach to a coupled qubit problem
Camalet, S.; Schriefl, J.; Degiovanni, P.; Delduc, F.
2004. Europhysics Letters, 68 (1), 37–43  

FleetNet : Bringing car-to-car communication into the real world
Festag, A.; Füßler, H.; Hartenstein, H.; Sarma, A.; Schmitz, R.
2004. The 11th World Congress on ITS: proceedings, Nagoya, Japan, 10.2004, Nagoya 

Output noise of a measuring device at arbitrary voltage and temperature
Shnirman, A.; Mozyrsky, D.; Martin, I.
2004. Europhysics Letters, 67 (5), 840–846  

Universal rashba spin precession of two-dimensional electrons and holes
Pala, M. G.; Governale, M.; König, J.; Zülicke, U.
2004. Europhysics Letters, 65 (6), 850–856  

Measuring non-Gaussian fluctuations through incoherent Cooper pair current
Heikkilä, T. T.; Virtanen, P.; Johansson, G.; Wilhelm, F. K.
2004. Physical Review Letters, 93 (24), 247005/1–4  

Full current statistics of incoherent "Cold electrons"
Bagrets, D. A.
2004. Physical review letters, 93 (23), 236803/1–4  

Relaxation and dephasing in a many-fermion generalitzation of the Caldeira-Leggett model
Marquardt, F.; Golubev, D. S.
2004. Physical Review Letters, 93 (13), 130404/1–4  

Dephasing of solid-state qubits at optimal points
Makhlin, Y.; Shnirman, A.
2004. Physical Review Letters, 92 (17), 178301/1–4  

Zum Entwurf eines Pfandbriefgesetzes
Sester, P.; Schuster, G.
2004. Zeitschrift für Bankrecht und Bankwirtschaft, (6), 481–491 

Nondemolition measurements of a single quantum spin using Josephson oscillations
Bulaevskii, L.; Hruska, M.; Shnirman, A.; Smith, D.; Makhlin, Y.
2004. Physical Review Letters, 92 (17), 177001/1–4  

The Impact of Wireless Radio Fluctuations on Ad Hoc Network Performance
Schmitz, R.; Torrent-Moreno, M.; Hartenstein, H.; Effelsberg, W.
2004. Proceedings of the 29th Annual IEEE International Conference on Local Computer Networks, Tampa, Florida, USA, 16th - 18th November 2004, 594–601, Tampa. doi:10.1109/LCN.2004.125 

Novel spin dynamics in a Josephson junction
Zhu, J.-X.; Nussinov, Z.; Shnirman, A.; Balatsky, A. V.
2004. Physical Review Letters, 92 (10), 107001/1–4  

The Kondo effect in the presence of ferromagnetism
Pasupathy, A. N.; Bialczak, R. C.; Martinek, J.; Grose, J. E.; Donev, L. A. K.; McEuen, P. L.; Ralph, D. C.
2004. Science, 306, 86 

Mezzanine-Kapital als wirtschaftliches Eigenkapital im Ratingverfahren - eine rechtliche Gestaltungsaufgabe
Sester, P.
2004. Zeitschrift für Wirtschafts- und Bankrecht, (7), 2417–1427 

The qubit and the cavity
Makhlin, Y.; Schön, G.; Shnirman, A.
2004. Nature, 431, 138–139 

Der Einfluss von Schwankungen der Übertragungsreichweite auf die Leistungsfähigkeit von Ad-Hoc-Netzwerken
Schmitz, R.; Hartenstein, H.; Melia, T.; Pérez-Costa, X.; Effelsberg, W.
2004. E-Science und GRID, Ad-hoc-Netze, Medienintegration. 18. DFN-Arbeitstagung über Kommunikationsnetze in Düsseldorf. Hrsg.: J. von Knop, 77–86, Ges. für Informatik 

Projektfinanzierungsvereinbarungen als Gestaltungs- und Regulierungsaufgabe
Sester, P.
2004. Schmidt 

Performance measurements of a vehicular ad hoc network
Möske, M.; Füßler, H.; Hartenstein, H.; Franz, W.
2004. Proceedings of the 59th Vehicular Technology Conference, VTC-Spring, Milan, Italy , 17th - 19th May 2004, 2116–2120, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/VETECS.2004.1390647 

Contention-based forwarding for vehicular ad hoc networks
Füßler, H.; Hartenstein, H.; Widmer, J.; Mauve, M.; Effelsberg, W.
2004. WIT 2004 : 1st International Workshop on Intelligent Transportation, Hamburg, Germany, 23rd - 24th March 2004, 155–159 

Vertragsschluss und Verbraucherschutz bei Einsatz von Software-Agenten
Sester, P.
2004. Informatik-Spektrum, 27 (4), 311–322 

Software-Agent mit Lizenz zum....? Vertragsschluss und Verbraucherschutz beim Einsatz von Software-Agenten
Sester, P.; Nitschke, T.
2004. Computer und Recht, 20 (7), 548–554 

Una exégesis interpretativa de la teoria kantiana de la acción y de la autonomia
Lenk, H.
2004. Amor a la Sabiduria: FS. Vial Larraine, 517–528, Santiago de Chile 

Operatsine i theoretico-deriatelinosti aspekti technologitscheskoy theorij nauki
Lenk, H.
2004. Tschelobek - nauka - zivilisatsija. Mensch - Wissenschaft - Zivilisation. Festschrift W. S. Stepin, 293–301, Kanon+ 

Towards a technologistic methodology and philosophy of science
Lenk, H.
2004. National Taiwan University philosophical review, 27, 45–65 

Values and norms as standardized interpretative constructs including an interpretation of the golden rule in confucianism
Lenk, H.
2004. Proceedings der Akadiemtagung "Modern aspects of philosophical confucianism", Taipeh 2003, 21–43, Academia Sinica 

Auf dem Weg zur Informationsgesellschaft? Merkmale der Superinformationsgesellschaft
Lenk, H.
2004. Mensch und Politik, 191, Westermann 

Ethica sporta: kak kultura tschestnoy igri. [in kyrill. Schrift]
Lenk, H.
2004. Debato o politike i kulture. Debates on politics and culture, 88–94, Novoe Literaturnoe Obozrenie 

Towards a methodological scheme-interpretation
Lenk, H.
2004. Journal of Xi’an Jiaotong Daxue Xuebao University (Social Sciences), 24, 53–58 

Zagisungtsch: spotz to-nun undong-gyung-gie-oa gwan-ryun-ha-iou. Eigenleistung: Über die Relation in Sport und Wettkampf
Lenk, H.
2004. Hyundae dokil spots-tschulhakui hurum. Die moderne Strömungen der Sportphilosophie, 41–70, Rainbow Book Co 

Zur Zukunft des Hochleistungssports
Lenk, H.
2004. DSB-Jahresmagazin 2004-2005, 16–18, Deutscher Sportbund 

Nonequilibrium mesoscopic conductance fluctuations
Ludwig, T.; Blanter, Y. M.; Mirlin, A. D.
2004. Physical review / B, (2004), 70 (23), Art.Nr. 235315. doi:10.1103/PhysRevB.70.235315 

Self-interaction-corrected relativistic theory of magnetic scattering of x rays : Application to praseodymium
Arola, E.; Horne, M.; Strange, P.; Winter, H.; Szotek, Z.; Temmerman, W. M.
2004. Physical review / B, (2004), 70 (23), Art. Nr. 235127. doi:10.1103/PhysRevB.70.235127 

Magnetoresistance and dephasing in a two-dimensional electron gas at intermediate conductances
Minkov, G. M.; Germanenko, A. V.; Gornyi, I. V.
2004. Physical review / B, (2004), 70 (24), Art.Nr. 245423. doi:10.1103/PhysRevB.70.245423 

Electronic and vibrational properties of the low-dimensional perovskites Sr₁₋sub(y)Lasub(y)NbO₃̣₅₋ₓ
Kuntscher, C. A.; Schuppler, S.; Haas, P.; Gorshunov, B.; Dressel, M.; Grioni, M.; Lichtenberg, F.
2004. Physical review / B, (2004), 70 (24), Art.Nr. 245123. doi:10.1103/PhysRevB.70.245123 

Coulomb drag in high Landau levels
Gornyi, I. V.; Mirlin, A. D.; Oppen, F. von
2004. Physical review / B, (2004), 70 (24), Art.Nr. 245302. doi:10.1103/PhysRevB.70.245302 

Preliminary results of fracture mechanics analysis on the quality of LIGA sidewalls
Guimaraes, M. S.; Meyer, P.; Hahn, L.; Schulz, J.
2004. Microsystem technologies, (2004), 10 (10), 722–727. doi:10.1007/s00542-004-0434-z 

Fabrication and preliminary testing of X-ray lenses in thick SU-8 resist layers
Nazmov, V.; Reznikova, E.; Mohr, J.; Snigirev, A.; Snigireva, I.; Achenbach, S.; Saile, V.
2004. Microsystem technologies, (2004), 10 (10), 716–721. doi:10.1007/s00542-004-0433-0 

Incorporating design rules into the LIGA technology applied to a fourier transformation spectrometer
Solf, C.; Janssen, A.; Mohr, J.; Ruzzu, A.; Wallrabe, U.
2004. Microsystem technologies, (2004), 10 (10), 706–710. doi:10.1007/s00542-004-0406-3 

Nucleosynthesis at the termination point of the process
Ratzel, U.; Arlandini, C.; Käppeler, F.; Couture, A.; Wiescher, M.; Reifarth, R.; Gallino, R.; Mengoni, A.; Travaglio, C.
2004. Physical review / C, (2004), 70 (6), Art.Nr. 065803. doi:10.1103/PhysRevC.70.065803 

Structure quality of high aspect ratio sub-micron polymer structures patterned at the electron storage ring ANKA
Achenbach, S.; Mappes, T.; Mohr, J.
2004. Journal of vacuum science & technology / B, (2004), 22 (6), 3196–3201. doi:10.1116/1.1824910