Publikationen

Informationssystem der Friedrich-Alexander-Universität Erlangen-Nürnberg

Sammlung/Stundenplan Modulbelegung

Home | Rechtliches | Kontakt | Hilfe

Suche:

Lehr-
veranstaltungen

Personen/
Einrichtungen



	Darstellung
		Druckansicht ausführliche Fassung

Einrichtungen >> Technische Fakultät (TF) >> Department Informatik (INF) >>

Lehrstuhl für Informatik 2 (Programmiersysteme)

	2022 Delay Estimation in Dense Multipath Environments using Time Series Segmentation
	2021 Accuracy-Aware Compression of Channel Impulse Responses using Deep Learning Apparatuses and Methods for Correcting Orientation Information From One or More Inertial Sensors Contact Tracing with the Exposure Notification Framework in the German Corona-Warn-App Datengetriebene Methoden zur Bestimmung von Position und Orientierung in funk- und trägheitsbasierter Koppelnavigation Estimating TOA Reliability with Variational Autoencoders Method for Predicting a Motion of an Object, Method for Calibrating a Motion Model, Method for Deriving a Predefined Quantity and Method for Generating a Virtual Reality View Method For Setting a Viewing Direction in a Representation of a Virtual Environment Method to Determine a Present Position of an Object, Positioning System, Tracker and Computer Program Methods and Apparatuses for Positioning in a Wireless Communications Network Methods and Apparatuses for Positioning in a Wireless Communications Network Robust ToA-Estimation using Convolutional Neural Networks on Randomized Channel Models
	2020 A Sense of Quality for Augmented Reality Assisted Process Guidance Apparatuses and Methods for Correcting Orientation Information From One or More Inertial Sensors Apparatuses and Methods for Correcting Orientation Information From One or More Inertial Sensors From Zero to Useless to Hero: Make Runtime Data Useful in Teams Localization Limitations of ARCore, ARKit, and Hololens in Dynamic Large-Scale Industry Environments Method for Predicting a Motion of an Object, Method for Calibrating a Motion Model, Method for Deriving a Predefined Quantity and Method for Generating a Virtual Reality View Method for Predicting a Motion of an Object, Method for Calibrating a Motion Model, Method for Deriving a Predefined Quantity and Method for Generating a Virtual Reality View Method for Predicting a Motion of an Object, Method for Calibrating a Motion Model, Method for Deriving a Predefined Quantity and Method for Generating a Virtual Reality View Method for Predicting a Motion of an Object, Method for Calibrating a Motion Model, Method for Deriving a Predefined Quantity and Method for Generating a Virtual Reality View Method For Setting a Viewing Direction in a Representation of a Virtual Environment Method to Determine a Present Position of an Object, Positioning System, Tracker and Computer Program Method to Determine a Present Position of an Object, Positioning System, Tracker and Computer Program Method to Determine a Present Position of an Object, Positioning System, Tracker and Computer Program Method to Determine a Present Position of an Object, Positioning System, Tracker and Computer Program Real-Time Gait Reconstruction For Virtual Reality Using a Single Sensor RNN-aided Human Velocity Estimation from a Single IMU ViPR: Visual-Odometry-aided Pose Regression for 6DoF Camera Localization
	2019 A Bidirectional LSTM for Estimating Dynamic Human Velocities from a Single IMU A Framework for Location-Based VR Applications A Social Interaction Interface Supporting Affective Augmentation Based on Neuronal Data Apparatus and Method for Efficient State Determination and Localisation Between Mobile Platforms Apparatuses and Methods for Correcting Orientation Information From One or More Inertial Sensors Apparatuses and Methods for Correcting Orientation Information From One or More Inertial Sensors Apparatuses and Methods for Correcting Orientation Information From One or More Inertial Sensors Apparatuses and Methods for Correcting Orientation Information From One or More Inertial Sensors Brain 2 Communicate: EEG-based Affect Recognition to Augment Virtual Social Interactions Efficient Inspected Critical Sections in Data-Parallel GPU Codes Effiziente Speicherung von Zeitreihen mit Betriebsdaten aus Software-Systemen zur Analyse von Laufzeitanomalien GPU-Accelerated Fixpoint Algorithms for Faster Compiler Analyses (Best Paper Award) Method for Predicting a Motion of an Object, Method for Calibrating a Motion Model, Method for Deriving a Predefined Quantity and Method for Generating a Virtual Reality View Method for Predicting a Motion of an Object, Method for Calibrating a Motion Model, Method for Deriving a Predefined Quantity and Method for Generating a Virtual Reality View Method for Predicting a Motion of an Object, Method for Calibrating a Motion Model, Method for Deriving a Predefined Quantity and Method for Generating a Virtual Reality View Method For Setting a Viewing Direction in a Representation of a Virtual Environment Method for Setting a Viewing Direction in a Representation of a Virtual Environment Method for Setting a Viewing Direction in a Representation of a Virtual Environment Method for Setting a Viewing Direction in a Representation of a Virtual Environment Method for Setting Viewing Direction in Representation of Virtual Environment Method to Determine a Present Position of an Object, Positioning System, Tracker and Computer Program Method to Determine a Present Position of an Object, Positioning System, Tracker and Computer Program Method to Determine a Present Position of an Object, Positioning System, Tracker and Computer Program OpenMP on FPGAs - A Survey OpenMP to FPGA Offloading Prototype using OpenCL SDK SeSaMe: A Data Set of Semantically Similar Java Methods Sick Moves! Motion Parameters as Indicators of Simulator Sickness UWB Channel Impulse Responses for Positioning in Complex Environments: A Detailed Feature Analysis ViPR: Visual-Odometry-aided Pose Regression for 6DoF Camera Localization Vorrichtung und Verfahren zur effizienten Zustandsbestimmung und Lokalisierung zwischen mobilen Plattformen Which Graph Representation to Select for Static Graph-Algorithms on a CUDA-capable GPU
	2018 A Location-Based VR Museum Apparatuses and Methods for Correcting Orientation Information From One or More Inertial Sensors Apparatuses and Methods for Correcting Orientation Information From One or More Inertial Sensors Beyond Replication: Augmenting Social Behaviors in Multi-User Social Virtual Realities Head-to-Body-Pose Classification in No-Pose VR Tracking Systems Human Compensation Strategies for Orientation Drifts Making Runtime Data Useful for Incident Diagnosis: An Experience Report Optical Camera Communication for Active Marker Identification in Camera-based Positioning Systems Recurrent Neural Networks on Drifting Time-of-Flight Measurements Supervised Learning for Yaw Orientation Estimation Vorrichtungen und Verfahren zum Korrigieren von Ausrichtungsinformationen von einem oder mehreren Trägheitssensoren Vorrichtungen und Verfahren zum Korrigieren von Ausrichtungsinformationen von einem oder mehreren Trägheitssensoren
	2017 A Wireless Tracking Solution for a Dynamic Team Sports Application Acoustical manipulation for redirected walking AuDoscore: Automatic Grading of Java or Scala Homework Chronix: Long Term Storage and Retrieval Technology for Anomaly Detection in Operational Data Diff Graphs for a fast Incremental Pointer Analysis Eine domänenspezifische Sprache zur Analyse von Software-Verfolgbarkeitsinformationen Leveraging the GPU on Spark Maschinelles Lernen: Ein Blick hinter die Kulissen Mehrwerte durch maschinelles Lernen in der Lokalisierung Method for Setting a Viewing Direction in a Representation of a Virtual Environment Method For Setting a Viewing Direction in a Representation of a Virtual Environment Modellierung und effiziente Ausführung von Softwareentwicklungsprozessen More Accurate Recommendations for Method-Level Changes Social Augmentations in Multi-User Virtual Reality: A Virtual Museum Experience Verfahren zum Einstellen einer Blickrichtung in einer Darstellung einer virtuellen Umgebung
	2016 Automatic clustering of code changes Chronix - A fast and efficient time series storage based on Apache Solr Chronix as Long Term Storage for Prometheus Concept for encoding data defining coded positions representing a trajectory of an object Datenanalyse und Ereigniserkennung für Echtzeit-Feedback im Sport Inter-Satellite Ranging in the Low Earth Orbit Low-Complexity PDoA-based Localization Move-Optimized Source Code Tree Differencing The new time series kid on the block Virtual and augmented reality in sports: an overview and acceptance study
	2015 Apache Solr as a compressed, scalable and high performance time series database Approximative Event Processing on Sensor Data Streams (Best Poster and Demostration Award) Concurrent Computing in the Many-core Era (Dagstuhl Seminar 15021) Fast and efficient operational time series storage: The missing link in dynamic software analysis FREACSIM - A Framework for Creating and Simulating Real-Time Capable Network on Chip Systems and Applications Rahmenwerk zur Ausreißererkennung in Zeitreihen von Software-Laufzeitdaten Simultaneous inspection: Hiding the overhead of inspector-executor style dynamic parallelization
	2014 A Modular and Statically Typed Effectful Stack for Custom Graph Traversals Adaptive Speculative Processing of Out-of-Order Event Streams Combining Lock Inference with Lock-Based Software Transactional Memory Compiler and Runtime Techniques to Identify and Optimize Atomic Blocks in Parallel Programs Design for Diagnosability Latency Minimization of Order-Preserving Distributed Event-Based Systems Predictive Load Management in Smart Grid Environments (Best Paper Award) Using Multi Level-Modeling Techniques for Managing Mapping Information
	2013 Apparatus, Method and Computer Program for Providing a Virtual Boundary Apparatus, Method, and Computer Program for Processing Out-of-Order Events CellCilk: Extending Cilk for heterogeneous multicore platforms Compiler-Guided Identification of Critical Sections in Parallel Code Design for Diagnosability: Wie mache ich Software diagnostizierbar? Distributed Low-Latency Out-of-Order Event Processing for High Data Rate Sensor Streams Do Event-Based Systems have a Passion for Sports? (Best Poster/Demo Audience Award) Double inspection for run-time loop parallelization Dynamic Low-Latency Distributed Event Processing of Sensor Data Streams Evolutionary Algorithms that use Runtime Migration of Detector Processes to Reduce Latency in Event-Based Systems Language and Runtime Techniques for better Model Checking Efficiency of Parallel Programs Object Support for OpenMP-style Programming of GPU Clusters in Java Reduktion von False-Sharing in Software-Transactional-Memory Reliable Speculative Processing of Out-of-Order Event Streams in Generic Publish/Subscribe Middlewares Runtime Migration of Stateful Event Detectors with Low-Latency Ordering Constraints The DEBS 2013 Grand Challenge
	2012 An Integrated Tool Chain for Software Process Modeling and Execution Annotation Support for Generic Patches Apparatus, Method and Computer Program for Migrating an Event Detector Process Dynamische probabilistische Bewegungsmodelle mittels Verhaltensmodellierung Expressing Parallelism and Timing in Embedded Real-Time Applications Learning Event Detection Rules with Noise Hidden Markov Models Modellbasierte Extraktion, Repräsentation und Analyse von Traceability-Informationen Multicore Software Engineering, Performance and Tools (Proceedings MSEPT 2012) Parallel Memory Defragmentation on a GPU Towards a Distributed Self-Optimizing Event Processing System for Realtime Locating Systems (RTLS) TracQL: A Domain-Specific Language for Traceability Analysis Vorrichtung, Verfahren und Computerprogramm zum Verbessern einer Leistungsfähigkeit eines ereignisbasierten verteilten Analysesystems Vorrichtung, Verfahren und Computerprogramm zur Rekonstruktion einer Bewegung eines Objekts
	2011 A FUML-Based Distributed Execution Machine for Enacting Software Process Models A Hybrid Functional and Object-Oriented Language for a Multi-Core Future A Statically Typed Query Language for Property Graphs Apparatus and Method for Analyzing Sensor Data Apparatus and Method for Synchronizing Events Apparatus and Method for Transferring Event Detector Processes Apparatus and Method for Transmitting A Message to Multiple Receivers Dynamische Analyse mit dem Software-EKG Dynamische Analyse mit dem Software-EKG Enabling Multiple Accelerator Acceleration for Java/OpenMP Is There Hope for Automatic Parallelization of Legacy Industry Automation Applications? Iterative data-parallel mark & sweep on a GPU JavaParty Online Data Stream Mining on Interactive Trajectories in Soccer Games Portable Device, Virtual Reality System and Method Proceedings of the 4th International Workshop on Multicore Software Engineering (IWMSE 2011) ReflexML: UML-based architecture-to-code traceability and consistency checking Source Code Transformations to Increase the Performance of Software Transactional Memory (Poster Presentation) Structural Equivalence Partition and Boundary Testing Trajectory Behavior Language
	2010 Attribute Grammar Based Genetic Programming Concept for encoding data defining coded orientations representing a reorientation of an object Concept for encoding data defining coded positions representing a trajectory of an object Design for determining an estimated value for a position of a reception element DOMjudge - An Automated Judging System for Programming Contests Environment-Based Measurement Planning for Autonomous RTLS Configuration eSPEM - A SPEM Extension for Enactable Behavior Modeling Graph transformation by computational category theory Graphbasierte Prozedurale Abstraktion Improved DSM Efficiency, Flexibility, and Correctness Irregular data-parallelism in a parallel object-oriented language by means of Collective Replication JCudaMP: OpenMP/Java on CUDA Online Data-Mining of trajectories in Real Time Location Systems Proceedings of the 3rd International Workshop on Multicore Software Engineering (IWMSE'10) Safe and Familiar Multi-core Programming by means of a Hybrid Functional and Imperative Language
	2009 A Language Independent JIT compiler library A meta-predictor framework for prefetching in object-based DSMs Acceleration of a Relative Positioning Framework An Efficient Configuration Method for RTLSs Automatische Generierung von AUTOSAR Software Component Descriptions. Autonomous Configuration Method for Real-Time Location Systems DAG Mining for Code Compaction Dynamic Code Footprint Optimization for the IBM Cell Broadband Engine Dynamische Programm-Code-Verwaltung und -Optimierung für eingebettete Systeme Ein agentenbasierter evolutionärer Adaptions- und Optimierungsansatz für verteilte Systeme Erfahrungen bei der modellbasierten Entwicklung von Fahrwerksregelfunktionen im AUTOSAR Umfeld und notwendige Entwicklungsschritte Reparallelization and Migration of OpenMP Applications in Grid Environments Reparallelization Techniques for Migrating OpenMP Codes in Computational Grids Tapir: Language Support to Reduce the State Space in Model-Checking Text Mining in Program Code
	2008 A DSM protocol aware of both thread migration and memory constraints (Best Paper) A Proposal for OpenMP for Java An Automatic Cost-based Framework for Seamless Application Migration in Grid Environments Automatic Prefetching with Binary Code Rewriting in Object-based DSMs (Best Paper) Cluster Research at the Programming Systems Group DAGMA: Mining Directed Acyclic Graphs (Outstanding Paper Award) Decentralized Evolutionary Optimization Approach to the p-median Problem Evaluation of RDMA opportunities in an Object-Oriented DSM Fallstudie zur Modellierung von Software-Entwicklungsprozessen auf Basis von SPEM 2.0 Graph-Based Procedural Abstraction Implementierung eines LLVM-Backends für Jackal Lattice Boltzmann Method for DSM Systems Präzisierung und werkzeuggestützte Umsetzung des Software Process Engineering Metamodel 2.0 Solving the School Time Tabling Problem Using Tabu Search, Simulated Annealing, Genetic and Branch & Bound Algorithms Supporting Huge Address Spaces in a Virtual Machine for Java on a Cluster Untersuchung und Evaluation von Methoden, Notationen und Werkzeugen zur Modellierung von Software-Entwicklungsprozessen Vorrichtung zur Verfolgung eines beweglichen Objekts
	2007 Adaptive Optimierung des Prefetch-Verhaltens bei objektorientierten Multi-Tier Client-Server-Systemen Application of a memetic algorithm to the calibration of micro-lithography Design and Implementation of a DAG-Miner Esodyp+: Prefetching in the Jackal Software DSM evolFIR: Evolving redundancy-free FIR structures Graph-Based Procedural Abstraction Haploinsufficiency of TCF4 causes syndromal mental retardation with intermittent hyperventilation (Pitt-Hopkins syndrome) JaMP: An Implementation of OpenMP for a Java DSM Modellbasierte Generierung von Beherrschungsmechanismen für Inkonsistenzen in komponentenbasierten Systemen Molecular karyotyping in patients with mental retardation using 100 K SNP arrays Parallel Dynamic Parameter Adaption of Adaptive Array Antennas Based on Nature Inspired Optimisation Relabeling and the independence theorem in the double-pushout approach to graph transformations Reparallelisierung und Migration von OpenMP-Applikationen (Young Researchers Award) Reparallelization and Migration of OpenMP Programs Reuse of Software in Distributed Embedded Automotive Systems Self-Adaptive Ant Colony Optimisation Applied to Function Allocation in Vehicle Networks
	2006 A novel Mathematical Model for the Optimization of DNA-Chip Design and its Implementation Adaption in distributed systems: an evolutionary approach Agent Engineering Requirements Engineering An Integrated Framework for Distributed Timetabling Automatic Design of Features for Classification of Physiological Signals Using Genetic Programming Computational Life Sciences II Dynamic hardware-based optimization for adaptive array antennas Edgar: the Embedding-baseD GrAph MineR Evolutionary adaption in complex systems using the example of a logistics problem Extension and parallelization of a graph-mining-algorithm JaMP: An Implementation of OpenMP for a Java DSM Mining Molecular Datasets on Symmetric Multiprocessor Systems Optimisation of the Allocation of Functions in Vehicle Networks Optimisation of the Variant Combination of Control Units Considering the Order History Procedural Abstraction for ARM-Architectures SPiCE in der Praxis - Interpretationshilfe für Anwender und Assessoren String Generating Hypergraph Grammars with Word Order Restrictions The ParMol Package for Frequent Subgraph Mining The ParMol package for frequent subgraph mining Using hardware-based particle swarm method for dynamic optimization of adaptive array antennas Word Order and Discontinuities in Dependency Grammar
	2005 A Lexicon for Metaphors and Idioms A quantitative comparison of the subgraph miners MoFa, gSpan, FFSM, and Gaston A System-Level Appraoch to Hardware Reconfigurable Systems Adaption population size and strategies in multi agents systems using evolutionary computation An Evolutionary Approach to Tetris Beschreiben und Parsen von Graphen Changing Labels in the Double-Pushout Approach Can Be Treated Categorically Computational Life Sciences Development of a Hardware Based Genetic Optimizer to Adjust Smart Antenna Receiver Development of a model-library for quick estimation of resources of Field-Programmable Gate Arrays and Application Specific Integrated Circuits for automated Intellectual Property core generation with redFIR 2 Evolving Swarms that Build 3D Structures Graph Transformations and Neural Networks Implementation and Optimization of the Lattice Boltzmann Method for the Jackal DSM System Learning from Noise Data with the Help of Logic Programming Systems MoSS: A Program for Molecular Substructure Mining Near Overhead-free Heterogeneous Thread-migration Optimierung von Steuergerätevarianten unter Berücksichtigung der Kundenbestellungen Parallel Mining for Frequent Fragments on a Shared-Memory Multiprocessor -Results and Java-Obstacles- Proceedings of MGTS 2005 Quick Estimation of Resources of FPGAs and ASICs Using Neural Networks SPiCE in der Praxis - Interpretationshilfe für Anwender und Assessoren Subgraph Mining Why emergent systems can enhance system quality
	2004 Advanced Compiling Techniques to reduce RAM Usage of Static Operating Systems Advanced Pruning Strategies to Speed Up Mining Closed Molecular Fragments Basiswissen Software-Projektmanagement - Aus- und Weiterbildung zum Certified Projektmanager nach iSQI-Standard Discriminative Closed Fragment Mining and Pefect Extensions in MoFa Ein sprachunabhängiger Ansatz zur Entwicklung deklarativer, robuster LA-Grammatiken mit einer exemplarischen Anwendung auf das Deutsche und das Englische Erweiterte Fragmentsuche in Moleküldatenbanken Evolving a Heuristic Function for the Game of Tetris Genetic Algorithms to Improve Mask and Illumination Geometries in Lithographic Imaging Systems Graph Based Molecular Data Mining - An Overview Hybrid Fragment Mining with MoFa and FSG Improving Grammar Based Evolutionary Algorithms via Attributed Derivation Trees Informatische Bildung und PISA Standards - zur Umsetzung für die informatische Bildung Introducing the Parallel Random Access Machine Together with FORTRAN 90/95 Kann man dem Computer einen Bären aufbinden? Metaphern und Idiome in der automatischen Sprachverarbeitung Latency Reduction in Software-DSMs by Means of Dynamic Function Splicing Mining fragments with fuzzy chains in molecular databases Modeling Discontinuous Constituents with Hypergraph Grammars Ontologies supporting cooperations in mass customization - a pragmatic approach Parsing String Generating Hypergraph Grammars Prozessübergreifendes Management - Grundlagen erfolgreicher Projekte Reuse of Software in Distributed Embedded Automotive Systems Syntactically Correct Genetic Programming Syntaxanalyse auf Basis der Dependenzgrammatik Using Object Combining for Object Prefetching in DSM Systems Word Order and Discontinuities in a Dependency Grammar for Hungarian
	2003 A Controlled experiment on inheritance depth as a cost factor for maintenance A General View on Timetabling Problems A Graphical User Interface for Evolutionary Algorithms A lexicon for Metaphors and Idioms A Standard Framework for Timetabling Problems Avoiding Syntactically Incorrect Individuals via Parameterized Operators Applied on Derivation Trees Beispiele zu Haskell - Funktionale Programmierung zur Spezifikation und als Ergänzung des imperativen Paradigmas in der Schule Bootstrapping visual components of the DiaGen specification tool with DiaGen Compiler Optimized Remote Method Invocation Context-exploiting shapes for diagram transformation Design and Implementation of a USB Stack for the Java-based JX Operating System Development of methods how to avoid the overfitting-effect within the GeLog-system Dynamic Function Splicing in Jackal Ein Modell zur Beschreibung und Lösung von Zeitplanungsproblemen Entwicklungsprozess für vernetzte Elektroniksysteme Erfolge und Probleme evolutionäre Algorithmen, induktiver logischer Programmierung und ihrer Kombination Frauen in technischen Studiengängen Incorporating Linkage Learning into the GeLog Framework Informatische Literalität nach dem PISA-Muster Mask and Source Optimization for Lithographic Imaging Systems Model Checking a Cache Coherence Protocol for a Java DSM Implementation Optimization of one-and two dimensional masks in the optical lithography Proc. of Graph Transformation and Visual Modeling Techniques Systemsynthese hierarchischer Prozessgraphen für rekonfigurierbare Hardware Visual specification of visual editors with DiaGen Will Darwins's Law Help Us to Improve Our Resist Models? XML-based specification of diagram editors
	2002 A Graphical User Interface for Evolutionary Algorithms A Hybrid Genetic Algorithm for School Timetabling A Hybrid Genetic Algorithm for School Timetabling Abschlussbericht Software für ein Risiko-Management-System Ada Lovelace - die erste Programmiererin der Welt? An Experimental Comparison of Genetic and Classical Concept Learning Methods Ausarbeitung und Implementierung von Methoden um den Overfitting-Effekt im GeLog-System zu vermeiden Concepts and realization of a diagram editor generator based on hypergraph transformation Constructing shapely nested graph transformations Context-exploiting shapes for diagram transformations Efficiently computable fitness functions for binary image evolution Expansion of the GeLog System by Automatic Adaption of Parameters Extracting Collocations from Syntactically Annotated Corpora Finding plagiarisms among a set of programs with JPlag Incorporating Linkage Learning into the GeLog Framework Integrierte Hardware- und Softwareplanung flexibler Fertigungssysteme Inter-Task Register-Allocation for Static Operating Systems Internetwahlen: Demokratische Wahlen über das Internet? LAG System: Attribute Grammar Specification via Inductive Learning Object Combining: A new aggressive optimization for Object Intensive Programs Podiumsdiskussion Emmy-Noether: Historische und aktuelle Perspektiven Specifying diagram languages by means of hypergraph grammars Specifying graph-like diagrams with DiaGen Steuerungsentwurf mit Petrinetzen Structural Coverage Criteria for Testing Object-Oriented Software Structural Description of Binary Images: An Evolutionary Approach Structure, abstraction and direct manipulation in diagram editors Technisch-Naturwissenschaftliches Schnupperpraktikum für Schülerinnen Two controlled experiments assessing the usefulness of design pattern documentation during program maintenance Unparsing of diagrams with DiaGen Visual PLC-programming using signal interpreted petri nets
	2001 Abstraction in graph-transformation based diagram editors An Evolutionary Optimum Searching Tool An Experimental Evaluation of the Genetic Evolutionary Algorithms Programming Library Computability in an Introductory Course on Programming Efficient Java RMI for Parallel Programming Entwicklung eines Software-Werkzeuges für Risiko-Management Exploiting object locality in JavaParty, a distributed computing environment for workstation clusters Fitness Functions for Generated Binary Images Flexible wireless communication network for mobile robot agents Frauen Chancen bieten: "Einsteigen und Aufsteigen" Frauen in der Informationstechnik GeLog - A System Combining Genetic Algorithm with Inductive Logic Programming Giving Structural Descriptions of Tree-like Objects from Binary Images Using Genetic Programming Illustrating Evolutionary Computation with Methematica Implementierung eines evolutionären Verfahrens zur Risikoabschätzung Integration von Petrinetzen in den Steuerungsentwurf nach IEC 61131 Internet-based development of logic controllers using signal interpreted Petrinets and IEC 61131 Java and numerical computing Java communications for large-scale parallel computing Leistungsaspekte Paralleller Objektorientierter Programmiersprachen Multiparadigm communications in Java for Grid computing Optimizing Employee Schedules by a Hybrid Genetic Algorithm Optimizing Java specific overheads, Java at the speed of C ? Podiumsdiskussion Frauen und IT-Berufe Posterpräsentation Mädchen + Technik Praktikum Rostering with a Hybrid Genetic Algorithm Runtime Optimizations for a Java DSM Implementation Source-Level Global Optimizations for Fine-Grain Distributed Shared Memory Systems Specifying and implementing visual process modeling languages with diagen Specifying diagram languages by means of hypertraph grammars Spezifikation und Generierung graphischer Diagrammeditoren Synchronisation von Dateibäumen mit Hilfe von Graphtransformationssystemen Transformation of shaped nested graphs and diagrams Using Decision Trees to Infer Semantic Functions of Attribute Grammars Verschiedene Realisierungsmöglichkeiten für komplexe Zahlen in Java im Vergleich Verteilte Konfigurationsverwaltung im Kontext des Software Engineering Prozesses
	2000 A generic model for diagram syntax and semantics A survey on concurrent object-oriented languages Attributed Graph Transformation with Partial Attribution Complex numbers for Java Cooperating distributed garbage collectors for clusters and beyond Cooperating distributed garbage collectors for clusters and beyond Creating semantic representations of diagrams Editing, visualizing, and implementing signal interpreted petri nets Ein genetisch logisches Programmiersystem Generating diagram editors providing free-hand editing as well as syntax-directed editing Generating diagram editors with DiaGen Graph transformations - Where they come from and where they should go Hypergraphs as a uniform diagram representation model JavaGrande - Hochleistungsrechnen mit Java JavaGrande: Hochleistungsrechnen mit Java JPlag: Finding plagiarisms among a set of programs Learning and Rewriting in Fuzzy Rule Nets Local Views on Distributed Systems and their Communications Locality optimization in JavaParty by means of static type analysis Mädchen + Technik Praktikum Mädchen + Technik Praktikum 2000, Technisch-Naturwissenschaftliches Schnupperpraktikum für Schülerinnen Modeling Idioms with Constructions, Metaphors and Simulation More efficient serialization and RMI for Java The joy of teaching theoretical computer science or Teaching Theoretical Computer Science to Would-Be Hackers Time Series Prediction for Workforce Management Systems for Call Centres Towards generic rule-based visual programming Towards rule-based visual programming of generic visual systems Über generisches visuelles Programmieren Understanding Idioms Work and results of the Java Grande forum
	1999 A more efficient RMI Application of graph transformation to visual languages Complex numbers for Java Describing Neural Networks with Graph Transformations Describing systems of processes by means of high-level replacement Distributed Graph Transformation with Application to Visual Design of Distributed Systems Effizientes RMI für Java Evolutionary Algorithms: ... and in the semi-finals you are going to meet ... Evolutionary Programming: If Darwin had been a programmer ... Fair multi-branch locking of several locks Irregular parallel algorithms in Java Iterim Java Grande Forum Report Java as a basis for parallel data mining in workstation clusters Java Entwicklungsumgebungen im Vergleich JavaParty: Erfahrungen mit verteiltem und parallelem Programmieren in Java Komplexe Zahlen für Java Modellierung dynamischer Rekonfiguration in offenen, verteilten Systemen auf der Basis von Graphtransformation More efficient object serialization Neural Networks: Artificial Brain or Dr Frankenstein's Creature? Simulation of Neural Network: ... or the dark side of computational power Special Issue on Categorical Approaches to Computing by Graph Transformation Stochastic Search Methods Translating diagrams
	1998 A Database for Verbal Idioms Anwendungen des Soft-Computing Automatically generating environments for dynamic diagram languages Building Lexicons out of a Database for Idioms CeBIT'98 brachte wertvolle Kontakte zur Industrie Data parallelism in Java Debugging und maschinelles Lernen von PROLOG-Programmen Describing Systems of Processes by the Double-Pushout Approach: Jungles as Distributed Data Structures Evolution and Co-Evolution of Developmental Programs Evolution and Coevolution of Developmental Programs Evolving Development Programs Fallstudie: Parallele Realisierung geophysikalischer Basisalgorithmen in Java Formalizing Neural Networks Forschungsprojekte des Lehrstuhls für Programmiersysteme der Universität Karlsruhe (TH) Foundations of Parallel Algorithms Graphtransformation zur visuellen Beschreibung einer transaktionsgesteuerten Konfigurationskontrolle Hypergraph representation of diagrams in diagram editors Is Java ready for computational science? Java Grande Forum Report : Making Java work for high-end computing JavaParty - portables paralles und verteiltes Programmieren in Java Large-scale parallel geophysical algorithms in Java: A feasibility study Large-scale parallel geophysical algorithms in Java: A feasibility study Large-scale parallel geophysical algorithms in Java: A feasibility study Large-scale parallel geophysical algorithms in Java: A feasibility study Lernen Locality optimization in JavaParty by means of static type analysis Locality optimization in JavaParty by means of static type analysis Modellierung und Simulation von Soft-Computing-Systemen N-GUIDE - Ein System zur Erstellung grafischer Benutzeroberflächen Parallelizing large-scale geophysical algorithms in Java Proving Properties of Neural Networks with Graph Transformations RESH - Rechnernetze als Supercomputer und Hochleistungsdatenbanken: Zwischenbericht Seminarbeiträge Cache-Optimierung Showing the Equivalence of Two Training Algorithms - Part 1 Showing the Equivalence of Two Training Algorithms - Part 2 The lexical entry of phrasal isioms Vektorbasierte Neuronale Netze Visual Design of Distributed Object Systems by Graph Transformation
	1997 A Categorical Interpretation of an Operational Approach to graph Transformation Combining Different Approaches to Labeling Concurrent Graph Transformations - Reflecting their use in designing distributed programs - Diagram editing with hypergraph parser support Documenting design patterns in code eases program maintenance Evolutionary Algorithms with Mathematica Fair multi-branch locking of several locks Formalizing Neural Networks with Graph Transformations Graph Grammar Based Specifications Graph Transformation as a Model of Concurrent Programming Hard- und Software für Soft-Computing JavaParty: Transparent remote objects in Java JavaParty: Transparent remote objects in Java Modelling Neural Networks with Graph Transformation Systems Modelling Neural Networks with Graph Transformations Neural Networks and Graphtransformations Optimierung der Maschinenbelegung mit genetischen Algorithmen Optimization of Flow-Shop Problems using Evolutionary Algorithms - A Case Study Optimization of Flow-Shop Problems using Evolutionary Algorithms - A Case Study Simulation of Marburg Model Neural Networks using NeuroGraph Simulation of Marburg Model Neural Networks using NeuroGraph Simulierte Evolution mit Mathematica Soft-Computing - Prinzip, Simulation und Anwendung Visual definition of virtual documents for the world-wide web Wenn Darwin produzieren würde - Ein Erbfall Wenn Darwin produzieren würde - Ein Erbfall Wort für Wort - Repräsentation und Verarbeitung verbaler Phraseologismen (Phraseo-Lex)
	1996 A high-level visual language for generating web structures A New Approach to Consistency Control in Software Engineering Another Approach to Model Actor Systems with Graph Transformations Ein generisches Organisationsschema der Konfigurationsverwaltung im Software-Engineering Evolution Programs Evolved Evolving Evolution Programs Fehlerklassifikation auf Röntgenbildbasis Hard- und Software für Soft-Computing Incremental Anaphora Resolution in a Chart-based Semantics Construction Framework using lambda-DRT Interval Construction with Partially Ordered Object Versions Java - Die Programmiersprache des Jahres 2000? Java Seminarbeiträge NeuroGraph V3.6 Bedienhandbuch NeuroGraph V3.6 User's Manual On outward and inward productions in the categorical graph-grammar approach and Delta-grammars Parsing decomposable idioms Prozessbegleitende Qualitätssicherung in der Elektronikproduktion Representing Phraseologisms with Discourse Representation Theory Simulation von Soft-Computing-Anwendungen Soft-Computing - Prinzip, Simulation und Anwendung Visualizing information repositories on the world-wide web Von großen Böcken und einer Menge Staub - Zur maschinellen Verarbeitung modifizierter Idiome mit semantisch-autonomen Komponenten
	1995 A note on outward and inward productions in the categorical graph-grammar approach and delta-grammars A note on outward and inward productions in the categorical graphgrammar Approach and Delta-grammars A Simulation Environment for Neural Networks, Genetic Algorithms and Fuzzy Logic An Integrated Development Environment for Neural Networks, Genetic Algorithms and Fuzzy Logic Automatic alignment of array data and processes to reduce comminication time on DMPPs Automatic synchronization elimination in synchronous Foralls Chart-based Incremental Semantics Construction with Anaphora Resolution Using lambda-DRT Detecting quantified global predicates in parallel programs DiaGen: A generator for diagram editors based on a hypergraph model DiaGen: A generator for diagram editors providing direct manipulation and execution of diagrams Enabling compiler transformations for pSather Generating editors for direct manipulation of diagrams Genetic L-System Programming: Breeding and Evolving Artificial Flowers with Mathematica Graphgrammatiken als Werkzeug zur Beschreibung von Prozeßsystemen - Von Petri-Netzen bis Linda Hard- und Software für Neuronale Netze Imperative concurrent object-oriented languages Imperative concurrent object-oriented languages: An annotated bibliography Integration of Genetic Algorithms and Fuzzy Logic into a Neural Network Simulation Environment Integration of Genetic Algorithms and Fuzzy-Logic into a Neural Network Simulation Environment Marktübersicht Simulatoren für neuronale Netze auf PCs, Workstations und verteilten Rechnersystemen MathEvolvica - Simulierte Evolution von Entwicklungsprogrammen der Natur Modeling Growth with L-Systems & Mathematica Modell zur Repräsentation verbaler Phraseologismen - Konzept und Implementierung eines Werkzeugs zum Einsatz in der Phraseologieforschung, Phraseographie und maschinellen Sprachverarbeitung Netzwerkmodell: Kohonen Feature Map NeuroGraph - A Simulation Environment for Neural Networks, Genetic Algorithms and Fuzzy Logic NeuroGraph - An Integrated Development Environment for Neural Networks, Genetic Algorithms and Fuzzy Logic NeuroGraph V3.4 Bedienhandbuch NeuroGraph V3.4 User's Manual Neuronale Netze: Einführung und Überblick Neuronale Netze: Elektronengehirn oder Nürnberger Trichter Parallele Programmiersprachen Programmiersprachen als Werkzeug der Kommunikation Wege zwischen Wissenschaft und Wirtschaft XNeuroGene: A system for evolving artificial neural networks
	1994 A Generator for Diagram Editors Automatic alignment of array data and processes to reduce communication time on DMPPs Cyclic debugging for pSather, a parallel object-oriented programming language Data and process alignment in Modula-2* Design and Implementation of Neural Networks for Matching Contours in CAD Models Die Kohonen- Karte Die kompositionelle Bildung von Diskursrepräsentationsstrukturen über einer Chart Einführung in Neuronale Netze Evolution of Typed Expressions describing Art Nervous Systems Evolutionary Programming of Artificial Nervous Systems Fault detection for sequentially controlled machines using temporal constraint nets Genetic L-System Programming Graph Grammars as a Tool to Define the Behaviour of Process Systems: From Petri Nets to Linda Graph Transformations in Computer Science Interaction in really graphical user interfaces Marktübersicht Simulationswerkzeuge für neuronale Netzwerke NeuroGraph - A Neural Network Simulation Environment with Components for Genetic Algorithms and Fuzzy Logic NeuroGraph - A Neural Network Simulation Environment with Components for Genetic Algorithms and Fuzzy Logic Neuronale Netze: Elektronengehirn oder Nürnberger Trichter? Optimierungstechniken zur Übersetzung Paralleler Programmiersprachen Programmiersprachen zur Beschreibung paralleler Algorithmen Project Triton: Towards improved programmability of parallel computers Sather 1.0 tutorial Simulation und Visualisierung neuronaler Netze und genetischer Algorithmen mit NeuroGraph Simulation und Visualisierung neuronaler Netze und genetischer Algorithmen mit NeuroGraph The NeuroGraph Neural Network Simulator The NeuroGraph Neural Network Simulator The NeuroGraph Neural Network Simulator Typed Expressions Evolution of Artificial Nervous Systems Verteilte Simulation Neuronaler Netze mit NeuroGraph V3.0 Verteilte Simulation Neuronaler Netze mit NeuroGraph V3.0 XNeuroGene: A system for evolving artificial neural networks Zur programmiertechnischen Beherrschung von massivem Parallelismus
	1993 Ausnahmebehandlung in verteilten Programmiersprachen - Sprach- und Verifikationskonzepte Aussagen über Ableitungssequenzen in Graphgrammatiken Compiling machine-independent parallel programs Compiling machine-independent parallel programs Des Kaisers neue Kleider - oder - Was kostet der Umstieg auf Motif und C++? Die kompositionelle Bildung von Diskursrepräsentationsstrukturen über einer Chart Ein Inferenzmechanismus zum beispielhaften Lernen natürlicher Sprache Einführung in die kategorielle Theorie der Graphgrammatiken Erkennung von Blechteilen mit Neuronalen Netzen Evolution of Neural Net Architectures by a Hierarchical Grammar-Based Genetic Systems Knowledge Representation Techniques Using Neural Networks for Robotic Fine-Manipulation Konzeption für einen erweiterbaren Simulator für Neuronale Netze Modelling and monitoring real-time systems with temporal contraint nets NeuroGraph - A Neural Network Simulation Environment NeuroGraph - A Neural Network Simulation Environment NeuroGraph - Ein Simulator für künstliche Neuronale Netze auf paralleler Hardware NeuroGraph - Ein Simulator für künstliche Neuronale Netze auf paralleler Hardware NeuroGraph - Ein Simulator für künstliche Neuronale Netze auf paralleler Hardware NeuroGraph - Ein Simulator für künstliche Neuronale Netze auf paralleler Hardware NeuroGraph - Ein Simulator für künstliche Neuronale Netze auf paralleler Hardware NeuroGraph 2.0 Handbuch NeXTGene: A graphical user-interface for GENESIS under NeXTStep and Genetic Algorithms Object-oriented programming and the maintenance of distributed processes Objektorientierte Programmierung und die Pflege verteilter Prozeßsysteme On categorical graph grammars integrating structural transformations and operations on labels Programmiersprachen - Werkzeug und Objekt der Informatik Programming parallel supercomputers Project Triton: Towards improved programmability of parallel machines Simulating Neural Networks in a Distributed Computing Environment Using NeuroGraph Simulation of Neural Networks and Genetic Algorithms in a Distributed Computing Environment using NeuroGraph Simulation of Neural Networks and Genetic Algorithms in a Distributed Computing Environment using NeuroGraph Simulation of Neural Networks and Genetic Algorithms in a Distributed Computing Environment using NeuroGraph Simulation of Neural Networks in a Distributed Computing Environment using NeuroGraph Simulation of Neural Networks in a Distributed Computing Environment using NeuroGraph Simulation of Neural Networks in a Distributed Computing Environment using NeuroGraph Simulation of Neural Networks in a Distributed Computing Environment using NeuroGraph Simulation of Neural Networks in a Distributed Computing Environment using NeuroGraph Simulation of Neural Networks in a Distributed Computing Environment using NeuroGraph Simulation und Visualisierung künstlicher neuronaler Netze unter Verwendung paralleler Hardware mit NeuroGraph Simulation und Visualisierung künstlicher neuronaler Netze unter Verwendung paralleler Hardware mit NeuroGraph Simulation und Visualisierung künstlicher neuronaler Netze unter Verwendung paralleler Hardware mit NeuroGraph Simulation und Visualisierung künstlicher neuronaler Netze unter Verwendung paralleler Hardware mit NeuroGraph Simulation und Visualisierung Neuronaler Netze Specification of diagram editors providing layout adjustment with minimal change Spezifikation von Diagrammeditoren mit automatischer Layoutanpassung Synchronization barrier elimination in synchronous FORALLs The Modula-2* environment for parallel programming The Modula-2* environment for parallel programming The NeuroGraph Neural Network Simulator The NeuroGraph Neural Network Simulator Triton/1: A massively-parallel mixed-mode computer designed to support high level languages Visualization of Neural Networks using NeuroGraph Visualization of Neural Networks using NeuroGraph Visualization of Neural Networks using NeuroGraph
	1992 A critique of the programming language C* Automatic data distribution for nearest neigbor networks Compiling for massively parallel machines Entwicklung einer objektorientierten Repräsentation für kompositionelle Aspekte der Wortsemantik Entwicklungswerkzeuge für Neuronale Netze und Genetische Algorithmen From Modula-2* to efficient parallel code From Modula-2* to efficient parallel code Graphgrammatiken Künstliche Neuronale Netze: Nürnberger Trichter oder Elektronengehirn? Modula-2* and its compilation NeuroGraph: Ein Simulator für künstliche Neuronale Netze Project: Triton: Towards improved programmability of parallel machines Projekt Triton: Beiträge zur Verbesserung der Programmierbarkeit hochparalleler Rechensysteme ROSE - Konzeption und Implementierung einer Programmierumgebung für rechnerorganisierte Software-Entwicklung Simulating Neural Networks in a Distributed Computing Environment Simulating Neural Networks in a Distributed Computing Environment Simulation künstlicher neuronaler Netze Simulation und Visualisierung künstlicher neuronaler Netze unter Verwendung paralleler Hardware Über Graphgrammatiken, eine Spezifikationsmethode für Programmiersprachen und verteilte Systeme Überwachung technischer Prozesse mit Zeitconstraintnetzen Wachsende Zellstrukturen - ein selbstorganisierendes neuronales Netzwerkmodell Was bieten Neuronale Netze?
	1991 A critique of the programming language C* A Distributed Network Simulation Environment for Multi- Processing Systems A Distributed Network Simulation Environment for Multi-Processing Systems CANTOR - The implementation of a set theoretic concept CANTOR - The implementation of a set theoretic concept Describing distributed systems by categorical graph grammars Describing distributed systems by categorical graph grammars Erfahrungen mit der MasPar MP-1 FLEXMAP - A neural network with linear time and space complexity for the travelling salesman problem Graphische Beschreibung von objektorientierten Programmen Graphische Beschreibung von objektorientierten Programmen Hochgradiger Parallelismus Künstliche Neuronale Netze und Selbstorganisierende Systeme: Simulationsprogramme und Anwendungen Künstliche Neuronale Netze: Nürnberger Trichter oder Elektronengehirn? Modula-2* and its compilation Object-Oriented Programming and the Maintenance of Distributed Processes Objektorientierte Softwaretechnik Objektorientierte Softwaretechnik Objektorientierte Softwaretechnik Objektorientierte Softwaretechnik Software für RISC-Architekturen: Optimierende Compiler The Categorical Approach to Graph Grammars - A Survey
	1990 Describing distributed systems by categorical graph grammars Ein operationelles Modell zur Syntax- und Semantikspezifikation Graphgrammatikalische Hilfsmittel zur Beschreibung verteilter Systeme Software für RISC-Architekturen: Optimierende Compiler Software für RISC: optimierende Compiler The Triton project Verschiedene Beiträge Verteilte Termersetzung als Berechnungsmodell für objektorientierte Systeme
	1989 A description of the Rendezvous concept by hypergraph grammars Ausnahmebehandlung in objektorientierten Programmiersprachen Beschreibung und Analyse kontextfreier Sprachen unter durchgängiger Verwendung von Graphen Eine relationale PROLOG-Semantik Gragradis - Describing Distributed Systems by Categorical Graph Grammars Gragradis - Describing Distributed Systems by Categorical Graph Grammars Gragradis - Describing Distributed Systems by Categorical Graph Grammars Heraklit - A language supporting evolution of distributed programs Konzepte für Robotersprachen Software für RISC-Architekturen: Optimierende Compiler Werkzeuge zur Optimierung von logischen Programmen - Erkenntnisse aus einem Vergleich mit attributierten Grammatiken
	1988 Definition der mengentheoretischen Programmiersprache CANTOR Ein graphentheoretischer Ansatz zur rechnergestützten parallelen Komposition von Prozessen für verteilte Echtzeitsysteme Entwurf und Implementierung der mengentheoretischen Programmiersprache CANTOR Graph-Theoretic Concepts in Computer Science Objektorientierte Strukturierung verteilter Software und statische Typprüfung Physikalische Maßeinheiten und das Typkonzept moderner Programmiersprachen Programmiersprachen: Konzepte und Trends Software für RISC-Architekturen: Optimierende Compiler Software für RISC: optimierende Compiler Tasks as first class objects in a hierarchy of task types
	1987 "Chancen und Herausforderungen von Ada", Stellungsnahme zu Schwärtzel et al. Die Einbeziehung physikalischer Maßeinheiten in das Typkonzept moderner Programmiersprachen Entwurf einer interpretierenden Programmierumgebung für mehrere Sprachen Graphgrammatiken in der Softwaretechnik (Theorie und Anwendungen) Software-Entwicklung und Software-Lebenszyklus Software-Entwicklung und Software-Lebenszyklus Software-Entwicklung und Software-Lebenszyklus
	1986 Ein syntaktischer Rahmen für unterschiedliche Prozeßtypen Ein vollständiges Mengenkonzept in Programmiersprachen Eine Programmierumgebung für verteiltes PEARL - Codeerzeugung mittels Programmsynthese Programmiersprachen: Konzepte und Trends Programmverifikation Verschiedene Beiträge
	1985 Definition einer Syntax für eine mengentheoretische Programmiersprache Ein syntaktischer Rahmen für unterschiedliche Prozeßtypen Ein syntaktischer Rahmen für unterschiedliche Prozeßtypen Programmiersprachen mit Mengenkonzept für unkonventionelle Hardware Programming Language Concept for Structuring Control Software in Correspondece to the Technical Process Programming Language Concept for Structuring Control Software in Correspondence to the Technical Process Strukturierung von Programmen aus der Prozeßdatenverarbeitung Strukturierung von Programmen aus der Prozeßdatenverarbeitung Strukturierung von Programmen aus der Prozeßdatenverarbeitung
	1984 Komplexität des Suchens in orthogonalen Speichern Problem Oriented Programming Languages Programmiersprachen und Programmierumgebungen Some Remarks Concerning the Complexity of Sorting and Searching in an Orthogonal Memory Some remarks concerning the complexity of sorting and searching in an orthogonal memory Strukturierung von Kontrollsoftware in Analogie zum technischen Prozeß Strukturierung von Programmen aus der Prozeßdatenverarbeitung Vorteile höherer Programmiersprachen in der Leittechnik Vorteile höherer Programmiersprachen in der Leittechnik
	1983 DATAS - Software-Implementation eines assoziativen Speichers Formale Beschreibung des inkrementellen Programmierens-Im-Großen mit Graphgrammatiken International Computing Symposium 1983 Lexikon der Informatik und Datenverarbeitung: Verschiedene Beiträge Mengentheoretische Konzepte in Programmiersprachen Mengentheoretische Konzepte in Programmiersprachen Programmiersprachen und Programmierumgebungen Programmiersprachen und Programmierumgebungen Programmiersprachen und Programmierumgebungen Programmiersprachen und Programmierumgebungen Programmiersprachen und Programmierumgebungen - Mit Anwendung im Ingenieurbereich Programmiersprachen und Programmierumgebungen - Mit Anwendung in der Medizin Sprachkonstrukte zur Spezifikation und korrekten Implementation von Schutzproblemen Tagungsband PEARL-Tagung
	1982 Ein neuer Ansatz zur Parallelisierung von Compilern Eine Programmiersprache mit mengentheoretischen Konstrukten und deren effiziente Implementierung Mengentheoretische Konzepte in Programmiersprachen Mengentheoretische Konzepte in Programmiersprachen Portable Codegenerierung in Übersetzern für Prozessprogrammiersprachen Proceedings 8th Workshop on Graph-Theoretic Concepts in Computer Science Strukturierung von Programmen aus der Prozeßsteuerung
	1981 Algebraic Specifications of the Software Controlling a Parcels Distribution Machine Ein Verfahren zur Erstellung portabler algorithmischer Laufzeitprogramme Grundkonzepte von Programmiersprachen Modularisierung von Programmsystemen Parallel Processes and Related Automata Problemorientierte Programmiersprachen Set-Theoretic Concepts in Programming Languages and their Implementation Strukturierung von Programmen aus der Prozeßsteuerung Strukturierung von Programmen aus der Prozeßsteuerung Strukturierungsprinzipien von Programmiersprachen
	1980 Comparison of interactive languages Comparison of interactive languages Entwicklung und Strukturierung von Echtzeit-Softwaresystemen für mikroprozessorgesteuerte Geräte Set-theoretic concepts in programming languages and their implementation Strukturierung von Programmen aus der Prozeßsteuerung Strukturierung von Programmen aus der Prozeßsteuerung Tagung des German Chapter of the ACM Wie findet ein Computer Informationen?
	1979 Axiomatische Spezifikation der Software zur Steuerung einer Paketverteilungsanlage Die historische Entwicklung der Programmiersprachen - Der Weg bis PASCAL Die zukünftige Entwicklung von Programmiersprachen - Trendbeschreibungen Enzyklopädie Naturwissenschaft und Technik (Verschiedene Beiträge) FORTRAN-Sprachkonstrukte für (pseudo) assoziatives Arbeiten Proceedings 4th Workshop on Graph-Theoretic Concepts in Computer Science Strukturierung von Programmen aus der Prozeßsteuerung Wie finden Computer Informationen
	1978 Beschreibung von Programmoduln zum Entwurf zuverlässiger Softwaresysteme Datengraphen und deren Transformation - Ein Konzept zur Spezifikation von Datentypen Graph-Grammatiken - Theorie, Anwendungen, Implementierungen Graph-Grammatiken und ihre Implementierung mit Hilfe eines pseudoassoziativen Speichers Höhere Programmiersprachen für Kleinrechner - Anforderungen, Entwicklungskriterien, Compileraspekte Implementation of graph-grammars using a pseudo-associative memory Programmentwicklung als konstruktive Aufgabe Synthese von analysierenden Automaten auf Grund von formalen Grammatiken
	1977 EBIDIS - Strukturierte Bildprogrammierung im Dialog Graph grammars Tagungsband 7. Jahrestagung der Gesellschaft für Informatik Zweistufige Graphmanipulationssysteme für die Semantik von Programmiersprachen
	1976 A general purpose array with a broad spectrum of applications Conceptual data base description using graph-grammars Grammars on partial graphs Informatik, (Arbeitsberichte zur Hochschulplanung) Programmiersprachen
	1975 Compiler - Aufbau und Wirkungsweise Syntax-Directed Description of Incremental Compilers Turingmaschinen mit assoziativem Speicherzugriff
	1974 Formale Beschreibung syntaxgesteuerter inkrementeller Compiler Formale Grammatiken für Programm- und Datenstrukturen Formale Grammatiken für Programm- und Datenstrukturen Formale Grammatiken für Programm- und Datenstrukturen Formale Sprachen von markierten Graphen
	1973 A necessary and sufficient condition for Chomsky-productions over partially ordered symbol sets Chomsky-languages for multidimensional input-media Convex graph-grammars Ein Test der Einbettbarkeit markierter Graphen unter Verwendung einer Hash-Codierung Fachgespräch über mehrdimensionale formale Sprachen Formale Grammatiken für Daten- und Programmstrukturen Graph-grammars: An algebraic approach Kategorielle Konstruktionen in der Theorie der Graph-Grammatiken Neue Ansätze in der Software-Entwicklung
	1972 Einführung in die Programmierung digitaler Rechenautomaten (New and updated version of the book by F.R.Güntsch)
	1971 Chomsky-like systems for partially ordered symbol sets Formal systems for structure manipulation
	1970 Chomsky-Systeme für partielle Ordnungen Programmieren von Datenverarbeitungsanlagen
	1969 Automaten und formale Sprachen Formale Verfahren in der Behandlung natürlicher Sprachen Mehrdimensionale Chomsky-Sprachen Syntaxgesteuerte Bildschirmarbeit Zur Verwendung boolescher Übergangsmatrizen in Compilern
	1967 Programmieren von Datenverarbeitungsanlagen Programmierung numerischer Probleme Zur Beschreibung großer kontexfreier Grammatiken
	1966 Die Berücksichtigung von Kasus, Genus und anderen Spezifikationen bei formalen Grammatiken natürlicher Sprachen Ein formales Verfahren zur Sprachanalyse und seine Anwendungsmöglichkeiten
	1965 Ein formales Verfahren zur maschinellen Sprachanalyse
	1962 Die Praxis der Fehlerabschätzung bei Anfangswertproblemen



	UnivIS ist ein Produkt der Config eG, Buckenhof