- Referenced in: Saxon Bibliography (Sächsische Bibliografie)
> Publishers' series
-
19-02:
Wissensrepräsentation und diagnostische Inferenz mittels Bayesscher Netze im medizinischen Diskursbereich Sebastian Flügge, Sandra Zimmer and Uwe Petersohn
Dresden: Technische Universität Dresden, Faculty of Computer Science, Institute of Artificial Intelligence, April 2019
-
19-03:
Moving least squares correspondences for iterative point set registration Somnath Dutta, Benjamin Russig, Stefan Gumhold
Dresden: Technische Universität Dresden, Faculty of Computer Science, Institute of Artificial Intelligence, August 2019
-
18-01:
Evaluation of lightweight cryptographic algorithms Julian Harttung, Elke Franz, Paul Walther - Datenschutz und Datensicherheit
Dresden: Technische Universität Dresden, Fakultät Informatik, November 2018
-
TUD-FI17-02 November 2017:
Probabilistic analysis of low-criticality execution Martin Küttler, Michael Roitzsch, Claude-Joachim Hamann, Marcus Völp
Dresden: Technische Universität Dresden, Fakultät Informatik, November 2017
-
TUD-FI17-03 Dezember 2017:
From algorithmic computing to autonomic computing Hauptseminar im Sommersemester 2017 Prof. Dr. Frank J. Furrer ; editors: Prof. Dr. Frank J. Furrer, Georg Püschel
Dresden: Technische Universität Dresden, Fakultät Informatik, Dezember 2017
-
TUD-FI16-02 September 2016:
Quantification and classification of cortical perfusion during ischemic strokes by intraoperative thermal imaging Nico Hoffmann [und 5 weitere]
Dresden: Technische Universität Dresden, Fakultät Informatik, September 2016
-
TUD-FI16-01-Februar 2016:
An overview of event-based facades for modular composition and coordination of multiple applications Somayeh Malakuti
Dresden: Technische Universität Dresden, Fakultät Informatik, Februar 2016
-
TUD-FI16-03-Oktober 2016:
Autonomic Computing State of the Art - Promises - Impact Prof. Dr. Frank J. Furrer, Dipl.-Inf. Georg Püschel (eds.)
Dresden: Technische Universität Dresden, Fakultät Informatik, 2016
-
TUD-FI16-04-November 2016:
Comprehensive Backend Support for Local Memory Fault Tolerance Norman Alexander Rink; Jeronimo Castrillon
Dresden: Technische Universität Dresden, Fakultät Informatik, 2016
-
2015,04:
A combined formal model for relational context-dependent roles (extended) Thomas Kühn
Dresden: Techn. Univ., Fak. Informatik, 2015
-
2015,01:
Scalable error isolation for distributed systems modeling, correctness prrof, and additional experiments Diogo Behrens
Dresden: Techn. Univ., Fakultät Informatik, 2015
-
2015,03:
An overview of language support for modular event-driven programming Somayeh Malakuti
Dresden: Techn. Univ., Fak. Informatik, 2015
-
2015,02:
Adopting architectural event modules for modular coordination of multiple applications Somayeh Malakuti; Mariam Zia
Dresden: Techn. Univ., Fakultät Informatik, 2015
-
TUD-FI15-05-Oktober 2015:
Cognitive computing collected papers : Hauptseminar im Sommersemester 2015, Dr. Frank J. Furrer editors: Dr. Frank J. Furrer, Georg Püschel
Dresden: Technische Universität Dresden, Fakultät Informatik, Oktober 2015
-
2014,04:
Impact and challenges of software in 2025 collected papers; Hauptseminar Sommersemester 2014 Frank J. Furrer ... (eds.)
Dresden: Techn. Univ., Fakultät Informatik, 2014
-
2014,03:
A study of partitioning and parallel UDF execution with the SAP HANA database Philipp Große; Norman May; Wolfgang Lehner
Dresden: Techn. Univ., Fakultät Informatik, 2014
-
2014,01:
Concept-oriented model and nested partially ordered sets Alexandr Savinov
Dresden: Technische Universität Dresden, Fakultät Informatik, 2014
-
2014,02:
Using variability management in mobile application test modeling Püschel
Dresden: Techn. Univ., Fakultät Informatik, 2014
-
2013,03:
Robust surface triangulation of points with normal information Sören König; Stefan Gumhold
Dresden: Technische Universität Dresden, Fakultät Informatik, 2013
-
2013,02:
Selective core boosting the return of the turbo button Jons-Tobias Wamhoff
Dresden: Technische Universität Dresden, Fakultät Informatik, 2013
-
2013,01:
Test modeling of dynamic variable systems using feature Petri nets Püschel
Dresden: Technische Universität Dresden, Fakultät Informatik, 2013
-
2012,10:
Comparing Mobile Applications' Energy Consumption Claas Wilke et al
Dresden: Technische Universität Dresden, Fakultät Informatik, 2013
-
2012,01:
Extended version of elucidative development for model-based documentation and language specification C. Wilke
Dresden: Techn.Univ., Fakultät Informatik, 2012
-
2012,04:
Consistency of probabilistic context-free grammars Torsten Stüber
Dresden: Techn.Univ., Fakultät Informatik, 2012
-
2012,09:
RACR - a scheme library for reference attribute grammar controlled rewriting developer manual Christoff Bürger
Dresden: Techn. Univ., Fak. Informatik, 2012
-
2012,02:
Architecture of an intelligent test error detection agent Matthias Kirmse; Uwe Petersohn
Dresden: Techn.Univ., Fakultät Informatik, 2012
-
2012,03:
Approaching concept drift by context feature partitioning Nico Hoffmann; Matthias Kirmse; Uwe Petersohn
Dresden: Techn.Univ., Fakultät Informatik, 2012
-
2012,05:
Innovationsforum open4INNOVATION 2012 regional kooperativ - global innovativ Beiträge zum Fachforum
Dresden: Techn.Univ., Fakultät Informatik, 2012
-
2012,06:
Proceedings of the Workshop Weighted Automata theory and applications 2012 M. Droste and H. Vogler
Dresden: Techn.Univ., Fakultät Informatik, 2012
-
2012,07:
Communication overhead of network coding schemes secure against pollution attacks Elke Franz; Stefan Pfennig; André Fischer
Dresden: Techn.Univ., Fakultät Informatik, 2012
-
2011,07:
Extended version of multi-perspectives on feature models Julia Schroeter; Malte Lochau; Tim Winkelmann
Dresden: Techn.Univ., Fakultät Informatik, 2011
-
2011,02:
Proceedings of the 6th International Workshop on Systems Software Verification (SSV 2011) Jörg Brauer ... (ed.)
Dresden: Techn.Univ., Fakultät Informatik, 2011
-
2011,04:
Aspects of software's energy consumption Claas Wilke
Dresden: Techn.Univ., Fakultät Informatik, 2011
-
2011,05:
State of the art optimization of energy consumption in storage systems Ronny Fritzsche
Dresden: Techn.Univ., Fakultät Informatik, 2011
-
2011,06:
State of the art hardware energy management Johannes Waltsgott
Dresden: Techn.Univ., Fakultät Informatik, 2011
-
2011,01:
Towards a Unifying Visualization Ontology M. Voigt; J. Polowinski
Dresden: Techn.Univ., Fakultät Informatik, 2011
-
2010,05:
Feature-based customisation of MDSD tool environments Christian Wende
Dresden: Techn. Univ., Fakultät Informatik, 2010
-
2010,01:
Providing mainstream parser generators with modular language definition support Sven Karol; Steffen Zschaler
Dresden: Techn.Univ., Fakultät Informatik, 2010
-
2010,03:
Towards attribute grammars for metamodel semantics Christoff Bürger, Sven Karol
Dresden: Techn. Univ., Fakultät Informatik, 2010
-
2010,04:
An extended framework for snake-based contour extraction U. Gosda
Dresden: Techn. Univ., Fakultät Informatik, 2010
-
2010,02:
XASM - a generic and retargetable assembler Marco Kaufmann
Dresden: Techn. Univ., Fakultät Informatik, 2010
-
2010,06:
Optimizing hybrid transactional memory the importance of nonspeculative operations T. Riegel
Dresden: Techn. Univ., Fakultät Informatik, 2010
-
2010,07:
Weighted monadic datalog tree transducers Daniel Geisler and Torsten Stübner
Dresden: Techn. Univ., Fakultät Informatik, 2010
-
2010,08:
Theatre resource manager interface specification v. 1.0 S. Götz
Dresden: Techn. Univ., Fakultät Informatik, 2010
-
2009,05:
Automatically generating counterexamples to naive free theorems D. Seidel; J. Voigtländer
Dresden: Techn.Univ., Fakultät Informatik, 2009
-
2009,08:
Building abstracted languages through transformation and composition Jendrik Johannes
Dresden: Techn.Univ., Fakultät Informatik, 2009
-
2009,11:
An Embedded garbage collection module with support for multiple mutatots and weak references Thomas B. Preußer; Peter Reichel; Rainer G. Spallek
Dresden: Techn. Univ., Fakultät Informatik, 2009
-
2009,06:
Taming selective strictness D. Seidel; J. Voigtländer
Dresden: Techn.Univ., Fakultät Informatik, 2009
-
2009,09:
ATARE ACPi tables and regular expressions Bernhard Kauer
Dresden: Techn.Univ., Fakultät Informatik, 2009
-
2009,12:
Komparativer Ähnlichkeitsalgorithmus Eva-Maria Schwartz
Dresden: Techn. Univ., Fakultät Informatik, 2009
-
2009,07:
Kommunikationsnetzwerke für diskret Massive Systeme Rainer W. Schulze
Dresden: Techn.Univ., Fakultät Informatik, 2009
-
2009,02:
Weighted tree automata over strong bimonoids D. Radovanovic
Dresden: Techn. Univ., Fakultät Informatik, 2009
-
2009,03:
Putting Queens in Carry Chains Thomas B. Preußer
Dresden: Techn. Univ., Fakultät Informatik, 2009
-
2009,04:
Extended abstracts of the fourth privacy enhancing technologies convention (PET-CON 2009.1) Stefan Köpsell ... (eds.)
Dresden: Techn. Univ., Fakultät Informatik, 2009
-
2009,01:
Designing adapters for binary backward compatibility in refactored framework APIs Ilie Şavga; Michael Rudolf
Dresden: Techn. Univ., Fakultät Informatik, 2009
-
2009,10:
JaMoPP the Java Model Parser and Printer Florian Heidenreich
Dresden: Techn.Univ., Fakultät Informatik, 2009
-
2009,13:
SHAP - Scalable multi-core Java bytecode processor Martin Tabel; Rainer G. Spallek
Dresden: Techn.Univ., Fakultät Informatik, 2009
-
2008,09:
Proceedings of 6th International Fujaba Days [Technische Universität Dresden, Germany, September 18 - 19, 2008]. Uwe Aßmann ...(Eds.)
Dresden: Techn. Univ., Fakultät Informatik, 2008
-
2008,01:
Vektoranalytische Beschreibung eines diskret Massiven Systems Rainer W. Schulze
Dresden: Techn.Univ., Fakultät Informatik, 2008
-
2008,02:
Refactoring-based adaption od adapter specifications Ilie Şavga and Michael Rudolf
Dresden: Techn.Univ., Fakultät Informatik, 2008
-
2008,05:
Weighted automata theory and applications M. Droste; H. Vogler
Dresden: Techn.Univ., Fakultät Informatik, 2008
-
2008,03:
Bisimulation minimisation of weighted automata on unranked trees J. Högberg; A. Maletti; H. Vogler
Dresden: Techn.Univ., Fakultät Informatik, 2008
-
2008,04:
Decomposition of weighted multioperator tree automata Torsten Stüber; Heiko vogler; Zoltán Fülöp
Dresden: Techn.Univ., Fakultät Informatik, 2008
-
2008,06:
Collaborating languages and tools a study in feasibility Steffen Zschaler; Christian Wende
Dresden: Techn.Univ., Fakultät Informatik, 2008
-
2008,08:
Parametricity for Haskell with imprecise error semantics Florian Stenger; Janis Voigtländer
Dresden: Techn.Univ., Fakultät Informatik, 2008
-
2008,07:
E-Learning 2.0 eine kritische Analyse der didaktischen Eignung des Einsatzes von Web 2.0 - Technologien in E-Learning Szenarien Eric Rawolle; Holger Rohland
Dresden: Techn.Univ., Fakultät Informatik, 2008
-
2007,03:
Dokumentenidentifizierung mittels Shape-Trees Uwe Henker
Dresden: Techn.Univ., Fakultät Informatik, 2007
-
2007,06:
Development of a class framework for flood forecasting Thomas Krauße
Dresden: Techn.Univ., Fakultät Informatik, 2007
-
2006,07:
Design of the Bastei OS Architecture Norman Feske and Christian Helmuth
Dresden: Techn. Univ., Fakultät Informatik, [2007]
-
2007,02:
The SHAP microarchitecture and Java Virtual Machine Thomas B. Preußer; Martin Zabel; Peter Reichel
Dresden: Techn. Univ., Fakultät Informatik, 2007
-
2007,01:
Privacy - an Issue for eLearning? a trend analysis reflecting the attitude of European eLearning users Katrin Borcea-Pfitzmann; Anne-Katrin Stange
Dresden: Techn. Univ., Fakultät Informatik, 2007
-
2007,07:
PRIME internal Privacy Preferences survey about Privacy Concerns and Conditions Mike Bergmann
Dresden: Techn.Univ., Fakultät Informatik, 2007
-
2006,04:
OCL for (meta-)models in multiple application domains Birgit Demuth ... (eds.)
Dresden: Techn. Univ., Fakultät Informatik, 2006
-
2006,03:
Background of the analysis of a fully-scalable digital fractional clock divider Thomas B. Preußer
Dresden: Techn. Univ., Fak. Informatik, 2006
-
2006,05:
Pure and O-substitution A. Maletti
Dresden: Techn. Univ., Fakultät Informatik, 2006
-
2006,01:
Transforming an arbitary MinSum problem into a binary one Dmitrij Schlesinger; Boris Flach
Dresden: Techn. Univ., Fakultät Informatik, 2006
-
2006,02:
Selective strictness and paramentricity in structural operational semantics J. Voigtländer and P. Johann
Dresden: Techn. Univ., Fakultät Informatik, 2006
-
2006,08:
A comparison of several models of weighted tree automata Z. Fülöp and H. Vogler
Dresden: Techn. Univ., Fakultät Informatik, 2006
-
2006,09:
Quality-Assuring Scheduling Claude-J. Hamann
Dresden: Techn. Univ., Fakultät Informatik, 2006
-
2005,10:
Weighted tree automata and weighted logics M. Droste; H. Vogler
Dresden: Techn. Univ., Fakultät Informatik, 2005
-
2005,09:
Informatik & Schule 2005 - "Unterrichtskonzepte für informatische Bildung" Praxisband; Praxisberichte, Workshops und Poster der INFOS '05 Holger Rohland (Hrsg.)
Dresden: Techn. Univ., Fakultät Informatik, 2005
-
2005,11:
Schwankungsbeschränkte Ströme Claude-J. Hamann
Dresden: Techn. Univ., Fakultät Informatik, 2005
-
2005,05:
Compositions of tree series transformations A. Maletti
Dresden: Techn. Univ., Fakultät Informatik, 2005
-
2005,12:
Methods of category theory in software engineering H. Vogler
Dresden: Techn. Univ., Fakultät Informatik, 2005
-
2005,02:
An approach to computable coalgebras based on recursive functions Frank Felfe
Dresden: Techn. Univ., Fakultät Informatik, 2005
-
2005,04:
7th International Symposium on Logical Formalizations of Commonsense Reasoning Sheila McIlraith ... (eds.)
Dresden: Techn. Univ., Fakultät Informatik, 2005
-
2005,06:
Recognizable and rationel formal power series with general discounting M. Droste; H. Vogler
Dresden: Techn. Univ., Fakultät Informatik, 2005
-
2005,07:
Discrete fractional clock generation for systems-on-FPGA Thomas B. Preußer; Steffen Köhler
Dresden: Techn. Univ., Fakultät Informatik, 2005
-
2005,08:
Structures and deduction - the quest for the essence of proofs (satellite workshop of ICALP 2005) Paola Bruscoli ... (eds.)
Dresden: Techn. Univ., Fakultät Informatik, 2005
-
2005,03:
Modellierung der Encoding-Kosten und der Qualität kodierter Videoobjekte am Beispiel von WMV-9 und MPEG-1 Sven Buchholz; Martin Heidel
Dresden: Techn. Univ., Fakultät Informatik, 2005
-
2005,01:
The town map a new approach for privacy enhancing human computer interfaces Mike Bergmann; Martin Rost and John Sören Petersson
Dresden: Techn. Univ., Fakultät Informatik, 2005
-
2005,13:
Decomposition results for pebble marco tree transducers Z. Fülöp and L. Muzamel
Dresden: Techn. Univ., Fakultät Informatik, 2005
-
2005,14:
Deaccumulation techniques for improving provability J. Giesl, A. Kühnemann, and J. Voigtländer
Dresden: Techn. Univ., Fakultät Informatik, 2005
-
2005,15:
The VFiasco approach for a verified operating system VFiasco project Michael Hohmuth, Hendrik Tews
Dresden: Techn. Univ., Fakultät Informatik, 2005
-
2004,03:
Automatic generation of program specifications from C++ source code Matthias Daum
Dresden: Techn. Univ., Fakultät Informatik, 2004
-
2004,11:
The wisent parser generator Thomas Preußer
Dresden: Techn. Univ., Fakultät Informatik, 2004
-
2004,13:
A categorical logic for invariants of computations D. Mašulović
Dresden: Techn. Univ., Fakultät Informatik, 2004
-
2004,09:
Dualizing clones as Lawvere theories D. Mašulović
Dresden: Techn. Univ., Fak. Informatik, 2004
-
2004,10:
Über die Kontaktdruckmodelle der Spiralphyllotaxis I Heino Hellwig
Dresden: Techn. Univ., Fakultät Informatik, 2004
-
2004,12:
Proceedings of the 1st International Workshop on Models for Non-functional Aspects of Component-Based Software 21 September 2002 Jean-Michel Bruel ... (eds.)
Dresden: TU, Fakultät Informatik, 2004
-
2004,08:
Formal efficiency analysis for tree transducer composition J. Voigtländer
Dresden: TU, Fakultät Informatik, 2004
-
2004,06:
Phi-recognizable formal power series are phi-rational - an alternative proof H. Vogler
Dresden: Techn. Univ., Fakultät Informatik, 2004
-
2004,04:
The COMQUAD component container architecture and contract negotiation Steffen Göbel
Dresden: Techn. Univ., Fak. Informatik, 2004
-
2004,01:
Connecting real time and non real time components Martin Pohlack, Ronald Aigner and Hermann Härtig
Dresden: Techn. Univ., Fak. Informatik, 2004
-
2004,02:
Overlay Window management: user interaction with multiple security domains Norman Feske and Christian Helmuth
Dresden: Techn. Univ., Fak. Informatik, 2004
-
2004,05:
Weighted automata: theory and applications [Dresden, Germany, June 1 - 5, 2004; ... programme and the abstracts of the lectures delivered at the workshop ... ] M. Droste; H. Vogler
Dresden: Techn. Univ., Fakultät Informatik, 2004
-
2004,07:
Inclusion diagrams for classes of deterministic bottom-up tree-to-tree- series transformations A. Maletti
Dresden: Techn. Univ., Fakultät Informatik, 2004
-
2003,03:
17. Workshop Logische Programmierung Technische Universität Dresden 11. - 13. Dezember 2002 Bertram Fronhöfer ... (eds.)
Dresden: Techn. Univ., Fak. Informatik, 2003
-
2003,07:
Behavioural equivalences for coalgebras Jan Rothe and Dragan Mašulović
Dresden: Techn. Univ., Fak. Informatik, 2003
-
2003,02:
Block SOR for Kronecker structured representations Peter Buchholz; Tuǧrul Dayar
Dresden: Techn. Univ., Fak. Informatik, 2003
-
2003,01:
Weighted tree transducers Z. Fülöp; H. Vogler
Dresden: Techn. Univ., Fak. Informatik, 2003
-
2003,04:
Texture segmentation of images on the basis of Markov Random fields Ivan Kovtun
Dresden: Techn. Univ., Fak. Informatik, 2003
-
2003,10:
Zwischenbericht der DFG-Forschergruppe 428 "Components with Quantitative Properties and Adaptivity (Comquad)" Ronald Aigner
Dresden: Techn. Univ., Fak. Informatik, 2003
-
2003,05:
Block SOR preconditioned projection methods for Kronecker structured Markovian representations Peter Buchholz; Tuǧrul Dayar
Dresden: Techn. Univ., Fak. Informatik, 2003
-
2003,06:
Elaboration of two-dimensional raster code for positional encoding of documents Kulakov A. H.; Egorova, S. D
Dresden: Techn. Univ., Fak. Informatik, 2003
-
2003,08:
An I/O architecture for microkernel-based operating systems H. Härtig
Dresden: Techn. Univ., Fak. Informatik, 2003
-
2003,10a:
DOpE - a Window server for real-time and embedded systems Norman Feske and Hermann Härtig
Dresden: Techn. Univ., Fak. Informatik, 2003
-
2003,11:
Modellierung virtueller Unternehmen und ihrer informationstechnischen Unterstützung Detlef Neumann
Dresden: Techn. Univ., Fak. Informatik, 2003
-
2003,12:
Konzeption und experimentelle Erforschung der VCE KONUS M. Emgelien
Dresden: Techn. Univ., Fak. Informatik, 2003
-
2003,19:
Korrektur geometrischer Bildfehler unbekannter Linsensysteme mithilfe einer ausgewählten Kalibrierszene angefertigt von Yingtao Wang; Eeri Kask
Dresden: Techn. Univ., Fakultät Informatik, 2003
-
2003,18:
NEBUS - Netzwerk Behinderung und Studium eine virtuelle Gemeinschaft und ihre Web-Plattform Michael Hunger
Dresden: Techn. Univ., Fakultät Informatik, 2003
-
2003,13:
Markov theory to recognize hand printed Amharic bank checks by Worku Alemu. Supervisor Siegfried Fuchs
Dresden: Techn. Univ., Fakultät Informatik, 2003
-
2003,14:
Incomparability results for classes of polynomial tree series transformations A. Maletti; H. Vogler
Dresden: Techn. Univ., Fakultät Informatik, 2003
-
2003,15:
Buffer bounds of a FIFO multiplexer J. Löser
Dresden: Techn. Univ., Fakultät Informatik, 2003
-
2003,16:
Measuring microsecond delays J. Löser
Dresden: Techn. Univ., Fakultät Informatik, 2003
-
2003,17:
Analysis and structured representation of the theory of abstract cell complexes applied to digital topology and digital geometry Henrik Schulz, Siegfried Fuchs, and Vladimir Kovalevsky
Dresden: Techn. Univ., Fakultät Informatik, 2003
-
2002,11:
Towards weak bisimulation for coalgebras Jan Rothe and Dragan Mašulović
Dresden: Techn. Univ., Fak. Informatik, 2002
-
2002,12:
Monadic fusion of functional programs Claus Jürgensen
Dresden: TU, Fakultät Informatik, 2002
-
2002,10:
COMQUAD - komponentenbasierte Softwaresysteme mit zusagbaren quantitativen Eigenschaften und Adaptionsfähigkeit COMQUAD-Forschergruppe. Technische Universität Dresden, Fakultät Informatik
Dresden: Techn. Univ., Fak. Informatik, 2002
-
2002,02:
Weighted automata - theory and applications M. Droste; H. Vogler
Dresden: Techn. Univ., Fakultät Informatik, 2002
-
2002,01:
Tree series transformations that respect copying Z. Fülöp and H. Vogler
Dresden: Techn. Univ., Fak. Informatik, 2002
-
2002,07:
Cache influence on worst case execution time of network stacks Jork Löser; Hermann Härtig
Dresden: Techn. Univ., Fakultät Informatik, 2002
-
2002,03:
Applying source-code verification to a microkernel - the VFiasco project Michael Hohmuth, Hendrik Tews, and Shane G. Stephens
Dresden: Techn. Univ., Fakultät Informatik, 2002
-
2002,08:
The coalgebraic class specification language CCSL syntax and semantics Hendrik Tews
Dresden: Techn. Univ., Fakultät Informatik, 2002
-
2002,05:
Entwicklung eines gestisch-intuitiven Mensch-Maschine-Interfaces auf Basis der videogestützten Erkennung von Handzeichen Stefan Funck; Siegfried Fuchs
Dresden: Techn. Univ., Fakultät Informatik, 2002
-
2002,04:
A Kleene theorem for weighted tree automata M. Droste; H. Vogler
Dresden: Techn. Univ., Fakultät Informatik, 2002
-
2002,09:
Determinization of finite state weighted tree automata Björn Borchardt; Heiko Vogler
Dresden: Techn. Univ., Fakultät Informatik, 2002
-
2001,2:
Plattform virtueller Unternehmen - ein Anwendungsframework Martin Halatchev. [Technische Universität Dresden, Fakultät Informatik]
Dresden: TU, Fak. Informatik, 2001
-
2001,08:
Composition of functions with accumulating parameters J. Voigtländer; A. Kühnemann
Dresden: TU, Fakultät Informatik, 2001
-
2001,07:
Tree transducer composition as deforestation method for functional programs A. Kühnemann; J. Voigtländer
Dresden: TU, Fakultät Informatik, 2001
-
2001,03:
Remarks on a quality measure Torsten Wierschin
Dresden: TU, Fak. Informatik, 2001
-
2001,05:
Automatische und interaktive Interpretation von Leitungsplänen Petra Neumann; Gábor Müller; Siegfried Fuchs
Dresden: TU, Fak. Informatik, 2001
-
2001,04:
Different approaches to the semantics of workflows Technische Universität Dresden, Fakultät Informatik. P. Buchholz
Dresden: TU, Fak. Informatik, 2001
-
2001,06:
Untersuchung statistischer Modelle für die Registrierung von MR und PE (bzw. SPEC) Tomogrammen Tilo Pfliegner; Boris Flach; Siegfried Fuchs
Dresden: TU, Fak. Informatik, 2001
-
2001,01:
VFiasco - towards a provably correct m kernel Hendrik Tews, Hermann Härtig und Michael Hohmuth. [Technische Universität Dresden, Fakultät Informatik]
Dresden: TU, Fak. Informatik, 2001
-
2001,10:
Syntactic composition of top-down tree transducers is short cut fusion Claus Jürgensen; Heiko Vogler
Dresden: TU, Fakultät Informatik, 2001
-
2001,09:
A streaming interface for real-time interprocess communication J. Löser; L. Reuther; H. Härtig
Dresden: Techn. Univ., Fakultät Informatik, 2001
-
2000,12:
A class of stochastic Petri nets with step semantics and related equivalence notions Peter Buchholz; Igor V. Tarasyuk. [Technische Universität Dresden, Fakultät Informatik]
Dresden: TU, Fak. Informatik, 2000
-
2000,10:
Bottom-up and top-down tree series transformations Z. Fülöp; H. Vogler
Dresden: Techn. Univ., Fak. Informatik, 2000
-
2000,09:
The coalgebraic specification language CCSL Jan Rothe; Hendrik Tews und Bart Jacobs
Dresden: TU, Fak. Informatik, 2000
-
2000,05:
A universal functional approach to DNA computing and its experimental practicability T. Hinze; M. Sturm. [Technische Universität Dresden, Fakultät Informatik]
Dresden: TU, Fak. Informatik, 2000
-
2000,01:
Modellgesteuerte, automatisierte Erfassung von Leitungsplänen und Integration in Geoinformationssysteme Oliver Bringmann
Dresden: TU, Fak. Informatik, 2000
-
2000,08:
A numerical analysis of a communication system with advance reservations Peter Buchholz; Sabine Kühn; Frank Breiter
Dresden: TU, Fak. Informatik, 2000
-
2000,06:
Massiv parallele Systeme 2 Topologiesynthese Rainer W. Schulze
Dresden: Fak. Informatik, 2000
-
2000,11:
Tau-Equivalences and refinement for Petri nets based design Igor V. Tarasyuk
Dresden: TU, Fak. Informatik, 2000
-
99,05:
On the universality of higher-order attributed tree transducers T. Noll; H. Vogler
Dresden: TU, Fak. Informatik, 1999
-
99,03:
Decidabilitiy equivalence between the star problem and the finite power problem in trace monoids D. Kirsten; G. Richomme
Dresden: TU, Fak. Informatik, 1999
-
99,02:
On a DNA experiment for solving a certain NP-complete problem E. Stoschek; M. Sturm; T. Hinze
Dresden: TU, Fak. Informatik, 1999
-
99/01:
International Workshop Grammers, Automata, and Logic on Graphs and Trees H. Vogler (ed.)
Dresden: Techn. Univ., Fakultät Informatik, 1999
-
99,07:
Massiv parallele Systeme 1 Topologieanalyse Rainer W. Schulze
Dresden: Fak. Informatik, 1999
-
99,08:
Two techniques in the area of the star problem D. Kirsten; J. Marcinkowski
Dresden: TU, Fak. Informatik, 1999
-
98,05:
Ein konstruktiver Ansatz zur systematischen Entwicklung von Ausführungsanweisungen für Workflows M. Böhm
Dresden: TU, Fak. Informatik, 1998
-
98,8:
An architecture for the combination of constraint solvers P. Hofstedt
Dresden: Technische Universität, Fakultät Informatik, 1998
-
98,07:
Some undecidability results related to the Star Problem in trace monoids Daniel Kirsten
Dresden: TU, Fak. Informatik, 1998
-
98,09:
A connection between the Star Problem and the finite power property in trace monoids Daniel Kirsten
Dresden: TU, Fak. Informatik, 1998
-
98,10:
Incremental evaluators for macro attribute grammars I. Adamski
Dresden: TU, Fak. Informatik, 1998
-
98,11:
Event minimization in the fluent calculus Michael Thielscher
Dresden: TU, Fak. Informatik, 1998
-
98/12:
The Fiasco Kernel - Requirements definition Michael Hohmuth
Dresden: Techn. Univ., Fakultät Informatik, 1998
-
98,04:
Generierung von natürlichsprachlichen Texten aus semantischen Strukturen im Prozeß der maschinellen Übersetzung allgemeine Strukturen und Abbildungen Lutz Rosenpflanzer; Hans-Ulrich Karl
Dresden: Techn. Univ., Fak. Informatik, 1998
-
98,02:
A study of roll-forward recovery from faults among communicating processes Peter Sobe
Dresden: Techn. Univ., Fak. Informatik, 1998
-
98,06:
Disputation theory applied to disjunctive logic programs Michael Thielscher
Dresden: TU, Fak. Informatik, 1998
-
98,01:
Präsentation elektronischer Dokumente für blinde Menschen Wolfgang Wünschmann; Thomas Kahlisch
Dresden: Techn. Univ., Fak. Informatik, 1998
-
97,05:
Entwurf und Realisierung eines Informationssystems zur Prozeßdatenverwaltung und -verarbeitung im durchgängigen Halbleitertechnologieprozeß Achim Gratz; Patrick Schulz; Rainer G. Spallek. Technische Universität Dresden, Fakultät Informatik, Institut für Technische Informatik
Dresden: TU, Fak. Informatik, 1997
-
97,09:
Eine Methode für Entwurf und Bewertung von Integrationsvarianten für Anwendungsprogramme und Workflow-Management-Systeme in Geschäftsprozessen M. Böhm
Dresden: TU, Fak. Informatik, 1997
-
97,06:
Konzeption eines dreistufigen Transfers für die maschinelle Übersetzung natürlicher Sprachen Annett Laube; Hans-Ulrich Karl
Dresden: TU, Fak. Informatik, 1997
-
97,07:
Segmentation of 3D data Torsten Ihle
Dresden: TU, Fak. Informatik, 1997
-
97,11:
Laterale Verkopplung im visuellen System der Vertebraten - beschrieben im Zellularen Beobachtungsraum Rainer Schulze
Dresden: TU, Fak. Informatik, 1997
-
97,12:
Attributed context-free hypergraph grammars Sebastian Maneth; Heiko Vogler
Dresden: Techn. Univ., Fakultät Informatik, 1997
-
97,8:
Methoden zur automatischen Parallelisierung (Constraint-)logischer Programme S. Schwigon; P. Hofstedt
Dresden: Tech. Univ., Fak. Informatik, 1997
-
97,14:
Labor- und Feldtests als Mittel für Akzeptanzuntersuchungen in Lehr-, Lernsystemen Gunter Dubrau
Dresden: TU, Fak. Informatik, 1997
-
97,15:
A characterization of attributed tree transformations Z. Fülöp; H. Vogler
Dresden: Techn. Univ., Fak. Informatik, 1997
-
97,03:
VLSI-Realisierungen für ATM eine Übersicht Forchel, D.; Spallek, R. G
Dresden: Techn. Univ., Fakultät Informatik, 1997
-
97,02:
Programmiereinführung in OPAL A. Wehrenpfennig. Technische Universität Dresden, Fakultät Informatik
Dresden: TU, Fakultät Informatik, 1997
-
97,01:
Probabilistic modeling of disptributed information retrieval Christoph Baumgarten. Technische Universität Dresden, Fakultät Informatik
Dresden: TU, Fakultät Informatik, 1997
-
97,04:
Gruppenorientiertes Konfigurationsmanagement auf Bais von Lotus Notes Dierk Hanzelmann; Rüdiger Liskowsky; Silke Löscher
Dresden: TU, Fakultät Informatik, 1997
-
97,10:
Verfolgung von Objekten mit gekrümmter Oberfläche Katrin Stark
Dresden: TU, Fak. Informatik, 1997
-
96,02:
OPAL - objektorientiertes und paralleles Programmieren Andreas Wehrenpfennig. Technische Universität Dresden, Fakultät Informatik
Dresden: TU, Fakultät Informatik, 1996
-
96,04:
Reduzierung des Befehlsstroms eines RISC-Prozessors durch Anwendung der Datenkompression S. Sawitzki; G. Kemnitz; R. G. Spallek
Dresden: TU, Fakultät Informatik, 1996
-
96/08:
Inhaltsorientierte Suche nach Multimedia-Objekten Beate Kochinka. [Technische Universität Dresden, Fakultät Informatik]
Dresden: TU, Fakultät Informatik, 1996
-
95,17:
Entwurf und Implementierung eines Objektcode-Generators für SUIF P. Schulz
Dresden: TU, Fakultät Informatik, 1996
-
96,14:
Statisches Scheduling in MIMD-Maschinen mit nichtdeterministischer Kommunikation D. Forchel
Dresden: Techn. Univ., Fakultät Informatik, 1996
-
96,15:
Wechselwirkungen in einem zellularen Beobachtungsgebiet dargestellt am Beispiel einer Neuronenpopulation Rainer Schulze
Dresden: Techn. Univ., Fakultät Informatik, 1996
-
96,21:
A strict border for the decidability of E-unification for recursive functions Sebastian Maneth; Heinz Faßbender
Dresden: Techn. Univ., Fak. Informatik, 1996
-
96,20:
Analytische Beschreibung von Ereignisabhängigkeiten in neuronalen Systemen Rainer Schulze
Dresden: Techn. Univ., Fakultät Informatik, 1996
-
96,03:
Ein uniformer Ansatz zur Implementation paralleler Algorithmen Haß, H. und Stirner, Th. Technische Universität Dresden, Fakultät Informatik
Dresden: TU, Fakultät Informatik, 1996
-
96,19:
On the generating power of deterministic tree transducers Sebastian Maneth
Dresden: Techn. Univ., Fakultät Informatik, 1996
-
96,07:
Verfahren zum Nachweis der Ein- Ausgabeäquivalenz zweier endlicher, deterministischer, abstrakter Automaten mit binären Ein- und Ausgängen Jens Schönherr
Dresden: TU, Fakultät Informatik, 1996
-
96,16:
Formal methods for concurrency abstracts; [Colloquium, Ludwigs-Maximilians-Universität München July 5, 1996] Joerg Desel; Horst Reichel; [Gesellschaft für Informatik (GI)]
Dresden: Techn. Univ., Fakultät Informatik, 1996
-
96,17:
The equivalence of bottom-up and top-down tree-to-graph transducers J. Engelfried; H. Vogler
Dresden: Techn. Univ., Fakultät Informatik, 1996
-
96,18:
Technisch orientierte Modellierung der Erregungsausbreitung in neuronalen Systemen Rainer Schulze
Dresden: Techn. Univ., Fakultät Informatik, 1996
-
96,12:
Entwicklung und Programmierung eines Verfahrens zur verteilten Fehlersimulation analoger Netzwerke A. Holubek
Dresden: Techn. Univ., Fakultät Information, 1996
-
96,09:
Untersuchungen zur Struktur des spatiotemporalen Kontinuums Torsten Ihle. [Technische Universität Dresden, Fakultät Informatik]
Dresden: TU, Fak. Informatik, 1996
-
96,10:
A method for tracking the pose of known 3-D-objects based on an active contour model Katrin Stark. [Technische Universität Dresden, Fakultät Informatik]
Dresden: TU, Fak. Informatik, 1996
-
96,05:
Erstellung skalierbarer paralleler Programme für den Parsytec-PowerXPlorer Peter Sobe. [Technische Universität Dresden, Fakultät Informatik]
Dresden: TU, Fak. Informatik, 1996
-
95,15:
Reduzierung des Befehlsstroms für RISC-Prozessoren - eine Übersicht über das Problemfeld G. Kemnitz
Dresden: TU, Fakultät Informatik, 1995
-
95,14:
Abschlußbericht zum Forschungsprojekt SGML-Tanskription und Nutzerakzeptanz Bearbeitungszeitraum: 07/1993 - 07/1995 Projektleiter: Wolfgang Wünschmann
Dresden: TU, Fakultät Informatik, 1995
-
95,16:
PROSIM - ein Werkzeug zur Befehlsebenen-Simulation von RISC-Prozessoren G. Markwardt
Dresden: TU, Fakultät Informatik, 1995
-
95/08:
A pumping lemma for output languages of macro tree transducers Armin Kühnemann
Dresden: Techn. Univ., Fak Informatik, 1995
-
95,12:
Emulation des UNIX-Prozeßkonzepts auf dem Mikrokern L3 Jean Wolter. Technische Universität Dresden, Fakultät Informatik
Dresden: TU, Fakultät Informatik, 1995
-
95,09:
Das MTA-Protokoll: ein transaktionsorientiertes Managementprotokoll auf Basis von SNMP Peter Mandl. Technische Universität Dresden, Fakultät Informatik
Dresden: TU, Fakultät Informatik, 1995
-
95,04:
Diagnose paralleler und verteilter Rechnersysteme mit Hilfe von Historyanalysen Klaus Kabitzsch ... Institut für Informationssysteme
Dresden: TU, Fakultät Informatik, 1995
-
95,18:
Die Kategorie der gleichungs-partiellen Theorien als semantischer Bereich Horst Reichel
Dresden: TU, Fakultät Informatik, 1995
-
94,01:
Systemunterstützung für verteilte Mobilrechner-Anwendungen W. Böhmak ... [Technische Universität Dresden], Institut Betriebssysteme, Datenbanken, Rechnernetze
Dresden: Inst. Betriebssysteme, Datenbanken, Rechnernetze, 1994
-
94,02:
Management support and quality of service abstractions for XTPX T. Hutschenreuter ... [Technische Universität Dresden], Institut Betriebssyteme, Datenbanken, Rechnernetze
Dresden: Inst. Betriebssysteme, Datenbanken, Rechnernetze, 1994