> Details

Universität Karlsruhe (TH) Fakultät für Informatik

Interner Bericht

Reference
management

Direct link

Bookmarks

Remove from
bookmarks

Share this by email

Share this on Twitter

Share this on Facebook

Share this on Whatsapp

Export RIS Export BibTeX Export EndNote

Bookmarks

Media type: Electronic Serial; Monograph Series
Title: Interner Bericht
Corporation: Universität Karlsruhe (TH), Fakultät für Informatik
imprint: Karlsruhe, 20XX-
Language: German
ISSN: 1432-7864
Keywords: Monografische Reihe
Origination:
Footnote: Titeländerung ab 2010,1 in Karlsruhe reports in informatics. - Ersch. damit nur noch elektronisch
Access State: Open Access

> Publishers' series

Riedel, Till [Adapter]
2009,3: Mobile und verteilte Systeme 6 Seminar im WS 2008/09 / Herausgeber: Till Riedel
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2009

Engel, Christian [Other]
2009,9: Verification of modifies clauses in dynamic logic with non-rigid functions Christian Engel
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2009

Görke, Robert [Other]; Hartmann, Tanja [Other]; Wagner, Dorothea [Other]
2009,10: Dynamic graph clustering using minimum-cut trees Robert Görke, Tanja Hartmann, and Dorothea Wagner
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2009

Völker, Markus [Other]; Katz, Bastian [Other]; Wagner, Dorothea [Other]
2009,15: On the complexity of scheduling with power control in geometric SINR Markus Völker, Bastian Katz, and Dorothea Wagner
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2009

Pankratius, Victor [Other]; Adl-Tabatabai, Ali-Reza [Other]; Otto, Frank [Other]
2009,12: Does transactional memory keep its promises? results from an empirical study Victor Pankratius; Ali-Reza Adl-Tabatabai; Frank Otto
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2009

Brosch, Franz [Editor]; Taspolatoglu, Emre [Other]
2009,4: Software-Industrialisierung Herausgeber: Franz Brosch ... Autoren: Emre Taspolatoglu
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2009

Staudt, Christian [Other]; Görke, Robert [Other]
2009,7: A generator of dynamic clustered random graphs Christian Staudt and Robert Görke
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2009

Reussner, Ralf [Editor]; Atkinson, Colin [Other]
2009,11: Fourteenth International Workshop on Component-Oriented Programming Herausgeber: Ralf Reussner ... Autoren: Colin Atkinson
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2009

Li, Hui [Other]; Theilmann, Wolfgang [Other]; Happe, Jens [Other]
2009,8: SLA translation in multi-layered service oriented architectures: status and challenges Hui Li; Wolfgang Theilmann; Jens Happe
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2009

Schaefer, Christoph A. [Other]; Pankratius, Victor [Other]; Tichy, Walter F. [Other]
2009,2: Atune-IL an instrumentation language for auto-tuning parallel applications Christoph A. Schaefer; Victor Pankratius; Walter F. Tichy
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2009

Bauer, Reinhard [Other]; Wagner, Dorothea [Other]
2009,6: Batch dynamic single-source shortest-path algorithms: an experimental study Reinhard Bauer and Dorothea Wagner
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2009

Brunel, Edith [Other]; Delling, Daniel [Other]; Gemsa, Andreas [Other]; Wagner, Dorothea [Other]
2009,13: Space-efficient SHARC-routing Edith Brunel, Daniel Delling, Andreas Gemsa, and Dorothea Wagner
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2009

Delling, Daniel [Other]; Katz, Bastian [Other]; Pajor, Thomas [Other]
2009,16: Parallel computation of best connections in public transportation networks Daniel Delling; Bastian Katz; Thomas Pajor
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2009

Graf, Jürgen [Other]
2009,14: Improving and evaluating the scalability of precise system dependence graphs for objectoriented languages Jürgen Graf
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2009

Katz, Bastian [Other]; Krug, Marcus [Other]; Rutter, Ignaz [Other]; Wolff, Alexander [Other]
2009,17: Manhattan-geodesic point-set embeddability and polygonization Bastian Katz; Marcus Krug; Ignaz Rutter; Alexander Wolff
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2009

Franke, Robert [Other]; Rutter, Ignaz [Other]; Wagner, Dorothea [Other]
2009,18: Computing large matchings in planar graphs with fixed minimum degree Robert Franke; Ignaz Rutter; Dorothea Wagner
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2009

Riedel, Till [Adapter]
2007,3: Mobile und verteilte Systeme 4 Ubiquitous computing / Till Riedel
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2008

Bauer, Reinhard [Other]; Delling, Daniel [Other]; Wagner, Dorothea [Other]
2008,10: Impact of shortcuts on speedup techniques Reinhard Bauer, Daniel Delling, and Dorothea Wagner
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2008

Pankratius, Victor [Other]; Jannesari, Ali [Other]; Tichy, Walter F. [Other]
2008,11: Parallelizing BZip2 a case study in multicore software engineering Victor Pankratius; Ali Jannesari; Walter F. Tichy
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2008

Schepperle, Heiko [Other]; Böhm, Klemens [Other]
2008,1: Auction-based traffic management towards effective concurrent usage of road intersections Heiko Schepperle; Klemens Böhm
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2008

Di, Pengfei [Other]; Houri, Yaser [Other]; Kutzner, Kendy [Other]; Fuhrmann, Thomas [Other]
2008,9: Towards comparable network simulations Pengfei Di; Yaser Houri; Kendy Kutzner; Thomas Fuhrmann
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2008

Hammer, Christian [Other]; Snelting, Gregor [Other]
2008,16: Flow-sensitive, context-sensitive, and object-sensitive information flow control based on program dependance graphs Christian Hammer; Gregor Snelting
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2008

Freudenstein, Patrick [Other]; Nußbaumer, Martin [Other]
2008,6: The Dialog DSL rapid development of advanced web-based dialogs with stakeholders Patrick Freudenstein and Martin Nussbaumer
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2008

Goldschmidt, Thomas [Other]; Brosig, Fabian [Other]; Kreidler, Andreas [Other]; Küttel, Jens [Other]; Kuwertz, Achim [Other]; Liebel, Grischa [Other]; Popović, Daniel [Other]; Stübs, Michael [Other]; Turek, Alexander M. [Other]; Vogel, Christian [Other]; Weinstein, Thomas [Other]; Groenda, Henning [Other]; Wurth, Thomas [Other]; Krogmann, Klaus [Other]; Kuperberg, Michael [Other]; Martens, Anne [Other]; Rathfelder, Christoph [Other]; Reussner, Ralf [Other]; Stammel, Johannes [Other]; Blomer, Jakob [Other]
2008,4: Software Zertifizierung Herausgeber: Thomas Goldschmidt, Henning Groenda, Klaus Krogmann, Michael Kuperberg, Anne Martens, Christoph Rathfelder, Ralf Reussner, Johannes Stammel. Autoren: Jakob Blomer, Fabian Brosig, Andreas Kreidler, Jens Küttel, Achim Kuwertz, Grischa Liebel, Daniel Popovic, Michael Stübs, Alexander M. Turek, Christian Vogel, Thomas Weinstein, Thomas Wurth
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2008

Rutter, Alexander [Other]; Wolff, Alexander [Other]
2008,3: Augmenting the connectivity of planar and geometric graphs Ignaz Rutter; Alexander Wolff
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2008

Baur, Michael [Other]; Schank, Thomas [Other]
2008,5: Dynamic graph drawing in Visone Michael Baur and Thomas Schank
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2008

Bender, Jan [Other]
2008,13: Design of a dynamic simulation system for VR applications Jan Bender
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2008

Brosch, Franz [Editor]; Bouras, Jaouad [Other]
2008,8: Software-Industrialisierung Hrsg.: Franz Brosch ... Autoren: Jaouad Bouras
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2008

Engel, Christian [Other]
2007,8: Verification of Memory Performance Contracts with KeY Christian Engel
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2007

Shiraishi, Yoh [Editor]
2007,6: SensorWebs, databases and mining in networked sensing systems [International Workshop on SensorWebs, Databases and Mining in Networked Sensing Systems (SWDMNSS), Workshop at the 4th International Conference on Networked Sensing Systems (INSS 2007), Braunschweig, Germany, June 6, 2007] Hrsg.: Yoh Shiraishi
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2007

Bauer, Reinhard [Other]; Delling, Daniel [Other]; Wagner, Dorothea [Other]
2007,14: Shortest-Path Indices: Establishing a Methodology for Shortest-Path Problems Bauer, Reinhard; Delling, Daniel; Wagner, Dorothea
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2007

Schosser, Stephan [Other]; Böhm, Klemens [Other]; Vogt, Bodo [Other]
2007,17: Competition and cooperation in heterogeneous structured P2P systems - are they mutually exclusive? Stephan Schosser, Klemens Böhm und Bodo Vogt
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2007

Reussner, Ralf [Other]; Becker, Steffen [Other]; Happe, Jens [Other]; Koziolek, Heiko [Other]; Krogmann, Klaus [Other]; Kuperberg, Michael [Other]
2007,21: The Palladio component model Ralf Reussner, Steffen Becker, Jens Happe, Heiko Koziolek, Klaus Krogmann, Michael Kuperberg
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2007

Schmitt, Peter H. [Other]; Werner, Frank [Other]
2007,1: Model checking for energy efficient scheduling in wireless sensor networks Peter H. Schmitt; Frank Werner
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2007

Zimmer, Tobias [Other]
2007,2: Kostenmodell der Kontextkommunikation und Kontextverarbeitung in Ubiquitären Informationsumgebungen Tobias Zimmer
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2007

Blomer, Jakob [Other]; Geiß, Rubino [Other]
2007,5: The GrGen.NET User Manual refers to GrGen.NET User Manual, www.grgen.net Jacob Blomer ; Rubino Geiß
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2007

Hartmann, Björn-Oliver [Other]; Böhm, Klemens [Other]; Khachatryan, Andranik [Other]; Schosser, Stephan [Other]
2007,16: The dangers of poorly connected peers in structured P2P networks and a solution based on incentives Björn-Oliver Hartmann; Klemens Böhm; Andranik Khachatryan; Stephan Schosser
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2007

Becker, Steffen [Editor]
2007,9: Transformationen in der modellgetriebenen Software-Entwicklung Hrsg.: Steffen Becker
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2007

Becker, Steffen [Editor]
2007,10: Software-Komponentenmodelle Seminar im Wintersemester 2006/2007 Hrsg.: Steffen Becker
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2007

Becker, Steffen [Editor]
2007,11: Software-Entwicklung mit Eclipse Proseminar im Wintersemester 2006/2007 Hrsg.: Steffen Becker
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2007

Geiß, Rubino [Other]; Kroll, Moritz [Other]
2007,7: On improvements of the Varró Benchmark for graph transformation tools Rubino Geiß; Moritz Kroll
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2007

Riedel, Till [Adapter]
2008,2: Mobile und verteilte Systeme 5 Ubiquitous computing / Till Riedel
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2007

Wagner, Silke [Other]; Wagner, Dorothea [Other]
2006,4: Comparing clusterings an overview Silke Wagner; Dorothea Wagner
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2007

Reussner, Ralf [Editor]; Szyperski, Clemens [Editor]; Weck, Wolfgang [Editor]
2007,13: How dark should a component black-box be? Proceedings of the 12th International Workshop on Component Oriented Programming (WCOP 2007), July, 31st, 2007, Berlin, Germany Hrsg.: Ralf Reussner, Clemens Szyperski, Wolfgang Weck
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2007

Tonin, Isabel [Other]
2007,4: Verifying the Mondex Case Study - The KeY Approach Isabel Tonin
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2007

Souza, Luciana Moreira Sá de [Other]; Vogt, Harald [Other]; Beigl, Michael [Other]
2007,22: A survey on fault tolerance in wireless sensor networks Luciana Moreira Sá de Souza, Harald Vogt, Micheal Beigl
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2007

Rutter, Ignaz [Other]; Wolff, Alexander [Other]
2007,19: Computing large matchings fast Ignaz Rutter; Alexander Wolff
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2007

Bellosa, Frank [Editor]
2007,20: GI/ITG KuVS Fachgespräch Systemsoftware und Energiebewusste Systeme 11. Oktober 2007, Universität Karlsruhe (TH) Hrsg.: Frank Bellosa
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2007

Bellosa, Frank [Editor]
2007,23: GI/ITG Fachgruppentreffen Betriebssysteme 12. Oktober 2007, Universität Karlsruhe (TH) Hrsg.: Frank Bellosa
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2007

Zimmer, Tobias [Editor]
2006,3: Mobile und verteilte Systeme 3 Ubiquitous computing / Tobias Zimmer ... (Hrsg.)
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2006

Brandes, Ulrik [Other]; Delling, Daniel [Other]; Gaertler, Marco [Other]; Görke, Robert [Other]; Hoefer, Martin [Other]; Nikolski, Zoran [Other]; Wagner, Dorothea [Other]
2006,19: On modularity - NP-completeness and beyond Brandes, Ulrik; Delling, Daniel; Gaertler, Marco; Görke, Robert; Hoefer, Martin; Nikolski, Zoran; Wagner, Dorothea
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2006

Katz, Bastian [Other]; Gaertler, Marco [Other]; Wagner, Dorothea [Other]
2006,17: Maximum rigid components as means for direction-based localization in sensor networks Bastian Katz; Marco Gaertler; Dorothea Wagner
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2006

Batz, Gernot Veit [Other]
2006,7: An Optimization Technique for Subgraph Matching Strategies Gernot Veit Batz
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2006

Nußbaumer, Martin [Other]; Freudenstein, Patrick [Other]; Gaedke, Martin [Other]
2006,22: Einsatz Domänen-spezifischer Sprachen für Komponenten-basierte Web Anwendungen Martin Nussbaumer; Patrick Freudenstein; Martin Gaedke
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2006

Delling, Daniel [Other]
2006,24: How to Evaluate Clustering Techniques? Daniel Delling
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2006

Delling, Daniel [Author]; Gaertler, Marco [Author]; Görke, Robert [Author]; Wagner, Dorothea [Author]
2006,16: Experiments on comparing graph clusterings Daniel Delling, Marco Gaertler, Robert Görke, and Dorothea Wagner
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, [2006]

Schmidt-Eisenlohr, Felix [Other]; Torrent Moreno, Marc [Other]; Tielert, Tessa [Other]; Mittag, Jens [Other]; Hartenstein, Hannes [Other]
2006,21: Cumulative Noise and 5.9 GHz DSRC Extensions for ns-2.28 Felix Schmidt-Eisenlohr; Marc Torrent-Moreno; Tessa Tielert; Jens Mittag; Hannes Hartenstein
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2006

Meinecke, Johannes [Other]; Majer, Frederic [Other]; Gaedke, Martin [Other]
2006,23: WAM-XML: Maschinenlesbare Architekturbeschreibungen im Web Johannes Meinecke; Frederic Majer; Martin Gaedke
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2006

LeVasseur, Joshua [Other]
2006,15: Pre-virtualization soft Layering for virtual machines Joshua LeVasseur
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2006

Alvarez-Hamelin, Ignacio [Author]; Gaertler, Marco [Author]; Görke, Robert [Author]; Wagner, Dorothea [Author]
2005,29: Halfmoon a new paradigm for complex network visualization Ignacio Alvarez-Hamelin, Marco Gaertler, Robert Görke, and Dorothea Wagner
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, [2005]

Knauer, Christian [Author]; Schramm, Etienne [Author]; Spillner, Andreas [Author]; Wolff, Alexander [Author]
2005,24: Configurations with few crossings in topological graphs Christian Knauer, Etienne Schramm, Andreas Spillner, Alexander Wolff
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, [September 2005]

Search in field:

Recently searched for: