Technische Berichte

2010

• An annotated data set for pose estimation of swimmers
  T. Greif, R. Lienhart
  Technical Report, Institute of Computer Science, University of Augsburg, April 2009
  2009-18

2009

• Automatic Pose Initialization of Swimmers in Videos
  C. Ries, R. Lienhart
  Technical Report, Institute of Computer Science, University of Augsburg, April 2009
  2009-19
• System-Level Software for a Multi-Core MERASA Processor
  Florian Kluge, Julian Wolf
  Technical Report, Institute of Computer Science, University of Augsburg, October 2009
  2009-17
• A kinematic model for Bayesian tracking of cyclic human motion
  T. Greif, R. Lienhart
  Technical Report, Institute of Computer Science, University of Augsburg, April 2009
  2009-16
• Combining Theorem Proving and Model Checking for Verification of Concurrent Systems
  Andriy Dunets, Michael Balser, Wolfgang Reif
  Technical Report, Institute of Computer Science, University of Augsburg, Juli 2009
  2009-15
• Model Checking of Asbru
  Andriy Dunets, Simon Bäumler, Arjen Hommersom, Wolfgang Reif
  Technical Report, Institute of Computer Science, University of Augsburg, Juli 2009
  2009-14
• Learning Task Patterns to Improve Efficiency and Coordination in Decentralized Autonomic Computing Systems
  Jan-Philipp Steghöfer, Jörg Denzinger, Holger Kasinger, Bernarhd Bauer
  Technical Report, Institute of Computer Science, University of Augsburg, June 2009
  2009-13
• Towards Algebraic Separation Logic
  H.-H. Dang, P. Höfner, B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, June 2009
  2009-12
• A lower bound for the treewidth of k-outerplanar graphs
  Frank Kammer, Torsten Tholey
  Technical Report, Institute of Computer Science, University of Augsburg, April 2009
  2009-07
• Approximation algorithms for intersection graphs
  Frank Kammer, Torsten Tholey, Heiko Voepel
  Technical Report, Institute of Computer Science, University of Augsburg, May 2009
  2009-06
• Robustness of a bisimulation-type faster-than relation
  K.Iltgen, W.Vogler
  Technical Report, 2009
  2009-08
• Note onset detection for the transcription of polyphonic piano music
  C. G. v. d. Boogaart, R. Lienhart
  Technical Report, Institute of Computer Science, University of Augsburg, May 2009
  2009-11
• Filtering adult image content with topic modles
  R. Lienhart, R. Hauke
  Technical Report, Institute of Computer Science, University of Augsburg, May 2009
  2009-10
• Multimodal pLSA on Visual Features and Tags
  S. Romberg, E. Hörster, R. Lienhart
  Technical Report, Institute of Computer Science, University of Augsburg, May 2009
  2009-09
• Foundations of Concurrent Kleene Algebra
  C.A.R. Hoare, B. Möller, G. Struth and I. Wehrman
  Technical Report, Institute of Computer Science, University of Augsburg, April 2009
  2009-05
• Concurrent Kleene Algebra
  C.A.R. Hoare, B. Möller, G. Struth and I. Wehrman
  Technical Report, Institute of Computer Science, University of Augsburg, April 2009
  2009-04
• Multilayer pLSA for Multimodal Image Retrieval
  R. Lienhart, S. Romberg, E. Hörster
  Technical Report, Institute of Computer Science, University of Augsburg, April 2009
  2009-02
• Mining TV Broadcasts for Recurring Video Sequences
  I.Döhring, R. Lienhart
  Technical Report, Institute of Computer Science, University of Augsburg, April 2009
  2009-03
• Algebraic Aspects of Separation Logic
  H.-H. Dang
  Technical Report, Institute of Computer Science, University of Augsburg, May 2009
  2009-01

2008

• Proving linearizability with Temporal Logic
  S. Bäumler, G. Schellhorn, M. Balser, W. Reif
  Technical Report, Institute of Computer Science, University of Augsburg, December 2008
  2008-19
• Synchronous Parallelism in the Asbru Language
  S. Bäumler, M. Balser, W. Reif, J. Schmitt
  Technical Report, Institute of Computer Science, University of Augsburg, December 2008
  2008-11
• Safe Reasoning with Logic LTS
  Gerald Lüttgen and Walter Vogler
  Technical Report, Institute of Computer Science, University of Augsburg, 2008
  2008-18
• Refined System-Level Software for a Single-Core MERASA Processor
  Florian Kluge, Julian Wolf
  Technical Report, Institute of Computer Science, University of Augsburg, October 2008
  2008-15
• Fast Frame-Accurate Mining for Repeating Video Clips
  I. Döhring, R. Lienhart
  Technical Report, Institute of Computer Science, University of Augsburg, September 2008
  2008-14
• Ein Verfahren zur Struktur- und Verhaltensanalyse von UML-Modellen durch Attribute
  Christian Saad
  Technischer Bericht, Institut für Informatik, Universität Augsburg, August 2008
  2008-17
• Time and Fairness in a Process Algebra with Non-Blocking Reading
  F. Corradini, M.R. Di Berardini, W. Vogler
  Technical Report, Institute of Computer Science, University of Augsburg, 2008
  2008-13
• Correlated Topic Models for Image Retrieval
  T. Greif, E. Hörster, R. Lienhart
  Technical Report, Institute of Computer Science, University of Augsburg, July 2008
  2008-09
• Using Token Analysis to Transform Graph-Oriented Process Models to BPEL
  Mathias Götz, Stephan Roser, Florian Lautenbacher & Bernhard Bauer
  Technical Report, Institute of Computer Science, University of Augsburg, June 2008
  2008-08
• Patterns for Semantic Business Process Modeling
  Christian Seitz
  Technischer Bericht, Institut für Informatik, Universität Augsburg, Mai 2008
  2008-07
• Basic System-Level Software for a Single-Core MERASA Processor
  Florian Kluge, Julian Wolf
  Technical Report, Institute of Computer Science, University of Augsburg, April 2008
  2008-06
• Continuous Visual Vocabulary Models for pLSA-Based Scene Recognition
  E. Hörster, R. Lienhart, M. Slaney
  Technical Report, Institute of Computer Science, University of Augsburg, July 2008
  2008-05
• Relations and Kleene Algebra in Computer Science
  PHD Programme at RelMiCS10 / AK5
  R. Berghammer, B. Möller, G. Struth
  Technical Report, Institute of Computer Science, University of Augsburg, April 2008
  2008-04
• Liveness of a Mutex Algorithm in a Fair Process Algebra
  F. Corradini, M.R. Di Berardini, W. Vogler
  Technical Report, Institute of Computer Science, University of Augsburg, 2008
  2008-03
• Avoiding Irreducible CSC Conflicts by Internal Communication
  Mark Schaefer, Walter Vogler, Dominic Wist and Ralf Wollowski
  Technical Report, Institute of Computer Science, University of Augsburg, February 2008
  2008-02
• Network Flows, Semirings and Fuzzy Relations
  R. Glück
  Technical Report, Institute of Computer Science, University of Augsburg, Januaryr 2008
  2008-01

2007

• Enterprise Content Integration: Documentation, Implementation and Syndication using Intelligent Metadata (ECIDISI)
  Tanja Sieber, Florian Lautenbacher
  Technischer Bericht, Institut für Informatik, Universität Augsburg, Dezember 2007
  2007-17
• Comparing Local Feature Descriptors in pLSA-Based Image Models
  E. Hörster, T. Greif, R. Lienhart, M. Slaney
  Technical Report, Institute of Computer Science, University of Augsburg, December 2007
  2007-15
• Algebraic View Reconciliation
  P. Höfner, R. Khedri, B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, December 2007
  2007-13
• Algebraic Structure of Web Services
  P. Höfner, F. Lautenbacher
  Technical Report, Institute of Computer Science, University of Augsburg, February 2008
  2007-12
• DesiJ - A Tool for STG Decomposition
  Mark Schaefer
  Technical Report, Institute of Computer Science, University of Augsburg, October 2007
  2007-11
• A Comparative Study of Sequential Feature Selection Methods for Support Vector Machine
  Jonghwa Kim
  Technical Report, Institute of Computer Sciecne, University of Augsburg, October 2007.
  2007-10
• Lossless Audio Compression using Reversible Transforms
  Jonghwa Kim
  Technical Report, Institute of Computer Science, University of Augsburg, October 2007
  2007-09
• An Algebra of Hybrid Systems
  P. Höfner, B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, September 2007
  2007-08
• Knowledge based Annotation of Requirements and Reuse of Components
  Wolf Fischer
  Technischer Bericht, Institut für Informatik, Universität Augsburg, Oktober 2007
  2007-10
• Simulation und Evaluation künstlicher Blütenbestäubung
  Viviane Schöbel
  Technischer Bericht, Institut für Informatik, Universität Augsburg, August 2007
  2007-07
• Fusing Local Image Descriptors for Large-Scale Image Retrieval
  Eva Hörster, Rainer Lienhart
  Technical Report, Institute of Computer Science, University of Augsburg, April 2007
  2007-06
• Image Retrieval on Large-Scale Image Databases
  Eva Hörster, Rainer Lienhart, Malcolm Slaney
  Technical Report, Institute of Computer Science, University of Augsburg, April 2007
  2007-05
• Ready Simulation for Concurrency: It's Logical!
  Gerald Lüttgen and Walter Vogler
  Technical Report, Institute of Computer Science, University of Augsburg, 2007
  2007-04
• Knowledge and Games in Modal Semirings
  B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, February 2007
  2007-03
• Output-Determinacy and Asynchronous Circuit Synthesis
  Victor Khomenko, Mark Schaefer and Walter Vogler
  Technical Report, Institute of Computer Science, University of Augsburg, January 2007
  2007-02
• Combining Decomposition and Unfolding for STG Synthesis
  Victor Khomenko and Mark Schaefer
  Technical Report, Institute of Computer Science, University of Augsburg, January 2007
  2007-01

2006

• Verification of Mondex Electronic Purses with KIV: From Transactions to a Security Protocol
  D. Haneberg, G. Schellhorn, H. Grandy, W. Reif
  Technical Report, Institute of Computer Science, University of Augsburg, December 2006
  2006-32
• PLSA on Large Scale Image Databases
  Rainer Lienhart, Malcolm Slaney
  Technical Report, Institute of Computer Science, University of Augsburg, July 2006
  2006-33
• A Refinement Method for Java Programs
  Holger Grandy, Kurt Stenzel, Wolfgang Reif
  Technical Report, Institute of Computer Science, University of Augsburg, December 2006
  2006-29
• Reasoning about Pointer Structures in Java
  Kurt Stenzel, Holger Grandy, Wolfgang Reif
  Technical Report, Institute of Computer Science, University of Augsburg, December 2006
  2006-30
• The Mondex Case Study: From Specifications to Code
  H. Grandy, N. Moebius, M. Bischof, D. Haneberg, G. Schellhorn, K. Stenzel, W. Reif
  Technical Report, Institute of Computer Science, University of Augsburg, December 2006
  2006-31
• Normal Design Algebra
  W. Guttmann, B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, December 2006
  2006-28
• COSIMA T - Preference Based Search Technology in Tourism
  S. Döring
  Technical Report, Institute of Computer Science, University of Augsburg, November 2006
  2006-24
• Algebraic Notions of Termination
  J. Desharnais, B. Möller, G. Struth
  Technical Report, Institute of Computer Science, University of Augsburg, October 2006
  2006-23
• A UML profile and transformation rules for semantic web services
  Florian Lautenbacher
  Technical Report, Institute of Computer Science, University of Augsburg, September 2006
  2006-20
• On the Optimal Placement of Multiple Visual Sensors
  E. Hörster, R. Lienhart
  Technical Report, Institute of Computer Science, University of Augsburg, July 2006
  2006-18
• Calibrating and Optimizing Poses of Visual Sensors in Distributed Platforms
  E. Hörster, R. Lienhart
  Technical Report, Institute of Computer Science, University of Augsburg, July 2006
  2006-19
• Dynamic Epistemic Semirings
  K. Solin
  Technical Report, Institute of Computer Science, University of Augsburg, June 2006
  2006-17
• Optisches Kameratracking anhand natürlicher Merkmale
  Jonas Eschenburg
  Technical Report, Institute of Computer Science, University of Augsburg, April 2006
  2006-13
• Audio Brush: Smart Audio Editing in the Spectrogram
  C. G. v. d. Boogaart, R. Lienhart
  Technical Report, Institute of Computer Science, University of Augsburg, April 2006
  2006-12
• Omega Algebra, Demonic Refinement Algebra and Commands
  P. Höfner, B. Möller, K. Solin
  Technical Report, Institute of Computer Science, University of Augsburg, March 2006
  2006-11
• The Linear Algebra of UTP (Revised Version)
  B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, April 2006
  2006-10
• Lazy Semiring Neighbours and some Applications
  P. Höfner, B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, June 2006
  2006-09
• Verifying Smart Card Applications: An ASM Approach.
  Dominik Haneberg, Holger Grandy, Wolfgang Reif, Gerhard Schellhorn
  Technical Report, Institute of Computer Science, University of Augsburg
  2006-08
• Non-Smooth and Zeno Trajectories for Hybrid System Algebra
  P. Höfner, B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, March 2006
  2006-07
• Quantales and Temporal Logics
  B. Möller, P. Höfner, G. Struth
  Technical Report, Institute of Computer Science, University of Augsburg, June 2006
  2006-06
• On Two Dually Nondeterministic Refinement Algebras
  K. Solin
  Technical Report, Institute of Computer Science, University of Augsburg, February 2006
  2006-05
• Feature Algebra
  P. Höfner, R. Khedri, B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, June 2006
  2006-04
• The Mondex Challenge: Machine Checked Proofs for an Electronic Purse
  G. Schellhorn, H. Grandy, D. Haneberg, W. Reif
  Technical Report, Institute of Computer Science, University of Augsburg
  2006-02
• Approximating Optimal Visual Sensor Placement
  E. Hörster, R. Lienhart
  Technical Report, Institute of Computer Science, University of Augsburg, January 2006
  2006-01

2005

• Visual Audio: An Interactive Tool for Analyzing and Editing of Audio in the Spectrogram
  C. G. v. d. Boogaart, R. Lienhart
  Technical Report, Institute of Computer Science, University of Augsburg, December 2005
  2005-22
• Fast Gabor Transformation for processing high quality audio
  C. G. v. d. Boogaart, R. Lienhart
  Technical Report, Institute of Computer Science, University of Augsburg, October 2005
  2005-21
• Residuals and Detachments
  B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, December 2005
  2005-20
• Semiring Neighbours
  P. Höfner
  Technical Report, Institute of Computer Science, University of Augsburg, November 2005
  2005-19
• Using CART to Segment Road Images
  Bob Davies, Rainer Lienhart
  Technical Report, Institute of Computer Science, University of Augsburg, October 2005
  2005-18
• Reconfigurable Extension for CarCore
  Stefan Maier
  Technical Report, Institute of Computer Science, University of Augsburg, September 2005
  2005-17
• Ontologie-basierte Modellierung und Synthese von Geschäftsprozessen
  Florian Lautenbacher
  Technischer Bericht, Institut für Informatik, Universität Augsburg, September 2005
  2005-16
• Modal Design Algebra
  W. Guttmann, B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, October 2005
  2005-15
• The Linear Algebra of UTP
  B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, September 2005
  2005-14
• STG Decomposition: Optimised Backtracking and Component Reduction
  Mark Schaefer
  Technical Report, Institute of Computer Science, University of Augsburg, 2005
  2005-13
• Precise Visibility Determination of Displays in Cameras
  Eva Hörster, Rainer Lienhart, Wolfgang Kellermann, J.-Y. Bouguet
  Technical Report 2005-12, Institute of Computer Science, University of Augsburg, 2005
  2005-12
• Calibration of Visual Sensors and Actuators in Distributed
  Eva Hörster, Rainer Lienhart, Wolfgang Kellermann, J.-Y. Bouguet
  Technical Report 2005-11, Institute of Computer Science, University of Augsburg, 2005
  2005-11
• Audio Brush: Editing Audio in the Spectrogram
  Gregor van den Boogaart, Rainer Lienhart
  Technical Report 2005-10, Institute of Computer Science, University of Augsburg, 2005
  2005-10
• Modellgetriebene Geschäftsprozessautomatisierung
  Stephan Roser
  Technischer Bericht, Institut für Informatik, Universität Augsburg, April 2005
  2005-09
• Ein MDA-basierter Ansatz zur Entwicklung von Organic Computing Systemen
  Holger Kasinger
  Technical Report, Institute of Computer Science, University of Augsburg, April 2005
  2005-08
• Towards Evaluating the Impact of Ontologies on the Quality of a Digital Library Alerting System
  A. Huhn, P. Höfner, W. Kießling
  Technical Report, Institute of Computer Science, University of Augsburg, March 2005
  2005-07
• Complete Tests do not Guarantee Domain
  B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, March 2005
  2005-06
• From Sequential Algebra to Kleene Algebra: Interval Modalities and Duration Calculus
  P. Höfner
  Technical Report, Institute of Computer Science, University of Augsburg, March 2005
  2005-05
• Finding Disjoint Paths on Directed Acyclic Graphs
  T. Tholey
  Technical Report, Institute of Computer Science, University of Augsburg, 2005
  2005-04
• Fairness of Components in System Computations
  F. Corradini, M.R. Di Berardini, W. Vogler
  Technical Report, Institute of Computer Science, University of Augsburg, 2005
  2005-03
• Fairness of Actions in System Computations
  F. Corradini, M.R. Di Berardini, W. Vogler
  Technical Report, Institute of Computer Science, University of Augsburg, 2005
  2005-02
• Vom physiologischen Signal zur Emotion: Implementierung und Vergleich ausgewählter Methoden zur Merkmalsextraktion und Klassifikation
  J. Wagner
  Technical Report, Institute of Computer Science, University of Augsburg, 2005
  2005-01

2004

• Good, Better, and Most Probable Recommendations
  Martin E. Müller
  Technical Report, Institute of Computer Science, University of Augsburg, 2004
  2004-17
• Separability in Domain Semirings
  D. Kozen, B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, December 2004
  2004-16
• Bisimulation on Speed: A Unified Approach
  Gerald Lüttgen, Walter Vogler
  Technical Report, Institute of Computer Science, University of Augsburg, 2004
  2004-15
• WP is WLP
  B. Möller, G. Struth
  Technical Report, Institute of Computer Science, University of Augsburg, October 2004
  2004-14
• Component Refinement and CSC Solving for STG Decomposition
  Mark Schaefer, Walter Vogler
  Technical Report, Institute of Computer Science, University of Augsburg, 2004
  2004-13
• Determinate STG Decomposition of Marked Graphs
  Mark Schaefer, Walter Vogler
  Technical Report, Institute of Computer Science, University of Augsburg, 2004
  2004-12
• Kleene under a Modal Demonic Star
  J. Desharnais, B. Möller, F. Tchier
  Technical Report, Institute of Computer Science, University of Augsburg, May 2004
  2004-11
• Person Movement Prediction Using Neural Network
  Lucian Vintan, Arpad Gellert, Jan Petzold, Theo Ungerer
  Technical Report, Institute of Computer Science, University of Augsburg, April 2004
  2004-10
• Augsburg Indoor Location Tracking Benchmarks
  Jan Petzold
  Technical Report, Institute of Computer Science, University of Augsburg, April 2004
  2004-09
• Improved Decomposition of Signal Transition Graphs
  Walter Vogler, Ben Kangsah
  Technical Report, Institute of Computer Science, University of Augsburg, 2004
  2004-08
• Preference Constructors for Deeply Personalized Database Queries
  W. Kießling
  Technical Report, Institute of Computer Science, University of Augsburg, March 2004
  2004-07
• Safety optimization: A combination of fault tree analysis and optimization techniques
  Frank Ortmeier and Wolfgang Reif
  Proceedings of the Conference on Dependable Systems and Networks (DSN'04), IEEE Computer Society 2004, ISBN 0-7695-2052-9
  2004-06
• Predictive Modeling for Lossless Audio Compression
  Jong-Hwa Kim
  Technical Report, Institute of Computer Science, University of Augsburg, 2004
  2004-05
• Termination in Modal Kleene Algebra
  J. Desharnais, B. Möller, G. Struth
  Technical Report, Institute of Computer Science, University of Augsburg, January 2004
  2004-04
• Failure-sensitive specification: A formal method for finding failure modes
  Frank Ortmeier and Wolfgang Reif
  Technical Report 3, Institut fuer Informatik, University Augsburg
• COSIMA B2B - Sales Automation for E-Procurement
  W. Kießling, S. Fischer, S. Döring
  Technical Report, Institute of Computer Science, University of Augsburg, January 2004
  2004-02
• Bisimulation on Speed: Lower Time Bounds
  Gerald Lüttgen, Walter Vogler
  Technical Report, Institute of Computer Science, University of Augsburg, 2004
  2004-01

2003

• Experiences with an Emotional Sales Agent
  S. Fischer, S. Döring
  Technical Report, Institute of Computer Science, University of Augsburg, December 2003
  2003-19
• An Algebraic Study of Commutation and Termination
  G. Struth
  Technical Report, Institute of Computer Science, University of Augsburg, December 2003
  2003-18
• Lazy Kleene Algebra
  B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, December 2003
  2003-17
• A Calculus for Set-Based Program Development Part II: Proof Search
  G. Struth
  Technical Report, Institute of Computer Science, University of Augsburg, October 2003
  2003-16
• A Calculus for Set-Based Program Development Part I: Mathematical foundations.
  G. Struth
  Technical Report, Institute of Computer Science, University of Augsburg, September 2003
  2003-15
• Context Prediction Based on Branch Prediction Methods
  Jan Petzold, Faruk Bagci, Wolfgang Trumler, Theo Ungerer
  Technical Report, Institute of Computer Science, University of Augsburg, July 2003
  2003-14
• Kleene Algebras and Pointer Structures
  T. Ehm
  Technical Report, Institute of Computer Science, University of Augsburg, July 2003
  2003-13
• Deriving Tableau-Based Solutions to Lattice Word Problems
  G. Struth
  Technical Report, Institute of Computer Science, University of Augsburg, August 2003
  2003-12
• Greedy-Like Algorithms in Kleene Algebra
  B. Möller, G. Struth
  Technical Report, Institute of Computer Science, University of Augsburg, August 2003
  2003-11
• Kleene Modules
  T. Ehm, B. Möller, G. Struth
  Technical Report, Institute of Computer Science, University of Augsburg, August 2003
  2003-10
• Case studies for the derivation of pointer algorithms
  T. Ehm
  Technical Report, Institute of Computer Science, University of Augsburg, June 2003
  2003-09
• Modal Kleene Algebra and Partial Correctness
  B. Möller, G. Struth
  Technical Report, Institute of Computer Science, University of Augsburg, May 2003
  2003-08
• Kleene Algebra with Domain
  J. Desharnais, B. Möller, G. Struth
  Technical Report, Institute of Computer Science, University of Augsburg, May 2003
  2003-07
• Preference Mining: A Novel Approach on Mining User Preferences for Personalized Applications
  S. Holland, M. Ester, W. Kießling
  Technical Report, Institute of Computer Science, University of Augsburg, May 2003
  2003-05
• Einsatz von Sprungvorhersagetechniken zur Kontextvorhersage in ubiquitären Systemen
  Jan Petzold
  Technical Report, Institute of Computer Science, University of Augsburg, March 2003
  2003-04
• Der Komodo Mikrocontroller
  Sascha Uhrig
  Technical Report, Institute of Computer Science, University of Augsburg, July 2003
  2003-03
• P-NEWS: A Personalized Notification Service for MPEG-7 Libraries
  W.-T. Balke, J. González Pinto, Q. Wang, W. Kießling
  Technical Report, Institute of Computer Science, University of Augsburg, April 2003
  2003-02
• Algebraic Optimization of Relational Preference Queries
  W. Kießling, B. Hafenrichter
  Technical Report, Institute of Computer Science, University of Augsburg, February 2003
  2003-01

2002

• electronic Ticketing --- A Smartcard Application Case-Study
  D.Haneberg
  Technical Report, Institute of Computer Science, University of Augsburg, December 2002
  2002-16
• Formale Methoden und Sicherheitsanalyse
  A. Thums, F. Ortmeier
  Technical Report, University Augsburg, Institut fuer Informatik
  2002-15
• A situation-aware mobile traffic information prototype
  W.-T. Balke, W. Kießling, C. Unbehend
  Technical Report, Institute of Computer Science, University of Augsburg, August 2002
  2002-14
• Least Reflexive Points of Relations
  J. Desharnais, B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, June 2002
  2002-13
• Optimizing Preference Queries for Personalized Web Services
  W. Kießling, B. Hafenrichter
  Technical Report, Institute of Computer Science, University of Augsburg, July 2002
  2002-12
• Declarative Graph Algorithms via Knuth-Bendix Completion
  G. Struth
  Technical Report, Institute of Computer Science, University of Augsburg, May 2002
  2002-10
• Termination of Ground Non-Symmetric Knuth-Bendix Completion
  G. Struth
  Technical Report, Institute of Computer Science, University of Augsburg, May 2002
  2002-09
• Deriving Focused Lattice Calculi
  G. Struth
  Technical Report, Institute of Computer Science, University of Augsburg, May 2002
  2002-08
• Learning Scrutable User Models: Inducing Conceptual Descriptions
  Martin E. Müller
  Technical Report, Institute of Computer Science, University of Augsburg, 2002
  2002-07
• Decomposition in Asynchronous Circuit Design
  W. Vogler, R. Wollowski
  Technical Report, Institute of Computer Science, University of Augsburg, 2002
  2002-05
• Measuring the Performance of Asynchronous Systems with PAFAS
  F. Corradini, W. Vogler
  Technical Report, Institute of Computer Science, University of Augsburg, 2002
  2002-04
• Progressive Content Delivery for Mobile E-Services
  M. Wagner, W. Kießling, W.-T. Balke
  Technical Report, Institute of Computer Science, University of Augsburg, April 2002
  2002-03
• On Real-time Top k Querying for Mobile Services
  Wolf-Tilo Balke, Ulrich Güntzer, Werner Kießling
  Technical Report, Institute of Computer Science, University of Augsburg, 2002
  2002-02
• The STATEMATE ReferenceModel of the Reference Case Study `Verkehrsleittechnik'
  J. Klose, A. Thums
  Technical report 2002-1, Institut für Informatik, Universität Augsburg
  2002-01

2001

• electronic Ticketing - a Case-Study
  D.Haneberg
  Technical Report, Institute of Computer Science, University of Augsburg, December 2001
  2001-09
• Foundations of Preferences in Database Systems
  W. Kießling
  Technical Report, Institute of Computer Science, University of Augsburg, October 2001
  2001-08
• Preference SQL - Design, Implementation, Experiences
  W. Kießling, G. Köstler
  Technical Report, Institute of Computer Science, University of Augsburg, October 2001
  2001-07
• Integration formaler Spezifikation und Sicherheitsanalyse
  Wolfgang Reif, Gerhard Schellhorn, Andreas Thums
  Technical report 2001-6, Institut für Informatik, Universität Augsburg
  2001-06
• Verification of JavaCard Programs
  Kurt Stenzel
  Technical report 2001-5, Institut für Informatik, Universität Augsburg
  2001-05
• Partial S-Invariants for the Verification of Infinite Systems Families
  Walter Vogler
  Technical Report, Institute of Computer Science, University of Augsburg, 2001
  2001-04
• Characterizing Determinacy in Kleene Algebras (Revised version)
  J. Desharnais, B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, April 2001
  2001-03
• An XML-based Multimedia Middleware for Mobile Online Auctions
  M. Wagner, W.-T. Balke, W. Kießling
  Technical Report, Institute of Computer Science, University of Augsburg, January 2001
  2001-02
• Design and Implementation of COSIMA - A Smart and Speaking E-Sales Assistant
  W. Kießling, S. Fischer, S. Holland, T. Ehm
  Technical Report, Institute of Computer Science, University of Augsburg, January 2001
  2001-01

2000

• Properties of overwriting for Updates in Typed Kleene Algebras
  T. Ehm
  Technical Report, Institute of Computer Science, University of Augsburg, December 2000
  2000-07
• Comparing the Worst-Case Efficiency of Asynchronous Systems with PAFAS
  Flavio Corradini, Walter Vogler, Lars Jenner
  Technical Report, Institute of Computer Science, University of Augsburg, 2000
  2000-06
• Characterizing Determinacy in Kleene Algebras
  J. Desharnais, B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, May 2000
  2000-05
• Safer Ways to Pointer Manipulation
  B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, May 2000
  2000-04
• Kleene Under a Demonic Star
  J. Desharnais, B. Möller, F. Tchier
  Technical Report, Institute of Computer Science, University of Augsburg, February 2000
  2000-03
• Objektorientiertes Design eines Werkzeugs zum Effizienzvergleich asynchroner Systeme
  Elmar Bihler
  Technical Report, Institute of Computer Science, University of Augsburg, 2000
  2000-02
• Axiomatizing a Fragment of PAFAS
  Walter Vogler, Lars Jenner
  Technical Report, Institute of Computer Science, University of Augsburg, 2000
  2000-01

1999

• Typed Kleene Algebras
  B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, December 1999
  1999-08
• Petri Net Reactive Modules
  Ferucio Laurentiu Tiplea, Aurora Tiplea
  Technical Report, Institute of Computer Science, University of Augsburg, 1999
  1999-07
• Efficiency of Asynchronous Systems That Communicate Asynchronously
  Walter Vogler
  Technical Report, Institute of Computer Science, University of Augsburg, 1999
  1999-06
• Personalized Nonlinear Ranking Using Full-text Preferences
  A. Leubner, W. Kießling
  Technical Report, Institute of Computer Science, University of Augsburg, September 1999
  1999-05
• Das HERON-Projekt - Ein Zwischenbericht
  W. Kießling, W.-T. Balke, T. Birke, K. Urch, M. Wagner
  Technical Report, Institute of Computer Science, University of Augsburg, August 1999
  1999-04
• (Semi-)automatische Segmentierung in historischen Wappensammlungen
  J. Vogel, W.-T. Balke, W. Kießling
  Technical Report, Institute of Computer Science, University of Augsburg, October 1999
  1999-03
• Efficient and Flexible Multimedia Delivery with Universal Database Systems
  M. Wagner, S. Holland, W. Kießling
  Technical Report, Institute of Computer Science, University of Augsburg, August 1999
  1999-02
• Erfahrungen in der Digitalisierung und Erschließung einer historischen Wappensammlung
  K. Urch, W.-T. Balke, W. Kießling
  Technical Report, Institute of Computer Science, University of Augsburg, August 1999
  1999-01

1998

• Concurrent Implementation of Asynchronous Transition Systems
  Walter Vogler
  Technical Report, Institute of Computer Science, University of Augsburg, 1998
  1998-05
• Further Studies on Timed Testing of Concurrent Systems
  Lars Jenner
  Technical Report, Institute of Computer Science, University of Augsburg, 1998
  1998-04
• Comparing the Efficiency of Asynchronous Systems
  Lars Jenner, Walter Vogler
  Technical Report, Institute of Computer Science, University of Augsburg, 1998
  1998-03
• The HERON Project - Multimedia Database Support for History and Human Sciences
  W. Kießling, K. Erber, W.-T. Balke, T. Birke, M. Wagner
  Technical Report, Institute of Computer Science, University of Augsburg, March 1998.
  1998-02
• An Algebraic Approach to Systolic Circuits
  B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, January 1998
  1998-01

1997

• Ideal Stream Algebra
  B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, December 1997
  1997-10
• Deductive Hardware Design: A Functional Approach
  B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, December 1997
  1997-09
• Layered Graph Traversals and Hamiltonian Path Problems - An Algebraic Approach
  T. Brunn, B. Möller, M. Russling
  Technical Report, Institute of Computer Science, University of Augsburg, December 1997
  1997-08
• Linked Lists Calculated
  B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, December 1997
  1997-07
• Completeness and Termination of SLDNF-Resolution and Determination of a Selection function using Mode
  Ebenezer Ntienjem
  Technical Report, Institute of Computer Science, University of Augsburg, 1997
  1997-06
• A descriptive Mode Inference for Logic Programs
  Ebenezer Ntienjem
  Technical Report, Institute of Computer Science, University of Augsburg, 1997
  1997-05
• Completeness Result of SLDNF-Resolution for a relevant Class of Logic Programs
  Ebenezer Ntienjem
  Technical Report, Institute of Computer Science, University of Augsburg, 1997
  1997-04
• Classification of Late Roman Bronce Coins Using an Object-Oriented Database
  T. Birke, M. Wagner, W. Kießling
  Technical Report, Institute of Computer Science, University of Augsburg, December 1997
  1997-03
• Modal and Temporal Operators on Partial Orders
  B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, November 1997
  1997-02
• Partial Order Semantics and Read Arcs
  Walter Vogler
  Technical Report, Institute of Computer Science, University of Augsburg, 1997
  1997-01

1996

• ReGTime - Rent Gigaflops some Times
  Bernd Dreier, Annja Huber, Markus Zahn, Holger Karl, Theo Ungerer
  Technical Report, Institute of Computer Science, University of Augsburg, 1996
  1996-04
• Client-Server Optimization for Multimedia Document Exchange
  G. Köstler, W. Kowarschick, W. Kießling
  Technical Report, Institute of Computer Science, University of Augsburg, September 1996
  1996-03
• Modular Construction of Fast Asynchronous Systems
  Lars Jenner
  Technical Report, Institute of Computer Science, University of Augsburg, 1996
  1996-02
• RThreads - a Uniform Interface for Parallel and Distributed Programming
  Bernd Dreier, Markus Zahn, Theo Ungerer
  Technical Report, Institute of Computer Science, University of Augsburg, 1996
  1996-01