Technical Reports

2022

  • David Plecher, Christian Eichhorn, Gudrun Klinker: ROAR - Role of Augmented Reality in Serious Games and Superhuman Sports. 2022, more… Full text (mediaTUM)
  • Eichhorn, Christian; Plecher, David; Klinker, Gudrun;: VR enabling knowledge gain for the user (VENUS). 2022, more… Full text (mediaTUM)

2021

  • Camillo Heye, Zhenshan Bing, Alois Knoll: Biologically Plausible Spatial Navigation Based on Border Cells. 2021, more… Full text (mediaTUM)
  • Dominik Nitschke, Zhenshan Bing, Alois Knoll: Towards Cognitive Navigation: A Biologically Inspired Calibration Mechanism for the Head Direction Cell Network. 2021, more… Full text (mediaTUM)
  • Tim Engelmann: Biologically inspired spatial navigationusing vector-based and topology-basedpath planning. 2021, more… Full text (mediaTUM)
  • Zibo Zhou, Zhenshan Bing, Alois Knoll: Design and Implementation of a Biologically Inspired Grid Cell Network. 2021, more… Full text (mediaTUM)

2020

2019

  • Adnane Jadid; Linda Rudolph; Frieder Pankratz; Kai Wu; Pengyuan Wang; Gudrun Klinker: MultiIMU: Fusing Multiple Calibrated IMUs For Enhanced Mixed Reality Tracking. 2019, more… Full text (mediaTUM)
  • Anca Stefanoiu, Josue Page, Tobias Lasser: oLaF: A flexible 3D reconstruction framework for light field microscopy. 2019, more… Full text (mediaTUM)
  • Knoll, A.; Walter, F.: Neurorobotics – a Unique Opportunity for Ground Breaking Research. 2019, more… Full text (mediaTUM)

2018

2017

  • Aaron Pereira and Matthias Althoff: A Cartesian-Space Method for Calculating Human Reachable Occupancy. 2017, more… Full text (mediaTUM)
  • Ana Maria Radut, Sina Shafaei: A Regression-based Control Approach for Limited Slip Differencial. 2017, more… Full text (mediaTUM)
  • Nikhil Somani, Yaadhav Raaj, Suraj Nair, Alois Knoll: Adapting the Search Subspace of a Particle Filter using Geometric Constraints. 2017, more… Full text (mediaTUM)
  • Rahul Gujarathi, Suraj Nair, Daniel Zehe, Goran Marinkovic, Jiajian Xiao, Pranjal Swarup, Yude Lee, Alois Knoll, Fritz Frenkler, Clemens Scharfen, Marianne Eisl, Christopher Lindinger and Roland Haring: TUMCREATE - interactive virtual research lab. 2017, more… Full text (mediaTUM)
  • Tobias Neckel, Alfredo Parra Hinojosa, Florian Rupp: Path-Wise Algorithms for Random & Stochastic ODEs with Applications to Ground-Motion-Induced Excitations of Multi-Storey Buildings. 2017, more… Full text ( DOI ) Full text (mediaTUM)

2016

  • Abhinav Sunderrajan, Vaisagh Viswanathan, Wentong Cai, Alois Knoll: SYMBIOTIC TRAFFIC SIMULATION FRAMEWORK. 2016, more… Full text (mediaTUM)
  • Enrico Lovat, Martin Ochoa, Alexander Pretschner: Sound and Precise Cross-Layer Data Flow Tracking. 2016, more… Full text (mediaTUM)
  • Georg Hackenberg, Jakob Mund: Cyber-physical manufacturing system Development: A test-driven design method and exploratory case study. 2016, more… Full text (mediaTUM)
  • Hanjo Täubig: Inequalities for Matrix Powers and Absolute Values: A Generalization of London’s Conjecture. 2016, more… Full text (mediaTUM)
  • Hubertus Feußner, Sebastian Koller, Brian Jensen, Morteza Hashemi: Kombinierte viszeralmedizinische und transvaskuläre Eingriffe. 2016, more… Full text (mediaTUM)
  • Jordan Ivanchev, Sorina Litescu, Daniel Zehe, Michael Lees, Heiko Aydt, and Alois Knoll: Determining the Most Harmful Roads in Search for System Optimal Routing. 2016, more… Full text (mediaTUM)
  • Kai Huang, Biao Hu, Long Chen, Alois Knoll, Zhihua Wang: ADAS on COTS with OpenCL: A Case Study with Lane Detection. 2016, more… Full text (mediaTUM)
  • Kai Huang, Biao Hu, Long Chen, Alois Knoll, Zhihua Wang: ADAS on COTS with OpenCL: A Case Study with Lane Detection. 2016, more… Full text (mediaTUM)
  • Mario Gleirscher, Stefan Kugele: A Study of Safety Patterns: First Results. 2016, more… Full text (mediaTUM)
  • Paul Muntean und Alexander Malkis: Automatic Security Checks on the Model Level. 2016, more… Full text (mediaTUM)
  • Paul Muntean und Alexander Malkis: Information Exposure Checker. 2016, more… Full text (mediaTUM)
  • Peter M. Kielar, Daniel H. Biedermann, and André Borrmann: MomenTUMv2 – A Modular, Extensible, and Generic Agent-Based Pedestrian Behavior Simulation Framework. 2016, more… Full text (mediaTUM)
  • Project Consortium TUM Living Lab Connected Mobility: Digital Mobility Platforms and Ecosystems – State of the Art Report. , Ed.: Anne Faber, Florian Matthes, Felix Michel: Software Engineering for Business Information Systems (sebis), Technische Universität München (München) , 2016, more… Full text ( DOI ) Full text (mediaTUM)
  • Sajjad Taheritanjani, Stephan Krusche, Bernd Bruegge: A Comparison between Commercial and Open Source Reference Implementations for the Rugby Process Model. 2016, more… Full text (mediaTUM)
  • Sorina Costache Litescu, Vaisagh Viswanathan, Heiko Aydt, Alois Knoll: The Effect of Information Uncertainty in Transportation Systems. 2016, more… Full text (mediaTUM)
  • Sorina Costache Litescu, Vaisagh Viswanathan, Heiko Aydt, Alois Knoll: The Effect of Information Uncertainty in Transportation Systems. 2016, more… Full text (mediaTUM)
  • Zhenshan Bing; Long Cheng; Kai Huang; Mingchuan Zhou; Alois Knoll: A CPG-based Control Architecture for 3D Locomotion of a snake-like robot. 2016, more… Full text (mediaTUM)

2015

  • Alexander W. Schneider; Anna Gschwendtner; Florian Matthes: IT Architecture Standardization Survey. 2015, more… Full text (mediaTUM)
  • Alfredo Parra Hinojosa and Tobias Neckel: K-RODE-Taylor schemes of order 3 and 4 for the Kanai-Tajimi earthquake model. 2015, more… Full text ( DOI ) Full text (mediaTUM)
  • Andre Gaschler, Quirin Fischer, Alois Knoll: The Bounding Mesh Algorithm. 2015, more… Full text (mediaTUM)
  • Carolin Torchiani, Michael J. Seitz, David Willems, Stefan Ruzika, Gerta Köster: Fahrgastwechselzeiten von Shuttlebussen – Feldbeobachtung, statistische Auswertung und weitere Verwendung der Daten (Beobachtung vom 06.12.2014 in Kaiserslautern). 2015, more… Full text (mediaTUM)
  • Daniel H. Biedermann, Felix Dietrich, Oliver Handel, Peter M. Kielar, Michael Seitz: Using Raspberry Pi for scientific video observation of pedestrians during a music festival. 2015, more… Full text (mediaTUM)
  • Ernst W. Mayr; Jeremias Weihmann: Complexity Results for Fork-Free Petri Nets. 2015, more… Full text (mediaTUM)
  • Georg Hackenberg, Christoph Richter, Michael Zäh: IMoMeSA – Abschlussbericht – Integrierte modellbasierte Entwicklung mechatronischer Systeme im Maschinen- und Anlagenbau. 2015, more… Full text (mediaTUM)
  • Hanjo Täubig: Inequalities for the Number of Walks in Subdivision Graphs. 2015, more… Full text (mediaTUM)
  • Janosch Maier, Wolfgang Wörndl: Rating Methods for Proactive Recommendation on Smartwatches. 2015, more… Full text (mediaTUM)
  • Jordan Ivanchev, Heiko Aydt, Alois Knoll: Routing Choice Information Maximising Robust Optimal Sensor Placement Against Variations of Traffic Demand Based on Importance of Nodes. 2015, more… Full text (mediaTUM)
  • Mahmoud Akl; Florian Walter; Florian Röhrbein: Learning Spiking Neural Controllers for In-silico Navigation Experiments. 2015, more… Full text (mediaTUM)
  • Maximilian Irlbeck, Vasileios Koutsoumpas: Die E-Energy Referenzarchitektur – Eine Vision für ein Smart Energy System made in Germany. 2015, more… Full text (mediaTUM)
  • Veronika Bauer, Tobias Völke, Sebastian Eder: COMPARING TF-IDF AND LSI AS IR TECHNIQUE IN AN APPROACH FOR DETECTING SEMANTIC RE-IMPLEMENTATIONS IN SOURCE CODE. 2015, more… Full text (mediaTUM)

2014

  • Alois Knoll: The Dawn of the Age of Autonomy. 2014, more… Full text (mediaTUM)
  • Caixia Cai, Nikhil Somani, Suraj Nair, Dario Mendoza, Alois Knoll: Uncalibrated Stereo Visual Servoing for manipulators using virtual Impedance Control. 2014, more… Full text (mediaTUM)
  • Denis Bytschkow, Alarico Campetelli, María Victoria Cengarle, Maximilian Irlbeck, Konstantin Schorp: Reference Framework for the Engineering of Cyber-Physical Systems: A First Approach. 2014, more… Full text (mediaTUM)
  • Evgeny Strekalovskiy and Daniel Cremers: Real-Time Minimization of the Piecewise Smooth Mumford-Shah Functional. 2014, more… Full text (mediaTUM)
  • Gang Chen, Biao Hu, Kai Huang, Alois Knoll: Cache Management and Time-triggered Scheduling for Hard Real-time MPSoCs. 2014, more… Full text (mediaTUM)
  • Hanjo Täubig: Further Results on the Number of Walks in Graphs and Weighted Entry Sums of Matrix Powers. 2014, more… Full text (mediaTUM)
  • Marco Kuhrmann, Michaela Tiessler: Crafting a Method Engineering Metamodel – Approach, Methods, Results. 2014, more… Full text (mediaTUM)
  • Martin Hoernig, Andreas Bigontina, Bernd Radig: A Comparative Evaluation of Current HTML5 Web Video Implementations. 2014, more… Full text (mediaTUM)
  • Matthias Wieczorek, Jakob Vogel, Tobias Lasser: CampRecon – a software framework for linear inverse problems. 2014, more… Full text (mediaTUM)
  • Paul Muntean: Modeling of information-flow restrictions. 2014, more… Full text (mediaTUM)
  • Ralf Vogler: Verifying Regular Safety Properties of C Programs Using the Static Analyzer Goblint. 2014, more… Full text (mediaTUM)
  • Saahil Ognawala, Daniel Méndez Fernández, Stefan Wagner: Requirements Engineering Improvement Today – A Systematic Mapping Study. 2014, more… Full text (mediaTUM)
  • Thomas Möllenhoff, Evgeny Strekalovskiy, and Daniel Cremers: A First Order Primal-Dual Algorithm for Nonconvex TV^q Regularization. 2014, more… Full text (mediaTUM)
  • Wessam Abdrabo, Yonata Andrelo Asikin, Wolfgang Wörndl: SerenCast: Towards Understanding the Occurrence of Serendipity During the Consumption of Digital Content. 2014, more… Full text (mediaTUM)

2013

  • Alexander Malkis, Yutaka Nagashima, Steffen Borgwardt und Claudia Eckert: The Diameter of Binary Multithreaded Programs – Preliminary Results. Technische Universität München, 2013, more… Full text (mediaTUM)
  • Andrei Popescu <popescua@in.tum.de>, Johannes Hölzl <hoelzl@in.tum.de>, Tobias Nipkow <nipkow@in.tum.de>: Noninterfering Schedulers – When Possibilistic Noninterference Implies Probabilistic Noninterference. 2013, more… Full text (mediaTUM)
  • Atanas Atanasov, Hans-Joachim Bungartz and Tobias Weinzierl: A Toolkit for the Code Development in Advanced Computing – Advanced Scientific Computing Development Toolkit. 2013, more… Full text (mediaTUM)
  • Ciechanowicz, David; Aydt, Heiko; Lees, Michael; Knoll, Alois; Hamacher, Thomas: A Universal Scheme for Modeling Energy Systems. 2013, more… Full text (mediaTUM)
  • Daniel Méndez Fernández, Birgit Penzenstadler, Manfred Broy, Jonas Eckhardt, Henning Femmer: AMDiRE - Artefact Model for Domain-independent RE – A small Cheat Sheet. 2013, more… Full text (mediaTUM)
  • Daniel Méndez Fernández, Stefan Wagner: Naming the Pain in Requirements Engineering - NaPiRE-Report 2013 – Design of a Global Family of Surveys and First Results from Germany. 2013, more… Full text (mediaTUM)
  • Ernst W. Mayr; Jeremias Weihmann: Results on Equivalence, Boundedness, Liveness, and Covering Problems of BPP-Petri Nets. 2013, more… Full text (mediaTUM)
  • Ernst W. Mayr; Jeremias Weihmann: Completeness Results for Generalized Communication-free Petri Nets with Arbitrary Edge Multiplicities. 2013, more… Full text (mediaTUM)
  • Florian Röhrbein, Sascha Griffiths, Laura Voss: On Industry-Academia Collaborations in Robotics. 2013, more… Full text (mediaTUM)
  • Hardik Shah, Kai Huang, Alois Knoll: Weighted Execution Time Analysis of Applications on COTS Multi-core Architectures. 2013, more… Full text (mediaTUM)
  • Hauke Stähle, Kai Huang, Alois Knoll: Drive-by-Wireless with the eCar Demonstrator. 2013, more… Full text (mediaTUM)
  • Julia Bergbauer, Claudia Nieuwenhuis, Mohamed Souiai, Daniel Cremers: Morphological Proximity Priors: Spatial Relationships for Semantic Segmentation. 2013, more… Full text (mediaTUM)
  • Karim Emara, Wolfgang Woerndl, Johann Schlichter: Beacon-based Vehicle Tracking in Vehicular Ad-hoc Networks. 2013, more… Full text (mediaTUM)
  • Klaus Lochmann, Stefan Wagner: A Quality Model for Software Quality. 2013, more… Full text (mediaTUM)
  • Kristof Unterweger, Tobias Weinzierl, David I. Ketcheson, Aron Ahmadia: PEANOCLAW—A FUNCTIONALLY-DECOMPOSED APPROACH TO ADAPTIVE MESH REFINEMENT WITH LOCAL TIME STEPPING FOR HYPERBOLIC CONSERVATION LAW SOLVERS. 2013, more… Full text (mediaTUM)
  • Marco Kuhrmann: ArSPI: An Artifact Model for Software Process Improvement and Management. 2013, more… Full text (mediaTUM)
  • Maria Spichkova (Editor), Alarico Campetelli (Editor), Klaus Lochmann (Editor): Seminar: Embedded Systems. 2013, more… Full text (mediaTUM)
  • Martin Hofmann; Aleksandr Karbyshev; Helmut Seidl: On the Verification of Local Generic Solvers. 2013, more… Full text (mediaTUM)
  • María Victoria Cengarle, Jonas Eckhardt, Jürgen Hairbucher, Oliver Hanka, Stefan Kuntz, Birgit Penzenstadler, Oliver Sander, Wolfgang Schwitzer, Astrid Steingrüber: ARAMiS Scenarios and Requirements – The ARAMiS Cyber-Physical Systems Scenario. 2013, more… Full text (mediaTUM)
  • Máté Kovács: Relational Abstract Interpretation for the Verification of 2-Hypersafety Properties (Proofs). 2013, more… Full text (mediaTUM)
  • Sonila Dobi, Mario Gleirscher, Maria Spichkova, Peter Struss: Model-based Hazard and Impact Analysis – Modellgestützte Gefährdungsanalyse und Risikobewertung. 2013, more… Full text (mediaTUM)
  • V. Bauer; M. Broy; M. Irlbeck; C. Leuxner; M. Spichkova; M. Dahlweid; T. Santen: Survey of Modeling and Engineering Aspects of Self-Adapting & Self-Optimizing Systems. 2013, more… Full text (mediaTUM)

2012

  • Alejandra Rodriguez, Birgit Penzenstadler: An Assessment Technique for Sustainability: Applying the IMAGINE Approach to Software Systems – Guided Research Report. 2012, more… Full text (mediaTUM)
  • Alexandre Bouard, Benjamin Glas, Anke Jentzsch, Alexander Kiening, Thomas Kittel, Franz Stadler, Benjamin Weyl: SEIS AP 4.3 - Sicherheit auf Ebene der Applikation und ihrer Middleware. 2012, more… Full text (mediaTUM)
  • Andrej Bauer; Martin Hofmann; Aleksandr Karbyshev: On monadic parametricity of second-order functionals. 2012, more… Full text (mediaTUM)
  • Birgit Penzenstadler: Mini-Guideline to Requirements Engineering. 2012, more… Full text (mediaTUM)
  • Birgit Penzenstadler: Sustainability in Software Engineering: A Systematic Literature Review for Building up a Knowledge Base. 2012, more… Full text (mediaTUM)
  • Birgit Penzenstadler, Henning Femmer: A Generic Model for Sustainability. 2012, more… Full text (mediaTUM)
  • Claus Lenz, Markus Grimm, Thorsten Röder, Alois Knoll: Fusing multiple Kinects to survey shared Human-Robot-Workspaces. 2012, more… Full text (mediaTUM)
  • Daniela Steidl: Using Network Analysis for Recommendation of Central Software Classes. 2012, more… Full text (mediaTUM)
  • Florian Matthes, Alexander W. Schneider, Christopher Schulz: IT Carve-Out Guide – A manual for the separation of IT during corporate re-organizations. 2012, more… Full text (mediaTUM)
  • Hanjo Täubig: The number of walks and degree powers in directed graphs. 2012, more… Full text (mediaTUM)
  • Hanjo Täubig; Jeremias Weihmann: Inequalities for the Number of Walks, the Spectral Radius, and the Energy of Graphs. 2012, more… Full text (mediaTUM)
  • Kalmer Apinis, Helmut Seidl, and Vesal Vojdani: Side-Effecting Constraint Systems: A Swiss Army Knife for Program Analysis. 2012, more… Full text (mediaTUM)
  • Lalana Kagal and Alexander Pretschner: Data Usage Management on the Web – Proceedings of a WWW2012 workshop. 2012, more… Full text (mediaTUM)
  • Maria Spichkova: Seminar: Human Factors in Software Engineering. 2012, more… Full text (mediaTUM)
  • Maria Spichkova: Component Composition: Formal Specification and Verification of Cryptographic Properties. 2012, more… Full text (mediaTUM)
  • Mario Gleirscher: Ein Kaffeevollautomat – Fallstudie f{\"u}r modellbasierte Spezifikation zur Vorlesung ``Requirements Engineering'' im Sommersemester 2011 (Skizzen und L{\"o}sungsvorschl{\"a}ge). 2012, more… Full text (mediaTUM)
  • Martina-Cezara Albutiu, Alfons Kemper, Thomas Neumann: Massively Parallel Sort-Merge Joins in Main Memory Multi-Core Database Systems. 2012, more… Full text (mediaTUM)
  • Mohamed Souiai, Evgeny Strekalovskiy, Claudia Nieuwenhuis, Daniel Cremers: Label Configuration Priors for Continuous Multi-Label Optimization. 2012, more… Full text (mediaTUM)
  • Ragna Steenweg; Marco Kuhrmann; Daniel Méndez Fernández: Software Engineering Process Metamodels – A Literature Review. 2012, more… Full text (mediaTUM)
  • Stefan Wagner, Klaus Lochmann, Sebastian Winter, Andreas Goeb, Michael Kläs, Sabine Nunnenmacher: Software Quality Models in Practice – Survey Results. 2012, more… Full text (mediaTUM)
  • Stefan Wagner, Klaus Lochmann, Sebastian Winter, Florian Deissenboeck, Elmar Juergens, Markus Herrmannsdoerfer, Lars Heinemann, Michael Kläs, Adam Trendowicz, Jens Heidrich, Reinhold Ploesch, Andreas Goeb, Christian Koerner, Korbinian Schoder, Jonathan Streit, Christian Schubert: The Quamoco Quality Meta-Model. 2012, more… Full text (mediaTUM)

2011

  • Andre Dau; Johannes Krugel: tt-analyze and tt-generate: Tools to Analyze and Generate Sequences with Trained Statistical Properties. 2011, more… Full text (mediaTUM)
  • Bernhard Amann; Thomas Fuhrmann: Adding Cryptographically Enforced Permissions to Fully Decentralized File Systems. 2011, more… Full text (mediaTUM)
  • Birgit Penzenstadler; Veronika Bauer; Andreas Fleischmann: Seminar: Sustainability in Software Engineering. 2011, more… Full text (mediaTUM)
  • Bjoern Schwerdtfeger; Gudrun Klinker: Abschlussbericht: Avilus Tracking Contest 2010, 16.-27. August 2010. 2011, more… Full text (mediaTUM)
  • Carsten Steger: A Note on &ldquo;Pose Estimation from Corresponding Point Data&rdquo; by Haralick et al. 2011, more…
  • David Trachtenherz: Formal Validation of Core SALT Translation to LTL in Isabelle/HOL. 2011, more… Full text (mediaTUM)
  • Jana Schmidt; Stefan Kramer: The Augmented Itemset Tree: A Data Structure For Online Maximum Frequent Pattern Mining. 2011, more…
  • Jana Schmidt; Stefan Kramer: Learning Probabilistc Real Time Automata From Multi-Attribute Event Logs. 2011, more… Full text (mediaTUM)
  • Johannes Huebner; Wolfgang Woerndl: Proactivity in a Mobile, Context-Aware Recommender System. 2011, more… Full text (mediaTUM)
  • M. Feilkas; F. Hölzl; Ch. Pfaller; S. Rittmann; B. Schätz; W. Schwitzer; W. Sitou; M. Spichkova; D. Trachtenherz: A Refined Top-Down Methodology for the Development of Automotive Software Systems - The KeylessEntry-System Case Study -. 2011, more… Full text (mediaTUM)
  • Marc Sihling; Andreas Rausch; Christian Lange; Marco Kuhrmann: Software &amp; Systems Engineering Essentials 2011. 2011, more… Full text (mediaTUM)
  • Marcus Toennis; Amal Benzina; Gudrun Klinker: Utilizing Consumer 3D TV Hardware for Flexible and Reconfigurable Visualization Systems. 2011, more… Full text (mediaTUM)
  • Marcus Tönnis; David A. Plecher: Presentation Principles in Augmented Reality Classification and Categorization Guidelines. 2011, more… Full text (mediaTUM)
  • Maria Spichkova: User Guide for the FOCUS representation in LaTeX. 2011, more…
  • Maria Spichkova: Focus on processes. 2011, more… Full text (mediaTUM)
  • Raymond Hemmecke; Sven Kosub; Ernst W. Mayr; Hanjo Täubig; Jeremias Weihmann: Inequalities for the Number of Walks in Trees and General Graphs and a Generalization of a Theorem of Erdös and Simonovits. 2011, more… Full text (mediaTUM)
  • Sabine Buckl, Christian M. Schweda: On the State-of-the-Art in Enterprise Architecture Management Literature. 2011, more… Full text (mediaTUM)
  • Sebastian Eder; Andreas Vogelsang; Martin Feilkas: Seamless Modeling of an Automation Example Using the SPES Methodology. 2011, more… Full text (mediaTUM)
  • Stefan Wagner; Manfred Broy; Florian Deissenboeck; Peter Liggesmeyer; Juergen Muench: Tagungsband des 4. Workshops zur Software-Qualitätsmodellierung und -bewertung. 2011, more… Full text (mediaTUM)
  • Thomas Windheuser, Ulrich Schlickewei; Daniel Cremers: Minimal Surfaces for 3D Shape Matching: A Linear Programming Solution. 2011, more… Full text (mediaTUM)
  • Viktor Leis: On the Performance and Pruning Power of Different Join Enumeration Strategies. 2011, more… Full text (mediaTUM)

2010

  • Alarico Campetelli: Analysis Techniques: State of the Art in Industry and Research. 2010, more… Full text (mediaTUM)
  • Alarico Campetelli; María Victoria Cengarle; Irina Gaponova; Alexander Harhurin; Daniel Ratiu; Judith Thyssen: Specification Techniques. 2010, more… Full text (mediaTUM)
  • Alexandra Kirsch: Be a Robot - A Study on Everyday Activities Performed in Real and Virutal Worlds. 2010, more…
  • Alfons Kemper; Thomas Neumann: HyPer: HYbrid OLTP&amp;OLAP High PERformance Database System. 2010, more… Full text (mediaTUM)
  • Aurel V Martiniuc; Alois Knoll: Signaling direction of motion at the output of retina. From biophysics of neural computation to computational models. 2010, more… Full text (mediaTUM)
  • Björn Saballus; Thomas Fuhrmann: A Decentralized Object Location and Retrieval Algorithm for Distributed Runtime Environments. 2010, more… Full text (mediaTUM)
  • Dominik Sojer; Christian Buckl; Alois Knoll: Stand und Anforderungen an eine Werkzeugunterstuetzung zur Entwicklung von Automatisierungssoftware. 2010, more… Full text (mediaTUM)
  • Ekaterina Elts; Hans-Joachim Bungartz: Grid-Workflow-Management-Systeme für die Ausführung wissenschaftlicher Prozessabläufe. 2010, more… Full text (mediaTUM)
  • Eva Artinger; Martin Schanzenbach; Florian Echtler; Tayfur Coskun; Simon Nestler; Gudrun Klinker: Beyond Pinch-to-Zoom: Exploring Alternative Multi-touch Gestures for Map Interaction. 2010, more… Full text (mediaTUM)
  • F. Hölzl, M. Spichkova, D. Trachtenherz: Safety-Critical System Development Methodology. 2010, more… Full text (mediaTUM)
  • F. Hölzl, M. Spichkova, D. Trachtenherz: AutoFocus Tool Chain. 2010, more… Full text (mediaTUM)
  • Georg Groh, Alexander Lehmann: A New Data-Set for Research on Audio-Detection and Modeling of Social Micro-Contexts. 2010, more… Full text (mediaTUM)
  • Georg Groh; Philip Daubmeier: State of the Art in Mobile Social Networking on the Web. 2010, more… Full text (mediaTUM)
  • Gero Greiner; Riko Jacob: Evaluating Non-Square Sparse Bilinear Forms on Multiple Vector Pairs in the I/O-Model. 2010, more… Full text (mediaTUM)
  • Jewgenij Botaschanjan; Thomas Hensel; Benjamin Hummel; Alexander Lindworsky; Michael F. Zäh; Gunther Reinhart; Manfred Broy: AutoVIBN -- Abschlussbericht: Automatische Generierung von Verhaltensmodellen aus CAD-Daten für die qualitättsorientierte virtuelle Inbetriebnahme. 2010, more… Full text (mediaTUM)
  • Lars Heinemann; Christian Neumann; Birgit Penzenstadler; Wassiou Sitou (eds.): Software Architecture in Depth. 2010, more… Full text (mediaTUM)
  • Manfred Broy, Christian Leuxner, Daniel Méndez Fernández, Lars Heinemann, Bernd Spanfelner, Wolfgang Mai, Rainer Schlör: Towards a Formal Engineering Approach for SOA. 2010, more… Full text (mediaTUM)
  • Marc Sihling; Andreas Rausch; Jan Friedrich; Marco Kuhrmann: Proceedings zur SEE 2010. 2010, more… Full text (mediaTUM)
  • Marco Kuhrmann; Georg Kalus; Manuel Then: Flexible Process-Tool-Integration. 2010, more…
  • Maria Spichkova: Architecture: Methodology of Decomposition. 2010, more… Full text (mediaTUM)
  • Maria Spichkova: From Semiformal Requirements To Formal Specification. 2010, more… Full text (mediaTUM)
  • Stefan Wagner; Manfred Broy; Florian Deissenboeck; Peter Liggesmeyer; Jürgen Münch: Tagungsband des 3. Workshops zur Software-Qualitätsmodellierung und -bewertung. 2010, more… Full text (mediaTUM)
  • Suraj Nair; Alois Knoll: Robust Tracking of Humans by Intelligent Multi-modal Fusion of Visual Cues using Machine Learning. 2010, more… Full text (mediaTUM)
  • Thomas Fuhrmann (Hrsg.): Schlussbericht AmbiComp: Software Entwicklung mit universell kombinierbaren Ambient Intelligence Komponenten. 2010, more… Full text (mediaTUM)

2009

  • Alexander Harhurin; Judith Hartmann; Daniel Ratiu: Motivation and Formal Foundations of a Comprehensive Modeling Theory for Embedded Systems. 2009, more… Full text (mediaTUM)
  • Broy; Fleischmann; Islam; Kof; Lochmann; Leuxner; Penzenstadler; Mendez; Sitou; Winter: Towards an Integrated Approach to Requirement Engineering. 2009, more… Full text (mediaTUM)
  • Christian Leuxner; Wassiou Sitou; Bernd Spanfelner; Veronika Thurner; Armin Schneider: Modeling Work Flows For Building Context-Aware Applications. 2009, more… Full text (mediaTUM)
  • Christian Scheideler; Stefan Schmid: A Distributed and Oblivious Heap. 2009, more… Full text (mediaTUM)
  • Christian Waechter; Daniel Pustka; Gudrun Klinker: A Perspective Approach Toward Monocular Particle-based People Tracking. 2009, more… Full text (mediaTUM)
  • Daniel Ratiu; Wolfgang Schwitzer; Judith Thyssen: A System of Abstraction Layers for the Seamless Development of Embedded Software Systems. 2009, more… Full text (mediaTUM)
  • David Trachtenherz: Ausfuehrungssemantik von AutoFocus-Modellen: Isabelle/HOL-Formalisierung und Aequivalenzbeweis. 2009, more… Full text (mediaTUM)
  • Hugo Herbelin (Ed.): The 1st Coq Workshop, Proceedings. 2009, more…
  • Jan Friedrich; Marco Kuhrmann; Andreas Rausch; Marc Sihling: Proceedings zur SEE 2009. 2009, more… Full text (mediaTUM)
  • Jewgenij Botaschanjan; Alexander Harhurin: A Formal Framework for Integrating Functional and Architectural Views of Reactive Systems. 2009, more… Full text (mediaTUM)
  • Klaus Bergner; Jan Friedrich: Modulare Spezifikation von Projektabl&auml;ufen. 2009, more… Full text (mediaTUM)
  • M. Feilkas; A. Fleischmann; F. Hölzl; C. Pfaller; K. Scheidemann; M. Spichkova; D. Trachtenherz: A Top-Down Methodology for the Development of Automotive Software. 2009, more…
  • Manfred Broy; Mario Gleirscher; Peter Kluge; Wolfgang Krenzer; Stefano Merenda; Doris Wild: Automotive Architecture Framework: Towards a Holistic and Standardised System Architecture Description. 2009, more… Full text (mediaTUM)
  • Marianne Mueller; Romer Rosales; Harlad Steck; Sriram Krishnan; Bharat Rao; Stefan Kramer: Data-Efficient Information-Theoretic Test Selection. 2009, more…
  • Markus Herrmannsdoerfer; Stefano Merenda: Result of the Tool Questionnaire. 2009, more… Full text (mediaTUM)
  • Markus Rickert; Michael Kassecker; Alois Knoll: Aufgabenbeschreibung mit verhaltensbasierter Robotersteuerung und natuerlicher Kommunikation. 2009, more… Full text (mediaTUM)
  • Martin Feilkas; Alexander Harhurin; Judith Hartmann; Daniel Ratiu; Wolfgang Schwitzer: Motivation and Introduction of a System of Abstraction Layers for Embedded Systems. 2009, more… Full text (mediaTUM)
  • María Victoria Cengarle; Hans Grönniger: System Model Semantics of Interactions. 2009, more…
  • Matthias Baumgart; Christian Scheideler; Stefan Schmid: A DoS-Resilient Information System for Dynamic Data Management. 2009, more… Full text (mediaTUM)
  • Peter Braun, Manfred Broy, Frank Houdek, Matthias Kirchmayr, Mark Müller, Birgit Penzenstadler, Klaus Pohl, Thorsten Weyer: Entwicklung eines Leitfadens für das Requirements Engineering softwareintensiver Eingebetteter Systeme. 2009, more…
  • Simon Nestler; Manuel Huber; Gudrun Klinker: Hybrid approach for management of patient-related information in mass casualty incidents. 2009, more… Full text (mediaTUM)
  • Stefan Berghofer; Makarius Wenzel (Eds.): Theorem Proving in Higher Order Logics --- Emerging Trends Proceedings. 2009, more…
  • Stefan Birnkammerer; Wolfgang Woerndl; Georg Groh: Recommending for Groups in Decentralized Collaborative Filtering. 2009, more… Full text (mediaTUM)
  • Stefan Wagner, Manfred Broy, Florian Deissenboeck, Peter Liggesmeyer, Jürgen Münch: Tagungsband 2. Workshop zur Software-Qualiätsmodellierung und -bewertung. 2009, more… Full text (mediaTUM)
  • Steven Ganzert; Stefan Kramer; Knut Möller; Daniel Steinmann; Josef Guttmann: Prediction of Mechanical Lung Parameters Using Gaussian Process Models. 2009, more… Full text (mediaTUM)
  • Thomas Ternité; Marco Kuhrmann: Das V-Modell XT 1.3 Metamodell. 2009, more…

2008

  • Alexander Harhurin; Judith Hartmann: Dienstbasierte Spezifikation des ACC, Fallstudie. 2008, more… Full text (mediaTUM)
  • Ali Bigdelou; Alexander Ladikos; Nassir Navab: Shape from Silhouette in Dynamic Scenes. 2008, more… Full text (mediaTUM)
  • Andrea Flexeder; Michael Petter; Helmut Seidl: Analysis of executables for WCET concerns. 2008, more… Full text (mediaTUM)
  • Andreas Bauer; Martin Leucker; Christian Schallhart: The good, the bad, and the ugly - but how ugly is ugly? 2008, more… Full text (mediaTUM)
  • Andrzej Lingas; Miroslaw Kowaluk; Johannes Nowak: A Path Cover Technique for LCAs in Dags. 2008, more… Full text (mediaTUM)
  • Benedikt Bollig; Joost-Pieter Katoen; Carsten Kern; Martin Leucker: SMA - The Smyle Modeling Approach. 2008, more… Full text (mediaTUM)
  • Bjoern Schwerdtfeger; Gudrun Klinker: Supporting Order Picking with Augmented Reality. 2008, more… Full text (mediaTUM)
  • David Bettencourt da Cruz; Birgit Penzenstadler: Designing, Documenting, and Evaluating Software Architecture. 2008, more… Full text (mediaTUM)
  • Dominik Gall; Riko Jacob; Andrea Richa; Christian Scheideler; Stefan Schmid; Hanjo Täubig: Modeling Scalability in Distributed Self-Stabilization: The Case of Graph Linearization. 2008, more… Full text (mediaTUM)
  • Florian Echtler; Gudrun Klinker: A Multitouch Software Architecture. 2008, more… Full text (mediaTUM)
  • Franz Huber; Tobias Schroepf: Hochverfuegbarkeit fuer Linux. 2008, more… Full text (mediaTUM)
  • Hermann Gruber; Markus Holzer: Provably Shorter Regular Expressions from Deterministic Finite Automata. 2008, more… Full text (mediaTUM)
  • Hermann Gruber; Markus Holzer: Language Operations with Regular Expressions of Polynomial Size. 2008, more… Full text (mediaTUM)
  • Jewgenij Botaschanjan; Alexander Harhurin; Leonid Kof: Service-Based Specification of Reactive Systems. 2008, more… Full text (mediaTUM)
  • Johannes Sch\"oning; Peter Brandl; Florian Daiber; Florian Echtler; Otmar Hilliges; Jonathan Hook; Markus L\"ochtefeld; Nima Motamedi; Laurence Muller; Patrick Olivier; Tim Roth; Ulrich von Zadow: Multi-Touch Surfaces: A Technical Guide. 2008, more… Full text (mediaTUM)
  • Manfred Broy; Martin Feilkas; Johannes Grünbauer; Alexander Gruler; Alexander Harhurin; Judith Hartmann; Birgit Penzenstadler; Bernhard Schaetz; Doris Wild: Umfassendes Architekturmodell fuer das Engineering eingebetteter Software-intensiver Systeme. 2008, more… Full text (mediaTUM)
  • Marco Kuhrmann; Georg Kalus: Werkzeugspezifisches Tailoring für das V-Modell XT. 2008, more… Full text (mediaTUM)
  • Marco Kuhrmann; Ulrike Hammerschall: Anpassung des V-Modell XT. 2008, more… Full text (mediaTUM)
  • Maria Spichkova; Jan Juerjens: Stream Based Specification of Cryptographic Protocols and Their Composition Properties. 2008, more… Full text (mediaTUM)
  • Maria Victoria Cengarle; Alexander Knapp: An Institution for UML 2.0 Static Structures. 2008, more… Full text (mediaTUM)
  • Martin Fritzsche; Manfred Broy: Criteria for the Evaluation of Requirements Engineering Methods in a Change Intensive Environment. 2008, more… Full text (mediaTUM)
  • Matthias Baumgart: Partitioning Bispanning Graphs into Spanning Trees. 2008, more… Full text (mediaTUM)
  • Matthias Baumgart; Hanjo Täubig: The Complexity of Computing Graph-Approximating Spanning Trees. 2008, more… Full text (mediaTUM)
  • Michael Fahrmair; Christian Leuxner; Wassiou Sitou; Bernd Spanfelner: CAWAR - Formalizing a Framework for Ubiquitous Computing Applications. 2008, more… Full text (mediaTUM)
  • Michael Fahrmair; Christian Leuxner; Wassiou Sitou; Bernd Spanfelner: Adaptation Design in Ubiquitous Computing. 2008, more… Full text (mediaTUM)
  • Michael Meisinger; Sabine Rittmann: A Comparison of Service-oriented Development Approaches. 2008, more… Full text (mediaTUM)
  • Peter Braun; Benjamin Hummel: Towards an Integrated System Model for Testing and Verification of Automation Machines. 2008, more… Full text (mediaTUM)
  • Richard Kuntschke; Alfons Kemper: Advanced Data Stream Sharing. 2008, more… Full text (mediaTUM)
  • Riko Jacob: Binary Search on Two-Dimensional Data. 2008, more… Full text (mediaTUM)
  • Riko Jacob; Michael Schnupp: Performing Permuting on a Multiprocessor Architecture Using Packet Communication. 2008, more… Full text (mediaTUM)
  • Stefan Wagner; Florian Deissenboeck; Benjamin Hummel; Elmar Juergens; Benedikt Mas y Parareda; Bernhard Schaetz (Eds.): Selected Topics in Software Quality. 2008, more… Full text (mediaTUM)
  • Stefan Wagner; Manfred Broy; Florian Deissenboeck; Juergen Muench; Peter Liggesmeyer: Workshop-Band Software-Qualitätsmodellierung und -bewertung (SQMB '08). 2008, more… Full text (mediaTUM)
  • Stefan Wagner; Melanie Ruhe: A Structured Review of Productivity Factors in Software Development. 2008, more…
  • Thomas Reiss: Traceability - Aktuelle Herausforderungen in der Systementwicklung im Automobilsektor. 2008, more… Full text (mediaTUM)
  • Victoria Cengarle; Alexander Knapp: An Institution for UML 2.0 Interactions. 2008, more… Full text (mediaTUM)

2007

  • Abdullah N. Arslan; Johannes Nowak: Efficient approximate dictionary look-up for long words over small alphabets. 2007, more… Full text (mediaTUM)
  • Alexander Harhurin; Judith Hartmann: A Formal Approach to Specifying the Functionality of Software System Families. 2007, more… Full text (mediaTUM)
  • Andreas Bauer; Martin Leucker; Christian Schallhart: Runtime Verification for LTL and TLTL. 2007, more… Full text (mediaTUM)
  • Ben Glocker: Discrete Optimization and Uncertainty Estimation in Non-rigid Image Registration. 2007, more…
  • Benjamin Hummel; Sven Kosub: Acyclic Type-of-Relationship Problems on the Internet: An Experimental Analysis. 2007, more… Full text (mediaTUM)
  • Bernd Bruegge; Korbinian Herrmann; Ivo Bonev; Florian Schneider: Entscheidungsunterstuetzungswerkzeug fuer Release Management. 2007, more… Full text (mediaTUM)
  • Celine Laurent: Analysis of the Survey:"IT-Platforms for Cooperation Projects". 2007, more… Full text (mediaTUM)
  • Christian Kuehnel; Andreas Bauer; Michael Tautschnig: Compatibility and reuse in component-based systems via type and unit inference. 2007, more… Full text (mediaTUM)
  • Clemens Ballarin: Tutorial to Locales and Locale Interpretation. 2007, more… Full text (mediaTUM)
  • Daniel Pustka; Manuel Huber; Peter Keitler; Florian Echtler: The Ubiquitous Tracking Query Language (UTQL) Version 1.0. 2007, more… Full text (mediaTUM)
  • Florian Echtler; Manuel Huber; Gudrun Klinker_PhD: Hand tracking for enhanced gesture recognition on interactive multi-touch surfaces. 2007, more… Full text (mediaTUM)
  • Gudrun Klinker; Florian Echtler: 3D Visualization and Exploration of Relationships and Constraints at the Example of Sudoku Games. 2007, more… Full text (mediaTUM)
  • Hermann Gruber; Markus Holzer: Finite Automata, Digraph Connectivity, and Regular Expression Size. 2007, more… Full text (mediaTUM)
  • Manfred Broy; María Victoria Cengarle; Bernhard Rumpe: Semantics of UML: Towards a System Model for UML -- The Control Model. 2007, more… Full text (mediaTUM)
  • Manfred Broy; María Victoria Cengarle; Bernhard Rumpe: Semantics of UML: Towards a System Model for UML -- The State Machine Model. 2007, more… Full text (mediaTUM)
  • Marco Kuhrmann: Prozessintegration und -anpassung. 2007, more… Full text (mediaTUM)
  • Maria Spichkova: Steam Boiler: Extended FOCUS Specification and its Verification in Isabelle/HOL. 2007, more… Full text (mediaTUM)
  • Markus Pister: Beschreibung der Modellierung eingebetteter Systeme und deren Umwelt als Grundlage fuer die Fehlermodellierung. 2007, more… Full text (mediaTUM)
  • Martin Fritzsche; Patrick Keil: Kategorisierung etablierter Vorgehensmodelle und ihre Verbreitung in der deutschen Software-Industrie. 2007, more… Full text (mediaTUM)
  • Norbert Diernhofer; Thomas Schneider: Virtualisierungsloesungen fuer IT-Dienste. 2007, more… Full text (mediaTUM)
  • Stefan Eckhardt; Andreas Muehling; Johannes Nowak: Fast Lowest Common Ancestor Computations in Dags. 2007, more… Full text (mediaTUM)
  • Stefan Eckhardt; Sven Kosub; Johannes Nowak: Smoothed Analysis of Trie Height. 2007, more… Full text (mediaTUM)
  • Stefan Kugele; Michael Tautschnig; Andreas Bauer; Christian Schallhart; Stefano Merenda; Wolfgang Haberl; Christian Kühnel; Florian Müller; Zhonglei Wang; Doris Wild; Sabine Rittmann; Martin Wechs: COLA -- The Component Language. 2007, more… Full text (mediaTUM)
  • Sven Kosub: Dichotomy Results for Fixed-Point Existence Problems for Boolean Dynamical Systems. 2007, more… Full text (mediaTUM)
  • Sven Kosub; Christopher M. Homan: Dichotomy Result for Fixed Point Counting in Boolean Dynamical Systems. 2007, more… Full text (mediaTUM)

2006

2005

2004

2003

  • Amit Agarwal; Tarun Agarwal; Sumit Chopra; Anja Feldmann; Nils; Piotr Krysta; Berthold Voecking: An Experimental Study of k-Splittable Scheduling for DNS-Based Traffic Allocation. 2003, more… Full text (mediaTUM)
  • Anja Feldmann; Nils Kammenhuber; Olaf Maennel; Bruce Maggs; Ravi Sundaram: A methodology for estimating interdomain Web traffic demand. 2003, more… Full text (mediaTUM)
  • Arno Buchner; Hanjo Täubig: A Fast Method for Motif Detection and Searching in a Protein Structure Database. 2003, more… Full text (mediaTUM)
  • Bernd Reiner; Karl Hahn: Fusion von Datenbanktechnologie und Tertiärspeichersystem im Bereich sehr großer multidimensionaler Array-Daten - Stand der Forschung -. 2003, more… Full text (mediaTUM)
  • Bernhard Schätz; Tobias Hain; Frank Houdek; Wolfgang Prenninger; Martin Rappl,Jan Romberg; Oscar Slotosch; Martin Strecker; Alexander Wisspeintner: CASE Tools for Embedded Systems. 2003, more… Full text (mediaTUM)
  • Daniel Lang: A comprehensive overview about selected Ad Hoc Networking Routing Protocols. 2003, more… Full text (mediaTUM)
  • David Bettencourt da Cruz; Bernhard Rumpe; Guido Wimmel: Introducing Security Mechanisms after Initial Development: the RAC Case Study. 2003, more… Full text (mediaTUM)
  • Eduardo B. Fernandez; Robert France; Jan Jürjens; Bernhard Rumpe: Critical Systems Development with UML - Proceedings of the UML'03 workshop. 2003, more… Full text (mediaTUM)
  • G. Hahn; J. Philipps; A. Pretschner; T.Stauner: Tests for mixed discrete-continuous systems. 2003, more… Full text (mediaTUM)
  • Gerd Baumann; Michal Mnuk: Elements. An Object Oriented Approach to Industrial Software Development. 2003, more… Full text (mediaTUM)
  • Ingolf Krüger; Bernhard Schätz; Manfred Broy; Heinrich Hussmann (eds.): SBSE'03 Service-Based Software Engineering Proceedings of the FM2003 Workshop. 2003, more… Full text (mediaTUM)
  • Istvan Nagy; Hermann Mayer; Alois Knoll: The Endo[PA]R System for Minimally Invasive Robotic Surgery. 2003, more… Full text (mediaTUM)
  • Istvan Nagy; Hermann Mayer; Alois Knoll: Application of Skill Transfer in Robotic Surgery. 2003, more… Full text (mediaTUM)
  • J. Newman; M. Wagner; T. Pintaric; A. MacWilliams; M. Bauer; G. Klinker; D. Schmalstieg: Fundamentals of Ubiquitous Tracking for Augmented Reality. 2003, more… Full text (mediaTUM)
  • Jan Juerjens: Critical Systems Design with UML light. 2003, more… Full text (mediaTUM)
  • Johann Schlichter; André Büssing; Ralf Reichwald: Telekooperation in Beziehungsnetzwerken für informationsbezogene Dienstleistungen. 2003, more… Full text (mediaTUM)
  • Marc Sihling (Ed.): Proceedings of OOPSLA 2003: 1st Workshop on Open-Source Software in an Industrial Context (OSIC'03). 2003, more… Full text (mediaTUM)
  • Markus Holzer (Herausgeber): Workshop "Petrinetze" und 13. Theorietag "Automaten und Formale Sprachen". 2003, more… Full text (mediaTUM)
  • Markus Poegl; Andreas Krahnke; Sabine Rittmann: Konzeption und Realisierung der Organisation einer universitaeren Lehrveranstaltung mit einem Datenbanksystem. 2003, more… Full text (mediaTUM)
  • Michael Gnatz; Frank Marschall; Gerhard Popp; Andreas Rausch; Wolfgang Schwerin: Enabling a Living Software Development Process with Process Patterns. 2003, more… Full text (mediaTUM)
  • Michal Mnuk: How Helpful Are Systems for Algorithm Visualization? 2003, more… Full text (mediaTUM)
  • Moritz G. Maass: A Fast Algorithm for the Inexact Characteristic String Problem. 2003, more… Full text (mediaTUM)
  • Peter Braun; Frank Marschall: BOTL The Bidirectional Object Oriented Transformation Language. 2003, more… Full text (mediaTUM)

2002

2001

  • Bernhard Rumpe; Astrid Schroeder: Quantitative Untersuchung des Extreme Programming Processes. 2001, more… Full text (mediaTUM)
  • Bernhard Schaetz: The ODL Operation Definition Language and the AutoFocus/Quest Application Framework AQuA Programming Processes. 2001, more… Full text (mediaTUM)
  • Franz Huber; Bernhard Schaetz: Integrated Development of Embedded Systems with AutoFocus. 2001, more… Full text (mediaTUM)
  • Henning Bordihn; Juergen Dassow; Markus Holzer: Extending Regular Expressions with Homomorphic Replacement. 2001, more… Full text (mediaTUM)
  • Markus Holzer; Stefan Schwoon: Assembling Molecules in Atomix is Hard. 2001, more… Full text (mediaTUM)
  • Matthias Galota; Sven Kosub; Heribert Vollmer: Generic Separations and Leaf Languages. 2001, more… Full text (mediaTUM)
  • Michael G. Bauer; Guenther Specht: Die konzeptionelle und funktionelle Weiterentwicklung des multimedialen digitalen Meta-Bibliothekssystems OMNIS/2. 2001, more… Full text (mediaTUM)
  • Robert Hanek: Model-Based Image Segmentation Using Local Self-Adapting Separation Criteria. 2001, more… Full text (mediaTUM)
  • Uwe Baumgarten; Helmut Krcmar; Ralf Reichwald; Johann Schlichter: Community Online Services And Mobile Solutions - Projektstartbericht des Verbundvorhabens COSMOS. 2001, more… Full text (mediaTUM)
  • Victor Ganzha; Richard Liska; Mikhail Shashkov; Christoph Zenger: Mimetic Finite Difference Methods for Elliptic Equations on Unstructured Triangular Grid. 2001, more… Full text (mediaTUM)
  • Woerndl Wolfgang: Privatheit und Zugriffskontrolle bei Agenten-basierter Verwaltung von Benutzerprofilen. 2001, more… Full text (mediaTUM)

2000

1999

  • A. Bernasconi; C. Damm; I. Shparlinsky: On the Average Sensitivity of Testing Square-Free Numbers. 1999, more… Full text (mediaTUM)
  • Antonin Kucera; Richard Mayr: Simulation Preorder on Simple Process Algebras. 1999, more… Full text (mediaTUM)
  • Bernhard Deifel; Wolfgang Schwerin; Sascha Vogel: Work Products for Integrated Software Development. 1999, more… Full text (mediaTUM)
  • Christian Lesny; Franz Huber; Bernhard Rumpe: Frisco F - Eine funktionale, logische und algebraische Spezifikationssprache. 1999, more… Full text (mediaTUM)
  • Clara Nippl; Stephan Zimmermann; Bernhard Mitschang: Design, Implementation and Evaluation of Data Rivers for Efficient Intra-Query Parallelism. 1999, more… Full text (mediaTUM)
  • Frank Strobl; Alexander Wisspeintner: Specification of an Elevator Control System -- An AutoFocus Case Study. 1999, more… Full text (mediaTUM)
  • Gerhard Popp; Franz Huber; Ingolf Krueger; Bernhard Rumpe; Wolfgang Schwerin: Internet -Buchhandel Eine Fallstudie fuer die Anwendung von Softwareentwicklungstechniken mit der UML. 1999, more… Full text (mediaTUM)
  • Guenther Specht; Martin Zirkel: MultiMAP/2: Netzzugang und Netzbetrieb fuer das multimediale Datenbanksystem MultiMAP. 1999, more… Full text (mediaTUM)
  • Guenther Specht; Michael G. Bauer: Systemarchitektur und Funktionalitaet des multimedialen digitalen Meta-Bibliothekssystems OMNIS/2. 1999, more… Full text (mediaTUM)
  • Johann Schumann; Max Breitling: Formalisierung und Beweis einer Verfeinerung aus FOCUS mit automatischen Theorembeweisern - Fallstudie -. 1999, more… Full text (mediaTUM)
  • M. Scharbrodt; A. Steger; H. Weisser: Approximability of Scheduling with Fixed Jobs. 1999, more… Full text (mediaTUM)
  • Max Breitling; Jan Philipps: Black Box Views of State Machines. 1999, more… Full text (mediaTUM)
  • Michael Bader; Markus Schimper; Christoph Zenger: Hierarchical Bases for the Indefinite Helmholtz Equation. 1999, more… Full text (mediaTUM)
  • Michael Jaedicke; Bernhard Mitschang: The Multi-Operator Method: Integrating Algorithms for the Efficient and Parallel Evaluation of User-Defined Predicates into ORDBMS. 1999, more… Full text (mediaTUM)
  • Olaf Mueller: A Verification Environment for I/O Automata -- Part I: Temporal Logic and Abstraction --. 1999, more… Full text (mediaTUM)
  • Olaf Mueller: A Verification Environment for I/O Automata -- Part II: Theorem Proving and Model Checking --. 1999, more… Full text (mediaTUM)
  • Radu Grosu; Ingolf Krueger; Thomas Stauner: Hybrid Sequence Charts. 1999, more… Full text (mediaTUM)
  • Ralf Ebner; Thomas Erlebach; Andreas Ganz; Claudia Gold; Clemens Harlfinger; Roland Wismueller: A Framework for Recording and Visualizing Event Traces in Parallel Systems with Load Balancing. 1999, more… Full text (mediaTUM)
  • Rolf Niedermeier; Peter Rossmanith: A General Method to Speed Up Fixed-Parameter-Tractable Algorithms. 1999, more… Full text (mediaTUM)
  • S. Cook; A. Kleppe; R. Mitchell; B. Rumpe; J. Warmer; A. Wills: The Amsterdam Manifesto on OCL. 1999, more… Full text (mediaTUM)
  • Thomas Erlebach; Torben Hagerup: Routing flow through a strongly connected graph. 1999, more… Full text (mediaTUM)
  • Thomas Stauner; Bernhard Rumpe; Peter Scholz: Hybrid System Model. 1999, more… Full text (mediaTUM)
  • Volker G. Fischer: Design and Implementation of FOONET - a Framework for object-oriented Network Design. 1999, more… Full text (mediaTUM)

1998

1997

1996

1995

1994