---

• 1987
• 1988
• 1989
• 1990
• 1991
• 1992
• 1993
• 1994
• 1995
• 1996
• 1997
• 1998
• 1999
• 2000
• 2001
• 2002
• 2003
• 2004

Technische Berichte 1987

87/1:

Flik, Thomas u.a.: PARALLELGRAPHEN - ein Darstellungsmittel fuer parallele Prozesse am Beispiel des Philosophenproblems, des Lerer-/Schreiberproblems und schwerpunktmaessig der Busarbitration in MIkroprozessorsystemen.

87/2:

Hansen, Horst: Von algebraischen Spezifikationen zu algebraischen Programmen.

87/4:

Balderjahn, Ingo: Cultural Differences of Consumer's Ecological Concern in Germany.

87/5:

Schlag, Roger: Alternative Ansaetze zu Entwicklung und Einsatz von Datenverarbeitung mit kuenstlicher Intelligenz.

87/6:

Ehrig, Hartmut u.a.: Algebraic Theory of Modular Specification Development.

87/7:

Dimitrovici, Cristian; Grosse-Rohde, Martin; Ehrig, Hartmut; Rieckhoff, Catharina: Projektionsräume und Projektionsalgebren: Eine Algebraisierung von ultrametrischneen Raeumen.

87/8:

Ehrig, Hartmut; Parisi-Presicce, Francesco; Böhm, Paul; Rieckhoff, Catharina; Dimitrovici, Cristian; Grosse-Rhode, Martin: Algebraic Data Type and Process Specifications Based on Projection Spaces.

87/9:

Knoll, Alois: Mehrfrequente Verfahren fuer die ultraschallbasierte Objekterkennung in der Robotik.

87/11:

Buntrock, Gerhard: On the Robustness of the Polynomial- Time Hierarchy.

Technische Berichte 1988

88/1:

Balderjahn, Ingo: Predictors of Ecologically Responsible Consumption Patterns. An Empirical Study.

88/2:

Knehler, Hans Georg: Transformation von Graph-Grammatiken in Petri-Netzen.

88/3:

Brandenburg, Uwe Wolfgang: Konsistenzerhaltung replizierter Daten im Partitionierungsfall.

88/4:

Classen, Ingo: Algebraische Grundlagen der Termersetzung mit bedingten Gleichungen.

88/5:

Wolz, Dietmar: Ansätze zur Compilation algebraischer Spezifikationen und Termersetzungssystemen.

88/6:

Hoffmann, Achim: Probabilistische Untersuchungen maschinellen Lernens.

88/7:

Schweikard, Achim: Exakte und geschlossene Verfahren zur Kollisionserkennung fuer parallel arbeitende Roboterarme.

88/8:

Conrade, Hagen: Datenstrukturen und Operationen fuer multidemensional sortierte Punktmengen.

88/10:

Conradi, Hagan: Verfahren fuer Informationssysteme mit geographische Daten.

88/11:

Buntrock, Gerhard; Hoene, Albrecht: On Reversal Complexity of Auxiliary Pushdown Automata.

88/12:

Brzoska, Christoph: Untersuchung von Strategien fuer den Knuth-Bendix- -Vervollstaendigungsalgorithmus.

88/14:

Fries, Thomas: EVA-Eine dezentrale Arbeitsumgebung fuer numerisch gesteuerte Drehmaschinen mit einer Sinumerik Sprint-T Steuerung.

88/15:

Koschan, Andreas: Entwurf einer Implementierung einer Testumgebung zur Filterung digitaler Bildfunktionen.

88/16:

Rannenburg, Kai: Technischer Datenschutz in CIM-Systemen und anderen verteilten Anwendungen. 88/17

88/18:

Adolf, Petra: FINIS- Ein Expertensystem zur Analyse von Lebensmittelvergiftungen.

88/19:

Ehrig, Hartmut u.a.: Algebraic Concepts for Software Configuration Management.

88/20:

Buntrock, Gerhard; Hemachandra, Lane; Siefkes, Dirk: Unambigiuous Computation May be Better than Determinism at Simulating Nondeterminism.

88/21:

Hemachandra, Lane; Hoene, Albrecht: On Checking Versus Evaluation of Multiple Queries: Characteristic Vector Terseness.

88/22:

Siefkes, Dirk: How to Communicate Proofs or Programs.

88/23:

Siefkes, Dirk; Hofbauer, Dieter; Kutsche, Ralf: Completeness Proofs for Logic Programming.

88/24:

Classen, Ingo: Semantik der revidierten Version der algebraischen Spezifikationssprache ACT ONE.

88/25:

Conradi, Hagen: Darstellung und Verarbeitung beliebig geformter Polygone und Polyeder.

88/26:

Fey, Werner: Pragmatics, Concepts, Syntax, Semantics and Correctness Notions of ACT TWO: An Algebraic Module Specification and Interconnection Language.

88/27:

Hofbauer, Dieter; Kutsche, Ralf-Detlef: Proving Inductive Theorems Based on Term Rewriting Systems.

Technische Berichte 1989

89/1:

Liebig, Hans; Sperling, Michael: Darstellung und Verwirklichung rekursiver Algorithmen durch Hardware.

89/2:

Kutza, Karsten: Evaluation geordneter EAGen im eta- Compiler-Generator.

89/3:

Schweikard, Achim; Knoll, Alois: AdaIR- eine Kommando- Schnittstelle zur Programmierung von Industrierobotern in Ada.

89/4:

Bao, Yongjian: Untersuchung und Implementierung binaerer Rekonstruktionen der Gefaessquerschnitte aus bioplanen Projektionen.

89/5:

Dimitrovici, Christian: Profection module Specifications and their basic interconnections.

89/6:

Feldmann, Rainer; Maier, Werner: FACES: The New Asymmetrical Coloured Face to Represent Multivariate Data.

89/7:

Herrtwich, Ralf Guido: Verteiltes Koordinieren mehrerer Roboter-Eine AdaIR-Erweiterung-.

89/8:

Konrad, Erhard; Tong, Xuejun: MAC: Acquiring Abstract Knowledge.

89/9:

Buntrock, Gerhard: Logarithmisch platzbeschraenkte Simulationen.

89/10:

Guenther, Renate; Herrtwick, Ralf Guido: Vergleich zweier Ada-Systeme unter besonderer Beruecksichtigung ihrer Tauglichkeit fuer Echtzeitanwendungen.

89/11:

Czech, Harald; Herrtwich, Ralf Guido; Hommel, Guenter; Sasse, Ralph; Winkler, Axel: Programm fuer kooperierende Maschinen in der Fertigung.

89/12:

Dimitrovici, Christian; Hummert, Udo: Semantische Konstruktionen und Kategorien algebraischer Netzschemata.

89/13:

Ehrig, Hartmut; Fey, Werner; Löwe, Michael; Jacobs, Dean: Compatibility Problems in the Development of Algebraic Module Specifications.

89/14:

Ehrig, Hartmut; Löwe, Michael (ed): GRA GRA - Computing by Graph Transformation.

89/15:

With, Lars: Linear Order-Sorted Unification.

89/16:

Volkmann, Ronald: Entwurf und Implementierung der DeRemer/Pennello-Methode zur Generierung von LALR(1)-Zerteilern im eta-Compiler-Generator.

89/17:

Ehrig, Hartmut: Algebraic Specification of Modules and Modular Software Systems within the Framework of Specification Logics.

89/18:

Rannenberg, Kai: Untersuchung von Sicherheitsdiensten und ihre Integration in das ISO-OSI-Referenzmodell auf der Grundlage eines pragmatisch orientierten Sicherheitsmodells.

89/19:

With, Lars: Multi-Sort Varables - A New Concept for Order-Sorted Unification.

89/20:

Gehrke, Michael: Analyse der Internationalen Normen X.500 im Hinblick auf eine reale Anwendung.

89/21:

Schweikard, Achim: Real Zero Isolation for Trigonometric and Exponential Polynomials.

89/22:

Hemachandra, Lane A.; Hoene, Albrecht: On Sets with Efficient Implicit Membership Tests.

89/23:

Dimitrovici, Cristian; Hummert, Udo: Kategorielle Konstruktionen fuer algebraische Petrinetze.

89/24:

Salomon, Ralf: Adaptive Regelung der Lernrate bei back- propagation.

89/25:

Grzeschniok, Franz: Planen paralleler Aktivitaeten mit einem Zeitintervallkalkuel.

89/26:

Löwe, Michael: Implementing Algebraic Specifications by Graph Transformation Systems.

Technische Berichte 1990

90/1:

Grosse-Rhode, Martin; Ehrig,Hartmut: Transformation of Combined Data Type and Process Specifications Using Projecting Algebras.

90/2:

Liebig, Hans; Mueller, Edgar: Graphendarstellungen autonomer asynchroner Prozesssysteme.

90/3:

Glas, Rainer: Ein abstrakyes Environment Modell (AEM)zur Beschreibung parallelen und asynchronen Verhaltens.

90/4:

Ehrig, Hartmut; Boehm, Paul; Fey, Werner: Algebraic Concepts for Formal Specifications and Transformation of Modular Software Systems.

90/5:

Löwe, Michael: Algebraic Approach to Graph Transformation Based on Single Pushout Derivations with Partial Morphisms.

90/6:

- nicht erschienen -

90/7:

Hemachandra, Lane A.; Hoene, Albrecht; Siefkes, Dirk; Young, Paul: On Sets Polunomially Enumerable by Iteration.

90/8:

Korff, Martin: Optimizations of Production Systems based on Algebraic Graph Transformations.

90/9:

- nicht erschienen -

90/10:

Kruckemeyer, Volker; Knoll, Alois: Eine imperative Sprache zur Programmierung digitaler Signalprozessoren.

90/11:

Hoene, Albrecht: Polynomielle Splinter.

90/12:

Schweikard, Achim: Square-free Trigonometric Polynomials.

90/13:

Wilhelm, Rudolf: Perspektiven des Datenschutzes.

90/14:

Keil-Slavik, Reinhard: : Konstruktives Design.Ein oekologischer Ansatz zur Gestaltung interaktiver Systeme.

90/15:

Hommel, Guenter: Roboterkinematik.

90/16:

Tolksdorf, Robert: Hybrid-Architektur fuer Datenflussrechner.

90/17:

Siefkes, Dirk: Wende zur Phantasie. Zur Theoriebildung in der Informatik.

90/18:

Krueger, A.; Herrtwich, R.G.; Hommel, Guenter: Massnahmen zur Ueberpruefung der Leistungsmerkmale UNIX-aehnlicher Echtzeitbetriebssysteme.

90/19:

Hofbauer, Dieter: Multiset Path Orderings and Path Orderings and Derivation Length.

90/20:

Kovacs, Peter; Hommel, Guenter: Reduced Equation Systems for the Inverse Kinematics Problem.

90/21:

Ehrig, Hartmut; Löwe, Michael: Tutorial Introduction to the Algebraic Approach of Graph Grammers Based on Double and Sigle Research.

90/22:

Ehrig, Hartmut: On the Relationship between Algebraic Methods Specification.

90/23:

Kovacs,Peter; Hommel, Guenter: Factorization and Decomposition in Kinematic Equiations Systems.

90/24:

Sperling, Michael: Rechnergestuetzte Werkzeuge zur automatischen Synthese von Registertransfer-Strukturen.

90/25:

Daun, Juergen; Hommel, Guenter: Reactive Planning.

90/26:

Hommel, Guenter: An expert System for Robot Kinematics with Distributed Components.

90/27:

Kautz, Karl; t al: Research Directions on Tool-Support for Cooperative System Development.

90/28:

- nicht erschienen -

90/29:

Scholz, Michael: Evolutionsstrategie auf wechselnden Partialraeumen als Lernstrategie fuer Neuronale Netze.

90/30:

Schweikard, Achim: Hyperplane Strategy for Multi- Dimensional Motion Planning.

90/31:

Buchholz, Christof: Spezifikation der Prozesse und Protokolle zur Authentifisierung von Subjekten in einem verteilten Rechnersystem.

90/32:

Schweikard, Achim: Polynomial Time Collision Detection for Manipulator Paths specified by Joint Motions.

90/33:

Lindemann, Christoph; Wolisz, Adam: Stochastic Petrinet Models for CSMA/CD Lan's with Deterministic Collision Resolution.

90/34:

Giesel, Dirk, Krueger, Joerg; Jeschke, Roland: Grundkonzepte und Implementierung eines Netzwerkzeugs fuer Algebraische High-Level-Netze.

90/35:

Ehrig, Hartmut; Habel, Annegret; Kreowski, Hans-Joerg; Parisi-Presicce, Francesco: Parallelism and Concurrency in High Level Replacement Systems.

90/36:

Guettler, Markus: Die Datenverarbeitung im statistischen Informationssystem der DDR.

90/37:

Classen, Ingo; Löwe, Michael: Algebraic Development of a Syntax Directed Editor.

90/38:

Meyer, Martin: Untersuchung verschiedener offizieller Kriterienkataloge zur Rechnersicherheit unter dem Aspekt der Unbeobachtbarkeit der Kommunikation.

90/39:

Lindemann, Christoph; Hommel, Guenter: Combining Deterministic and Stochastic Petrinets and Product-Form 0ueueing Networks for Evaluating Gracefully Degradable Systems.

90/40:

Lindemann, Christoph: An Efficient Numerical Method for Solv.DSPN.

Technische Berichte 1991

91/01:

Ehrig, Hartmut; Löwe, Michael: Parallel and Distibuted Derivations in the Single-Pushout-Approach.

91/02:

Siefkes, Dirk: Peoples bearings on Computers.

91/03:

Eggers, Bleike: Orderings on Graphs and Computaions of CLIQUE.

91/04:

Meyer zu Natrup, Ursula: Aspekte des Datenschutzes im X.500-Verzeichnisdienst.

91/05:

Ehrig, Hartmut; Baldamus, Michael; Orejas, Fernando: New Concepts for Amalgamations and Extension in the Framework of Specification Logics.

91/07:

Lindemann, Christoph: Modeling and Evaluation of a Multiple Access Protocol for Real-Time Area Networks

91/8:

Moes, Sven; Pariton-Waldheim, Kirsten; Schallbruch, Martin: Das Meldewesen in beiden deutschen Staaten und die Neuordnung in Berlin.

91/09:

Koschan, Andreas: Eine Methodenbank zur Evaluierung von Stereo-Vision-Verfahren.

91/10:

Pepper, Peter: The Programming Language Opal.

91/11:

Classen, Ingo; Gogolla, Martin: Toward a Conceptual Model for the Environment.

91/12:

91/13:

Korff, Martin: Algebraic Transformation of Equationally Defined Graph Structures.

91/14:

Paparoditis, Efstathios: A Comparison of Some Autocovariance-Based Methods of ARMA Model Selection.

91/15:

Frericks, Markus: The mML Machine Description Formalism.

91/16:

Ehrig, Hartmut, Parisi-Presicce: Nonequivalence of Categories for Equational Algebraic Specification in View of High-Level-Replacement Systems.

91/17:

Glas, Rainer: Ein Kalkuel zur Integration von Applikation und asynchroner Kommunikation.

91/18:

Glas, Rainer; Knoche, Andreas: Semantische Fundierung der asynchron prozeduralen Sprache DONUTSim ALEM.

91/19:

Rieckhoff, Catharina: Ansätze für eine Theorie zur Animation von Algebraischen Spezifikationen.

91/20:

Deutsche Forschungsgemeinschaft DFG. Baldamus, M.; Dimitrovici, C.; Ehrig, H; Glas, R.; Koche, A.; Mahr, B.: DAO- Projekt. Spezifikation verteilter Systeme und asynchron operationale Semantik.

91/21:

Grosse-Rhode, Martin, Dimitrovici, Cristian: Algebraic Spezification of Action Trees and Recursive Processes.

91/22:

German, Reinhard; Lindemann, Christoph: Ein analytisches Loesungsverfahren fuer DSPN-Modelle.

91/23:

Ehrig, Hartmut; Grosse-Rhode, Martin: Structural Theory of Algebraic Specification in a Specification Logic.

Technische Berichte 1992

92/1:

German, Reinhard; Lindemann, Christoph: A Numerical Solution Method for PH/D/1/K Queueing Systems.

92/2:

Guettler, Markus: Das statistische Informationssystem der DDR. Ein Beispiel fuer die Grenzen computergestuetzter Entscheidungsunterstuetzung.

92/3:

Fan, Changpeng: Performance Limits of Time-Constrained Message Transmissions over a Mulitiple Access Channel.

92/4:

Pasch, Juergen: Dialogischer Software-Entwurf.

92/5:

Ehrig, Hartmut; Grosse-Rhode, Martin: Specification Techniques for Concurrent and Distributed Systems.

92/6:

Burtschick, Hans-Joerg; Hoene, Albrecht: The Degree Structure of 1-L Reductions.

92/7:

Löwe, Michael; Wolter, Uwe: Parametric Algebraic Specifications with Gentzen-Formulas-Free Functor Semantics and Correctness.

92/8:

Ehrig, Hartmut; Löwe, Michael: COMPUGRAPH. Computing by Graph Transformation: Final Report.

92/9:

Tolksdorf, Robert: HDM desribed from ODP Viewpoints.

92/10:

Tantzer, Gabriele: Parallel High-Level Replacement Systems.

92/11:

Siefkes, Dirk: Fish in Cans.

92/12:

Heisel, Maritta: A Relational Approach to Top-Down Program Synthesis.

92/13:

Heise, Andreas: Transformation und Komposition von P/T- Netzen unter Erhaltung wesentlicher Eigenschaften.

91/14:

Lampen, Andreas; Mahler, Axel (Eds.): Shape Tools.

92/15:

Hoene, Albrecht; Nickelsen, Arfst: Counting, Selecting, and Sorting by Query-Bounded Machines.

92/16:

Matuschka, Reinhard: Numerical Methods for Transient Analysis of Acyclic Markov Chains.

92/17:

- nicht erschienen -

92/18:

Hetzheim, H.; Knoll, A.: Korrespondenzanalyse in Stereobildern mit Hilfe nichtlinearer Filterung.

92/19:

Schieferdecker, Ina; Wolisz, Adam: Operational Semantics of Timed Interacting Systems:An Algebraic Performance Orientes Formal Description Technique.

92/20:

Kroeplin, Mario: Tabellenkompression mit Hilfe von Graphfaerbungsverfahren.

92/21:

-nicht erschienen -

92/22:

Ribeiro, Leila: Extension of PROSOFT in order to integrate correct software tools obtained from algebraic specifications.

92/23:

Pepper, Peter: Deductive Derivation of Parallel Programs.

92/24:

Pepper, Peter; Wille, David: Local Formalisms: An Algebraic View.

92/25:

Corradini, Andrea; Ehrig, Hartmut; Löwe, Michael; Montanari, Ugo; Rossi, Francesca: Note on Standard Representation of Graphs and Graph Derivations.

92/26:

Freericks, Markus; Knoll, Alois; Dooley, Laurence: The Real-Time Programming Language ALDISP-O: Informal Introduction and Formal Semantics.

92/27:

-nicht erschienen -

92/28:

- nicht erschienen -

92/29:

German, Reinhard: Computational Formulas for Dealing

92/30:

-nicht erschienen -

92/31:

Fauth, Andreas; Knoll, Alois: Automated Gereration of DSP Program Development Tools Utilizing a Machine Description Formalism.

92/32:

Korff, Martin: Algebraic Transformation of Equationally Defined Graph Structures.

92/33:

Fey,Werner: An Algebraic Module Specification and Interconnection Language.

92/34:

Buhrmann, Harry, Hoene, Albrecht: On Honestly Iteratively Enumerable Sets.

92/35:

Tolksdorf, Robert: Laura: A Coordination Language for Open Distributed Systems. 92/36

92/38:

Lindemann, Christoph; Zimmermann, Armin: Realisierung eines effizienten Verfahrens zur Erzeugung von DSPN-Modellen.

92/39:

Roebel, Axel: Dynamische Auswahl der Trainingsdaten Neuronaler Netze: Eine neue Methode zur Steuerung der Generalisierung.

92/40:

Niedeck, Siegfried: Einfuehrung eines vertraulichen Zwischenfallinformationssystems fuer die Luftfahrt in Deutschland.

92/41:

Pepper, Peter: Program Development in an Algebraic Setting.

92/41:

Classen, Ingo; Grosse-Rohde, Martin; Wolter, Uwe: Categorical Concepts for Parameterized Partial Specifications.

92/43:

German, Reinhard; Lindemann, Christoph: JAnalusis of Stochastic Petri Nets by the Method of Supplementary Variables. 92/44

92/45:

Löwe, Michael; Cornelius, Felix; Faulhaber, Joachim; Wessaely, Roland: Ein Fallbeispiel fuer KORSO. Das heterogene verteilte Managementsystem HDMS der Projektgruppe Medizin Informatik (PMI) am Deutschen Herzzentrum Berlin und an der TU Berlin. Ein Vorschlag.

Technische Berichte 1993

93/1:

Wolter, Uwe: Ableitungskalküle und operationale Semantik für algebraische Spezifikation mit bedingten Gleichungen-Totale Algebren -.

93/2:

Menge, Matthias: Register und Registerspeicher in Prozessorstrukturen Stand der Technik.

93/3:

Kauermann, Goeran: Dualization of Graphical Models. Maximum Likelihood and Dual Maximum Likelihood Estimation.

93/4:

Santen, Thomas: Formalization of the SPECTRUM Methodology in DEVA: Signature and Logical Calculus.

93/5:

Lutterbeck, Bernd, Wilhelm, Rudolf: Rechtsgueterschutz in der Informationsgesellschaft.

93/6:

Ehrig, Hartmut; Padberg, Julia; Ribeiro, Leila: Algebraic High Level Nets: Petri Nets Revisited.

93/7:

Tolksdorf, Robert: ALICE-Basic Model and Subtyping Agents.

93/8:

Padberg, Julia: Survey of High-Level Replacement Systems.

93/9:

Padberg, Julia, Taentzer, Gabriele: Embedding of Derivations in High-Level Replacement Systems.

93/10:

Wessaely, Roland: Vollstaendigkeitsbegriffe und Fixpunktsaetze fuer partielle Ordnungen. Eine vereinheitlichte Darstellung.

93/11:

Schieferdecker, Ina; Wolisz, Adam: Verifying Performance Bounds of Communication Protocols.

93/12:

Padberg, Julia; Ehrig, Hartmut; Rebeiro, Leila: Algebraic High-Level Net Transformation Systems.

93/13:

Ribeiro, Leila; Ehrig, Hartmut; Padberg, Julia: Formal Developpment of Concurrent Systems using Algebraic High-Level Nets and Transformations.

93/14:

Kaltenborn, Ulrich: Monte-Carlo-Integrationsverfahren bei der Schaetzung multinomialer Probit-Modelle.

93/15:

Siefkes, Dirk: Evolutionaere Modelle in der Informatik.

93/16:

Pepper, Peter; Suedholt, Mario; Exner, Juergen: Functional Programming of Massively Parallel Systems.

93/17:

Ehrig, Hartmut: FLEX: A Flexible Extension and Integration Concept for Software Software Developpment in KORSO and COMPASS.

93/18:

With, Lars: Completeness and Confluence of Order-Sorted Term Rewriting.

93/19:

Forschungsprojekte des Graduiertenkollegs "Kommunikationsbasierte Systeme: Research on Communication-Based Systems.

93/20:

German, Reinhard: A New Approach to the Approximation of Deterministic Time in in Continuos Time Stochastic Models.

93/21:

Korff, Martin: An Algebraic Graph Grammar Model for Actor Systems.

93/22:

Koschan, Andreas: What is New in Computational Stereo Since 1989: A Survey on Current Stereo Papers.

93/23:

Roebel, Axel: The dynamic pattern selection algorithm: Effective training and controlled generalization of backpropagation neural networks.

93/24:

Steinhaus, Bernhard: Das ec-Geldautomaten-System in Deutschland.

93/25:

Ehrig, Hartmut; Orejas, Fernando; Cornelius, Felix; Baldamus, Michael: Abstract and Behaviour Module Specifications.

93/26:

Toennies, Klaus: Bildverarbeitung und Computer Grafik in der Radiologie. Teil A (Methoden der Bildgebung und Verwaltung) Teil B (Segmentierung und 3D-Visualisierung)

93/27:

Kauermann, Goeran: Hierarchical Log Odds Models.

93/28:

Cornelius, Felix; Klar, Marcus; Löwe, Michael: Ein Fallbeispiel für Korso. Ist-Analyse für HDMS-A.

93/29:

Bassmann, Marc; Guentsch, Anton: Stochastische Topologieoptimierung fuer Backpropagation-Netze.

93/30:

Betschko, Ralph; Dick, Sabine; Didrich, Klaus; Grieskamp; Wolfgang: Formal Development of an efficient Implementation of a Lexical Scanner wothin the KorSo Methodology Framework.

93/31:

-Noch nicht erschienen-

93/32:

Tutz, Gerhard; Hennevogl: Random effects in ordinal Regression Models.

93/33:

Kauermann, Goeran: A Note on Two Further Applications of the EM Algorithm.

93/34:

Padberg, Julia; Ribeiro, Leila; Cornelius, Felix; Ehrig, Hartmut: Formal Requirements Analysis Using Algebraic High-Level Nets and Transformation

93/35:

-noch nicht erschienen-

93/36:

Kremer, Josef: Europaeischer Informationsmarkt-Die Vermarktung von Verwaltungsdaten in der Gemeinschaft.

93/37:

Löwe, Michael: Algebraische Graphersetzung: mathematische Modellierung und Konfluenz.

93/38:

Burtschick, Hans-Joerg; Lindner, Wolfgang: On Sets Turing Reducible to P-Selective Sets.

93/39:

Biersack, Maja; Raschke, Robert; Simons, Martin: The DevaWEB System Introduction,Tutorial,User Manual, and Implementation.

93/40:

Lindemann, Christoph; Zimmermann, Armin: Entwicklung eines Verfahrens zur Analyse von erweiterten DSPN-Modellen.

93/41:

Kelling, Christian: Verfahren der Parallelsimulation.

93/42:

Anlauff, Matthias: Deva's Interactive Laboratory.Tutorial and User Manual.

93/43:

Loehr, Frank; Fauth, Andreas; Frericks, Markus: SIGH/SIM- An Environment for Retargetable Instruction Set Simulation.

93/44:

-noch nicht erschienen-

93/45:

Hofbauer, Dieter; Huber, Maria: Linearizing Term Rewriting Systems Using Test Sets.

93/46:

Lindner, Wolfgang: On the Polynomial Time Bounded Measure of Degrees.

93/47:

Hofbauer, Dieter; Huber, Maria; Kucherov, Gregory: Some Results on Top-Context-Free Tree Languages.

Technische Berichte 1994

94/1:

Frauenstein, Thomas: Eine dienstorientierte applikative Prozesssprache und ihre Fundierung durch den II-Kalkuel.

94/2:

Frauenstein, Thomas: Typisierung applikativer Anbieter/Klienten-Prozesse.

94/3:

Nicht erschienen

94/4:

Korff, Martin: Computing by Graph Transformation II.

94/5:

Cormelius, Felix; Hussmann, Heinrich; Löwe, Michael: The Korso Case Study for Software Engineering with Formal Methods. A Medical Information System.

94/6:

Baldamus, Michael: Tau-less CCS with a Rimoyte Procedure Call Primitive.

94/7:

Ribeiro, Leila; Padberg, Julia: Algebraic High-Level Nets and Transformations with Initial Markings.

94/8:

Lindemann, Christoph; Zimmermann, Armin: An Adaptive Algorithm for the Efficient Generation of the Tangible Reachability Graph of a Stochastc Petri Net.

94/9:

Exner, Juergen: The OPAL Tutorial. The OPAL Group.

94/10:

Korff, Martin: Minimality of Derived Rules in Single Pushout Graph Rewriting.

94/11:

Herrmann, Stephan: Objektorientierter Entwurf zur Implementierung eines Systems zur Verzeichnisverwaltung anhand der Kriterien von PETS.

94/12:

Nicht erschienen

94/13:

Fauth, Andreas: The CBS Project-Final Report-.

94/14:

Koschan, Andreas; Schluens, Karsten: Grundlagen und Voraussetzungen fuer die digitale Farbbildverarbeitung.

94/15:

Ehrig, Hartmut; Padberg, Julia; Rozenberg, Grzegorz: Behaviour and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs.

94/16:

Jamiel, Mahamed: Specifying Communication Protocols with Temporal Logic.

94/17:

Pooyan-Weihs, Ladan: E-Structures as semantic Models of Labelled Transition Systems.

94/18:

Siefkes, Dirk: Zu einer oekologischen Theorie der Informatik.

94/19:

German, Reinhard; Kelling, Christian; Zimmermann, Armin; Hommel, Guenter: Time-Net-A Toolkit for Evaluating Non-Markovian Stochasic Petri Nets.

94/21:

Heinz, Birgit: Lemma Discovery by Anti-Unification of Reguoar Sorts.

94/22:

U.Wolter, Uwe: How to Cope with the Spectrum of SPECTRUM.

94/24:

Wolter, Uwe; Wessaely, Roland; Klar, Marcus; Cornelius, Felix: Four Institutions. A Unified Presentation of Logical Systems for Specification.

94/25:

Jmaiel, Mohamed: Development of Communication Protocols by Composing and Refining Temporal Specifications.

94/26:

Peter Kovacs,Guenter Hommel: Effizeinte bivariate homogene Dekomposition.

94/27:

Graduiertenkolleg: Contributions to the Quality of Communication-Based System.

94/29:

erscheint nicht

94/30:

Pepper, Peter; Betschko, Ralph; Dick, Sabine; Didrich, Klaus: Realizing Sets by Hash Tables:How to do it in KorSo.

94/31:

Michael Baldamus: A Non-Well-founded Sets Semantics for Observation Congruence over Full CCS.

94/32:

Wladyslaw Skarbek,Andreas Koschan: Colour Image Segmentation -A Survey-.

94/33:

Bellaire, Gunter: Komponenten der 3D-Objekterkennung.

94/34:

Löwe, Micheel, Yanbo Han: Process Modelling and Control with Higher-order Nets.

94/35:

Ehrig, Hartmut, Korff, Martin (Eds): Second Interim Report ESPRIT Basic Research Working Group No.7183 Computing by Graph Transformation II(COMPUGRAPH II).

94/36:

Pepper,Peter; Wirsing, Martin (Eds): KORSO: A Methodology for the Developpment of Correct Software.

94/37:

Ehrig, Hartmut, Löwe, Michael; Orejas, Fernando: Dynamic Abstract Data Types Based on Algebraic Graph Transformations.

94/38:

Leyde, Irina: Technische und soziale Strukturen virtueller Welten am Beispiel von TubMud.

94/39:

Burtschick, Hans-Joerg: Comparing Counting Classes for Logspace, One-way Logspace, Logtime, and First-Order.

Technische Berichte 1995

95/1:

Ehrig, Hartmut; Mahr, Bernd: A Decade of Topsoft:Aspects of Progress and Prospects in Theory and Practice of Software Development.

95/2:

Tutsch, Dietmar; Wilhelmi, Wolfgang: Leistungsanalyse bei Multicasting in gepufferten mehrstufigen Verbindungsnetzen.

95/3:

Deussen, Peter: Zur induktiven Fundierung von zweistufigen Compilerspezifikationswerkzeugen.

95/4:

Tutz, Gerhard; Kauermann, Goeran: Varying Coefficients in Multivariate Generalized Linear Models:a Local Likelihood Approach.

95/5:

Kauermann,Goeran;Tutz,Gerhard: Local Likelihood estimation and bias reduction in varying-coefficient models. 95/6

95/7:

Conrad,Mirko u.a.: Graphische Spezifikation ausgewaehlter Teile von AGG-einem algebraischen Graphgrammatiksystem.

95/8:

Heisel,Maritta; Santen, Thomas, Zimmermann, Dominik: A Generic System Architecture for Strategy-Based Software Development.

95/9:

Tutz, Gerhard; Pritscher, Lisa: Nonparametric Estimation of discrete hazard functions.

95/10:

Classen,Ingo; Löwe, Michael; Wasseroth, Susanne; Wortmann, Jan: Algebraic Semantics for Object-Oriented Programming.

95/11:

Conrad, Mirko: Anwendung algebraischer Graphtransformationen auf ausgewaehlte Probleme der Wissensreptaesentation und -Verarbeitung.

95/12:

Siefkes, Dirk: Beitraege zur Sozialgeschichte der Informatik.Bd 1.

95/13:

Siefkes, Dirk; Burtschick, Hans-Joerg; Nickelsen, Arfst; Schelm, Birgit: 26.Workshop ueber Komplexitaetstheorie,Datenstrukturen und effiziente Algorithmen.

95/14:

Theissing, Florian: Auf dem Weg in die Softwarekrise?

95/15:

Tutz, Gerhard: Dynamic Lodelling of Discrete Duration Data: a Local Likelihood Approach.

95/16:

Nicht erschienen

95/17:

Kutsche, Ralf-Detlef; Schoening,Carsten; Wasseroth,Susanne: Informationsmodellierung im Rahmen eines Umweltinformationssystems.

95/18:

Musial, Marek: Ein universeller passiver Protokoll- Monitor.

95/20:

Schaedler, Kristina, Scheffer, Thomas; Schmid, Ute; Wysotzki, Fritz: program synthesis by learning and planning.

95/21:

Baldamus, Michael; Frauenstein, Thomas: Congruence Proofs for weak bisimulation equivalences of higher-order process calculi.

95/22:

Tutsch, Dietmar; Hommel,Guenter: Performance Modeling of Buffered Multistage Interconnection Networks with Petrinets in Case of Packet Multicasting.

95/23:

Ehrig,Hartmut, Täntzer, Gabriele: Third Interim Report ESPRIT Basic Research Working Group No.7183. Computing by Graph Transformation II (COMPUGRAPH II)

95/24:

Damaskos, S.; Salama, H.F.(Eds.): Reservation Machanism for Efficient Resource Management in Internetwork.

95/25:

Zuse, Horst; Dumke, Reiner: 5. Workshop der GI-Arbeitsgruppe Softwaremetriken

95/27:

Ehrig, Hartmut; Grosse-Rohde, Martin; Wolter, Uwe: On the Role of Category Theory in the Area of Algebraic Specifications.

95/28:

Löwe, Michael, Mueller, Juergen: Theorie funktionaler Ersetzungssysteme   -Eine Übersicht-

95/29:

Bohlmann, Karsten: Studie zu einem Kalkuel fuer die funktionale Definition von Ordnungs- und Kommunikationsstrukturen.

95/30:

Pritscher, Lisa; Tutz,Gerhard: Verfahren der Glaettungsparameterwahl fuer Kernglaettungsmethoden im diskreten Verweildauermodell: Simulationen und reale Daten.

95/31:

Heisel, Maritta: Bi-Directional Approach to Modeling Architectures.

95/32:

Heisel, Maritta; Krishnamurthy, Balachander: Specification Case Study.

95/33:

Burtschick, Hans-Joerg; Vollmer, Heribert: Lindstroem Quantifiers and Leaf Language Definability.

95/34:

Löwe, Michael, Wikarski, Dietmar; Han, Yanbo: Higher- Order Object Nets and Their Application to Workflow Modelling.

Technische Berichte 1996

96/1:

Classsen, Ingo; Gogolla, Martin: Dynamics in Information Systems: Specification, Construction, and Correctness.

96/5:

Martini, Alfio: Elements of Basic Category Theory.

96/6:

Martini, Alfio; Ehrig, Hartmut; Nunes, Daltro: Graph Grammars- An Introduction to the Double-Pushout Aproach.

96/9:

Ermel, Claudia; Martini, Alfio: A Taste of Categorical Petri Nets.

96/10:

Frauenstein, Thomas; Glas, Rainer: Bisimulation Congruence for the Call-by-Value y-Calculus.

96/11:

Bardohl, Roswitha: Graphical Support for Prototyping of Algebraic Specifications by GVT.

96/12:

Ehrig, Hartmut; Kreowski, Hans-Joerg; Orejas, Fernando: Correctness of Horizontal and Vertical Compostion for Implementation Concepts Based on Constructors and Abstracts.

96/13:

Wolter, Katinka; Horton, Graham; German, Reinhard: Non- Markovian Fluid Stochastic Petri Nets.

96/14:

Frauenstein, Thomas; Grieskamp, Wolfgang; Suedholt, Mario: On the Semantics of a Conrurrency Monad with Choice and Services.

96/15:

Ermel, Claudia: Anforderungsanalyse eines medizinischen Informationssystems mit algebraischen High-Level-Netzen.

96/16:

Kozera, Ryszard: Uniqueness in Shape from shading Revisited.

96/16:

Nicht erschienen

96/17:

Ehrig, Hartmut; Taentzer, Gabriele: Final Report ESPRIT. Basic Research Working Group No. 7183. Computing by Graph Transformation II. (COMPUGRAPH II)

96/19:

Fraunenstein, Thomas et al: Communicating Functional Agents and their Application to Graphical User Interfaces.

96/20:

Ehrig, Hartmut; Heckel, Reiko; Korff, Martin; Löwe, Michael; Ribeiro, Leila; Wagner, Annika; Corradini, Andrea: Algebraic Approaches to Graph Transformation Part II: Single Pushout Approach and Comparison with Doule Pushout Approach.

96/22:

Heckel, Reiko; Corradini, Andrea; Ehrig, Hartmut; Löwe, Michael: Horizontal and Vertical Structuring of Typed Graph Transformation Systems.

96/23:

Ribeiro, Leila: A Telephone's System Specification using Graph Grammars.

96/24:

Luehl, Marie: Mensch - Commputer - Symbiose: zur technischen Umsetzung einer Vision.

96/25:

Kelling, Christian: Conventional and Fast Simulation Techniques for Stochastic Petri Nets.

96/26:

Schaedler, Kristina; Wysotzki, Fritz: Theoretical Foundations of a Special Neural Net Approach for Graphmatching.

96/27:

Baldamus, Michael; Dingel, Juergen: Modal Characterization of Weak Bisimulation for Higher-order Processes.

96/28:

Chakravarty, Manuel; Guo, Yike; Tetsuo, Ida: Multi-Paradigm Logic Programming.

96/29:

Rueger, Stefan; Weinberger, Anton; Wittchen, Sabastian: Decimatable Boltzmann Machines cs. Gibbs Sampling.

96/30:

Wunsch, Matthias: Die Rolle des Konstruktionsbegriffs im Verhaeltnis von formalen Spezifikationskalkuels und intuitionistischer Mathematik.

96/34:

Weber, Cornelius; Ritter, Helge; Cowan, Jack; Obermayer, KlausDevelopment and Regeneration of the Retinotectal Map in Goldfish: A Computational Study

96/35:

Heindl, Armin; German, Reinhard: A forth-Order Algorithm with Automatic Stepsize Control for the Transient Analysis of DSPNs.

96/36:

Koch, Manuel: Modellierung und Nachweis der Konsistenz von verteilten Transaktionsmodellen für Datensysteme mit algebraischen Graphgrammatiken.

96/37:

German, Reinhard: SPNL: Processes as Language-Oriented Building Blocks of Stachastic Petri Nets.

96/38:

Müller, Jürgen: On Termination of Single-Pushout Graph Rewriting.

96/39:

Schmid, Ute; Krems, Josef; Wysotzki, Fritz: Proceeding s of the First European Workshop on Conjunctive Modeling in conjunction with EuroSoar-10.

96/40:

Bohlmann, Karsten: A Causal Model and a Declarative Programming Language for Concurrent Systems

96/41:

Wagner, Susanne: Teilzeitstudium: Umfrage am Fachbereich Informatik der TU Berlin.

96/42:

Kuhlmann, Thomas: Gleichzeitige Simulation von seltenen und haeufigen Ereignissen und Zustaenden mit RESTART.

96/43:

Wortnann, Jan: Object-Oriented Analysis for Advanced Flight Data Management.

96/44:

Grosse-Rohde, Martin: First Steps Towards an Institution of Algebra Replacement Systems.

96/45:

Berry, Daniel M.; Weber, Matthias: A Pragmatic, Rigorous Integration of Structural and Behavioral Modeling Notations.

Technische Berichte 1997

97/1:

noch nicht erschienen

97/2:

Eulenhoefer, Peter; Siefkes, Dirk; Stach, Heike: Informatics as Cultural Development.

97/3:

Staedtler, Klaus; Stach, Heike; Koreuber, Mechthild; Eulenhoefer, Peter; Braun, Anette: Die Rekonstruktion von Orientierungsmustern in Fachtexten aus der Informatik.

97/4:

Wikarski, Dietmar: Petri Net Tools-A Comparative Study.

97/5:

Rueger, Stefan: Efficient Inference and Learning in Decimatable Boltzmann Machines.

97/6:

Demuth, Jochen; Weber, Stephan; Kannapinn, Soeren; Kroeplin, Mario: Echte Compilergenerierung: Effiziente Implementierung einer abgeschlossenen Theorie.

97/7:

Heckel, Reiko; Ehrig, Hartmut; Wolter, Uwe; Corradini, Andrea: Loose Semantics and Constraints for Graph Transformation Systems.

97/9:

Busse, Susanne; Kutsche, Ralf-Detlef: Objektbasierte Integration einer externen heterogenen Informationsbasis.

97/10:

Bardohl, Roswitha: Application of Graph Transformation to Visual Languages.

97/11:

Koch, Manuel: Bedingte Verteilte Graphtransformation und ihre Anwendung auf verteilten Transaktionen.

97/12:

Weber, Matthias: Abstract Object Systems - A Three-Layer Model of Concurrent Real-Time Object Systems

97/13:

Buessow, Robert; Geisler, Robert; Klar, Marcus; Mann, Stefan: Spezifikation einer Lichtsignalanlagen-Steuerung mit nSZ.

97/14:

Ehrig, Hartmut; Gajewsky, Maike; Padberg, Julia: Action Nets and Abstract Statecharts in the Theory of Regh-Level Replacement Systems.

97/15:

Guhe, Markus; Kupczyk, Slawomir; Weidt, Alexander; Wieland, Jacob: Spezifikation einer Lichtsignalanlage mit Ststecharts.

97/16:

Müller, Jürgen: Shifting Derivations of non-injective Rules in the Algebraic Graph Rewriting Approaches.

97/17:

Bjollmann-Sdorra, Peter: Messtheoretische Ableitung einer Mischungsformel.

97/18:

Müller, Jürgen: A Non-categorial Characterization of Sequential Independence for Algebraic Graph Rewriting and some Applications.

97/19:

Ermel, Claudia; Padberg, Julia:Formalization of Variables in Algebraic High-Level Nets: Comparison of Different Approaches

97/20:

Tutsch, Dietmar; Hommel, Guenther: Analysis of Multicasting in Buffered Multistage Interconnection Networks

97/21:

Ehrig, Hartmut; Reisig, Wolfgang; Weber, Herbert: Move-On-Workshop der DFG-Forschergruppe Petrinets-Technologie

97/22:

Ermel, Claudia; Gajewsky, Maike; Padberg, Julia:Refinement versus Verification: Compatibility of Net Invariants and Stepwise Development of High-Level Petri Nets.

97/23:

Eulenhoefer, Peter; Siefkes, Dirk; Stach, Heike; Staedtler,Klaus: Die Konstruktion von Hybridobjekten als Orientierungmuster in der Informatik.

97/26:

Buessow, Robert; Geisler, Robert; Grieskamp, Wolfgang; Klar, Markus: The nSZ Notation Version 1.0.

Technische Berichte 1998

98/01:

Adorjan, Peter; Levitt, Jonathan; Lund, Jennifer; Obermayer, Klaus: A Model for the Intracortical Origin of Orientation Preference and Tuning in Macaque Striate Cortex.

98/02:

Schmid, Ute; Wysotzki, Fritz: Qualitative und Quantitative Approaches to Spatial Inference and the Analysis of Movements.

98/04:

Löwe, Michael: Evolution Patterns: ein formaler Ansatz zur Entwicklung langlebiger Softwaresysteme auf der Basis von Graphgrammatiken.

98/05:

Geisler, Robert; Klar, Marcus; Pons, Claudia: Dimensions and Dichotomy in Metamodeling.

98/07:

Geibel; Gips: Wiebrock; Wysotzki: Learning Spatial Relations with CAL5 and TRITOP

98/08:

Heindl, Armin: Approximate Analysis of Queueing Networks with Finite Buffers and Losses by Decomposition

98/09:

Scheffer, Tobias; Joachims, Thorsten: Estimating the Expected Error of Empitical Minimizers for Model Selection.

98/10:

Ehrig, Hartmut; Orejas, Fernando: Integration and Classification of Data Type and Process Specification Techniques.

98/11:

Hrsg. von Fritz Wysotzki, Peter Geibel und Kristina Schaedler:Beitraege zum Treffen der GI-Fachgruppe 1.1. 3 Maschinelles Lernen FGML-98.

98/15:

Organized by: TU-Berlin. In Cooperation with: Shanghai Jiao Tong University, China. Ed.: Guenter Hommel:International Workshop on Communication Based Systems.

98/16:

Hrsg. von Ute Schmid, Christoph Schlieder und Simone Pribbenow:Proceedings des Workshops "Maschinelles Lernen und Konzept- erwerb.

Technische Berichte 1999

99/01:

Zuse, Horst: Geschichte der Programmiersprachen

99/02:

Ehrig,Hartmut;Heckel,Reiko;Llabres,M.;Orejas,Fernando: Basic Properties of Double- Pullback Graph Transitions.

99/03:

Herbrich; Graepel; Obermeyer: Regression Models for Ordinal Data: A Machine Learning Approach

99/04:

Grosse-Rhode, Martin: Specification of State Based Systems by Algebra Rewrite Systems and Refinements

99/05:

Pepper,Peter: LR Parsing = Grammar Transformation + LL Parsing Making LR Parsing More Understandable And More Efficient

99/06:

Siefkes, Dirk: Die Rolle von Schemata in der Informatik als kultureller Entwicklung

99/07:

Balles, Ulrike: Die kulturelle Erfindung des Computers - eine Analyse des Nachrichtenmagazins "DER SPIEGEL"

99/08:

Busse, Susanne: A Specification Language for Model Correspondance Accertions

99/09:

Busse, S., Kutsche R.-D., Leser, U., Weber H.: Federated Information Systems: Concepts, Terminology and Architectures

99/10:

Dehnert, J.,Schwenzer I.: Die Fan-Dialogmodellierung: Ein Konzept zur Beschreibung von Dialogabläufen mit Petrinetzen

99/13:

Ehrig, Hartmut; Orejas, Fernando; Padberg, Julia: Relevance, Integration and Classification of Specification Formalism and Formal Specification Techniques

99/17:

Wiebrock, S.; Wysotzki, F.: Lernen von räumlichen Relationen mit CAL5 und DIPOL

99/18:

Didrich, Klaus: Compiler Support for Specification and Justification - (Description of a Case Study)

99/19:

Weber,Hans Hermann Eine Heuristik fuer einfache Maschinenbelegungsprobleme

99/20:

Fetcke, ThomasThe Warehouse Software Portfolio A Case Study in Functional Size Measurement

 

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Technische Berichte 2000

2000/1:

Gemeinsamer Bericht der Arbeitsgruppe "Fuzzy-Petri-Netze" im Schwerpunktprogramm Modellierung der Produktion:

Modellierungstechniken fuer Fertigungssysteme auf der Grundlage von Petri-Netzen (Vergleich der Verfahren)

2000/3:

Aliki Tsiolakis

Consistency Analysis of UML Class and Sequence Diagrams based on Attributed Typed Graph Grammars and their Transformation

2000/4:

H. Ehrig, M. Große-Rhode, F. Orejas

Integration of Specification Techniques with Applications in Engineering (extended abstracts)

2000/5:

Schunke, Katja

Zur Rezeption des Plankalkues von Konrad Zuse (Die Einordnung in die Programmiersprachenkonzepte zur Zeit seiner Veroeffentlichung)

2000/7:

Dietmar Tutsch

Zur Generating Systems of Equations for Performance Evaluation of Multistage Interconnection Networks

2000/8:

Hoernig, Robin; Wiebrock, Sylvia; Eyferth,Klaus; Schmid,Ute; Wysotzk,Fritz:

Do Reference Frames in Language Map onto Those of Mental Models?

2000/11:

Martin Große-Rhode, Ralf Detlef Kutsche, Felix Bübl

Concepts for the Evolution of Component-Based Software Systems

2000/12:

M. Gajewsky, F. Parisi-Presicce

Formal Transformations of Petri Nets

2000/13:

J. Padberg, M. Gajewsky

Safety Preserving Transformations of Coloured Petri Nets

2000/14:

Sylvia Wiebrock

Anwendung des Lernalgorithmus CAL5 zur Generierung von Depiktionen und zur Inferenz von räumlichen Relationen

2000/15:

Jennifer Tenzer

Translation of UML Class Diagrams into Diagrams of Transformation Specification

2000/18:

Weber, Hans Hermann

Eine Heuristik für einfache Maschinenbelegungsprobleme (2.Teil)

2000/21:

John, Sebastian

Zur kompositionalen Semantik von objektorientierten Statecharts (ps) (pdf)

 

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Technische Berichte 2001

2001/02:

Fritz Wysotzki, Ute Schmid

Synthesis of Recursive Programs from Finite Examples by of Macro-Funktions

2001/03:

Julia Padberg

Place/Transition Net Modules: Transfer from Specification Modules

2001/05:

Daniel Parnitzke

On Formal Semantics of Object Systems with Data and Object Attributes

2001/06:

Aliki Tsiolakis

Semantic Analysis and Consistency Checking of UML Sequence Diagrams

2001/07:

Mesut Özhan

Semantishe Konsitenzanalyse von UML Sequenz- und Zustandsdiagrammen

2001/08:

Maike Gajewsky, Julia Padberg, Milan Urbasak

Rule-Based Refinement for Place/Transerving Liveness-Properties

2001/09:

Jennifer Tenzer

A Formal Semantics of UML Class Diagrams based on Transformations Systems

2001/11:

Margot Bittner, Wilfried Koch

Softwareentwicklung mit Komponenten

2001/12:

Hartmut Ehrig, Fernando Orejas

A Generic Component Concept for Integrated Data Type and Process Modeling Techniqes

2001/13:

Martin Große-Rhode

Semantic Integration of Heterogeneous Formal Specifications via Transformation Systems

2001/17:

M.Menge

Beschreibung eines Übersetzer-Übersetzers zur lexikalischen Analyse von Bitmustern.

2001/19:

R. Bardohl, C. Ermel, H. Ehrig

Generic Description of Syntax, Behavior and Animation of Visual Models

2001/20:

M.Menge

Beschreibung einer Klasse zur universellen Generierung textueller und binärer Ausgaben

2001/21:

Hartmut Ehrig

From Algebraic Module Specifications to Component Concepts and Integrated Modeling Techniques

 

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Technische Berichte 2002

2001/01:

Charles Stewart

Synthesis of Recursive Programs from Finite Examples by of Macro-Funktions

2002/02:

H.Ehrig, Mitarbeiter

A Transformation-Based Component Framework for a Generic Integrated Modeling Technique

2002/03:

Dr.-Ing. M. Menge

Gironimo - High Speed, Virtual Processor

2002/08:

Markus Lepper

TUB- TCI --- A Generic Architecture for Distributed Test Execution

2002/13:

Roswitha Bardhohl, Claudia Ermel, Ingo Weinhold

specification and Analysis Techniques for Visual Languages with GenGED

2002/14:

Milan Urbasek

New Safety Property and Liveness Preserving Morphisms of P/T Systems

2002/19:

S. Bischoff, F. Wysotzki

A New Distance Measure for Segmented Images Based on MPEG-7 Descriptors

Titel

2002/20:

Felix Bübl

The Context-Based Constraint Language CCL for Components

2002/21:

Liliana Grigoriu

Transformation Systems Semantics and Compositionality of Algebraic Petri Nets

2002/23:

Christiane Kiesner, Gabriele Taentzer, Jessica Winkelmann

Visual OCL: Eine visuelle Notation der Object Constraint Language

2002/24:

Ahmad Ramin Tavakoli Kolagari

Transformation of Open and Algebraic High-Level Petri Net Classes

 

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Technische Berichte 2003

Technische Berichte 2004

2004/01:

P. Pepper

How To Obtain Powerful Parsers That Are Elegant and Practical

2004/02:

Sepp Hochreiter, Klaus Obermayer

Classification, Regression, and Feature Selection on Matrix Data

2004/04:

Florian Kammüller, Jeffrey W. Sanders

Idempotent Relation in Isabelle/HOL

2004/06:

Stephan Herrmann

Confinement and Representation Encapsulation in Object Teams

2004/07:

Sebastian Bab, Arfst Nickelsen

Reducibilities Between Polynomial Time Partial Information Classes Over 2-Families

---

Kommentare bitte an: juergens@cs.tu-berlin.de
23.08.2004