> Details

Universität Mannheim Fakultät für Mathematik und Informatik

Manuskripte / Reihe Informatik

Reference
management

Direct link

Bookmarks

Remove from
bookmarks

Share this by email

Share this on Twitter

Share this on Facebook

Share this on Whatsapp

Export RIS Export BibTeX Export EndNote

Bookmarks

Media type: Electronic Serial; Monograph Series
Title: Manuskripte / Fakultät für Mathematik und Informatik der Universität Mannheim
Reihe Informatik
Other titles: Abweichender Titel: Manuskripte / Reihe Informatik
Nebent.: Technical reports
Nebent.: TR
Corporation: Universität Mannheim, Fakultät für Mathematik und Informatik
imprint: Mannheim: Fakultät für Mathematik und Informatik, 19XX-
Language: German; English
Keywords: Monografische Reihe
Origination:
Footnote: Teilw. u.d.T.: Reihe Informatik
Access State: Open Access

> Publishers' series

Willems, Carsten [Author]
TR-2011-001: Internals of windows memory management (not only) for malware analysis Carsten Willems
Mannheim: Universität Mannheim / Institut für Informatik, 2011

Willems, Carsten [Author]; Freiling, Felix C. [Author]
TR-2011-002: Using memory management to detect and extract illegitimate code for malware analysis Carsten Willems; Felix Freiling
Mannheim: Universität Mannheim / Institut für Informatik, 2011

Freiling, Felix C. [Author]
TR-2010-001: Wie repräsentativ sind die Messdaten eines Honeynet? Felix C. Freiling
Mannheim: Universität Mannheim / Institut für Informatik, 2010

Göbel, Jan Gerrit [Other]; Stock, Ben [Other]; Trinius, Philipp [Other]; Freiling, Felix C. [Other]
TR-2010-002: Blacklisting malicious websites using peer-to-peer technology Göbel, Jan ; Stock, Ben ; Trinius, Philipp ; Freiling, Felix
Mannheim: Universität Mannheim / Institut für Informatik, 2010

Moerkotte, Guido [Author]
TR-2010-003: Profiles for single attributes Guido Moerkotte
Mannheim: Universität Mannheim / Institut für Informatik, 2010

Vömel, Stefan [Author]; Holz, Thorsten [Author]; Freiling, Felix C. [Author]
TR-2010-004: I'd like to pay with your Visa Card an illustration of illicit online trading activity in the underground economy Vömel, Stefan ; Holz, Thorsten ; Freiling, Felix C
Mannheim: Universität Mannheim / Institut für Informatik, 2010

Dewald, Andreas [Author]; Freiling, Felix C. [Author]; Weber, Tim [Author]
TR-2010-005: Design and implementation of a documentation tool for interactive commandline sessions Andreas Dewald; Felix C. Freiling; Tim Weber
Mannheim: Universität Mannheim / Institut für Informatik, 2010

Freiling, Felix C. [Author]; Eusgeld, Irene [Author]; Reussner, Ralf [Author]
TR-2009-002: Dependability metrics research workshop proceedings Felix C. Freiling; Irene Eusgeld; Ralf Reussner
Mannheim: Universität Mannheim / Institut für Informatik, 2009

Böhm, Alexander [Author]; Kanne, Carl-Christian [Author]
TR-2009-001: Processes are data a programming model for distributed applications Alexander Böhm; Carl-Christian Kanne
Mannheim: Universität Mannheim / Institut für Informatik, 2009

Freiling, Felix C. [Author]
TR-2009-005: Zur Nutzung von Verkehrsdaten im Rahmen der Vorratsdatenspeicherung Felix C. Freiling
Mannheim: Universität Mannheim / Institut für Informatik, 2009

Trinius, Philipp [Other]; Willems, Carsten [Other]; Holz, Thorsten [Other]; Rieck, Konrad Franz [Other]
TR-2009-007: A malware instruction set for behavior-based analysis Philipp Trinius; Carsten Willems; Thorsten Holz; Konrad Rieck
Mannheim: Universität Mannheim / Institut für Informatik, 2009

Böhm, Alexander [Author]; Kanne, Carl-Christian [Author]
TR-2009-003: Scalability transformations on declarative applications Alexander Böhm; Carl-Christian Kanne
Mannheim: Universität Mannheim / Institut für Informatik, 2009

Böhm, Alexander [Author]; Kanne, Carl-Christian [Author]
TR-2009-006: Messaging rules as a programming model for enterprise application integration Alexander Böhm; Carl-Christian Kanne
Mannheim: Universität Mannheim / Institut für Informatik, 2009

Semmelrock, Nils [Author]; Majster-Cederbaum, Mila [Author]
TR-2009-004: Reachability in tree-like component systems is PSPACE-complete Nils Semmelrock; Mila Majster-Cederbaum
Mannheim: Universität Mannheim / Institut für Informatik, 2009

Göbel, Jan Gerrit [Author]
TR-2009-008: Amun a python honeypot Jan Göbel
Mannheim: Universität Mannheim / Institut für Informatik, 2009

Becher, Michael [Other]; Hund, Ralf [Other]
TR-2008-003: Kernel-level interception and applications on mobile devices Michael Becher; Ralf Hund
Mannheim: Universität Mannheim / Institut für Informatik, 2008

Rooyen, Hendrik O. van [Other]; Stetter, Franz [Other]
TR-2008-005: A formal representation of the method of learning Hendrik O. van Rooyen; Franz Stetter
Mannheim: Universität Mannheim / Institut für Informatik, 2008

Freiling, Felix C. [Other]; Lambertz, Christian [Other]; Majster-Cederbaum, Mila [Other]
TR-2008-002: Easy consensus algorithms for the crash-recovery model Felix C. Freiling; Christian Lambertz; Mila Majster-Cederbaum
Mannheim: Universität Mannheim / Institut für Informatik, 2008

Holz, Thorsten [Author]; Engelberth, Markus [Author]; Freiling, Felix C. [Author]
TR-2008-006: Learning more about the underground economy a case-study of keyloggers and dropzones Thorsten Holz; Markus Engelberth; Felix Freiling
Mannheim: Universität Mannheim / Institut für Informatik, 2008

Moerkotte, Guido [Author]
TR-2008-007: Best approximation under a convex paranorm Guido Moerkotte
Mannheim: Universität Mannheim / Institut für Informatik, 2008

Rooyen, Hendrik O. van [Author]; Stetter, Franz [Author]
TR-2008-001: Neurons, knowledge hypernets, and information flow Hendrik O. Van Rooyen; Franz Stetter
Mannheim: Universität Mannheim / Institut für Informatik, 2008

Rooyen, Hendrik O. van [Other]; Stetter, Franz [Other]
TR-2007-009: Digraphs, knowledge hypernets, and neurons Hendrik O. Van Rooyen; Franz Stetter
Mannheim: Universität Mannheim / Institut für Informatik, 2007

King, Thomas [Other]; Haenselmann, Thomas [Other]; Effelsberg, Wolfgang [Other]
TR-2007-008: On-Demand fingerprint selection for 802.11-based positioning systems Thomas King; Thomas Haenselmann; Wolfgang Effelsberg
Mannheim: Universität Mannheim / Institut für Informatik, 2007

King, Thomas [Other]; Lemelson, Hendrik [Other]; Haenselmann, Thomas [Other]; Effelsberg, Wolfgang [Other]
TR-2007-006: Loc{lib,trace,eva,ana} research tools for 802.11-based positioning systems Thomas King; Hendrik Lemelson; Thomas Haenselmann; Wolfgang Effelsberg
Mannheim: Universität Mannheim / Institut für Informatik, 2007

Minnameier, Christoph [Other]; Majster-Cederbaum, Mila [Other]
TR-2007-005: Interaction systems and 1-safe petri nets Christoph Minnameier; Mila E. Majster-Cederbaum
Mannheim: Universität Mannheim / Institut für Informatik, 2007

Zhuge, Jianwei [Other]; Holz, Thorsten [Other]; Song, Chengyu [Other]; Guo, Jinpeng [Other]; Han, Xinhui [Other]; Zou, Wei [Other]
TR-2007-011: Studying malicious websites and the underground economy on the Chinese web Jianwei Zhuge; Thorsten Holz; Chengyu Song; Jinpeng Guo; Xinhui Han; Wei Zou
Mannheim: Universität Mannheim / Institut für Informatik, 2007

Zhuge, Jianwei [Other]; Holz, Thorsten [Other]; Han, Xinhui [Other]; Guo, Jinpeng [Other]; Zou, Wei [Other]
TR-2007-010: Characterizing the IRC-based Botnet Phenomenon Jianwei Zhuge; Thorsten Holz; Xinhui Han; Jinpeng Guo; Wei Zou
Mannheim: Universität Mannheim / Institut für Informatik, 2007

Martens, Moritz [Other]
TR-2007-001: Liveness in interaction systems Moritz Martens
Mannheim: Universität Mannheim / Institut für Informatik, 2007

Brantner, Matthias [Other]; Kanne, Carl-Christian [Other]; Moerkotte, Guido [Other]
TR-2007-007: Let a single FLWOR bloom Matthias Brantner; Carl-Christian Kanne; Guido Moerkotte
Mannheim: Universität Mannheim / Institut für Informatik, 2007

Majster-Cederbaum, Mila [Other]; Martens, Moritz [Other]
TR-2007-004: Robustness in interaction systems Mila E. Majster-Cederbaum; Moritz Martens
Mannheim: Universität Mannheim / Institut für Informatik, 2007

King, Thomas [Other]; Haenselmann, Thomas [Other]; Effelsberg, Wolfgang [Other]
TR-2007-003: Key factors for position errors in 802.11-based positioning systems Thomas King; Thomas Haenselmann; Wolfgang Effelsberg
Mannheim: Universität Mannheim / Institut für Informatik, 2007

Delporte-Gallet, Carole [Other]; Fauconnier, Hugues [Other]; Freiling, Felix C. [Other]; Draque Penso, Lucia [Other]; Tielmann, Andreas [Other]
TR-2007-002: Transforming asynchronous systems with crash-stop failures and failure detectors to the general omission model Carole Delporte-Gallet; Hugues Fauconnier; Felix C. Freiling; Lucia Draque Penso; Andreas Tielmann
Mannheim: Universität Mannheim / Institut für Informatik, 2007

King, Thomas [Other]; Butter, Thomas [Other]; Brantner, Matthias [Other]; Kopf, Stephan [Other]; Haenselmann, Thomas [Other]; Biskop, Alexander [Other]; Färber, Andreas [Other]; Effelsberg, Wolfgang [Other]
TR-2006-019: Distribution of fingerprints for 802.11-based positioning systems Thomas King; Thomas Butter; Matthias Brantner; Stephan Kopf; Thomas Haenselmann; Alexander Biskop; Andreas Färber; Wolfgang Effelsberg
Mannheim: Universität Mannheim / Institut für Informatik, 2006

Minnameier, Christoph [Other]
TR-2006-015: Deadlock-detection in component-based systems is NP-hard. Christoph Minnameier
Mannheim: Universität Mannheim / Institut für Informatik, 2006

Böhm, Alexander [Other]; Kanne, Carl-Christian [Other]; Moerkotte, Guido [Other]
TR-2006-014: Implementierung von skalierbaren, hochperformanten Web Services durch deklarative Nachrichtenverarbeitung Alexander Böhm; Carl-Christian Kanne; Guido Moerkotte
Mannheim: Universität Mannheim / Institut für Informatik, 2006

Armknecht, Frederik [Other]; Stegemann, Dirk [Other]
TR-2006-013: Kryptowochenende 2006 Workshop über Kryptographie Frederik Armknecht; Dirk Stegemann
Mannheim: Universität Mannheim / Institut für Informatik, 2006

King, Thomas [Other]; Kopf, Stephan [Other]; Haenselmann, Thomas [Other]; Lubberger, Christian [Other]; Effelsberg, Wolfgang [Other]
TR-2006-012: COMPASS a probabilistic indoor positioning system based on 802.11 and digital compasses Thomas King; Stephan Kopf; Thomas Haenselmann; Christian Lubberger; Wolfgang Effelsberg
Mannheim: Universität Mannheim / Institut für Informatik, 2006

Brantner, Matthias [Other]; Helmer, Sven [Other]; Kanne, Carl-Christian [Other]; Moerkotte, Guido [Other]
TR-2006-011: Kappa-Join efficient execution of existential quantification in XML query languages Matthias Brantner; Sven Helmer; Carl-Christian Kanne; Guido Moerkotte
Mannheim: Universität Mannheim / Institut für Informatik, 2006

Benenson, Zinaida [Other]; Fort, Milan [Other]; Freiling, Felix C. [Other]; Kesdogan, Dogan [Other]; Draque Penso, Lucia [Other]
TR-2006-010: TrustedPals secure multiparty computation implemented with smart cards Zinaida Benenson; Milan Fort; Felix C. Freiling; Dogan Kesdogan; Lucia Draque Penso
Mannheim: Universität Mannheim / Institut für Informatik, 2006

Freiling, Felix C. [Other]; Henkel, Sven [Other]; Widder, Josef [Other]
TR-2006-009: Network synchronization in the crash-recovery model Felix C. Freiling; Sven Henkel; Josef Widder
Mannheim: Universität Mannheim / Institut für Informatik, 2006

Freiling, Felix C. [Other]; Majuntke, Matthias [Other]; Mittal, Neeraj [Other]
TR-2006-008: Termination detection in an asynchronous distributed system with crash-recovery failures Felix C. Freiling; Matthias Majuntke; Neeraj Mittal
Mannheim: Universität Mannheim / Institut für Informatik, 2006

Kanne, Carl-Christian [Other]; Moerkotte, Guido [Other]
TR-2006-006: A linear-time algorithm for optimal tree sibling partitioning and its application to XML data stores Carl-Christian Kanne; Guido Moerkotte
Mannheim: Universität Mannheim / Institut für Informatik, 2006

Busse, Marcel [Other]; Haenselmann, Thomas [Other]; Effelsberg, Wolfgang [Other]
TR-2006-005: The impact of forward error correction on wireless sensor network performance Marcel Busse; Thomas Haenselmann; Wolfgang Effelsberg
Mannheim: Universität Mannheim / Institut für Informatik, 2006

Busse, Marcel [Other]; Haenselmann, Thomas [Other]; Effelsberg, Wolfgang [Other]
TR-2006-004: The impact of resync on wireless sensor network performance Marcel Busse; Thomas Haenselmann; Wolfgang Effelsberg
Mannheim: Universität Mannheim / Institut für Informatik, 2006

King, Thomas [Other]; Haenselmann, Thomas [Other]; Kopf, Stephan [Other]; Effelsberg, Wolfgang [Other]
TR-2006-018: Overhearing the wireless interface for 802.11-based positioning systems Thomas King; Thomas Haenselmann; Stephan Kopf; Wolfgang Effelsberg
Mannheim: Universität Mannheim / Institut für Informatik, 2006

Martens, Moritz [Other]; Minnameier, Christoph [Other]; Majster-Cederbaum, Mila [Other]
TR-2006-017: Deciding liveness in component-based systems is NP-hard Moritz Martens; Christoph Minnameier; Mila E. Majster-Cederbaum
Mannheim: Universität Mannheim / Institut für Informatik, 2006

Delporte-Gallet, Carole [Other]; Fauconnier, Hugues [Other]; Freiling, Felix C. [Other]
TR-2006-016: Using failure detection and consensus in the general omission failure model to solve security problems Carole Delporte-Gallet; Hugues Fauconnier; Felix C. Freiling
Mannheim: Universität Mannheim / Institut für Informatik, 2006

Schnaufer, Sascha [Other]; Füßler, Holger [Other]; Transier, Matthias [Other]; Effelsberg, Wolfgang [Other]
TR-2007-012: Unicast ad-hoc routing in vehicular city scenarios Sascha Schnaufer; Holger Füßler; Matthias Transier; Wolfgang Effelsberg
Mannheim: Universität Mannheim / Institut für Informatik, 2006

Tatlı, Emin Islam [Other]; Stegemann, Dirk [Other]; Lucks, Stefan [Other]
TR-2006-007: Dynamic mobile anonymity with mixing Emin Islam Tatlı; Dirk Stegemann; Stefan Lucks
Mannheim: Universität Mannheim / Institut für Informatik, 2006

Freiling, Felix C. [Other]; Guerraoui, Rachid [Other]; Kouznetsov, Petr [Other]
TR-2006-003: The failure detector abstraction Felix C. Freiling, Rachid Guerraoui, Petr Kouznetsov
[S.l.]: Universität Mannheim/ Institut für Informatik, 2006

Moerkotte, Guido [Other]
TR-2006-002: DP-counter analytics Guido Moerkotte
[S.l.]: Universität Mannheim/ Institut für Informatik, 2006

Kopf, Stephan [Other]; Knaus, Manuel [Other]
TR-2006-001: Verbesserung der Qualität von historischen Filmen Stephan Kopf; Manuel Knaus
[S.l.]: Universität Mannheim / Institut für Informatik, 2006

Kanne, Carl-Christian [Other]; Moerkotte, Guido [Other]
TR-2005-009: The importance of sibling clustering for efficient bulkload of XML document trees Carl-Christian Kanne; Guido Moerkotte
Mannheim: Universität Mannheim / Institut für Informatik, 2005

Atkinson, Colin [Other]; Kiko, Kilian [Other]
TR-2008-004: A detailed comparison of UML and OWL Colin Atkinson; Kilian Kiko
Mannheim: Universität Mannheim / Institut für Informatik, 2005

Kopf, Stephan [Other]; Scheele, Nicolai [Other]; Effelsberg, Wolfgang [Other]
2005,1: The interactive lecture teaching and learning technologies for large classrooms Stephan Kopf; Nicolai Scheele; Wolfgang Effelsberg
[S.l.]: Universität Mannheim / Institut für Informatik, 2005

Stuckenschmidt, Heiner [Other]; Klein, Michel [Other]
TR-2005-012: Reasoning and Change Management in Modular Ontologies Heiner Stuckenschmidt; Michel Klein
Mannheim: Universität Mannheim / Institut für Informatik, 2005

Effelsberg, Wolfgang [Other]; Haenselmann, Thomas [Other]; Busse, Marcel [Other]
TR-2005-013: An Energy-Efficient Forwarding Scheme for Wireless Sensor Networks Wolfgang Effelsberg; Thomas Haenselmann; Marcel Busse
Mannheim: Universität Mannheim / Institut für Informatik, 2005

Kopf, Stephan [Other]
TR-2005-014: Verfahren zur Inhaltsadaption von Darstellungselementen Stephan Kopf
[S.l.]: Universität Mannheim / Institut für Informatik, 2005

Kopf, Stephan [Other]; Oertel, Alexander [Other]
TR-2005-008: Gesichtserkennung in Bildern und Videos mit Hilfe von Eigenfaces Stephan Kopf; Alexander Oertel
Mannheim: Universität Mannheim / Institut für Informatik, 2005

Füßler, Holger [Other]; Torrent Moreno, Marc [Other]; Krüger, Roland [Other]; Transier, Matthias [Other]; Hartenstein, Hannes [Other]; Effelsberg, Wolfgang [Other]
TR-2005-003: Studying vehicle movements on highways and their impact on ad-hoc connectivity Holger Füßler; Marc Torrent-Moreno; Roland Krüger; Matthias Transier; Hannes Hartenstein; Wolfgang Effelsberg
[S.l.]: Universität Mannheim / Institut für Informatik, 2005

Busse, Marcel [Other]; Haenselmann, Thomas [Other]; Effelsberg, Wolfgang [Other]
TR-2005-006: TECA a topology and energy control algorithm for sensor networks Marcel Busse; Thomas Haenselmann; Wolfgang Effelsberg
Mannheim: Universität Mannheim / Institut für Informatik, 2005

Eßer, Hans-Georg [Other]; Freiling, Felix C. [Other]
TR-2005-010: Kapazitätsmessung eines verdeckten Kanals über HTTP Hans-Georg Eßer; Felix Freiling
Mannheim: Universität Mannheim / Institut für Informatik, 2005

Serafini, Luciano [Other]; Stuckenschmidt, Heiner [Other]; Wache, Holger [Other]
TR-2005-011: Reasoning about Ontology Mappings Luciano Serafini; Heiner Stuckenschmidt; Holger Wache
[S.l.]: Universität Mannheim / Institut für Informatik, 2005

May, Norman [Other]; Moerkotte, Guido [Other]
TR-2005-007: Main memory implementations for binary grouping Norman May; Guido Moerkotte
Mannheim: Universität Mannheim / Institut für Informatik, 2005

King, Thomas [Other]; Haenselmann, Thomas [Other]; Kopf, Stephan [Other]; Effelsberg, Wolfgang [Other]
TR-2005-015: Positionierung mit Wireless-LAN und Bluetooth Thomas King; Thomas Haenselmann; Stephan Kopf; Wolfgang Effelsberg
[S.l.]: Universität Mannheim / Institut für Informatik, 2005

Scheuermann, Björn [Other]; Füßler, Holger [Other]; Transier, Matthias [Other]; Busse, Marcel [Other]; Mauve, Martin [Other]; Effelsberg, Wolfgang [Other]
TR-2005-005: Huginn a 3D visualizer for wireless ns-2 traces Björn Scheuermann; Holger Füßler; Matthias Transier; Marcel Busse; Martin Mauve; Wolfgang Effelsberg
Mannheim: Universität Mannheim / Institut für Informatik, 2005

Krüger, Roland [Other]; Füßler, Holger [Other]; Torrent Moreno, Marc [Other]; Transier, Matthias [Other]; Hartenstein, Hannes [Other]; Effelsberg, Wolfgang [Other]
TR-2005-004: Statistical analysis of the FleetNet highway movement patterns Roland Krüger; Holger Füßler; Marc Torrent-Moreno; Matthias Transier; Hannes Hartenstein; Wolfgang Effelsberg
[S.l.]: Universität Mannheim / Institut für Informatik, 2005

Kopf, Stephan [Other]; Haenselmann, Thomas [Other]; Effelsberg, Wolfgang [Other]
TR-2005-002: Robust character recognition in low-resolution images and videos Stephan Kopf; Thomas Haenselmann; Wolfgang Effelsberg
Mannheim: Universität Mannheim / Institut für Informatik, 2005

Weber, Stefan [Other]; Schnörr, Christoph [Other]; Schüle, Thomas [Other]; Hornegger, Joachim [Other]
TR-2004-005: Binary tomography by iterating linear programs Stefan Weber; Christoph Schnörr; Thomas Schüle; Joachim Hornegger
Mannheim: Universität Mannheim / Institut für Informatik, 2004

Zenner, Erik [Other]
2004,4: Cryptanalysis of LFSR based pseudorandom generators a survey Erik Zenner
Mannheim: Universität Mannheim / Institut für Informatik, 2004

Zenner, Erik [Other]
2004,1: On the role of the inner state size in stream ciphers Erik Zenner
Mannheim: Universität Mannheim / Institut für Informatik, 2004

Transier, Matthias [Other]
TR-2002-002: A hierarchical approach to position based multicast for mobile ad-hoc networks Matthias Transier
Mannheim: Universität Mannheim / Institut für Informatik, 2004

Vogel, Jürgen [Other]
TR-2004-003: Conflict visualization for collaborative multi-user applications Jürgen Vogel
Mannheim: Universität Mannheim / Institut für Informatik, 2004

Winschel, Lilli [Other]; Kopf, Stephan [Other]
2004,7: Entwicklung einer Börsensimulation mit der multiagentenbasierten Entwicklungsumgebung NetLogo Lilli Winschel und Stephan Kopf
Mannheim: Universität Mannheim / Institut für Informatik, 2004

Rooyen, Hendrik O. van [Other]; Geldenhuys, Aletta E. [Other]; Stetter, Franz [Other]
2004,9: Modelling knowledge systems using relation nets and hypernets Hendrik O. van Rooyen; Aletta E. Geldenhuys; Franz Stetter
Mannheim: Universität Mannheim / Institut für Informatik, 2004

Lucks, Stefan [Other]; Wolf, Christopher [Other]
2004,10: 1. Kryptotag - Workshop über Kryptographie Stefan Lucks; Christopher Wolf
Mannheim: Universität Mannheim / Institut für Informatik, 2004

Kopf, Stephan [Other]; Haenselmann, Thomas [Other]; Effelsberg, Wolfgang [Other]
2004,8: Automatic generation of video summaries for historical films Stephan Kopf; Thomas Haenselmann; Wolfgang Effelsberg
Mannheim: Universität Mannheim / Institut für Informatik, 2004

Keuchel, Jens [Other]; Schnörr, Christoph [Other]
TR-2003-009: Efficient graph cuts for unsupervised image segmentation using probabilistic sampling and SVD-based approximation Jens Keuchel; Christoph Schnörr
Mannheim: Universität Mannheim / Institut für Informatik, 2003

Heiler, Matthias [Other]; Schnörr, Christoph [Other]
TR-2003-010: Natural image statistics for natural image Segmentation Matthias Heiler; Christoph Schnörr
Mannheim: Universität Mannheim / Institut für Informatik, 2003

Neumann, Julia [Other]; Steidl, Gabriele [Other]
2003,13: Dual tree complex wavelet transform in the frequency domain and an application to signal classification Julia Neumann; Gabriele Steidl
Mannheim: Universität Mannheim / Institut für Informatik, 2003

Moerkotte, Guido [Other]
2003,12: Constructing optimal bushy trees possibly containing cross products for order preserving joins is in P Guido Moerkotte
Mannheim: Universität Mannheim / Institut für Informatik, 2003

Hinterberger, Walter [Other]; Scherzer, Otmar [Other]; Schnörr, Christoph [Other]; Weickert, Joachim [Other]
TR-2001-008: Analysis of optical flow models in the framework of calculus of variations Walter Hinterberger; Otmar Scherzer; Christoph Schnörr; Joachim Weickert
Mannheim: Universität Mannheim / Institut für Informatik, 2001

Schellewald, Christian [Other]; Schellewald, Christian [Other]; Schnörr, Christoph [Other]
TR-2001-001: Image labeling and grouping by minimizing linear functionals over cones Christian Schellewald; Jens Keuchel; Christoph Schnörr
Mannheim: Universität Mannheim / Institut für Informatik, 2001

Polzin, Tobias [Other]; Vahdati Daneshmand, Siavash [Other]
TR-2000-014: Primal-dual approaches to the Steiner problem Tobias Polzin; Siavash Vahdati Daneshmand
Mannheim: Universität Mannheim / Institut für Informatik, 2000

Weickert, Joachim [Other]
TR-2000-003a: Efficient image segmentation using partial differential equations and morphology Joachim Weickert
Mannheim: Universität Mannheim / Institut für Informatik, 2000

Weickert, Joachim [Other]
TR-2000-018: Applications of nonlinear diffusion in image processing and computer vision Joachim Weickert
Mannheim: Universität Mannheim / Institut für Informatik, 2000

Moerkotte, Guido [Other]; Fiebig, Thorsten [Other]
TR-2000-016: YAXQL a powerful and web-aware query language supporting query reuse and data integration Guido Moerkotte; Thorsten Fiebig
Mannheim: Universität Mannheim / Institut für Informatik, 2000

Weickert, Joachim [Other]; Schnörr, Christoph [Other]
TR-2000-015: Variational optic flow computation with a spatio-temporal smoothness constraint Joachim Weickert; Christoph Schnörr
Mannheim: Universität Mannheim / Institut für Informatik, 2000

Majster-Cederbaum, Mila [Other]
TR-2000-007: Underspecification for process algebras Mila E. Majster-Cederbaum
Mannheim: Universität Mannheim / Institut für Informatik, 2000

Heer, Josef [Other]; Schnörr, Christoph [Other]; Stiehl, H. S. [Other]
TR-2000-005: Globally-convergent iterative numerical schemes for non-linear variational image smoothing and segmentation on a multi-processor machine Josef Heers; Christoph Schnörr; H. Siegfried Stiehl
Mannheim: Universität Mannheim / Institut für Informatik, 2000

Weickert, Joachim [Other]; Scharr, Hanno [Other]
TR-2000-004: A scheme for coherence-enhancing diffusion filtering with optimized rotation invariance Joachim Weickert; Hanno Scharr
Mannheim: Universität Mannheim / Institut für Informatik, 2000

Weickert, Joachim [Other]; Schnörr, Christoph [Other]
TR-2000-013: A theoretical framework for convex regularizers in PDE-based computation of image motion Joachim Weickert; Christoph Schnörr
Mannheim: Universität Mannheim / Institut für Informatik, 2000

Weickert, Joachim [Other]; Schnörr, Christoph [Other]
TR-2000-008: PDE-based preprocessing of medical images Joachim Weickert; Christoph Schnörr
Mannheim: Universität Mannheim / Institut für Informatik, 2000

Weickert, Joachim [Other]; Heer, Josef [Other]; Schnörr, Christoph [Other]; Zuiderveld, Karel J. [Other]; Scherzer, Otmar [Other]; Stiehl, H. S. [Other]
TR-1999-005: Fast parallel algorithms for a broad class of nonlinear variational diffusion approaches Joachim Weickert; J. Heers; Christoph Schnörr; Karel J. Zuiderveld; O. Scherzer; H.S. Stiehl
Mannheim: Universität Mannheim / Institut für Informatik, 1999

Weickert, Joachim [Other]; Schnörr, Christoph [Other]
TR-1999-004: Optic flow calculations with nonlinear smoothness terms extended into the temporal domain Joachim Weickert; Christoph Schnörr
Mannheim: Universität Mannheim / Institut für Informatik, 1999

Baier, Christel [Other]; Engelen, Bettina [Other]; Roggenbach, Markus [Other]
TR-1999-003: Establishing qualitative properties for probabilistic lossy channel systems an algorithmic approach Christel Baier; Bettina Engelen; Markus Roggenbach
Mannheim: Universität Mannheim / Institut für Informatik, 1999

Majster-Cederbaum, Mila [Other]; Salger, Frank [Other]
TR-1999-007: On syntactic action refinement and logic Mila Majster-Cederbaum; Frank Salger
Mannheim: Universität Mannheim / Institut für Informatik, 1999

Kanne, Carl-Christian [Other]; Moerkotte, Guido [Other]
TR-1999-008: Efficient storage of XML data Carl-Christian Kanne; Guido Moerkotte
Mannheim: Universität Mannheim / Institut für Informatik, 1999

Radmoser, Esther [Other]; Scherzer, Otmar [Other]; Weickert, Joachim [Other]
TR-1999-012: Scale-space properties of nonstationary iterative regularization methods Esther Radmoser; Otmar Scherzer; Joachim Weickert
Mannheim: Universität Mannheim / Institut für Informatik, 1999

Kuhmünch, Christoph [Other]
TR-1998-004: Teleteaching over low-bandwidth network channels Christoph Kuhmünch
Mannheim: Universität Mannheim / Institut für Informatik, 1998

Majster-Cederbaum, Mila [Other]
TR-1998-019: Infinite possible worlds for process algebras M. E. Majster-Cederbaum
Mannheim: Universität Mannheim / Institut für Informatik, 1998

Majster-Cederbaum, Mila [Other]; Roggenbach, Markus [Other]
TR-1998-017: The essence of bisimulation a comparative study Mila Majster-Cederbaum; Markus Roggenbach
Mannheim: Universität Mannheim / Institut für Informatik, 1998

Polzin, Tobias [Other]; Vahdati Daneshmand, Siavash [Other]
TR-1998-006: Improved algorithms for the Steiner problem in networks Tobias Polzin; Siavash Vahdati Daneshmand
Mannheim: Universität Mannheim / Institut für Informatik, 1998

Moerkotte, Guido [Other]
TR-1998-001: Small materialized aggregates a light weight index structure for data warehousing Guido Moerkotte
Mannheim: Universität Mannheim / Institut für Informatik, 1998

Polzin, Tobias [Other]; Vahdati Daneshmand, Siavash [Other]
TR-1998-005: A comparison of Steiner tree relaxations Tobias Polzin; Siavash Vahdati Daneshmand
Mannheim: Universität Mannheim / Institut für Informatik, 1998

Fiebig, Thorsten [Other]; Moerkotte, Guido [Other]
TR-1998-002: The evaluation of content-based web queries Thorsten Fiebig; Guido Moerkotte
Mannheim: Universität Mannheim / Institut für Informatik, 1998

Roggenbach, Markus [Other]
TR-1997-001: Categorical characterization of bisimulation Markus Roggenbach
Mannheim: Universität Mannheim / Institut für Informatik, 1997

Fischer, Stefan [Other]; Meer, Hermann de [Other]
TR-1997-004: Decision support in cooperative QoS management Stefan Fischer; Hermann de Meer
Mannheim: Universität Mannheim / Institut für Informatik, 1997

Benjes, Friederike [Other]; Majster-Cederbaum, Mila [Other]
TR-1997-007: A categorical view of action refinement in models of concurrency Friederike Benjes; Mila E. Majster-Cederbaum
Mannheim: Universität Mannheim / Institut für Informatik, 1997

Lienhart, Rainer [Other]; Effelsberg, Wolfgang [Other]; Jain, Ramesh [Other]
TR-1997-005: VisualGREP a systematic method to compare and retrieve video sequences Rainer Lienhart; Wolfgang Effelsberg; Ramesh Jain
Mannheim: Universität Mannheim / Institut für Informatik, 1997

Roggenbach, Markus [Other]
TR-1996-010: On completions of semantic domains Markus Roggenbach
Mannheim: Universität Mannheim / Institut für Informatik, 1996

Baier, Christel [Other]; Majster-Cederbaum, Mila [Other]
TR-1996-001: The connection between the initial and unique solutions of domain equations in the partial order and metric approach Christel Baier; Mila E. Majster-Cederbaum
Mannheim: Universität Mannheim / Institut für Informatik, 1996

Baier, Christel [Other]; Majster-Cederbaum, Mila [Other]
TR-1995-029: How to interpret and establish consistency results for semantics of concurrent programming languages Christel Baier; Mila E. Majster-Cederbaum
Mannheim: Universität Mannheim / Institut für Informatik, 1996

Baier, Christel [Other]; Majster-Cederbaum, Mila [Other]
TR-1995-028: Construction of a cms on a given cpo Christel Baier; Mila E. Majster-Cederbaum
Mannheim: Universität Mannheim / Institut für Informatik, 1995

Zhang, Eryi [Other]; Dietrich, Christoph [Other]; Noehte, Steffen [Other]; Männer, Reinhard [Other]
TR-1995-027: Half-Optimal error diffusion for binary fourier transform holograms Eryi Zhang; Christoph Dietrich; Steffen Noehte; Reinhard Männer
Mannheim: Universität Mannheim / Institut für Informatik, 1995

Högl, Hubert [Other]; Kugel, A. [Other]; Ludvig, Jozsef [Other]; Männer, Reinhard [Other]; Noffz, Klaus-Henning [Other]; Zoz, Ralf [Other]
TR-1995-025: Enable++ a second generation FPGA processor Hubert Högl; A. Kugel; J. Ludvig; Reinhard Männer; K.H. Noffz; R. Zoz
Mannheim: Universität Mannheim / Institut für Informatik, 1995

Hesser, Jürgen [Other]; Männer, Reinhard [Other]; Knittel, Günter [Other]; Strasser, Wolfgang [Other]; Pfister, Hanspeter [Other]; Kaufman, Arie [Other]
TR-1995-024: Three architectures for volume rendering Jürgen Hesser; Reinhard Männer; Günter Knittel; Wolfgang Straßer; Hanspeter Pfister; Arie Kaufman
Mannheim: Universitätsbibliothek der Universität Mannheim, 1995

Baier, Christel [Other]; Majster-Cederbaum, Mila [Other]
TR-1995-030: Denotational linear time semantics and sequential composition Christel Baier; Mila E. Majster-Cederbaum
Mannheim: Universität Mannheim / Institut für Informatik, 1995

Makhaniok, Mikhail [Other]; Männer, Reinhard [Other]
TR-1995-023: Duration of asynchronous operations in distributed systems Mikhail Makhaniok; Reinhard Männer
Mannheim: Universität Mannheim / Institut für Informatik, 1995

Zhang, Eryi [Other]; Hesser, Jürgen [Other]; Dietrich, Christoph H. [Other]; Noehte, Steffen [Other]; Männer, Reinhard [Other]
TR-1995-020: Mathematical analysis of computer generated binary Fourier transform holograms Eryi Zhang; Jürgen Hesser; Christoph H. Dietrich; Steffen Noehte; Reinhard Männer
Mannheim, 1995

Christgau, Martin [Author]
TR-1995-001: Bisimulationen und Äquivalenzbegriffe für Transitionssysteme und Ereignisstrukturen Martin Christgau
Mannheim: Universität Mannheim / Institut für Informatik, 1995

Baier, Christel [Other]; Majster-Cederbaum, Mila [Other]
TR-1992-007: On the definability of concurrency and communication event structures versus pomset classes Christel Baier; Mila E. Majster-Cederbaum
Mannheim: Universität Mannheim / Institut für Informatik, 1992

Majster-Cederbaum, Mila [Other]; Peters, Peter [Other]
TR-1992-003: A definition of redundancy in relational databases Mila E. Majster-Cederbaum; Peter Peters
Mannheim: Universität Mannheim / Institut für Informatik, 1992

Baier, Christel [Other]; Majster-Cederbaum, Mila [Other]
TR-1991-001: The connection between an event structure semantics and an operational semantics for TCSP Christel Baier; Mila E. Majster-Cederbaum
Mannheim: Universität Mannheim / Institut für Informatik, 1991

Baier, Christel [Other]; Majster-Cederbaum, Mila [Other]
TR-1990-004: The consistency of a noninterleaving and an interleaving model for full TCSP Christel Baier; Mila E. Majster-Cederbaum
Mannheim: Universität Mannheim / Institut für Informatik, 1990

Majster-Cederbaum, Mila [Other]
TR-1990-002: Ensuring the existence of a BCNF-decomposition that preserves functional dependencies in O (N2) time Mila E. Majster-Cederbaum
Mannheim: Universität Mannheim / Institut für Informatik, 1990

Majster-Cederbaum, Mila [Other]
TR-1990-001: On redundancy, anomalies and on the question "what do normal forms really do" Mila E. Majster-Cederbaum
Mannheim: Universität Mannheim / Institut für Informatik, 1990

Majster-Cederbaum, Mila [Other]
TR-1989-004: Some comments on CPO-semantics and metric space semantics for imperative languages Mila E. Majster-Cederbaum
Mannheim: Universität Mannheim / Institut für Informatik, 1989

Lausen, Georg [Other]; Soisalon-Soininen, Eljas [Other]
TR-1989-003: Pre-analysis locking Georg Lausen; Eljas Soisalon-Soininen
Mannheim: Universität Mannheim / Institut für Informatik, 1989

Majster-Cederbaum, Mila [Other]; Zetzsche, F. [Other]
TR-1989-002: Towards a foundation for semantics in complete metric spaces Mila E. Majster-Cederbaum; F. Zetzsche
Mannheim: Universität Mannheim / Institut für Informatik, 1989

Majster-Cederbaum, Mila [Other]
TR-1989-001: The contraction property is sufficient to guarantee the uniqueness of fixed points of endofunctors in a category of acomplete metric spaces Mila E. Majster-Cederbaum
Mannheim: Universität Mannheim / Institut für Informatik, 1989

Majster-Cederbaum, Mila [Other]
TR-1988-001: On the uniqueness of fixed points endofunctors in a category of complete metric spaces Mila E. Majster-Cederbaum
Mannheim: Universität Mannheim / Institut für Informatik, 1988

Majster-Cederbaum, Mila [Other]; Zetzsche, F. [Other]
TR-1987-001: Foundations for semantics in complete metric spaces Mila E. Majster-Cederbaum; F. Zetzsche
Mannheim: Universität Mannheim / Institut für Informatik, 1987

Search in field:

Recently searched for: