yusuke1997/dblp-id-title huggingface dataset:
Die Erweiterung von Software-Bibliotheken zur effizienten Verifikation der Approximationslösung linearer Gleichungssysteme
Code generation for model predictive control of embedded systems
Die Koordinierung in Betriebssystemen für Multiprozessoren
Application of hybrid quantum machine learning for image processing in the NISQ era
Hochgenaue photogrammetrische on-line Objekterfassung
Systematic identification of relevant features for the statistical modeling of materials properties of crystalline solids
Entwicklung eines Wirkmodells für eine anspruchszentrierte Softwareproduktion
Methoden der künstlichen Intelligenz zur Lösung des Prognoseproblems bei der Unternehmensbewertung: ein Prognoseverfahren auf der Grundlage der Prädikatenlogik 1. Ordnung
Kombination verschiedener Merkmale zur biometrischen Personenerkennung
Modelle und Algorithmen für das Facetten-Stereosehen
Die Verwendung hierarchisch strukturierter Sprachnetzwerke zur redundanzarmen Codierung von Texten
Reduktion von Simulationsmodellen zur simulationsbasierten Optimierung in der Termin- und Kapazitätsplanung
FORLOG - eine Methode der Wissensverarbeitung zur Entscheidungsfindung bei der Lösung automatisierungstechnischer Aufgaben
Ein Filter für die automatische syntaktische Analyse als Graphen-Transformationssystem
Ein modellbasiertes Sicherheitskonzept für die extrakorporale Lungenunterstützung
Enhanced Performance and Privacy for Core Internet Protocols
Entscheidung bei Zielkonflikten: ein PC-gestütztes Verfahren
Requirements management in community oriented software development
Untersuchung von adaptiven randomisierten Datenstrukturen
Fehlertoleranz in einem verteilten Betriebssystem mit transaktionalem Speicher
Funktionale Absicherung kamerabasierter aktiver Fahrerassistenzsysteme durch Hardware-in-the-Loop-Tests
Predicting the structural effect upon single amino acid exchange
Beitrag zur Entwicklung eines Modellkonzepts und einer allgemeinen Beschreibungssprache für virtuelle bauliche Anlagen, dargestellt am Beispiel stählerner Stabtragwerke
Real-time Tracking of Objects in Image Sequences: Beyond Axis-Aligned Boxes
Quality and quantity in robustness checking using formal techniques
Multi-sensor multi-object detection and tracking for ADAS, applied to trucks
Interactive Visualization of Complex Structures in Modular Models for Systems Biology
ESyNN - ein Neuronenmodell zur effizienten Simulation von Korrelation in neuronalen Netzen
Universalsortimentsanalyse im Handel: e. suchtheoret. Ansatz
Die Anwendbarkeit des Sachmängelgewährleistungsrechtes bei der On-Line-Übertragung von Standardsoftware: eine rechtsvergleichende Studie zum US-amerikanischen und deutschen Recht
Rechnerunterstützte Analyse und Synthese von Regelungsproblemen mit Mikrorechnern
Efficient instance retrieval over semi-expressive ontologies
Organisatorische Implementierung von computergestützten Personalinformationssystemen: Einführungsprobleme u. Lösungsansätze
Genaue und robuste Online-Kalibrierung für Stereo-Kamera-Systeme mit fester Basisbreite
Erkennung menschlicher Aktivitäten zur Belehrung von Robotern
Technikgenese und -gestaltung als kultureller Prozess: das Beispiel "Künstliche Intelligenz"
The implementation of functional logic programming languages
Cloud-based support for Massively Multiplayer Online Role-Playing Games
Nested parallelism and control flow in big data analytics systems
Context based bioinformatics
Fuzzy Sets in der Netzplantechnik
Automatische Spracherkennung in Räumen
Deterministic Approximations for Deep State-Space Models
Optimierung der Abdrückgeschwindigkeit von Ablaufanlagen unter Berücksichtigung der Falschlaufwahrscheinlichkeit
Entwurf einer interpretierenden Programmierumgebung für mehrere Sprachen
Capability-Based Routes for Autonomous Vehicles
Evolutionary design of corporate networks under uncertainty
Ein Beitrag zur computerunterstützten Wirbelstromprüfung
Beiträge zu einem adaptiven, aufgabenbezogenen Spracherkennungssystem
Pedestrian Mobility Mining with Movement Patterns
Requirements engineering: a situated discovery process
Differential privacy for sequential and directional data
Grauwertbasierte Bewegungsschätzung in monokularen Bildsequenzen unter besonderer Berücksichtigung bildspezifischer Störungen
Liquiditätsdisposition mit Hilfe von Entscheidungsmodellen
Flexible Long-Term Secure Archiving
Eine systematische Analyse der Grundlagen und Ansätze für eine Konstruktionsmethodik zu verteilten Betriebssystemen
Signalverarbeitung bei Bildgeometrie-Manipulationen
Verteilte nichtlineare modellprädiktive Regelung von unbemannten Luftfahrzeug-Schwärmen
Toward accurate, reliable and efficient gaze estimation
Rechnerunterstützung beim Layout-Entwurf hybrider Schichtschaltungen
De-Gendering informatischer Artefakte: Grundlagen einer kritisch-feministischen Technikgestaltung
A combinatorial approach to RNA sequence-structure alignments
The Two-Dimensional, Rectangular, Guillotineable-Layout Cutting Problem with Defects
Interactive spacetime control of deformable objects and modal shape analysis beyond laplacian
Verhaltensanalyse eines mehrkanaligen, ausfalltoleranten Feldbussystems
Automatic estimation of users' verbal intelligence
Rechnerintegrierte Informations- und Stücklistenverarbeitung
Generierung kooperativer natürlichsprachlicher Antworten in einem Dialogsystem mit Zugang zu relationalen Datenbanken
Hegelsche Dialektik und das Problem der Formalisierung in Mathematik, Elektrodynamik, Systemtheorie und Künstliche Intelligenz
Zur Anwendung der elektronischen Datenverarbeitung (EDV) auf dem Gebiet des Staatshaushaltes der DDR in Praxis und Ausbildung
Erkennung und Bewertung von Körperhaltungen und Bewegungen anhand von Gelenkwinkeln mit Einsatz von Motion-Capture-Sensorik
Persistent Memory in Database Systems
Zielcodebeschreibung in CDL (D)
Zur Problematik der Mehrfachnutzung von Anwendungsprogrammen der automatisierten Informationsverarbeitung unter besonderer Berücksichtigung der Bedingungen in der biomedizinischen Forschung
Shortest edge disjoint paths in graphs
Zielgerichtete Steuerung und systematische Überwachung der betrieblichen Datenverarbeitung
Über die Approximation bodennaher Profile nach der Methode der kleinsten Quadrate und Algorithmen zu ihrer numerischen Nutzung
Analyse simultaner Aktivitäten von funktionell gekoppelten Neuronen
Datenerhebung und -verarbeitung in den Polizeigesetzen der Länder
Akustisch-phonetische Analyse für die automatische Spracherkennung unter Einbeziehung eines artikulatorischen Modells
Parallele verteilte Dateisysteme in Rechnernetzen
Soziale Auswirkungen der technisch-organisatorischen Rationalisierung durch Einführung und Weiterentwicklung computergestützter Informations- und Verarbeitungssysteme: e. Fallstudie am Beisp. von kaufmänn. Arbeitsbereichen e. industriellen Grossbetriebes zu d. Entwicklungstendenzen von Beschäftigung, Einkommensbedingungen, Qualifikationsanforderungen, psych. Belastungen u. Beanspruchungen sowie zu d. gewerkschaftl. Interessenvertretung
Untersuchung von Algorithmen und Entwicklung eines Prozessors zur Berechnung der diskreten Kosinustransformation für hochauflösendes Fernsehen
Prinziplösung einer rechnergestützten Lagerplatzverwaltung für Plattenwerke
Semantic search for novel information
Protection of security-critical web applications
Repräsentation und Verarbeitung von Wissensstrukturen: das hybride System KANON
Designing and optimizing deep learning methods for genomic sequencing data
Virtual Prosumer Consortia - A Game Theoretical Optimization Approach
Outsourcing-Entscheidungen in der Informationsverarbeitung: Entwicklung eines computergestützten Portfolio-Instrumentariums
Performance quantification of visualization systems
Beitrag zur Integration und Analyse sicherheitstechnischer Maßnahmen bei der Entwicklung eines kompletten Rechners auf FPGA-Basis
Die automatisierte Primärdatenerfassung als Ausgangspunkt für die Qualifizierung und Rationalisierung von Rechnungsführung und Statistik
Fachliche Modellierung mit BPMN im Kontext der Entwicklung von Anwendungssystemen
Zur Anwendung von Quasi-Newton-Verfahren in der nichtlinearen Optimierung
Über die Zuverlässigkeit der rechnergestützten Analyse von Langzeitelektrokardiogrammen
Konzepte und Verfahren für die Software-Versionsverwaltung
Context sensitive information presentation based on a medical data dictionary = Kontextsensitive Informationspräsentation auf der Basis eines medizinischen Data dictionary
Improving Convolutional Neural Network-based Image Classification by Exploiting Network Layer Information
Eine vergleichende historische Analyse zur Entwicklung der Informationstechnik in der DDR im Rahmen der sich international abzeichnenden Trends: ein Beitrag zur Wissenschaftsgeschichte
Mining and Understanding Issue Links Towards a Better Issue Management
Zwischenbetriebliche Kooperation: Möglichkeiten und Grenzen durch neue Informations- und Kommunikationstechnologien
Realistic, real time shading and rendering of objects with complex materials
Database Support for Uncertain Data Analysis and Correlation Handling in Scenario Planning
Realistic virtual humans for VR therapy of body image disorders
Untersuchungen, Aufbau und Anwendung eines 16-Bit-Mikrorechnerreglers für integrierte Zweikoordinatenantriebe der Gerätetechnik
On iterative soft decision decoding of linear binary block codes
Eine Simulationsstudie zum Problem der Fahrzeugeinsatz- und Fahrzeugleersteuerung in Taxisystemen: dargest. am Beispiel d. Taxisystems Münster
Grained integers and applications to cryptography
Scalable Consistency in the Multi-core Era
Functional data analysis methods for the evaluation of sensor signals
Der Einsatz von EDV und die ärztliche Haftung: Haftungsfolgen aus unterlassenem oder fehlerbehaftetem EDV-Einsatz bei Diagnose, Therapie und Dokumentation
Model-based exploration of parallelism in context of automotive multi-processor systems
DPCM-Kodierung von Bildsequenzen mit Irrelevanzreduktion durch Unscharffilterung
Modellgesteuerte Analyse komplexer Strukturen in Graphiken
Ausfalltolerante verteilte Systeme
Extraktion von hochgenauer Fahrspurgeometrie und -topologie auf der Basis von Fahrzeugtrajektorien und Umgebungsinformationen
Robust 2-D/3-D Registration for Real-Time Patient Motion Compensation
Klartextverarbeitung als integraler Bestandteil medizinischer Dokumentation: Modell, Implementierung und Evaluation eines maschinellen Klassifikationssystems
Motion planning for highly-automated vehicles under uncertainties and interactions with human drivers
Sprachsynthese nach Regeln für unbeschränkten deutschen Text
Zur Anwendung der Wirbelstrommethode für die transiente und quasistationäre Strömungsrechnung in Hochtemperaturreaktoren mit kugelförmigen Brennelementen
Spezifikation und Verifikation von Kommunikationsprotokollen mit Weg-Zeit-Diagramm
A Tale of Two Approaches: Comparing Top-Down and Bottom-Up Strategies for Analyzing and Visualizing High-Dimensional Data
Behandlung von abbrennbaren Clusterabsorbern in Brennstoffkassetten vom Typ WWER-1000
Eine Dekompositionsstrategie für den Logikentwurf auf der Basis funktionstypischer Eigenschaften
Simulationsgestützte Kostenanalyse in produktorientierten Fertigungsstrukturen
Towards a secure and privacy-preserving structure in opportunistic networks
Effiziente broadcast Datenübertragung in mobilen Ad-hoc-Netzwerken: ein intelligentes Protokoll für intelligente Umgebungen
Nonparametric adaptive estimation for discretely observed Lévy processes
Schätzen und Steuern in linearen Differenzengleichungen
Rekonstruktion von Trajektorien aus Stereobildfolgen für die Programmierung von Roboterbahnen
Mathematische Modellierung von ZTU-Schaubildern für Einsatz- und Vergütungsstähle
Phase Segmentation and Analysis of Tomographic Rock Images Using Machine Learning Techniques
Adaption von numerischen Werkzeugmaschinensteuerungen an das Fertigungsumfeld bei der Materialbearbeitung mit Laserstrahlung
Graph algorithms for approximate and dynamic settings in the external-memory model
Rechnerunterstützte Projektierung von Werkstätten und Betrieben aus der Sicht der Lärmminderung
Ein Beitrag zur Anpassung von Datensignalen an PCM-Übertragungssysteme
A Study of VoIP Performance in Anonymous Network - The Onion Routing (TOR)
Entwurf eines rechnergestützten Systems zur Projektierung der Baustelleneinrichtung: ein Beitrag zur Anwendung der Informatik in der bautechnologischen Produktionsvorbereitung
Ein objektorientiertes Verfahren zur Optimierung von Geschäftsprozessen unter Verwendung eines genetischen Algorithmus
Data-Driven Feature Learning with Discriminative Models for Satellite Time Series
On privacy in home automation systems
Model-driven engineering of self-adaptive software
Koordination von Entscheidungen in hierarchischen Organisationen bei mehrfachen Zielsetzungen
Vertical handoff and single sign-on solutions for seamless service provisioning
Rescued from a sea of queries: Exact inference in probabilistic relational models
Sensing, interpreting, and anticipating human social behaviour in the real world
Comparison of model-based methods with machine learning strategies for defect reconstruction, classification, and regression in the field of measurement technology
Entwurf und Implementierung einer Methodenbank und Nutzung in der Informatikausbildung im Maschineningenieurwesen
Repräsentation von Konstruktionswissen unter Verwendung des objektorientierten Paradigmas
Kraftkonstantenrechnung am Beispiel von Methylverbindungen der III. [dritten], IV. [vierten] und {V. [fünften] Hauptgruppe
Content-Addressable Network for Distributed Simulations
Verfahren der Wissensrepräsentation bei der Entwicklung wissensbasierter Systeme für die Automatisierungstechnik
Durchgängige Verfolgbarkeit im Vorfeld der Softwareentwicklung von E-Government-Anwendungen: ein ontologiebasierter und modellgetriebener Ansatz am Beispiel von Bürgerdiensten
Entwurfsprinzipien, theoretische Grundlagen und rechentechnische Realisierung eines Finite-Elemente-Grafiksystems FEGRAF
Softwaresystem zur Planungsunterstützung im Strassenbrückenbau
Analyse der CAD-Nutzung in Kleinbetrieben: Ermittlung von Widerständen und Ableitung von Lösungsstrategien
Konzeption zur Entwicklung eines Systems der ökonomischen Information auf der Grundlage einer Datenbank
Konzepte zur Verbesserung des Monitoring in industriellen Cloud-Umgebungen
Automatische SC-Filtersynthese auf der Basis mikroelektronischer Techniken
Synthese assoziativer Steuerwerke
Information privacy in the sharing economy: towards improving the transparency of data practices
The cockpit for the 21st century: exploring large and shaped interactive surfaces for direct interaction
Multiscale Modeling of Inter-Vehicle Communication
Modeling and partially coordinated diagnosis of asynchronous discrete-event systems
On the computational complexity of projective image matching
Towards practical and trust-enhancing attribute aggregation for self-sovereign identity
Cryptographic Clocks and Applications
Wartezeitverteilungen für M/M/N-Processor-Sharing-Modelle
Parallel execution of causal structure learning on graphics processing units
Klinische Leistungsfähigkeit eines neuen mathematischen Verfahrens der Bildmusterbearbeitung szintigraphischer Hirnperfusionsstudien in der Diagnostik von Hirndurchblutungsstörungen
Rechnerunterstützte Optimierung des Betriebsmittelflusses in flexibel automatisierten Fertigungen
Netzweite Lichtsignalsteuerung auf Basis rekurrenter neuronaler Netze
Facilitating and Enhancing the Performance of Model Selection for Energy Time Series Forecasting in Cluster Computing Environments
Optimized data integration for tracelinking in product development through the application of semantic web technologies
Bernstein-Bézier representations for facial surgery simulation
Inhaltlich-methodische Konzeption zur Computerintegration in Themengruppen der Klassen 9 und 10 des polytechnischen Unterrichts
Gestaltung von CAD-Systemen nach konstruktionsmethodischen Gesichtspunkten
Reducing the Computational Requirements of the Nearest Neighbor Classifier
Eine Sprachverstehenskomponente in einem Konstruktionsszenario
Ein Beitrag zur Realisierung des hardwaremäßigen Anteils eines computergesteuerten Lichtsatzsystems für den On-line-Betrieb
Analyse von Schreibsignalen
The Scheme language as the foundation for a reusable extension language kit
Ein Beitrag zum Aufbau eines Expertensystems für den Einsatz von Bildverarbeitungskomponenten in der Qualitätssicherung der Oberflächenmontage der Elektronik (SMT)
Extrazelluläre Ableitungen an neuronalen Netzwerken für die Biosensorik
Improving and validating data-driven genotypic interpretation systems for the selection of antiretroviral therapies
Statische und dynamische Verkehrsumlegung mit rekurrenten neuronalen Netzen
A systematic analysis and hardening of the Java security architecture
"Navigation - ich möchte nach Calw": Spracherkennung für große Lexika im Auto
Echtzeitfähige Ablaufplanung für simultan mehrfädige Prozessoren
Understanding how visual information is represented in humans and machines
Zur Bewertung der Qualität von Anwendersoftware mittels Software-Metriken in den Phasen des Lebenszyklus unter Nutzung von Werkzeugen
Dependency management in large-scale agile software development
Static timing analysis tool validation in the presence of timing anomalies
Zur Behandlung von Optimierungsproblemen mit diskreten und stetigen Variablen auf der Grundlage von Dualitätskonzepten und Strafmethoden
Data-flow Prinzip im dynamischen Scheduling des Multiprozessors EMPRESS
Distributed data architectures for electronic logistics marketplaces
Integrating machine learning approaches into network science: exemplary applications and novel algorithms
Komplexe Steuerung von Transportprozessen im Kraftverkehr
Untersuchungen zur Identifikation in Multirate-Systemen
Mikrorechnergestützte Systemlösung für Leistungsvergleiche und Analysen von und zwischen Betrieben, Kooperationen und Territorien auf der Grundlage des Datenfonds "SBW-Analyse" und anderer zentralisierter Datenbasen
Bewegungsregelung mobiler Manipulatoren für die Mensch-Roboter-Interaktion mittels kartesischer modellprädiktiver Regelung
Methode zur Modellierung der Informationsverarbeitung in Industrieunternehmen
Multidimensional Privacy Quantification for User Empowerment
Computational models of relations in text and knowledge graphs for logical reasoning and graph-text conversion
Diagnose dynamischer Systeme auf der Grundlage einer qualitativen Prozeßbeschreibung
Modified laplacians with localized eigenfunctions defined on images
Gekoppelte Register Insertion-Ringe in Mehrrechner-Verbindungsnetzen
Modularisierung attributierter Grammatiken: ein Überblick
IREEN - eine universelle Datenbankschnittstelle für offene, integrierte Mikroelektronik-Entwurfssysteme
Optimal algorithms for parametric integration
Untersuchungen zur Leistungsfähigkeit von Mikrorechnersystemen für den Einsatz in Kommunikationsschnittstellen von Krankenhausinformationssystemen
Ein Vorgehensmodell zum Entwurf tragfähiger IT-Sicherheitsinfrastrukturen im organisationsübergreifenden Datenaustausch
Discovery and explainability of fine-grained structures in large-scale user-generated data sets
Datenmodellierungskonzepte für Hypermedia und ihre Abbildung in Datenbanken
Strukturangleichende Portierung von Software mit Traceability für die koordinierte plattformübergreifende Co-Evolution
Die Multiprozessor- und Speicherarchitektur des Neurocomputers SYNAPSE
Die Haftung des Softwareherstellers im Hinblick auf das ProdHaftG
Die Bearbeitung strukturierter Dokumente in offenen Dokumentverarbeitungssystemen
Rechnergestütztes Projektinformations- und Koordinationssystem für das Fertigungsvorfeld
Nutzwert-Kosten-Analyse für den Einsatz der Computertomographie
Adversarial content manipulation for analyzing and improving model robustness
Untersuchungen zur Anwendung der Logik-Programmierung für Probleme der Steuerungstechnik
Nachhaltige Infrastruktur zur Forschungsdatenpublikation am Beispiel von Hochdurchsatz-Pflanzenphänotypisierungsdaten
Beiträge zur Netzwerkanalyse im Rahmen der Multi-Level-Simulation
Engineering and evaluating naturalistic vibrotactile feedback for telerobotic assembly
Man-machine interfaces and implementational issues in computer-aided control system design
Synthese- und Analyseprobleme beim rechnergestützten Entwurf von VLSI-Schaltungen
Ontologiebasierte Kennzahlenentwicklung für Virtual Production Intelligence
Funktionaler Anwendungsentwurf verteilter Automatisierungssysteme: Anwendung von Entwurfsmustern in der Automatisierungstechnik
Beitrag zur Gestaltung der Bedarfsermittlung bei Mehrproduktfertigung mit Varianten
Datenbankschemaentwurf für ein logikorientiertes Datenmodell
Tuning the Computational Effort: An Adaptive Accuracy-aware Approach Across System Layers
Ein Beitrag zur Untersuchung von Bandpassfiltern, deren Durchlassfrequenz sich in Abhängigkeit von der Frequenz des Eingangssignals selbst einstellt, unter Verwendung des Digitalrechners
Fahrzeugeigenlokalisation im Kontext hochautomatisierter Fahrfunktionen
Design and investigation of scheduling mechanisms on accelerator-based heterogeneous computing systems
Formale Spezifikation der kontextabhängigen Syntax von Programmiersprachen
Pragmatische nichtblockierende Synchronisation für Echtzeitsysteme
Agile Practice Experience Repository for Process Improvement
Rechnergestützte Modellierung von Lagerstätten: eine Grundlage für die Rationalisierung der Produktionsvorbereitung in Bergbaubetrieben
Interactive state machine mining from embedded software
Engineering-IT Standardisierung im Systems Engineering der frühen Phase zur Befähigung kollaborativer Geschäftsprozesse im Automobilbau
Realistic PHY Modeling for Accurate Wireless Simulations
Informationsflüsse in Zuliefernetzwerken
Content-based Clustering in Social Corpora - A New Method for Knowledge Identification based on Text Mining and Cluster Analysis
Visual analysis of high-dimensional spaces
Zur Methodik der Leistungsbewertung von Protokollen und Diensten in verteilten Rechnersystemen
New solutions for an old challenge: chances and limitations of optical, non-invasive acquisition and digital processing techniques for the age estimation of latent fingerprints
Analyse der strahlungsbedingten Ausfallrate von DRAM's
Stable deep reinforcement learning
Modellbasierte Einbettung von virtuellen Netzwerken in Rechenzentren
Programmierung, Implementierung und Evaluation eines algorithmus- und fallbasierten, computerunterstützten, multimedialen, interaktiven Selbstlernprogrammes für den reformierten Unterricht - Trouble im Thorax, Differentialdiagnosen, Diagnostik und Therapie des Lungenrundherdes [Medienkombination]
Context-aware process management for the software engineering domain
Crowdsourcing for linguistic field research and e-learning
Blended Spaces: Perception and Interaction in Projection-Based Spatial Augmented Reality Environments
Operationalisierung der ökologiebezogenen Berichterstattung aus Sicht des Informationsmanagements: Konzeption eines Vorgehensmodells zur formalisierten Explikation logischer Dokumenttypmodelle im Rahmen der Umweltkommunikation von Unternehmen
Prozessdatensicherung mit Mikrorechnern
Designkonzepte einer kommunikationsorientierten computergestützten Arbeitsplatzumgebung für das Management
On the Principles of Evaluation for Natural Language Generation
Effiziente Verfahren zur Regularisierung dynamischer inverser Probleme
Untersuchungen zur Entwicklung eines optischen Speichermediums auf Oxidglasbasis
Pattern-Based Logical Isolation for Safety-Critical Multicore Systems
Real-Time Trace Decoding and Monitoring for Safety and Security in Embedded Systems
Entwicklung und simulationsgestützte Effektivitätsanalyse eines heuristischen Dispatcheralgorithmus für ESER I-Rechner unter Steuerung des Betriebssystems OS/ES
Objektorientierter Fachentwurf: zur Eignung objektorientierter Ansätze für das fachliche Entwerfen von Anwendungssoftware
Die Modellierung von Anforderungen an die Informationsverarbeitung im Krankenhaus
Untersuchungen zum Einsatz wissensbasierter Lehrsysteme beim Erlernen von Programmiersprachen
A formal object specification technique using rule-based transformation of partial algebras
Management of traffic information networks