Technische Berichte

2012

• The Confidence-Probability Semiring implemented within OpenFst
  Markus Huber, Christian Kölbl
  Technical Report, Institute of Computer Science, University of Augsburg, March 2012
  2011-16
• On the Correctness of the SIMT Execution Model of GPUs
  Axel Habermaier, Alexander Knapp
  Technical Report 2012-01, Institute of Computer Science, University of Augsburg
  Technical Report 2012-01

2011

• Context-Aware Preference Search for Outdoor Activity Platforms
  W. Kießling, M. Soutschek, A. Huhn, P. Roocks, M. Endres, S. Mandl, F. Wenzel, A. Zelend
  Technical Report, Institute of Computer Science, University of Augsburg, November 2011
  2011-15
• The Model of Computation of CUDA and its Formal Semantics
  Axel Habermaier
  Technical Report 2011-14, Institute of Computer Science, University of Augsburg
  Technical Report 2011-14
• A Graph Algorithmic Framework for the Assembly of Shredded Documents
  Fabian Richter, Christian X. Ries, Rainer Lienhart
  Technical Report, Institute of Computer Science, University of Augsburg,
  2011-05
• Swimmer Detection and Pose Estimation for Continuous Stroke Rate Determination
  D. Zecha,T. Greif, R. Lienhart
  Technical Report, Institute of Computer Science, University of Augsburg,
  2011-13
• Language Modeling with Utterance-Meaning Pairs
  Günther Wirsching, Christian Kölbl
  Technical Report, Institute of Computer Science, University of Augsburg, April 2011
  2011-12
• Multimodal Ranking for Image Search on Community Databases
  Fabian Richter, Stefan Romberg, Eva Hörster, Rainer Lienhart
  Technical Report, Institute of Computer Science, University of Augsburg,
  2011-07
• Monocular 3D Human Pose Estimation by Classification
  T. Greif, D. Sengupta, R. Lienhart
  Technical Report, Institute of Computer Science, University of Augsburg,
  2011-09
• Formal Product Families for Abstract Machines
  A. Zelend
  Technical Report, Institute of Computer Science, University of Augsburg, March 2011
  2011-06

2010

• Mooop - A Generic Integration of Object-Oriented and Ontological Models
  Christoph Frenzel
  Technical Report, Institute of Computer Science, University of Augsburg, December 2010
  2010-14
• Final System-Level Software for the MERASA Processor
  Julian Wolf, Florian Kluge, Irakli Guliashvili
  Technical Report, Institute of Computer Science, University of Augsburg, October 2010
  2010-08
• Requirements in Feature Algebra
  P. Höfner, S. Mentl, B. Möller, and W. Scholz
  Technical Report, Institute of Computer Science, University of Augsburg, October 2010
  2010-12
• Supplementing Product Families with Behaviour
  P. Höfner, R. Khedri and B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, October 2010
  2010-13
• ATPPortal: A User-friendly Webbased Interface for Automated Theorem Provers and for Automatically Generated Proofs
  P. Höfner, M.E. Müller, S. Zeissler
  Technical Report, Institute of Computer Science, University of Augsburg, October 2010
  2010-10
• Fixing Zeno Gaps
  P. Höfner and B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, October 2010
  2010-11
• Algebraic Separation Logic
  H.-H. Dang, P. Höfner, B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, July 2010
  2010-06
• Towards Universal Visual Vocabularies
  C. Ries, S. Romberg, R. Lienhart
  Technical Report, Institute of Computer Science, University of Augsburg,
  2010-05
• The confidence-probability semiring
  Günther J. Wirsching, Markus Huber, Christian Kölbl
  Technical Report, Institute of Computer Science, University of Augsburg, April 2010
  2010-04
• Automated Higher-order Reasoning in Quantales
  H.-H. Dang, P. Höfner
  Technical Report, Institute of Computer Science, University of Augsburg, April 2010
  2010-03
• An Algebra for Abstract Interfaces
  P. Höfner, B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, April 2010
  2010-02
• Semi-Skylines and Skyline Snippets
  M. Endres, W. Kießling
  Technical Report, Institute of Computer Science, University of Augsburg, March 2010
  2010-01
• 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
• 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
• 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
• Learning Task Patterns to Improve Efficiency and Coordination in Decentralized Autonomic Computing Systems
  Jan-Philipp Steghöfer, Jörg Denzinger, Holger Kasinger and Bernhard 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
• An Algebra of Hybrid Systems
  P. Höfner, B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, September 2007
  2007-08
• Simulation und Evaluation künstlicher Blütenbestäubung
  Viviane Schöbel
  Technischer Bericht, Institut für Informatik, Universität Augsburg, August 2007
  2007-07
• Knowledge based Annotation of Requirements and Reuse of Components
  Wolf Fischer
  Technischer Bericht, Institut für Informatik, Universität Augsburg, Oktober 2007
  2007-10
• 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
• 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
• 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
• 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
• 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
• 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
• Dynamic Epistemic Semirings
  K. Solin
  Technical Report, Institute of Computer Science, University of Augsburg, June 2006
  2006-17
• 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