home uni Universität suche Suche kontakt Kontakt
unilogo Universität Stuttgart
Startseite | Fakultät 5 | Fachbereich Informatik
Informatik an der Universität Stuttgart : Veröffentlichungen

Technische Berichte

suche englishicon
 
 

Jahrgang 2021

  • Nr. 00:  Schürmann, Leon; Dürr, Frank: Implementation and Evaluation of Time
Synchronization Mechanisms for Generic Embedded
Systems for Time Sensitive Networking (TSN), Technischer Bericht Nr. 2021/.
  • Nr. 01:  Falk, Jonathan; Geppert, Heiko; Dürr, Frank; Bhowmik, Sukanya; Rothermel, Kurt: Dynamic QoS-Aware Traffic Planning for
Time-Triggered Flows with Conflict Graphs, Technischer Bericht Nr. 2021/1.

Jahrgang 2018

  • Nr. 02:  Riaz, Zohaib; Dürr, Frank; Mohamed, Hasan; Rothermel, Kurt: Privacy and Mobility: Optimized Training of Privacy-preserving Location-sharing Policies for Online Social Networks, Technischer Bericht Nr. 2018/2.

Jahrgang 2017

  • Nr. 01:  Felden, Timm: The SKilL Language V1.0, Technischer Bericht Nr. 2017/01.
  • Nr. 02:  Eusterbrock, Linus; Barzen, Johanna; Hentschel, Frank: Eine Ontologie symphonischer Musik des 19. Jahrhunderts, Technischer Bericht Nr. 2017/02.
  • Nr. 03:  Mayer, Ruben; Slo, Ahmad; Rothermel, Kurt; Endler, Markus; Silva e Silva, Francisco J.: Supporting Heterogeneous Fault-Tolerance Requirements in Complex Event Processing, Technischer Bericht Nr. 2017/03.

Jahrgang 2016

  • Nr. 01:  Barzen, Johanna; Leymann, Frank: Patterns as Formulas: Applying the Scientific Method to the Humanities, Technischer Bericht Nr. 2016/01.
  • Nr. 02:  Schäfer, David Richard; Tariq, Muhammad Adnan; Rothermel, Kurt: Highly Available Process Executions, Technischer Bericht Nr. 2016/02.
  • Nr. 03:  Nayak, Naresh Ganesh; Dürr, Frank; Rothermel, Kurt: Time-sensitive Software-defined Networks for Real-time Applications, Technischer Bericht Nr. 2016/03.
  • Nr. 04:  Mayer, Ruben; Tariq, Muhammad Adnan; Rothermel, Kurt: Real-Time Batch Scheduling in Data-Parallel Complex Event Processing, Technischer Bericht Nr. 2016/04.

Jahrgang 2015

  • Nr. 02:  Riaz, Zohaib; Rothermel, Kurt: On the Privacy of Frequently Visited User Locations, Technischer Bericht Nr. 2015/02.
  • Nr. 169:  Söll, Daniel: GPGPU-basiertes Glyph-Raycasting, Technischer Bericht Nr. 2015/169.
  • Nr. 18:  Fleischer, Lukas: Minimierung und effiziente Algorithmen für erkennende Homomorphismen über omega-regulären Sprachen, Technischer Bericht Nr. 2015/18.
  • Nr. 207:  Tas, Ilhan: Wissensbasierte lexikalische Substitution, Technischer Bericht Nr. 2015/207.
  • Nr. 2469:  Gutowksy, Stefan: Efficient Tele-Operation of a Robot Manipulator by Means of a Motion Capture Interface, Technischer Bericht Nr. 2015/2469.

Jahrgang 2014

  • Nr. 01:  Carabelli, Ben William; Dürr, Frank; Koldehofe, Boris; Rothermel, Kurt: A Network Abstraction for Control Systems, Technischer Bericht Nr. 2014/01.
  • Nr. 02:  Fehling, Christoph; Kötter, Falko; Leymann, Frank: Compliance Modeling - Formal Descriptors and Tools, Technischer Bericht Nr. 2014/02.
  • Nr. 04:  Dürr, Frank; Kohler, Thomas: Comparing the Forwarding Latency of OpenFlow Hardware and Software Switches, Technischer Bericht Nr. 2014/04.
  • Nr. 05:  Becker, Steffen; Hasselbring, Wilhelm; van Hoorn, Andre; Kounev, Samuel; Reussner, Ralf: Proceedings of the 2014 Symposium on Software Performance (SOSP '14): Joint Descartes/Kieker/Palladio Days, Technischer Bericht Nr. 2014/05.
  • Nr. 06:  Baier, Patrick; Philipp, Damian; Dürr, Frank; Rothermel, Kurt: Quality-based Adaptive Positioning for Energy-Efficient Indoor Mapping, Technischer Bericht Nr. 2014/06.
  • Nr. 100:  Haas, Stephan: Autonome Selbstlokalisierung und Tracking basierend auf Mobilfunkbasisstationen, Technischer Bericht Nr. 2014/100.
  • Nr. 146:  Kleine, Christoph: Eine browserbasierte Entwicklungsumgebung für prozedurale Texturen, Technischer Bericht Nr. 2014/146.
  • Nr. 204:  Miller, Alexander; Lekar, Dominik: Evaluation of Analysis and Visualization Tools for Performance Data, Technischer Bericht Nr. 2014/204.
  • Nr. 3528:  Hartmann, Frederik: Routenplanung mit Nebenbedingungen, Technischer Bericht Nr. 2014/3528.
  • Nr. 3531:  Liang, Siguang: Die Visualisierung dynamischer Graphen als Small Multiples, Technischer Bericht Nr. 2014/3531.
  • Nr. 3535:  Rumberger, Reinhold: Ein interaktives Planungssystem für Ausbildungskurse, Technischer Bericht Nr. 2014/3535.
  • Nr. 3565:  Pilipenko, Ivan: Appearance Transfer Augmented Reality, Technischer Bericht Nr. 2014/3565.
  • Nr. 3570:  Konle, Sebastian: Überlagerung von charakterischen Linien, Technischer Bericht Nr. 2014/3570.
  • Nr. 3575:  Hilbert, Maximilian: Architecture for a Cloud-based Vehicle Telematics Platform, Technischer Bericht Nr. 2014/3575.
  • Nr. 3585:  Parameshwararn, Pradeep: Analysis and Design of Document Centric Workflows for automating tasks in a multi-tenant Cloud archive solution, Technischer Bericht Nr. 2014/3585.

Jahrgang 2013

  • Nr. 01:  Görlach, Katharina: A Generic Transformation of Existing Service Composition Models to a Unified Model, Technischer Bericht Nr. 2013/01.
  • Nr. 02:  Gansel, Simon; Schnitzer, Stephan; Gilbeau-Hammoud, Ahmad; Friesen, Viktor; Dürr, Frank; Rothermel, Kurt; Maihöfer, Christian: An Access Control Concept for Novel Automotive HMI Systems, Technischer Bericht Nr. 2013/02.
  • Nr. 03:  Weiß, Andreas; Andrikopoulos, Vasilios; Gómez Sáez, Santiago; Karastoyanova, Dimka; Vukojevic-Haupt, Karolina: Modeling Choreographies using the BPEL4Chor Designer: an Evaluation Based on Case Studies, Technischer Bericht Nr. 2013/03.
  • Nr. 04:  Barzen, Johanna: Taxonomien kostümrelevanter Parameter: Annäherung an eine Ontologisierung der Domäne des Filmkostüms, Technischer Bericht Nr. 2013/04.
  • Nr. 05:  Nowak, Alexander; Leymann, Frank: An Overview on Implicit Green Business Process Patterns, Technischer Bericht Nr. 2013/05.
  • Nr. 06:  Felden, Timm: The SKilL Language, Technischer Bericht Nr. 2013/06.
  • Nr. 07:  Kufleitner, Manfred; Lauser, Alexander: Nesting Negations in FO^2 over Finite Words, Technischer Bericht Nr. 2013/07.
  • Nr. 08:  Xiu, Mingzhu; Andrikopoulos, Vasilios: The Nefolog & MiDSuS Systems for Cloud Migration Support, Technischer Bericht Nr. 2013/08.
  • Nr. 2421:  Minorics, Georg Robin: Digital Escape- Ein KI-basierter Algorithmus zur Steuerung von Mr.X Brettspiel "Scotland Yard", Technischer Bericht Nr. 2013/2421.
  • Nr. 3453:  Pradhan, Subhasis: Person recognition and automated following using a low cost RGB-D sensor, Technischer Bericht Nr. 2013/3453.
  • Nr. 52:  Müller, Michael: Klassifikation von Bewegungstrajektorien durch regularische Regression, Technischer Bericht Nr. 2013/52.
  • Nr. 79:  Foril, Alexander: Unterstützung adaptiver Benutzungsschnittstellen mittels Eye-Tracking zur Erkennung von Expertise oder Verstehen, Technischer Bericht Nr. 2013/79.
  • Nr. 80:  Sanwald, Tim: Verkehrsabhängiges Routing basierend auf TMC Nachrichten, Technischer Bericht Nr. 2013/80.

Jahrgang 2012

  • Nr. 01:  Mancioppi, Michele; Danylevych, Olha: Awareness-based Realizability Analysis of Service Choreographies, Technischer Bericht Nr. 2012/01.
  • Nr. 02:  Schumm, David; Fehling, Christoph; Karastoyanova, Dimka; Leymann, Frank; Rütschlin, Jochen: Processes for Human Integration in Automated Cloud Application Management, Technischer Bericht Nr. 2012/02.
  • Nr. 03:  Kufleitner, Manfred; Lauser, Alexander: Lattices of Logical Fragments over Words, Technischer Bericht Nr. 2012/03.
  • Nr. 04:  Dürr, Frank: Towards Cloud-assisted Software-defined Networking, Technischer Bericht Nr. 2012/04.
  • Nr. 05:  Philipp, Damian; Stachowiak, Jaroslaw; Dürr, Frank; Rothermel, Kurt: Towards Optimized Public Sensing Systems using Data-driven Models, Technischer Bericht Nr. 2012/05.
  • Nr. 06:  Koch, Gerald G.; Koldehofe, Boris; Rothermel, Kurt: Quality-aware Event Correlation Detection, Technischer Bericht Nr. 2012/06.
  • Nr. 2359:  Hoos, Eva: Complex Event Processing in the Cloud, Technischer Bericht Nr. 2012/2359.

Jahrgang 2011

  • Nr. 01:  Görlach, Katharina; Kopp, Oliver; Leymann, Frank; Schumm, David; Strauch, Steve: WS-BPEL Extension for Compliance Fragments (BPEL4CFrags), Version 1.0, Technischer Bericht Nr. 2011/01.
  • Nr. 02:  Kufleitner, Manfred; Lauser, Alexander: Cantor Topologies for Finite Words, Technischer Bericht Nr. 2011/02.
  • Nr. 03:  Kufleitner, Manfred; Lauser, Alexander: Around Dot-depth One, Technischer Bericht Nr. 2011/03.
  • Nr. 04:  Schumm, David; Latuske, Gregor; Leymann, Frank: A Prototype for View-based Monitoring of BPEL Processes, Technischer Bericht Nr. 2011/04.
  • Nr. 05:  Fehling, Christoph; Leymann, Frank; Mietzner, Ralph; Schupeck, Walter: A Collection of Patterns for Cloud Types, Cloud Service Models, and Cloud-based Application Architectures, Technischer Bericht Nr. 2011/05.
  • Nr. 06:  Schumm, David; Karastoyanova, Dimka; Leymann, Frank; Lie, Sumadi: Propagation of States from BPEL Process Instances to Chevron Models, Technischer Bericht Nr. 2011/06.
  • Nr. 07:  Kopp, Oliver; Henke, Sebastian; Karastoyanova, Dimka; Khalaf, Rania; Leymann, Frank; Sonntag, Mirko; Steinmetz, Thomas; Unger, Tobias; Wetzstein, Branimir: An Event Model for WS-BPEL 2.0, Technischer Bericht Nr. 2011/07.
  • Nr. 08:  Heinrich, Julian; Luo, Yuan; Kirkpatrick, Arthur E.; Zhang, Hao; Weiskopf, Daniel: Evaluation of a Bundling Technique for Parallel Coordinates, Technischer Bericht Nr. 2011/08.

Jahrgang 2010

  • Nr. 01:  Dartois, Luc; Kufleitner, Manfred; Lauser, Alexander: Rankers over Infinite Words, Technischer Bericht Nr. 2010/01.
  • Nr. 02:  Kopecki, Steffen: On the Iterated Hairpin Completion, Technischer Bericht Nr. 2010/02.
  • Nr. 03:  Kufleitner, Manfred; Lauser, Alexander: Partially Ordered Two-way Büchi Automata, Technischer Bericht Nr. 2010/03.
  • Nr. 04:  Diekert, Volker; Kopecki, Steffen: Complexity Results and the Growths of Hairpin Completions of Regular Languages, Technischer Bericht Nr. 2010/04.
  • Nr. 05:  Lewandowski, Stefan: Shortest Paths and Negative Cycle Detection in Graphs with Negative Weights - I: The Bellman-Ford-Moore Algorithm Revisited, Technischer Bericht Nr. 2010/05.
  • Nr. 06:  Hoffmann, Benjamin: Comparison of Standard and Zipf-Based Document Retrieval Heuristics, Technischer Bericht Nr. 2010/06.
  • Nr. 07:  Mancioppi, Michele; Danylevych, Olha; Papazoglou, Mike P.; Leymann, Frank: A Language-Agnostic Framework for the Analysis of the Syntactic Structure of Process Fragments, Technischer Bericht Nr. 2010/07.
  • Nr. 08:  Kallas, Jakub; Kufleitner, Manfred; Lauser, Alexander: First-order Fragments with Successor over Infinite Words, Technischer Bericht Nr. 2010/08.
  • Nr. 09:  Burkovski, Andre; Heidemann, Gunther; Hamidreza, Kobdani; Schütze, Hinrich: Methods for Coreference Visualization and Annotation, Technischer Bericht Nr. 2010/09.
  • Nr. 3043:  Gabb, Michael: Hierarchische Klassifikation von Fahrzeugsichten, Technischer Bericht Nr. 2010/3043.

Jahrgang 2009

  • Nr. 01:  Iron, Rolf; Kopp, Oliver; Leiner, Andreas; Leymann, Frank; Massuthe, Peter: Abschlussbericht des Verbundprojekts Tools4BPEL, Technischer Bericht Nr. 2009/01.
  • Nr. 02:  Fouz, Mahmoud; Kufleitner, Manfred; Manthey, Bodo; Zeini Jahromi, Nima: On Smoothed Analysis of Quicksort and Hoare's Find, Technischer Bericht Nr. 2009/02.
  • Nr. 03:  Staiger-Stöhr, Stefan: Implementing Sparse Flow-Sensitive Andersen Analysis, Technischer Bericht Nr. 2009/03.
  • Nr. 04:  Diekert, Volker; Kufleitner, Manfred: Fragments of first-order logic over infinite words, Technischer Bericht Nr. 2009/04.

Jahrgang 2008

  • Nr. 01:  Mietzner, Ralph: Using Variability Descriptors to Describe Customizable SaaS Application Templates, Technischer Bericht Nr. 2008/01.
  • Nr. 02:  Kopp, Oliver; Wetzstein, Branimir; Mietzner, Ralph; Unger, Tobias; Pottinger, Stefan; Karastoyanova, Dimka; Michael, Sabine; Leymann, Frank: A Model-Driven Approach to Implementing Coordination Protocols in BPEL, Technischer Bericht Nr. 2008/02.
  • Nr. 03:  Karastoyanova, Dimka; van Lessen, Tammo; Leymann, Frank; Nitzsche, Jörg; Wutke, Daniel: WS-BPEL Extension for Semantic Web Services (BPEL4SWS), Version 1.0, Technischer Bericht Nr. 2008/03.
  • Nr. 04:  Wutke, Daniel; Martin, Daniel; Leymann, Frank: Triple Space Binding for Web Services, Technischer Bericht Nr. 2008/04.
  • Nr. 05:  Wetzstein, Branimir; Strauch, Steve; Majdik, Petra; Leymann, Frank: Modeling and Monitoring Process Performance Metrics of BPEL Processes, Technischer Bericht Nr. 2008/05.
  • Nr. 06:  Kopp, Oliver; Mietzner, Ralph; Leymann, Frank: Abstract Syntax of WS-BPEL 2.0, Technischer Bericht Nr. 2008/06.
  • Nr. 07:  Reimann, Peter; Kopp, Oliver; Decker, Gero; Leymann, Frank: Generating WS-BPEL 2.0 Processes from a Grounded BPEL4Chor Choreography, Technischer Bericht Nr. 2008/07.
  • Extern:  Wieland, Matthias; Martin, Daniel; Kopp, Oliver; Leymann, Frank: Events Make Workflows Really Useful, Externer Technischer Bericht, 2008.
  • Extern:  Scharf, M.; Floyd, S.; Sarolahti, P.: TCP Flow Control for Fast Startup Schemes: draft-scharf-tcpm-flow-control-quick-start-00.txt (Submitted as Internet-Draft to the Internet Engineering Task Force (IETF)), Externer Technischer Bericht, 2008.
  • Extern:  Welzl, M.; Papadimitriou, D.; Scharf, M.; Briscoe, B.: Open Research Issues in Internet Congestion Control: draft-irtf-iccrg-welzl-congestion-control-open-research-01.txt (Submitted as Internet-Draft to the Internet Research Task Force (IRTF), 2008), Externer Technischer Bericht, 2008.

Jahrgang 2007

  • Nr. 01:  Khalaf, Rania; Leymann, Frank: Coordination Protocols for Split BPEL Loops and Scopes, Technischer Bericht Nr. 2007/01.
  • Nr. 02:  Khalaf, Rania: Note on Syntactic Details of Split BPEL-D Business Processes, Technischer Bericht Nr. 2007/02.
  • Nr. 03:  Staiger, Stefan; Vogel, Gunther; Keul, Steffen; Wiebe, Eduard: Interprocedural Static Single Assignment Form in Bauhaus, Technischer Bericht Nr. 2007/03.
  • Nr. 04:  Kopp, Oliver; Khalaf, Rania; Leymann, Frank: Reaching Definitions Analysis Respecting Dead Path Elimination Semantics in BPEL Processes, Technischer Bericht Nr. 2007/04.
  • Nr. 05:  Kufleitner, Manfred: A Proof of the Factorization Forest Theorem, Technischer Bericht Nr. 2007/05.
  • Extern:  Scharf, M.; Floyd, S.; Sarolahti, P.: Avoiding Interactions of Quick-Start TCP and Flow Control: draft-scharf-tsvwg-quick-start-flow-control-01.txt (Submitted as Internet-Draft to the Internet Engineering Task Force (IETF)), Externer Technischer Bericht, 2007.
  • Extern:  Scharf, M.; Floyd, S.; Sarolathi, P.: Avoiding Interactions of Quick-Start TCP and Flow Control: draft-scharf-tsvwg-quick-start-flow-control-01.txt (Submitted as Internet-Draft to the Internet Engineering Task Force (IETF)), Externer Technischer Bericht, 2007.

Jahrgang 2006

  • Nr. 01:  König, Barbara; Kozioura, Vitali: Counterexample-guided Abstraction Refinement for the Analysis of Graph Transformation Systems, Technischer Bericht Nr. 2006/01.
  • Nr. 02:  Esparza, Javier; Kiefer, Stefan; Schwoon, Stefan: Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems, Technischer Bericht Nr. 2006/02.
  • Nr. 03:  Kufleitner, Manfred: Polynomials, Fragments of Temporal Logic and the Variety DA over Traces, Technischer Bericht Nr. 2006/03.
  • Nr. 04:  Göller, Stefan; Lohrey, Markus: Infinite State Model-Checking of Propositional Dynamic Logics, Technischer Bericht Nr. 2006/04.
  • Nr. 05:  Leymann, Frank: Space-based Computing and Semantics: A Web Service Purist's Point-Of-View, Technischer Bericht Nr. 2006/05.
  • Nr. 06:  Horsch, Martin; Kufleitner, Manfred: The Expressive Power of Simple Logical Fragments over Traces, Technischer Bericht Nr. 2006/06.
  • Nr. 07:  Marrón, Pedro José (Hrsg.): 5. GI/ITG KuVS Fachgespräch "Drahtlose Sensornetze", Technischer Bericht Nr. 2006/07.
  • Nr. 08:  Blatt, Markus; Bastian, Peter: The Iterative Solver Template Library (ISTL), Technischer Bericht Nr. 2006/08.
  • Nr. 09:  Suwimonteerabuth, Dejvuth; Schwoon, Stefan; Esparza, Javier: Efficient Algorithms for Alternating Pushdown Systems: Application to Certificate Chain Discovery with Threshold Subjects, Technischer Bericht Nr. 2006/09.
  • Nr. 10:  Karastoyanova, Dimka; Khalaf, Rania; Schroth, Ralf; Paluszek, Michael; Leymann, Frank: BPEL Event Model, Technischer Bericht Nr. 2006/10.
  • Extern:  Gloss, B.: Non-Stationarity of Walker Movability in Random Walk Mobility Models, Externer Technischer Bericht, 2006.
  • Extern:  Kiesel, S.; Scharf, M.; Beutel, S.; Ruschival, T.: Performance Measurement of SIMCO over TCP and SCTP, Externer Technischer Bericht, 2006.

Jahrgang 2005

  • Nr. 01:  Lohrey, Markus: Model-Checking Hierarchical Structures, Technischer Bericht Nr. 2005/01.
  • Nr. 02:  Lohrey, Markus; Ondrusch, Nicole: Inverse monoids: decidability and complexity of algebraic questions, Technischer Bericht Nr. 2005/02.
  • Nr. 04:  Göller, Stefan; Lohrey, Markus: Fixpoint logics on hierarchical structures, Technischer Bericht Nr. 2005/04.
  • Nr. 05:  Stegmaier, Simon; Klein, Thomas; Strengert, Magnus; Ertl, Thomas: The Design and Implementation of a Presentation System for Interactive 3D Graphics Applications, Technischer Bericht Nr. 2005/05.
  • Nr. 06:  Bouajjani, Ahmed; Esparza, Javier; Schwoon, Stefan; Strejcek, Jan: Reachability analysis of multithreaded software with asynchronous communication, Technischer Bericht Nr. 2005/06.
  • Nr. 07:  Lohrey, Markus; Kuske, Dietrich: First-order and counting theories of omega-automatic structures, Technischer Bericht Nr. 2005/07.
  • Nr. 08:  Rantzau, Ralf; Mangold, Christoph: Laws for Rewriting Queries Containing Division Operators, Technischer Bericht Nr. 2005/08.
  • Nr. 09:  Scheibler, Thorsten; Leymann, Frank: Realizing Enterprise Integration Patterns in WebSphere, Technischer Bericht Nr. 2005/09.

Jahrgang 2004

  • Nr. 01:  Ehrig, Hartmut; König, Barbara: Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting (Long Version), Technischer Bericht Nr. 2004/01.
  • Nr. 02:  Bauer, Martin: Event Management for Mobile Users, Technischer Bericht Nr. 2004/02.
  • Nr. 04:  Bauer, Martin; Dürr, Frank; Geiger, Jan; Grossmann, Matthias; Hönle, Nicola; Joswig, Jean; Nicklas, Daniela; Schwarz, Thomas: Information Management and Exchange in the Nexus Platform, Technischer Bericht Nr. 2004/04.
  • Nr. 05:  Heljanko, Keijo; Stefanescu, Alin: Complexity results for checking distributed implementability, Technischer Bericht Nr. 2004/05.
  • Nr. 06:  Schwoon, Stefan; Esparza, Javier: A Note on On-The-Fly Verification Algorithms, Technischer Bericht Nr. 2004/06.
  • Nr. 07:  Arbter, Bruno; Drosdol, Tobias; Dürr, Frank; Großmann, Matthias; Hönle, Nicola; Volz, Steffen: Das Nexus Relationen- und Topologiekonzept, Technischer Bericht Nr. 2004/07.
  • Nr. 08:  Dotti, Fernando Luis; König, Barbara; Marchi do Santos, Osmar; Ribeiro, Leila: A Case Study: Verifying a Mutual Exclusion Protocol with Process Creation using Graph Transformation Systems, Technischer Bericht Nr. 2004/08.

Jahrgang 2003

  • Nr. 01:  Ruffner, Christoph; Marrón, Pedro José; Rothermel, Kurt: An Enhanced Application Model for Scheduling in Grid Environments, Technischer Bericht Nr. 2003/01.

Jahrgang 2002

  • Nr. 01:  Tian, Jing; Stepanov, Illya; Rothermel, Kurt: Spatial Aware Geographic Forwarding for Mobile Ad Hoc Networks, Technischer Bericht Nr. 2002/01.
  • Nr. 02:  Herrscher, Daniel; Rothermel, Kurt: A Dynamic Network Scenario Emulation Tool, Technischer Bericht Nr. 2002/02.
  • Nr. 03:  Mesina, Marian: ASN und die relationalen Datenbanken (Realisierungsaspekte), Technischer Bericht Nr. 2002/03.
  • Nr. 04:  Rothermel, Kurt; Becker, Christian; Hähner, Jörg: Consistent Update Diffusion in Mobile Ad Hoc Networks, Technischer Bericht Nr. 2002/04.
  • Nr. 06:  Lagally, Klaus; Rzehak, Lutz: Ein Satz von Komponenten zur nachhaltigen Verwaltung und Umwandlung von frei formatierten Woerterbuchdaten, Technischer Bericht Nr. 2002/06.
  • Nr. 07:  Rotard, Martin; Schweikhardt, Waltraud; Ertl, Thomas: Verwendung von Scalable Vector Graphics und MathML in web-basierten Lernumgebungen, Technischer Bericht Nr. 2002/07.
  • Nr. 08:  Weiskopf, Daniel; Ertl, Thomas: A Depth-Cueing Scheme Based on Linear Transformations in Tristimulus Space, Technischer Bericht Nr. 2002/08.
  • Nr. 09:  Papesch, Matthias; Burger, Cora: ProDuctivE - A Promela driven constructivist environment to learn security protocols, Technischer Bericht Nr. 2002/09.

Jahrgang 2001

  • Nr. 01:  Leonhardi, Alexander; Rothermel, Kurt: Architecture of a Large-scale Location Service, Technischer Bericht Nr. 2001/01.
  • Nr. 02:  Schwarz, Holger; Wagner, Ralf; Mitschang, Bernhard: Improving the Processing of Decision Support Queries: Strategies for a DSS Optimizer, Technischer Bericht Nr. 2001/02.
  • Nr. 03:  Maihöfer, Christian; Rothermel, Kurt: A Delay Analysis of Tree-based Reliable Multicast Protocols, Technischer Bericht Nr. 2001/03.
  • Nr. 04:  Coschurba, Peter: Adressierung und Semantik von geographischen Nachrichten, Technischer Bericht Nr. 2001/04.
  • Nr. 05:  Coschurba, Peter; Rothermel, Kurt: A Fine-Grained Addressing Concept for GeoCast, Technischer Bericht Nr. 2001/05.
  • Nr. 06:  Leibe, B.; Hetzel, G.; Levi, P.: Local Feature Histograms for Object Recognition from Range Images, Technischer Bericht Nr. 2001/06.
  • Nr. 07:  Burger, Cora; Papakosta, Stella; Rothermel, Kurt: Application sharing in teaching context with wireless networks, Technischer Bericht Nr. 2001/07.
  • Nr. 08:  Hopf, Matthias; Ertl, Thomas: Parallelizing Sparse Grid Volume Visualization with Implicit Preview and Load Balancing, Technischer Bericht Nr. 2001/08.
  • Nr. 09:  Leonhardi, Alexander; Nicu, Christian; Rothermel, Kurt: A Map-based Dead-reckoning Protocol for Updating Location Information, Technischer Bericht Nr. 2001/09.
  • Nr. 10:  Diekert, Volker; Lohrey, Markus: Existential and Positive Theories of Equations in Graph Products, Technischer Bericht Nr. 2001/10.

Jahrgang 2000

  • Nr. 01:  Buchholz, Friedhelm; Wagner, Frank: Erfahrungen mit dem System TROSS beim DRK, Technischer Bericht Nr. 2000/01.
  • Nr. 02:  Dragosch, Alexander; Fried, Andreas; Langer, Berno; Schenk, Bodo; Tobisch, Martin; Harm, Oliver; Tögel, Roland; Benkart, Sascha; Ellinger, Sebastian; Schneider, Sören; Elias, Thomas; Costa, Robert: Endbericht des Studienprojekts Fahrplanoptimierung, Technischer Bericht Nr. 2000/02.
  • Nr. 03:  Hohl, Fritz: A Framework to Protect Mobile Agents by Using Reference States, Technischer Bericht Nr. 2000/03.
  • Nr. 04:  Hohl, Fritz; Baumann, Joachim; Rothermel, Kurt; Schwehm, Markus; Straßer, Markus; Theilmann, Wolfgang: AIDA II - Abschlußbericht, Technischer Bericht Nr. 2000/04.
  • Nr. 05:  Leonhardi, Alexander; Rothermel, Kurt: A Comparison of Protocols for Updating Location Information, Technischer Bericht Nr. 2000/05.
  • Nr. 06:  Kubach, Uwe; Rothermel, Kurt: A Context-Aware Hoarding Mechanism for Location-Dependent Information Systems, Technischer Bericht Nr. 2000/06.
  • Nr. 07:  Schäfer, Dirk (Hrsg.); Roller, Dieter (Hrsg.): Bericht zum Seminar über Elektro-CAD (Sommersemester 2000), Technischer Bericht Nr. 2000/07.
  • Nr. 08:  Nicklas, Daniela; Mitarbeiter der Forschergruppe Nexus: Final Report of Design Workshop, Technischer Bericht Nr. 2000/08.

Jahrgang 1999

  • Nr. 01:  Kubach, Uwe; Leonhardi, Alexander; Rothermel, Kurt; Schwehm, Markus: Analysis of Distribution Schemes for the Management of Location Information, Technischer Bericht Nr. 1999/01.
  • Nr. 02:  Hohl, Fritz; Kubach, Uwe; Leonhardi, Alexander; Rothermel, Kurt; Schwehm, Markus: Nexus - An Open Global Infrastructure for Spatial-Aware Applications, Technischer Bericht Nr. 1999/02.
  • Nr. 03:  Kindler, Thomas; Kulendik, Ottokar; Rothermel, Kurt; Schneider, Kerstin; Siebert, Reiner; Soyez, Tobias: PoliFlow Abschlußbericht, Technischer Bericht Nr. 1999/03.
  • Nr. 04:  Wirag, Stefan: Specification and Scheduling of Adaptive Multimedia Documents, Technischer Bericht Nr. 1999/04.
  • Nr. 05:  Lohrey, Markus; ,: Complexity Results for Confluence Problems, Technischer Bericht Nr. 1999/05.
  • Nr. 06:  Straßer, Markus; Baumann, Joachim; Schwehm, Markus: An Agent-Based Framework for the Transparent Distribution of Computations, Technischer Bericht Nr. 1999/06.
  • Nr. 07:  Rothermel, Kurt; Maihöfer, Christian: A Robust and Efficient Mechanism for Constructing Multicast Acknowledgment Trees, Technischer Bericht Nr. 1999/07.
  • Nr. 08:  Theilmann, Wolfgang; Rothermel, Kurt: Dynamic Distance Maps of the Internet, Technischer Bericht Nr. 1999/08.
  • Nr. 09:  Hohl, Fritz: A Protocol to Detect Malicious Hosts Attacks by Using Reference States, Technischer Bericht Nr. 1999/09.
  • Nr. 10:  Straßer, Markus; Rothermel, Kurt: System Mechanisms for Partial Rollback of Mobile Agent Execution, Technischer Bericht Nr. 1999/10.
  • Nr. 11:  Baumann, Joachim: A Comparison of Mechanisms for Locating Mobile Agents, Technischer Bericht Nr. 1999/11.
  • Nr. 12:  Oswald, N.; Levi, P.: A Framework for Cooperative Object Recognition, Technischer Bericht Nr. 1999/12.
  • Nr. 14:  Oswald, N.; Lafrenz, R.; Levi, P.: Kooperative Bildverarbeitung und Lokalisierung in einem Team von Robotern, Technischer Bericht Nr. 1999/14.
  • Nr. 15:  Maihöfer, Christian; Rothermel, Kurt: Constructing Height-Balanced Multicast Acknowledgment Trees with the Token Repository Service, Technischer Bericht Nr. 1999/15.

Jahrgang 1998

  • Nr. 01:  Petersen, Holger: Formal Languages, Automata and Petri-Nets, Technischer Bericht Nr. 1998/01.
  • Nr. 02:  Diekert, Volker: Makanin's Algorithm for Solving Word Equations with Regular Constraints, Technischer Bericht Nr. 1998/02.
  • Nr. 03:  Hohl, Fritz; Baumann, Joachim; Rothermel, Kurt; Schwehm, Markus; Strasser, Markus: AIDA I - Abschlussbericht, Technischer Bericht Nr. 1998/03.
  • Nr. 04:  Heid, Herbert; Nicklas, Daniela; Porrmann, Alexander; Schaeffer, Thomas; Scholz, Volker: Endbericht der Projektgruppe Fahrgemeinschaften, Technischer Bericht Nr. 1998/04.
  • Nr. 05:  Iqbal, Ashraf; Baumann, Joachim; Straßer, Markus: Efficient Algorithms to Find Optimal Agent Migration Strategies, Technischer Bericht Nr. 1998/05.
  • Nr. 06:  Fleischmann, Joerg; Hermes, Lars; Spribille, Tobias; Wagner, Frank: Zwischenbericht der Projektgruppe Transportoptimierung, Technischer Bericht Nr. 1998/06.
  • Nr. 07:  Dermler, Gabriel; Iqbal, Ashraf: Task Allocation in Distributed Multimedia Systems based on the Host-Satellite Model, Technischer Bericht Nr. 1998/07.
  • Nr. 08:  Baumann, Joachim; Rothermel, Kurt: The Shadow Approach: An Orphan Detection Protocol for Mobile Agents, Technischer Bericht Nr. 1998/08.
  • Nr. 10:  Fleischmann, Joerg; Hermes, Lars; Spribille, Tobias; Wagner, Frank: Endbericht der Projektgruppe Transportoptimierung, Technischer Bericht Nr. 1998/10.
  • Nr. 11:  Straßer, Markus; Baumann, Joachim; Hohl, Fritz; Schwehm, Markus; Rothermel, Kurt: ATOMAS: A Transaction-oriented Open Multi Agent-System. Final Report, Technischer Bericht Nr. 1998/11.
  • Nr. 19:  Lagally, Klaus: 7-bit Meta-Transliterations for 8-bit Romanizations, Technischer Bericht Nr. 1998/19.

Jahrgang 1997

  • Nr. 01:  Diekert, Volker; Matiyasevich, Yuri; Muscholl, Anca: Solving Trace Equations Using Lexicographical Normal Forms, Technischer Bericht Nr. 1997/01.
  • Nr. 02:  Großmann, Matthias; Leonhardi, Alexander; Schmidt, Thomas: Abschlußbericht der Projektgruppe Evolutionäre Algorithmen, Technischer Bericht Nr. 1997/02.
  • Nr. 03:  Hohl, Fritz: An approach to solve the problem of malicious hosts, Technischer Bericht Nr. 1997/03.
  • Nr. 05:  Diekert, Volker; Kobayashi, Yuji: Some Identities Related to Automata, Determinants, and Möbius Functions, Technischer Bericht Nr. 1997/05.
  • Nr. 06:  Hohl, Fritz; Klar, Peter; Baumann, Joachim: Efficient Code Migration for Modular Mobile Agents, Technischer Bericht Nr. 1997/06.
  • Nr. 07:  Petersen, Holger: A Census Technique for Simple Computing Devices, Technischer Bericht Nr. 1997/07.
  • Nr. 08:  Becker, Wolfgang: Dynamic Load Balancing for Parallel Database Processing, Technischer Bericht Nr. 1997/08.
  • Nr. 09:  Baumann, Joachim: A Protocol for Orphan Detection and Termination in Mobile Agent Systems, Technischer Bericht Nr. 1997/09.
  • Nr. 10:  Heid, Herbert; Nicklas, Daniela; Porrmann, Schäffer, Scholz, Alexander, Thomas, Volker: Zwischenbericht der Projektgruppe Fahrgemeinschaften, Technischer Bericht Nr. 1997/10.
  • Nr. 11:  Karpov, Yuri; Rothermel, Kurt; Hagin, Alexander: Configuration and synchronization management in distributed multimedia systems, Technischer Bericht Nr. 1997/11.
  • Nr. 12:  Wirag, Stefan: Adaptive Scheduling of Multimedia Documents, Technischer Bericht Nr. 1997/12.
  • Nr. 13:  Buchholz, Friedhelm; Riedhofer, Bernhard: Hierarchische Graphen zur kürzesten Wegesuche in planaren Graphen, Technischer Bericht Nr. 1997/13.
  • Nr. 14:  Straßer, Markus; Baumann, Joachim; Hohl, Fritz: ATOMAS: A Transaction-oriented Open Multi Agent-System Annual Report, Technischer Bericht Nr. 1997/14.
  • Nr. 15:  Baumann, Joachim; Hohl, Fritz; Rothermel, Kurt: Mole - Concepts of a Mobile Agent System, Technischer Bericht Nr. 1997/15.
  • Nr. 16:  Hagin, Alexander; Dermler, Gabriel; Rothermel, Kurt: On th Configuration Management and the Assignment Problem in Distributed Multimedia Systems, Technischer Bericht Nr. 1997/16.
  • Nr. 17:  Oswald, Norbert; Levi, Paul: Statistische Objekterkennung durch nichtparametrische Hypothesenverifizierung, Technischer Bericht Nr. 1997/17.
  • Nr. 18:  Rothermel, Kurt; Straßer, Markus: A Protocol for Preserving the Exactly-Once Property of Mobile Agents, Technischer Bericht Nr. 1997/18.
  • Nr. 1997:  Baumann, Joachim: Universität Stuttgart, Fakultät Informatik, Technischer Bericht Nr. 1997/1997.
  • Nr. 20:  Schiffer, Andreas: Untersuchung der Eignung derzeit existierender Multicast-Protokolle für ein Eventmanagementsystem mit mobilen Teilnehmern, Technischer Bericht Nr. 1997/20.

Jahrgang 1996

  • Nr. 01:  Burkert, Gerrit; Loethe, Mathis: ChaPLin 3.2 - Ein Chartparser fuer linguistische Untersuchungen, Technischer Bericht Nr. 1996/01.
  • Nr. 02:  Rothermel, Kurt; Helbig, Tobias: Clock hierarchies : an abstraction for grouping and controlling media streams, Technischer Bericht Nr. 1996/02.
  • Nr. 02:  Diekert, Volker; Métivier, Yves: Partial Commutation and Traces, Technischer Bericht Nr. 1996/02.
  • Nr. 03:  Hagin, Alexander; Dermler, Gabriel; Rothermel, Kurt: Problem Formulations, Models and Algorithms for Mapping Distributed Multimedia Applications to Distributed Computer Systems, Technischer Bericht Nr. 1996/03.
  • Nr. 04:  Burger, Cora: Controlling cooperations among traders, Technischer Bericht Nr. 1996/04.
  • Nr. 04:  Hertrampf, Ulrich; Bergen, Andreas: 32. Workshop ueber Komplexitaetstheorie, Datenstrukturen und effiziente Algorithmen, Technischer Bericht Nr. 1996/04.
  • Nr. 06:  Schöbel-Theuer, Thomas: Towards a Unifying Theory of Context-Free Parsing (reprint of a paper from the first ASMICS workshop on parsing theory, Milano, October 1994), Technischer Bericht Nr. 1996/06.
  • Nr. 07:  Rausch, Willi Alexander; Levi, Paul: Asynchronous and Synchronous Cooperation - Demonstrated by Deadlock Resolution in a Distributed Robot System, Technischer Bericht Nr. 1996/07.
  • Nr. 08:  Bräunl, Thomas: Parallaxis-III User Manual, Technischer Bericht Nr. 1996/08.
  • Nr. 09:  Rothermel, Kurt; Dermler, Gabriel; Fiederer, Walter: QoS Negotiation and Resource Reservation for Distributed Multimedia Applications, Technischer Bericht Nr. 1996/09.
  • Nr. 10:  Großmann, Matthias; Darko, Ivancan; Leonhardi, Alexander; Schmidt, Thomas: Zwischenbericht der Projektgruppe Evolutionäre Algorithmen, Technischer Bericht Nr. 1996/10.
  • Nr. 11:  Burkhardt, Walter H.; Rust, Stefan: Integrated Software-/Hardware Development System, Technischer Bericht Nr. 1996/11.
  • Nr. 12:  Burkhardt, Walter H.: Performance in Multiprocessor Systems, Technischer Bericht Nr. 1996/12.
  • Nr. 14:  Iqbal, M. Ashraf; Hagin, Alexander: Partitioning and Mapping Techniques for Distributed Multimedia Applications, Technischer Bericht Nr. 1996/14.
  • Nr. 15:  Hertrampf, Ulrich: Acceptance by Transformation Monoids (with an Application to Local Self Reductions), Technischer Bericht Nr. 1996/15.
  • Nr. 16:  Hagin, Alexander; Dermler, Gabriel; Rothermel, Kurt: Mapping of Distributed Multimedia Applications based on a Sequential Method, Technischer Bericht Nr. 1996/16.
  • Nr. 17:  Schreyjak, Stefan; Bildstein, Hubert: Fehlertolerante Abwicklung von Geschäftsprozessen in Workflow-Management-Systemen, Technischer Bericht Nr. 1996/17.
  • Nr. 18:  Bildstein, Hubert; Schreyjak, Stefan: Der Einsatz von Workflow-Transaktionen in FlowMark, Technischer Bericht Nr. 1996/18.
  • Nr. 19:  Schreyjak, Stefan; Bildstein, Hubert: Beschreibung des prototypisch implementierten Workflowsystems Surro, Technischer Bericht Nr. 1996/19.

Jahrgang 1995

  • Nr. 01:  Ziegler, Bernhard: Initialisierung der Verschiebefunktionen zur Mustersuche in Texten, Technischer Bericht Nr. 1995/01.
  • Nr. 05:  Wirag, Stefan; Wahl, Thomas; Rothermel, Kurt: TIEMPO: An Authoring and Presentation System for Interactive Multimedia, Technischer Bericht Nr. 1995/05.
  • Nr. 07:  Bräunl, Thomas: COMROS : Cooperative Mobile Robotersysteme Stuttgart: Basis-Dokumentation, Technischer Bericht Nr. 1995/07.
  • Nr. 08:  Kovacs, Ernö; Burger, Cora: MELODY - management environment for large open distributed systems : Projektbeschreibung, Technischer Bericht Nr. 1995/08.
  • Nr. 09:  Becker, Wolfgang: Fine grained workload distribution across workstation clusters of European computing centers coupled by broadband networks, Technischer Bericht Nr. 1995/09.
  • Nr. 10:  Dermler, Gabriel; Fiederer, Walter; Barth, Ingo; Rothermel, Kurt: A Framework for Negotiable Quality of Service in Distributed Multimedia Systems, Technischer Bericht Nr. 1995/10.
  • Nr. 11:  Dermler, Gabriel; Fiederer, Walter; Barth, Ingo; Rothermel, Kurt: A Negotiation and Resource Reservation Protocol (NRP) for Distributed Multimedia Applications, Technischer Bericht Nr. 1995/11.
  • Nr. 12:  Lagally, Klaus: On the use of symbolic markup in the Production of a Multi-Lingual Dictionary, Technischer Bericht Nr. 1995/12.

Jahrgang 1994

  • Nr. 01:  Diekert, Volker (Hrsg); Teodosiu, Dan (Hrsg): 3. Theorietag 'Automaten und Formale Sprachen', Schloß Dagstuhl, 7./8. Oktober 1993, Technischer Bericht Nr. 1994/01.
  • Nr. 03:  Rothermel, Kurt; Barth, Ingo; Helbig, Tobias: CINEMA : an architecture for configurable distributed multimedia applications, Technischer Bericht Nr. 1994/03.
  • Nr. 04:  Becker, Wolfgang: Das HiCon-Modell : dynamische Lastverteilung für datenintensive Anwendungen in Workstation-Netzen, Technischer Bericht Nr. 1994/04.
  • Nr. 05:  Ludewig, Jochen (Ed.); Deininger, Marcus; Drappa, Anke; Jinhua, Li; Lichter, Horst; Schneider, Kurt; Schwille, Jürgen: SESAM : Software-Engineering-Simulation durch animierte Modelle, Technischer Bericht Nr. 1994/05.
  • Nr. 07:  Burger, Cora; Sembach, Frank: Ein Überblick über Verfahren zur rechnergestützten Kooperation, Technischer Bericht Nr. 1994/07.
  • Nr. 09:  Becker, Wolfgang; Pollak, Rainer: Efficiency of server task queueing for dynamic load balancing, Technischer Bericht Nr. 1994/09.
  • Nr. 10:  Wirag, Stefan; Rothermel, Kurt; Wahl, Thomas: Modelling interaction with HyTime, Technischer Bericht Nr. 1994/10.
  • Nr. 11:  Lagally, Klaus: Bidirectional line breaking with TeX macros, Technischer Bericht Nr. 1994/11.
  • Nr. 13:  Hagin, Alexander: Foundations for Mapping of Distributed Multimedia Applications to Distributed Computer System, Technischer Bericht Nr. 1994/13.
  • Nr. 14:  Rothermel, Kurt; Helbig, Tobias: An adaptive stream synchronization protocol, Technischer Bericht Nr. 1994/14.
  • Nr. 15:  Lagally, Klaus: Using TeX as a tool in the production of a multi-lingual dictionary, Technischer Bericht Nr. 1994/15.

Jahrgang 1993

  • Nr. 01:  Becker, Wolfgang: Globale dynamische Lastbalancierung in datenintensiven Anwendungen, Technischer Bericht Nr. 1993/01.
  • Nr. 08:  Keller, Hartmut; Stolz, Horst; Ziegler, Andreas: Virtual Mechanics : Simulation and Animation of Rigid Body Systems, Technischer Bericht Nr. 1993/08.
  • Nr. 11:  Lagally, Klaus: ArabTeX : a System for Typesetting Arabic : User Manual Version 3.00, Technischer Bericht Nr. 1993/11.
  • Nr. 12:  Wahl, Thomas; Rothermel, Kurt: Representing Time in Multimedia Systems, Technischer Bericht Nr. 1993/12.
  • Nr. 14:  Ziegler, Bernhard: QuickSearch : ein schneller Algorithmus zur Mustersuche in Zeichenfolgen, Technischer Bericht Nr. 1993/14.
  • Nr. 15:  Lagally, Klaus: Some problems in Arabizing LaTeX, Technischer Bericht Nr. 1993/15.

Jahrgang 1992

  • Nr. 01:  Becker, Wolfgang: Lastbalancierung in heterogenen Client-Server Architekturen, Technischer Bericht Nr. 1992/01.
  • Nr. 04:  Diekert, Volker (Hrsg); Ebinger, Werner (Hrsg): Proceedings ASMICS Workshop : infinite traces ; Tübingen, Jan. 23-25, 1992, Technischer Bericht Nr. 1992/04.
  • Nr. 07:  Lagally, Klaus: ArabTeX : typesetting arabic with vowels and ligatures, Technischer Bericht Nr. 1992/07.
  • Nr. 11:  Lagally, Klaus: ArabTeX : a system for typesetting arabic, Technischer Bericht Nr. 1992/11.

Jahrgang 1991

  • Nr. 07:  Schöbel, Thomas: A new parsing strategy for context-free grammars, Technischer Bericht Nr. 1991/07.

Jahrgang 1990

  • Nr. 01:  Lagally, Klaus: WRG - ein neuer Generator für Top-Down-Parser mit automatischer Fehlerbehandlung, Technischer Bericht Nr. 1990/01.

Jahrgang 1989

  • Nr. 02:  Lagally, Klaus: XPASCAL - eine Erweiterung der Sprache Pascal mit exakter Arithmetik, Technischer Bericht Nr. 1989/02.
 
Letzte Änderung 19. April 2024 ( Mail towm)  |  © Universität Stuttgart  |  Impressum  |  Datenschutzerklärung