> Detailanzeige

Technische Universität Dresden Fakultät für Informatik

Technische Berichte / Technische Universität Dresden, Fakultät Informatik = Technical reports / Technische Universität Dresden, Fakultät Informatik

Literatur-
verwaltung

Direktlink

Zur
Merkliste

Lösche von
Merkliste

Per Email teilen

Auf Twitter teilen

Auf Facebook teilen

Per Whatsapp teilen

Als RIS exportieren Als BibTeX exportieren Als EndNote exportieren

Schließen

Merkliste

Medientyp: Schriftenreihe; Monographische Schriftenreihe
Nachgewiesen in: Sächsische Bibliografie
Titel: Technische Berichte / Technische Universität Dresden, Fakultät Informatik
Paralleltitel: Technical reports / Technische Universität Dresden, Fakultät Informatik
Beteiligte: Technische Universität Dresden Fakultät für Informatik
Erschienen: Dresden: TU, Fak. Informatik, 1994-
Erscheinungsverlauf: Nachgewiesen 1994 -
Sprache: Deutsch; Englisch
ISSN: 1430-211X
Schlagwörter: Monografische Reihe
Entstehung:
Anmerkungen: Ersch. unregelmäßig; Orig.-Zählung z.B.: TUD/FI/96/16

> Verlagsreihe

Flügge, Sebastian [VerfasserIn]; Zimmer, Sandra [VerfasserIn]; Petersohn, Uwe [VerfasserIn]
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

Dutta, Somnath [VerfasserIn]; Russig, Benjamin [VerfasserIn]; Gumhold, Stefan [VerfasserIn]
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

Harttung, Julian [VerfasserIn]; Franz, Elke [VerfasserIn]; Walther, Paul [VerfasserIn]
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

Küttler, Martin [VerfasserIn]; Roitzsch, Michael [VerfasserIn]; Hamann, Claude-Joachim [VerfasserIn]; Völp, Marcus [VerfasserIn]
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

Furrer, Frank J. [VerfasserIn] ; Furrer, Frank J. [HerausgeberIn]; Püschel, Georg [HerausgeberIn]
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

Hoffmann, Nico [VerfasserIn]
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

Malakuti, Somayeh [VerfasserIn]
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

Furrer, Frank J. [HerausgeberIn]; Püschel, Georg [HerausgeberIn]
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

Rink, Norman Alexander [VerfasserIn]; Castrillon, Jeronimo [VerfasserIn]
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

Kühn, Thomas [Sonstige Person, Familie und Körperschaft]
2015,04: A combined formal model for relational context-dependent roles (extended) Thomas Kühn
Dresden: Techn. Univ., Fak. Informatik, 2015

Behrens, Diogo [Sonstige Person, Familie und Körperschaft]
2015,01: Scalable error isolation for distributed systems modeling, correctness prrof, and additional experiments Diogo Behrens
Dresden: Techn. Univ., Fakultät Informatik, 2015

Furrer, Frank J. [HerausgeberIn]; Püschel, Georg [HerausgeberIn]
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

Malakuti, Somayeh [VerfasserIn]
2015,03: An overview of language support for modular event-driven programming Somayeh Malakuti
Dresden: Techn. Univ., Fak. Informatik, 2015

Malakuti, Somayeh [VerfasserIn]; Zia, Mariam [VerfasserIn]
2015,02: Adopting architectural event modules for modular coordination of multiple applications Somayeh Malakuti; Mariam Zia
Dresden: Techn. Univ., Fakultät Informatik, 2015

Savinov, Alexandr [VerfasserIn]
2014,01: Concept-oriented model and nested partially ordered sets Alexandr Savinov
Dresden: Technische Universität Dresden, Fakultät Informatik, 2014

Püschel, Georg [Sonstige Person, Familie und Körperschaft]
2014,02: Using variability management in mobile application test modeling Püschel
Dresden: Techn. Univ., Fakultät Informatik, 2014

Furrer, Frank J. [HerausgeberIn]
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

Grosse, Philipp [VerfasserIn]; May, Norman [VerfasserIn]; Lehner, Wolfgang [VerfasserIn]
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

Wamhoff, Jons-Tobias [Sonstige Person, Familie und Körperschaft]
2013,02: Selective core boosting the return of the turbo button Jons-Tobias Wamhoff
Dresden: Technische Universität Dresden, Fakultät Informatik, 2013

König, Sören [VerfasserIn]; Gumhold, Stefan [VerfasserIn]
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

Püschel, Georg [Sonstige Person, Familie und Körperschaft]
2013,01: Test modeling of dynamic variable systems using feature Petri nets Püschel
Dresden: Technische Universität Dresden, Fakultät Informatik, 2013

Wilke, Claas [Sonstige Person, Familie und Körperschaft]; Richly, Sebastian [Sonstige Person, Familie und Körperschaft]; Piechnick, Christian [Sonstige Person, Familie und Körperschaft]; Götz, Sebastian [Sonstige Person, Familie und Körperschaft]; Püschel, Georg [Sonstige Person, Familie und Körperschaft]; Aßmann, Uwe [Sonstige Person, Familie und Körperschaft]
2012,10: Comparing Mobile Applications' Energy Consumption Claas Wilke et al
Dresden: Technische Universität Dresden, Fakultät Informatik, 2013

Wilke, Claas [Sonstige Person, Familie und Körperschaft]
2012,01: Extended version of elucidative development for model-based documentation and language specification C. Wilke
Dresden: Techn.Univ., Fakultät Informatik, 2012

Hoffmann, Nico [VerfasserIn]; Kirmse, Matthias [VerfasserIn]; Petersohn, Uwe [VerfasserIn]
2012,03: Approaching concept drift by context feature partitioning Nico Hoffmann; Matthias Kirmse; Uwe Petersohn
Dresden: Techn.Univ., Fakultät Informatik, 2012

Kirmse, Matthias [VerfasserIn]; Petersohn, Uwe [VerfasserIn]
2012,02: Architecture of an intelligent test error detection agent Matthias Kirmse; Uwe Petersohn
Dresden: Techn.Univ., Fakultät Informatik, 2012

Stüber, Torsten [VerfasserIn]
2012,04: Consistency of probabilistic context-free grammars Torsten Stüber
Dresden: Techn.Univ., Fakultät Informatik, 2012

Droste, Manfred [VerfasserIn]; Vogler, Heiko [VerfasserIn]
2012,06: Proceedings of the Workshop Weighted Automata theory and applications 2012 M. Droste and H. Vogler
Dresden: Techn.Univ., Fakultät Informatik, 2012

Gräning, André [HerausgeberIn]
2012,05: Innovationsforum open4INNOVATION 2012 regional kooperativ - global innovativ Beiträge zum Fachforum
Dresden: Techn.Univ., Fakultät Informatik, 2012

Franz, Elke [VerfasserIn]; Pfennig, Stefan [VerfasserIn]; Fischer, André [VerfasserIn]
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

Bürger, Christoff [VerfasserIn]
2012,09: RACR - a scheme library for reference attribute grammar controlled rewriting developer manual Christoff Bürger
Dresden: Techn. Univ., Fak. Informatik, 2012

Schroeter, Julia [VerfasserIn]; Lochau, Malte [VerfasserIn]; Winkelmann, Tim [VerfasserIn]
2011,07: Extended version of multi-perspectives on feature models Julia Schroeter; Malte Lochau; Tim Winkelmann
Dresden: Techn.Univ., Fakultät Informatik, 2011

Voigt, Martin [VerfasserIn]; Polowinski, Jan [VerfasserIn]
2011,01: Towards a Unifying Visualization Ontology M. Voigt; J. Polowinski
Dresden: Techn.Univ., Fakultät Informatik, 2011

Brauer, Jörg [HerausgeberIn]
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

Waltsgott, Johannes [Sonstige Person, Familie und Körperschaft]
2011,06: State of the art hardware energy management Johannes Waltsgott
Dresden: Techn.Univ., Fakultät Informatik, 2011

Wilke, Claas [Sonstige Person, Familie und Körperschaft]
2011,04: Aspects of software's energy consumption Claas Wilke
Dresden: Techn.Univ., Fakultät Informatik, 2011

Fritzsche, Ronny [Sonstige Person, Familie und Körperschaft]
2011,05: State of the art optimization of energy consumption in storage systems Ronny Fritzsche
Dresden: Techn.Univ., Fakultät Informatik, 2011

Geisler, Daniel [VerfasserIn]; Stübner, Torsten [VerfasserIn]
2010,07: Weighted monadic datalog tree transducers Daniel Geisler and Torsten Stübner
Dresden: Techn. Univ., Fakultät Informatik, 2010

Gosda, Uwe [Sonstige Person, Familie und Körperschaft]
2010,04: An extended framework for snake-based contour extraction U. Gosda
Dresden: Techn. Univ., Fakultät Informatik, 2010

Karol, Sven [VerfasserIn]; Zschaler, Steffen [VerfasserIn]
2010,01: Providing mainstream parser generators with modular language definition support Sven Karol; Steffen Zschaler
Dresden: Techn.Univ., Fakultät Informatik, 2010

Bürger, Christoff [VerfasserIn]; Karol, Sven [VerfasserIn]
2010,03: Towards attribute grammars for metamodel semantics Christoff Bürger, Sven Karol
Dresden: Techn. Univ., Fakultät Informatik, 2010

Riegel, Torvald [Sonstige Person, Familie und Körperschaft]
2010,06: Optimizing hybrid transactional memory the importance of nonspeculative operations T. Riegel
Dresden: Techn. Univ., Fakultät Informatik, 2010

Goetz, Sebastian [Sonstige Person, Familie und Körperschaft]
2010,08: Theatre resource manager interface specification v. 1.0 S. Götz
Dresden: Techn. Univ., Fakultät Informatik, 2010

Wende, Christian [Sonstige Person, Familie und Körperschaft]
2010,05: Feature-based customisation of MDSD tool environments Christian Wende
Dresden: Techn. Univ., Fakultät Informatik, 2010

Kaufmann, Marco [VerfasserIn]
2010,02: XASM - a generic and retargetable assembler Marco Kaufmann
Dresden: Techn. Univ., Fakultät Informatik, 2010

Preußer, Thomas B. [Sonstige Person, Familie und Körperschaft]
2009,03: Putting Queens in Carry Chains Thomas B. Preußer
Dresden: Techn. Univ., Fakultät Informatik, 2009

Köpsell, Stefan [HerausgeberIn]
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

Radovanovic, Dragica [Sonstige Person, Familie und Körperschaft]
2009,02: Weighted tree automata over strong bimonoids D. Radovanovic
Dresden: Techn. Univ., Fakultät Informatik, 2009

Seidel, Daniel [VerfasserIn]; Voigtländer, Janis [VerfasserIn]
2009,06: Taming selective strictness D. Seidel; J. Voigtländer
Dresden: Techn.Univ., Fakultät Informatik, 2009

Seidel, Daniel [VerfasserIn]; Voigtländer, Janis [VerfasserIn]
2009,05: Automatically generating counterexamples to naive free theorems D. Seidel; J. Voigtländer
Dresden: Techn.Univ., Fakultät Informatik, 2009

Kauer, Bernhard [VerfasserIn]
2009,09: ATARE ACPi tables and regular expressions Bernhard Kauer
Dresden: Techn.Univ., Fakultät Informatik, 2009

Johannes, Jendrik [Sonstige Person, Familie und Körperschaft]
2009,08: Building abstracted languages through transformation and composition Jendrik Johannes
Dresden: Techn.Univ., Fakultät Informatik, 2009

Schulze, Rainer W. [VerfasserIn]
2009,07: Kommunikationsnetzwerke für diskret Massive Systeme Rainer W. Schulze
Dresden: Techn.Univ., Fakultät Informatik, 2009

Preußer, Thomas B. [VerfasserIn]; Reichel, Peter [VerfasserIn]; Spallek, Rainer G. [VerfasserIn]
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

Zabel, Martin [VerfasserIn]; Spallek, Rainer G. [VerfasserIn]
2009,13: SHAP - Scalable multi-core Java bytecode processor Martin Tabel; Rainer G. Spallek
Dresden: Techn.Univ., Fakultät Informatik, 2009

Schwartz, Eva-Maria [VerfasserIn]
2009,12: Komparativer Ähnlichkeitsalgorithmus Eva-Maria Schwartz
Dresden: Techn. Univ., Fakultät Informatik, 2009

Heidenreich, Florian [Sonstige Person, Familie und Körperschaft]
2009,10: JaMoPP the Java Model Parser and Printer Florian Heidenreich
Dresden: Techn.Univ., Fakultät Informatik, 2009

Şavga, Ilie [VerfasserIn]; Rudolf, Michael [VerfasserIn]
2009,01: Designing adapters for binary backward compatibility in refactored framework APIs Ilie Şavga; Michael Rudolf
Dresden: Techn. Univ., Fakultät Informatik, 2009

Högberg, Johanna [VerfasserIn]; Maletti, Andreas [VerfasserIn]; Vogler, Heiko [VerfasserIn]
2008,03: Bisimulation minimisation of weighted automata on unranked trees J. Högberg; A. Maletti; H. Vogler
Dresden: Techn.Univ., Fakultät Informatik, 2008

Şavga, Ilie [VerfasserIn]; Rudolf, Michael [VerfasserIn]
2008,02: Refactoring-based adaption od adapter specifications Ilie Şavga and Michael Rudolf
Dresden: Techn.Univ., Fakultät Informatik, 2008

Droste, Manfred [VerfasserIn]; Vogler, Heiko [VerfasserIn]
2008,05: Weighted automata theory and applications M. Droste; H. Vogler
Dresden: Techn.Univ., Fakultät Informatik, 2008

Stüber, Torsten [VerfasserIn]; Vogler, Heiko [VerfasserIn]; Fülöp, Zoltán [VerfasserIn]
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

Aßmann, Uwe [HerausgeberIn]
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

Zschaler, Steffen [VerfasserIn]; Wende, Christian [VerfasserIn]
2008,06: Collaborating languages and tools a study in feasibility Steffen Zschaler; Christian Wende
Dresden: Techn.Univ., Fakultät Informatik, 2008

Rawolle, Erich [VerfasserIn]; Rohland, Holger [VerfasserIn]
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

Schulze, Rainer W. [VerfasserIn]
2008,01: Vektoranalytische Beschreibung eines diskret Massiven Systems Rainer W. Schulze
Dresden: Techn.Univ., Fakultät Informatik, 2008

Stenger, Florian [VerfasserIn]; Voigtländer, Janis [VerfasserIn]
2008,08: Parametricity for Haskell with imprecise error semantics Florian Stenger; Janis Voigtländer
Dresden: Techn.Univ., Fakultät Informatik, 2008

Krauße, Thomas [VerfasserIn]
2007,06: Development of a class framework for flood forecasting Thomas Krauße
Dresden: Techn.Univ., Fakultät Informatik, 2007

Borcea-Pfitzmann, Katrin [VerfasserIn]; Stange, Anne-Katrin [VerfasserIn]
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

Feske, Norman [VerfasserIn]; Helmuth, Christian [VerfasserIn]
2006,07: Design of the Bastei OS Architecture Norman Feske and Christian Helmuth
Dresden: Techn. Univ., Fakultät Informatik, [2007]

Preußer, Thomas B. [VerfasserIn]; Zabel, Martin [VerfasserIn]; Reichel, Peter [VerfasserIn]
2007,02: The SHAP microarchitecture and Java Virtual Machine Thomas B. Preußer; Martin Zabel; Peter Reichel
Dresden: Techn. Univ., Fakultät Informatik, 2007

Bergmann, Mike [VerfasserIn]
2007,07: PRIME internal Privacy Preferences survey about Privacy Concerns and Conditions Mike Bergmann
Dresden: Techn.Univ., Fakultät Informatik, 2007

Henker, Uwe [VerfasserIn]
2007,03: Dokumentenidentifizierung mittels Shape-Trees Uwe Henker
Dresden: Techn.Univ., Fakultät Informatik, 2007

Demuth, Birgit [HerausgeberIn]
2006,04: OCL for (meta-)models in multiple application domains Birgit Demuth ... (eds.)
Dresden: Techn. Univ., Fakultät Informatik, 2006

Fülöp, Zoltán [VerfasserIn]; Vogler, Heiko [VerfasserIn]
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

Hamann, Claude-Joachim [Sonstige Person, Familie und Körperschaft]
2006,09: Quality-Assuring Scheduling Claude-J. Hamann
Dresden: Techn. Univ., Fakultät Informatik, 2006

Shlezinger, Dmytro [VerfasserIn]; Flach, Boris [VerfasserIn]
2006,01: Transforming an arbitary MinSum problem into a binary one Dmitrij Schlesinger; Boris Flach
Dresden: Techn. Univ., Fakultät Informatik, 2006

Voigtländer, Janis [VerfasserIn]; Johann, Patricia [VerfasserIn]
2006,02: Selective strictness and paramentricity in structural operational semantics J. Voigtländer and P. Johann
Dresden: Techn. Univ., Fakultät Informatik, 2006

Maletti, Andreas [VerfasserIn]
2006,05: Pure and O-substitution A. Maletti
Dresden: Techn. Univ., Fakultät Informatik, 2006

Preußer, Thomas B. [VerfasserIn]
2006,03: Background of the analysis of a fully-scalable digital fractional clock divider Thomas B. Preußer
Dresden: Techn. Univ., Fak. Informatik, 2006

Bergmann, Mike [VerfasserIn]; Rost, Martin [VerfasserIn]; Petersson, John Sören [VerfasserIn]
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

Rohland, Holger [HerausgeberIn]
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

Vogler, Heiko [VerfasserIn]
2005,12: Methods of category theory in software engineering H. Vogler
Dresden: Techn. Univ., Fakultät Informatik, 2005

Droste, Manfred [VerfasserIn]; Vogler, Heiko [VerfasserIn]
2005,06: Recognizable and rationel formal power series with general discounting M. Droste; H. Vogler
Dresden: Techn. Univ., Fakultät Informatik, 2005

McIlraith, Sheila Ann [HerausgeberIn]
2005,04: 7th International Symposium on Logical Formalizations of Commonsense Reasoning Sheila McIlraith ... (eds.)
Dresden: Techn. Univ., Fakultät Informatik, 2005

Preußer, Thomas B. [VerfasserIn]; Köhler, Steffen [VerfasserIn]
2005,07: Discrete fractional clock generation for systems-on-FPGA Thomas B. Preußer; Steffen Köhler
Dresden: Techn. Univ., Fakultät Informatik, 2005

Bruscoli, Paola [HerausgeberIn]
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

Droste, Manfred [VerfasserIn]; Vogler, Heiko [VerfasserIn]
2005,10: Weighted tree automata and weighted logics M. Droste; H. Vogler
Dresden: Techn. Univ., Fakultät Informatik, 2005

Hamann, Claude-Joachim [VerfasserIn]
2005,11: Schwankungsbeschränkte Ströme Claude-J. Hamann
Dresden: Techn. Univ., Fakultät Informatik, 2005

Felfe, Frank [VerfasserIn]
2005,02: An approach to computable coalgebras based on recursive functions Frank Felfe
Dresden: Techn. Univ., Fakultät Informatik, 2005

Buchholz, Sven [VerfasserIn]; Heidel, Martin [VerfasserIn]
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

Fülöp, Zoltán [VerfasserIn]; Muzamel, Loránd [VerfasserIn]
2005,13: Decomposition results for pebble marco tree transducers Z. Fülöp and L. Muzamel
Dresden: Techn. Univ., Fakultät Informatik, 2005

Giesl, Jürgen [VerfasserIn] ; Kühnemann, Armin [Sonstige Person, Familie und Körperschaft]; Voigtländer, Janis [Sonstige Person, Familie und Körperschaft]
2005,14: Deaccumulation techniques for improving provability J. Giesl, A. Kühnemann, and J. Voigtländer
Dresden: Techn. Univ., Fakultät Informatik, 2005

Hohmuth, Michael [VerfasserIn] ; Tews, Hendrik [Sonstige Person, Familie und Körperschaft]
2005,15: The VFiasco approach for a verified operating system VFiasco project Michael Hohmuth, Hendrik Tews
Dresden: Techn. Univ., Fakultät Informatik, 2005

Maletti, Andreas [VerfasserIn]
2005,05: Compositions of tree series transformations A. Maletti
Dresden: Techn. Univ., Fakultät Informatik, 2005

Daum, Matthias [VerfasserIn]
2004,03: Automatic generation of program specifications from C++ source code Matthias Daum
Dresden: Techn. Univ., Fakultät Informatik, 2004

Mašulović, Dragan [VerfasserIn]
2004,13: A categorical logic for invariants of computations D. Mašulović
Dresden: Techn. Univ., Fakultät Informatik, 2004

Bruel, Jean-Michel [HerausgeberIn]
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

Voigtländer, Janis [VerfasserIn]
2004,08: Formal efficiency analysis for tree transducer composition J. Voigtländer
Dresden: TU, Fakultät Informatik, 2004

Hellwig, Heino [VerfasserIn]
2004,10: Über die Kontaktdruckmodelle der Spiralphyllotaxis I Heino Hellwig
Dresden: Techn. Univ., Fakultät Informatik, 2004

Preußer, Thomas B. [VerfasserIn]
2004,11: The wisent parser generator Thomas Preußer
Dresden: Techn. Univ., Fakultät Informatik, 2004

Mašulović, Dragan [VerfasserIn]
2004,09: Dualizing clones as Lawvere theories D. Mašulović
Dresden: Techn. Univ., Fak. Informatik, 2004

Feske, Norman [VerfasserIn]; Helmuth, Christian [VerfasserIn]
2004,02: Overlay Window management: user interaction with multiple security domains Norman Feske and Christian Helmuth
Dresden: Techn. Univ., Fak. Informatik, 2004

Göbel, Steffen [Sonstige Person, Familie und Körperschaft]
2004,04: The COMQUAD component container architecture and contract negotiation Steffen Göbel
Dresden: Techn. Univ., Fak. Informatik, 2004

Maletti, Andreas [VerfasserIn]
2004,07: Inclusion diagrams for classes of deterministic bottom-up tree-to-tree- series transformations A. Maletti
Dresden: Techn. Univ., Fakultät Informatik, 2004

Pohlack, Martin [VerfasserIn]; Aigner, Ronald [VerfasserIn]; Härtig, Hermann [VerfasserIn]
2004,01: Connecting real time and non real time components Martin Pohlack, Ronald Aigner and Hermann Härtig
Dresden: Techn. Univ., Fak. Informatik, 2004

Droste, Manfred [VerfasserIn]; Vogler, Heiko [VerfasserIn]
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

Vogler, Heiko [VerfasserIn]
2004,06: Phi-recognizable formal power series are phi-rational - an alternative proof H. Vogler
Dresden: Techn. Univ., Fakultät Informatik, 2004

Fülöp, Zoltán [VerfasserIn]; Vogler, Heiko [VerfasserIn]
2003,01: Weighted tree transducers Z. Fülöp; H. Vogler
Dresden: Techn. Univ., Fak. Informatik, 2003

Fronhöfer, Bertram [HerausgeberIn]
2003,03: 17. Workshop Logische Programmierung Technische Universität Dresden 11. - 13. Dezember 2002 Bertram Fronhöfer ... (eds.)
Dresden: Techn. Univ., Fak. Informatik, 2003

Buchholz, Peter [VerfasserIn]; Dayar, Tuǧrul [VerfasserIn]
2003,02: Block SOR for Kronecker structured representations Peter Buchholz; Tuǧrul Dayar
Dresden: Techn. Univ., Fak. Informatik, 2003

Löser, Jork [VerfasserIn]
2003,15: Buffer bounds of a FIFO multiplexer J. Löser
Dresden: Techn. Univ., Fakultät Informatik, 2003

Schulz, Henrik [VerfasserIn]; Fuchs, Siegfried [VerfasserIn]; Kovalevsky, Vladimir [VerfasserIn]
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

Alemu, Worku [VerfasserIn]; Fuchs, Siegfried [VerfasserIn]
2003,13: Markov theory to recognize hand printed Amharic bank checks by Worku Alemu. Supervisor Siegfried Fuchs
Dresden: Techn. Univ., Fakultät Informatik, 2003

Rothe, Jan [VerfasserIn]; Mašulović, Dragan [VerfasserIn]
2003,07: Behavioural equivalences for coalgebras Jan Rothe and Dragan Mašulović
Dresden: Techn. Univ., Fak. Informatik, 2003

Kovtun, Ivan [VerfasserIn]
2003,04: Texture segmentation of images on the basis of Markov Random fields Ivan Kovtun
Dresden: Techn. Univ., Fak. Informatik, 2003

Maletti, Andreas [VerfasserIn]; Vogler, Heiko [VerfasserIn]
2003,14: Incomparability results for classes of polynomial tree series transformations A. Maletti; H. Vogler
Dresden: Techn. Univ., Fakultät Informatik, 2003

Löser, Jork [VerfasserIn]
2003,16: Measuring microsecond delays J. Löser
Dresden: Techn. Univ., Fakultät Informatik, 2003

Hunger, Michael [Sonstige Person, Familie und Körperschaft]
2003,18: NEBUS - Netzwerk Behinderung und Studium eine virtuelle Gemeinschaft und ihre Web-Plattform Michael Hunger
Dresden: Techn. Univ., Fakultät Informatik, 2003

Wang, Yingtao [VerfasserIn]; Kask, Eeri [VerfasserIn]
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

Engelien, Martin [Sonstige Person, Familie und Körperschaft]
2003,12: Konzeption und experimentelle Erforschung der VCE KONUS M. Emgelien
Dresden: Techn. Univ., Fak. Informatik, 2003

Aigner, Ronald [Sonstige Person, Familie und Körperschaft]
2003,10: Zwischenbericht der DFG-Forschergruppe 428 "Components with Quantitative Properties and Adaptivity (Comquad)" Ronald Aigner
Dresden: Techn. Univ., Fak. Informatik, 2003

Neumann, Detlef [VerfasserIn]
2003,11: Modellierung virtueller Unternehmen und ihrer informationstechnischen Unterstützung Detlef Neumann
Dresden: Techn. Univ., Fak. Informatik, 2003

Härtig, Hermann [Sonstige Person, Familie und Körperschaft]
2003,08: An I/O architecture for microkernel-based operating systems H. Härtig
Dresden: Techn. Univ., Fak. Informatik, 2003

Buchholz, Peter [VerfasserIn]; Dayar, Tuǧrul [VerfasserIn]
2003,05: Block SOR preconditioned projection methods for Kronecker structured Markovian representations Peter Buchholz; Tuǧrul Dayar
Dresden: Techn. Univ., Fak. Informatik, 2003

Kulakov, A. H. [VerfasserIn]; Egorova, S. D. [VerfasserIn]
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

Feske, Norman [VerfasserIn]; Härtig, Hermann [VerfasserIn]
2003,10a: DOpE - a Window server for real-time and embedded systems Norman Feske and Hermann Härtig
Dresden: Techn. Univ., Fak. Informatik, 2003

Hohmuth, Michael [VerfasserIn]; Tews, Hendrik [VerfasserIn]; Stephens, Shane G. [VerfasserIn]
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

Fülöp, Zoltán [VerfasserIn]; Vogler, Heiko [VerfasserIn]
2002,01: Tree series transformations that respect copying Z. Fülöp and H. Vogler
Dresden: Techn. Univ., Fak. Informatik, 2002

Funck, Stefan [VerfasserIn]; Fuchs, Siegfried [VerfasserIn]
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

Löser, Jork [VerfasserIn]; Härtig, Hermann [VerfasserIn]
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

Tews, Hendrik [VerfasserIn]
2002,08: The coalgebraic class specification language CCSL syntax and semantics Hendrik Tews
Dresden: Techn. Univ., Fakultät Informatik, 2002

Borchardt, Björn [VerfasserIn]; Vogler, Heiko [VerfasserIn]
2002,09: Determinization of finite state weighted tree automata Björn Borchardt; Heiko Vogler
Dresden: Techn. Univ., Fakultät Informatik, 2002

Droste, Manfred [VerfasserIn]; Vogler, Heiko [VerfasserIn]
2002,04: A Kleene theorem for weighted tree automata M. Droste; H. Vogler
Dresden: Techn. Univ., Fakultät Informatik, 2002

Droste, Manfred [VerfasserIn]; Vogler, Heiko [VerfasserIn]
2002,02: Weighted automata - theory and applications M. Droste; H. Vogler
Dresden: Techn. Univ., Fakultät Informatik, 2002

Rothe, Jan [VerfasserIn]; Mašulović, Dragan [VerfasserIn]
2002,11: Towards weak bisimulation for coalgebras Jan Rothe and Dragan Mašulović
Dresden: Techn. Univ., Fak. Informatik, 2002

Jürgensen, Claus [VerfasserIn]
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

Löser, Jork [VerfasserIn]; Härtig, Hermann [VerfasserIn]; Reuther, Lars [VerfasserIn]
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

Jürgensen, Claus [VerfasserIn]; Vogler, Heiko [VerfasserIn]
2001,10: Syntactic composition of top-down tree transducers is short cut fusion Claus Jürgensen; Heiko Vogler
Dresden: TU, Fakultät Informatik, 2001

Halatchev, Martin [VerfasserIn]
2001,2: Plattform virtueller Unternehmen - ein Anwendungsframework Martin Halatchev. [Technische Universität Dresden, Fakultät Informatik]
Dresden: TU, Fak. Informatik, 2001

Buchholz, Paul [Sonstige Person, Familie und Körperschaft]
2001,04: Different approaches to the semantics of workflows Technische Universität Dresden, Fakultät Informatik. P. Buchholz
Dresden: TU, Fak. Informatik, 2001

Wierschin, Torsten [VerfasserIn]
2001,03: Remarks on a quality measure Torsten Wierschin
Dresden: TU, Fak. Informatik, 2001

Voigtländer, Janis [VerfasserIn]; Kühnemann, Armin [VerfasserIn]
2001,08: Composition of functions with accumulating parameters J. Voigtländer; A. Kühnemann
Dresden: TU, Fakultät Informatik, 2001

Pfliegner, Tilo [VerfasserIn]; Flach, Boris [VerfasserIn]; Fuchs, Siegfried [VerfasserIn]
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

Tews, Hendrik [VerfasserIn]; Härtig, Hermann [VerfasserIn]; Hohmuth, Michael [VerfasserIn]
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

Neumann, Petra [VerfasserIn]; Müller, Gábor [VerfasserIn]; Fuchs, Siegfried [VerfasserIn]
2001,05: Automatische und interaktive Interpretation von Leitungsplänen Petra Neumann; Gábor Müller; Siegfried Fuchs
Dresden: TU, Fak. Informatik, 2001

Kühnemann, Armin [VerfasserIn]; Voigtländer, Janis [VerfasserIn]
2001,07: Tree transducer composition as deforestation method for functional programs A. Kühnemann; J. Voigtländer
Dresden: TU, Fakultät Informatik, 2001

Bringmann, Oliver [VerfasserIn]
2000,01: Modellgesteuerte, automatisierte Erfassung von Leitungsplänen und Integration in Geoinformationssysteme Oliver Bringmann
Dresden: TU, Fak. Informatik, 2000

Schulze, Rainer W. [VerfasserIn]
2000,06: Massiv parallele Systeme 2 Topologiesynthese Rainer W. Schulze
Dresden: Fak. Informatik, 2000

Buchholz, Peter [VerfasserIn]; Kühn, Sabine [VerfasserIn]; Breiter, Frank [VerfasserIn]
2000,08: A numerical analysis of a communication system with advance reservations Peter Buchholz; Sabine Kühn; Frank Breiter
Dresden: TU, Fak. Informatik, 2000

Rothe, Jan [VerfasserIn]; Tews, Hendrik [VerfasserIn]; Jacobs, Bart [VerfasserIn]
2000,09: The coalgebraic specification language CCSL Jan Rothe; Hendrik Tews und Bart Jacobs
Dresden: TU, Fak. Informatik, 2000

Bischoff, S. [Sonstige Person, Familie und Körperschaft]; Bischoff, Sven [Sonstige Person, Familie und Körperschaft]
2000,03: Automatische Extraktion von festigkeits- und optisch relevanten Merkmalen aus Farbbildern von Schnittholzoberflächen Technische Universität Dresden, Fakultät Informatik. S. Bischoff
Dresden: TU, Fak. Informatik, 2000

Wierschin, Torsten [VerfasserIn]; Fuchs, Siegfried [VerfasserIn]
2000,04: Bewertung von Algorithmen in der Bildverarbeitung und Mustererkennung Stand der Technik und Anwendung T. Wierschin; S. Fuchs. Technische Universität Dresden, Fakultät Informatik
Dresden: TU, Fak. Informatik, 2000

Hinze, Thomas [VerfasserIn]; Sturm, Monika [VerfasserIn]
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

Fülöp, Zoltán [VerfasserIn]; Vogler, Heiko [VerfasserIn]
2000,10: Bottom-up and top-down tree series transformations Z. Fülöp; H. Vogler
Dresden: Techn. Univ., Fak. Informatik, 2000

Tarasjuk, Igor V. [VerfasserIn]
2000,11: Tau-Equivalences and refinement for Petri nets based design Igor V. Tarasyuk
Dresden: TU, Fak. Informatik, 2000

Buchholz, Peter [VerfasserIn]; Tarasjuk, Igor V. [VerfasserIn]
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

Jürgensen, Claus [VerfasserIn]
2000,13: A formalization of hylomorphism based deforestation with an application to an extended typed Lambda-calculus Claus Jürgensen. [Technische Universität Dresden, Fakultät Informatik]
Dresden: TU, Fak. Informatik, 2000

Stoschek, Erwin P. [VerfasserIn]; Sturm, M. [VerfasserIn]; Hinze, T. [VerfasserIn]
99,02: On a DNA experiment for solving a certain NP-complete problem E. Stoschek; M. Sturm; T. Hinze
Dresden: TU, Fak. Informatik, 1999

Vogler, Heiko [HerausgeberIn]
99/01: International Workshop Grammers, Automata, and Logic on Graphs and Trees H. Vogler (ed.)
Dresden: Techn. Univ., Fakultät Informatik, 1999

Noll, Thomas [VerfasserIn]; Vogler, Heiko [VerfasserIn]
99,05: On the universality of higher-order attributed tree transducers T. Noll; H. Vogler
Dresden: TU, Fak. Informatik, 1999

Kirsten, Daniel [VerfasserIn]; Richomme, Gwénae͏̈l [VerfasserIn]
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

Schulze, Rainer W. [VerfasserIn]
99,07: Massiv parallele Systeme 1 Topologieanalyse Rainer W. Schulze
Dresden: Fak. Informatik, 1999

Kirsten, Daniel [VerfasserIn]; Marcinkowski, Jerzy [VerfasserIn]
99,08: Two techniques in the area of the star problem D. Kirsten; J. Marcinkowski
Dresden: TU, Fak. Informatik, 1999

Thielscher, Michael [VerfasserIn]
98,06: Disputation theory applied to disjunctive logic programs Michael Thielscher
Dresden: TU, Fak. Informatik, 1998

Kirsten, Daniel [VerfasserIn]
98,07: Some undecidability results related to the Star Problem in trace monoids Daniel Kirsten
Dresden: TU, Fak. Informatik, 1998

Sobe, Peter [VerfasserIn]
98,02: A study of roll-forward recovery from faults among communicating processes Peter Sobe
Dresden: Techn. Univ., Fak. Informatik, 1998

Böhm, Markus [VerfasserIn]
98,05: Ein konstruktiver Ansatz zur systematischen Entwicklung von Ausführungsanweisungen für Workflows M. Böhm
Dresden: TU, Fak. Informatik, 1998

Hofstedt, Petra [VerfasserIn]
98,8: An architecture for the combination of constraint solvers P. Hofstedt
Dresden: Technische Universität, Fakultät Informatik, 1998

Kirsten, Daniel [VerfasserIn]
98,09: A connection between the Star Problem and the finite power property in trace monoids Daniel Kirsten
Dresden: TU, Fak. Informatik, 1998

Adamski, I. [Sonstige Person, Familie und Körperschaft]
98,10: Incremental evaluators for macro attribute grammars I. Adamski
Dresden: TU, Fak. Informatik, 1998

Hohmuth, Michael [VerfasserIn]
98/12: The Fiasco Kernel - Requirements definition Michael Hohmuth
Dresden: Techn. Univ., Fakultät Informatik, 1998

Thielscher, Michael [VerfasserIn]
98,11: Event minimization in the fluent calculus Michael Thielscher
Dresden: TU, Fak. Informatik, 1998

Rosenpflanzer, Lutz [VerfasserIn]; Karl, Hans-Ulrich [VerfasserIn]
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

Wünschmann, Wolfgang [VerfasserIn]; Kahlisch, Thomas [VerfasserIn]
98,01: Präsentation elektronischer Dokumente für blinde Menschen Wolfgang Wünschmann; Thomas Kahlisch
Dresden: Techn. Univ., Fak. Informatik, 1998

Böhm, Markus [VerfasserIn]
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

Ihle, Torsten [VerfasserIn]
97,07: Segmentation of 3D data Torsten Ihle
Dresden: TU, Fak. Informatik, 1997

Dubrau, Gunter [VerfasserIn]
97,14: Labor- und Feldtests als Mittel für Akzeptanzuntersuchungen in Lehr-, Lernsystemen Gunter Dubrau
Dresden: TU, Fak. Informatik, 1997

Fülöp, Zoltán [VerfasserIn]; Vogler, Heiko [VerfasserIn]
97,15: A characterization of attributed tree transformations Z. Fülöp; H. Vogler
Dresden: Techn. Univ., Fak. Informatik, 1997

Schwigon, Steffen [VerfasserIn]; Hofstedt, Petra [VerfasserIn]
97,8: Methoden zur automatischen Parallelisierung (Constraint-)logischer Programme S. Schwigon; P. Hofstedt
Dresden: Tech. Univ., Fak. Informatik, 1997

Forchel, Dirk [VerfasserIn]; Spallek, Rainer G. [VerfasserIn]
97,03: VLSI-Realisierungen für ATM eine Übersicht Forchel, D.; Spallek, R. G
Dresden: Techn. Univ., Fakultät Informatik, 1997

Stark, Katrin [VerfasserIn]
97,10: Verfolgung von Objekten mit gekrümmter Oberfläche Katrin Stark
Dresden: TU, Fak. Informatik, 1997

Desel, Jörg [VerfasserIn]; Reichel, Horst [VerfasserIn]
97,13: Grundlagen der Parallelität Workshop der GI-Fachgruppen 0.0.1 und 0.1.7 im Rahmen der Informatik '97 Jörg Desel; Horst Reichel. [Technische Universität Dresden, Fakultät Informatik]
Dresden: TU, Fak. Informatik, 1997

Wehrenpfennig, Andreas [VerfasserIn]
97,02: Programmiereinführung in OPAL A. Wehrenpfennig. Technische Universität Dresden, Fakultät Informatik
Dresden: TU, Fakultät Informatik, 1997

Baumgarten, Christoph [VerfasserIn]
97,01: Probabilistic modeling of disptributed information retrieval Christoph Baumgarten. Technische Universität Dresden, Fakultät Informatik
Dresden: TU, Fakultät Informatik, 1997

Hanzelmann, Dierk [VerfasserIn]; Liskowsky, Rüdiger [VerfasserIn]; Löscher, Silke [VerfasserIn]
97,04: Gruppenorientiertes Konfigurationsmanagement auf Bais von Lotus Notes Dierk Hanzelmann; Rüdiger Liskowsky; Silke Löscher
Dresden: TU, Fakultät Informatik, 1997

Schulze, Rainer [VerfasserIn]
97,11: Laterale Verkopplung im visuellen System der Vertebraten - beschrieben im Zellularen Beobachtungsraum Rainer Schulze
Dresden: TU, Fak. Informatik, 1997

Maneth, Sebastian [VerfasserIn]; Vogler, Heiko [VerfasserIn]
97,12: Attributed context-free hypergraph grammars Sebastian Maneth; Heiko Vogler
Dresden: Techn. Univ., Fakultät Informatik, 1997

Laube-Rosenpflanzer, Annett [VerfasserIn]; Karl, Hans-Ulrich [VerfasserIn]
97,06: Konzeption eines dreistufigen Transfers für die maschinelle Übersetzung natürlicher Sprachen Annett Laube; Hans-Ulrich Karl
Dresden: TU, Fak. Informatik, 1997

Gratz, Achim [VerfasserIn]; Schulz, Patrick [VerfasserIn]; Spallek, Rainer G. [VerfasserIn]
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

Ihle, Torsten [VerfasserIn]
96,09: Untersuchungen zur Struktur des spatiotemporalen Kontinuums Torsten Ihle. [Technische Universität Dresden, Fakultät Informatik]
Dresden: TU, Fak. Informatik, 1996

Friedrich, Steffen [VerfasserIn]; Peters, Thomas [VerfasserIn]
96,13: Internetdienste für Schulen am Beispiel eines Prototyp-Servers S. Friedrich/T. Peters. [Technische Universität Dresden, Fakultät Informatik]
Dresden: TU, FI, 1996

Schulz, Patrick [Sonstige Person, Familie und Körperschaft]
95,17: Entwurf und Implementierung eines Objektcode-Generators für SUIF P. Schulz
Dresden: TU, Fakultät Informatik, 1996

Wehrenpfennig, Andreas [VerfasserIn]
96,02: OPAL - objektorientiertes und paralleles Programmieren Andreas Wehrenpfennig. Technische Universität Dresden, Fakultät Informatik
Dresden: TU, Fakultät Informatik, 1996

Dietze, Robert [VerfasserIn]; Sobe, Peter [VerfasserIn]
96,01: Gegenwärtiger Entwicklungsstand und Perspektiven von Fehlertoleranztechniken in der parallelen Verarbeitung Dietze, Robert; Sobe, Peter. Technische Universität Dresden, Fakultät Informatik
Dresden: TU, Fakultät Informatik, 1996

Haß, Hartmut [VerfasserIn]; Stirner, Thomas [VerfasserIn]
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

Kochinka, Beate [VerfasserIn]
96/08: Inhaltsorientierte Suche nach Multimedia-Objekten Beate Kochinka. [Technische Universität Dresden, Fakultät Informatik]
Dresden: TU, Fakultät Informatik, 1996

Schönherr, Jens [VerfasserIn]
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

Sawitzki, Sergej [VerfasserIn]; Kemnitz, Günter [VerfasserIn]; Spallek, Rainer G. [VerfasserIn]
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

Schulze, Rainer [VerfasserIn]
96,15: Wechselwirkungen in einem zellularen Beobachtungsgebiet dargestellt am Beispiel einer Neuronenpopulation Rainer Schulze
Dresden: Techn. Univ., Fakultät Informatik, 1996

Maneth, Sebastian [VerfasserIn]
96,19: On the generating power of deterministic tree transducers Sebastian Maneth
Dresden: Techn. Univ., Fakultät Informatik, 1996

Maneth, Sebastian [VerfasserIn]; Faßbender, Heinz [VerfasserIn]
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

Forchel, Dirk [VerfasserIn]
96,14: Statisches Scheduling in MIMD-Maschinen mit nichtdeterministischer Kommunikation D. Forchel
Dresden: Techn. Univ., Fakultät Informatik, 1996

Sobe, Peter [VerfasserIn]
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

Engelfriet, Joost [VerfasserIn]; Reichel, Horst [VerfasserIn]
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

Holubek, Andreas [VerfasserIn]
96,12: Entwicklung und Programmierung eines Verfahrens zur verteilten Fehlersimulation analoger Netzwerke A. Holubek
Dresden: Techn. Univ., Fakultät Information, 1996

Schulze, Rainer [VerfasserIn]
96,20: Analytische Beschreibung von Ereignisabhängigkeiten in neuronalen Systemen Rainer Schulze
Dresden: Techn. Univ., Fakultät Informatik, 1996

Stark, Katrin [VerfasserIn]
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

Desel, Jörg [Sonstige Person, Familie und Körperschaft]; Reichel, Horst [Sonstige Person, Familie und Körperschaft]
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

Schulze, Rainer [VerfasserIn]
96,18: Technisch orientierte Modellierung der Erregungsausbreitung in neuronalen Systemen Rainer Schulze
Dresden: Techn. Univ., Fakultät Informatik, 1996

Kemnitz, Günter [Sonstige Person, Familie und Körperschaft]
95,15: Reduzierung des Befehlsstroms für RISC-Prozessoren - eine Übersicht über das Problemfeld G. Kemnitz
Dresden: TU, Fakultät Informatik, 1995

Markwardt, Gert [Sonstige Person, Familie und Körperschaft]
95,16: PROSIM - ein Werkzeug zur Befehlsebenen-Simulation von RISC-Prozessoren G. Markwardt
Dresden: TU, Fakultät Informatik, 1995

Wünschmann, Wolfgang [Sonstige Person, Familie und Körperschaft]
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

Kühnemann, Armin [VerfasserIn]
95/08: A pumping lemma for output languages of macro tree transducers Armin Kühnemann
Dresden: Techn. Univ., Fak Informatik, 1995

Wolter, Jean [VerfasserIn]
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

Reichel, Horst [VerfasserIn]
95,18: Die Kategorie der gleichungs-partiellen Theorien als semantischer Bereich Horst Reichel
Dresden: TU, Fakultät Informatik, 1995

Kabitzsch, Klaus [Sonstige Person, Familie und Körperschaft]
95,04: Diagnose paralleler und verteilter Rechnersysteme mit Hilfe von Historyanalysen Klaus Kabitzsch ... Institut für Informationssysteme
Dresden: TU, Fakultät Informatik, 1995

Mandl, Peter [VerfasserIn]
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

Karl, Hans-Ulrich [VerfasserIn]; Schreiber, A. [VerfasserIn]; Wegner, G. [VerfasserIn]
94,05: Akquirierung, Repräsentation und Anwendung attributierten Wissens in einem Lehr- und Lernsystem für die Ingenieurwissenschaft H.-U. Karl, A. Schreiber, G. Wegner [Technische Universität Dresden], Institut Softwaretechnik I
Dresden: Techn. Univ., Fak. Informatik, 1994

Hutschenreuther, Tino [Sonstige Person, Familie und Körperschaft]
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

Böhmak, W. [Sonstige Person, Familie und Körperschaft]
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

Nur in Feld suchen:

Zuletzt gesuchte Begriffe: