yusuke1997/dblp-id-title huggingface dataset:
Der Einsatz von Informations- und Kommunikationstechnik einer bürgernahen und dezentralisierten Verwaltung im öffentlichen Bereich: Konzeptionen und Ansätze im Vergleich zwischen der Bundesrepublik Deutschland und der Republik Korea
Haftung für autonome Systeme: Verteilung der Risiken selbstlernender und vernetzter Algorithmen im Vertrags- und Deliktsrecht
Konzeption und Implementierung graphisch interaktiver Werkzeuge zur Evaluierung komplexer informationsverarbeitender Systeme
Adaptive dynamische Lastbalancierung
Ein verteiltes Scheduler-System für Mehrprozessorrechner mit gemeinsamem Speicher: Untersuchungen zur Ablaufplanung von parallelen Programmen
Automated termination analysis of C programs
Informationsrückfluss aus Folgeprozessen der Konstruktion durch ein offenes und leichtgewichtiges Format, ergänzt durch ein Bewertungsmodell für Datenformate und Prozesse im PLM-Kontext
Quantitative Analyse der menschlichen Hautoberfläche mit Methoden der digitalen Bildverarbeitung
Systematic development of model-based software engineering methods
Lautspezifische Synthese von Sprache im Zeit- und Frequenzbereich
Schneller Funktionsplanrechner mit komplexer Arithmetik
Distanzbasierte Merkmalsbewertung
Design of communication systems for two-way relaying
Photorealistic Visualization Techniques for Using Spatial Augmented Reality in the Design Process
Misbehavior detection in cooperative intelligent transport systems
Program analysis and black-box GUI testing = Program Analysis und Black-box GUI Testing
Interaktive Gestaltung von Automotive Services durch softwaregestützten Einsatz domänenspezifischer Modellierung
Gesicherte Zeitbezüge für die Leistungsanalyse in parallelen und verteilten Systemen
Finanzanalysen in der Investitions- und Finanzierungsberatung: Potential und problemadäquate Systemunterstützung
Security and Performance Tradeoff Analysis of Offloading Policies in Mobile Cloud Computing
Lean management of IT organizations
Re-Engineering und Migration betrieblicher Nutzdaten
Bedingungen der Beteiligung bei der Einführung von Informationstechnik: Ergebnisse e. Befragung von Beschäftigten d. Stadtverwaltung Unna
Objektorientierte Kommunikation in verteilten Rechnersystemen
Spectrum sensing in cognitive radio
Technisch-organisatorische Veränderungen im Bürobereich und ihre Konsequenzen für die Gestaltung der Arbeit: eine kritische Aufarbeitung bisheriger wissenschaftlicher Beiträge
Computergestützte Abschlußüberwachung im Rahmen des Abschlußerstellungsprozesses durch den steuerberatenden Berufsstand: beispielhafte Realisierung eines kontenrahmenbasierten Überwachungsunterstützungssystems
Natural Image Modelling using Mixture Models with compression as an application
Über die zur Übertragung Gaussscher Nachrichtenfolgen mit vorgegebener Genauigkeit notwendige Informationsmenge
Monte-Carlo-Simulationen stochastischer Transportprozesse unterschiedlicher Dimensionalität in biologischen Systemen
Ein mathematisches Modell zum thermischen Verhalten einer Flugzeugkabine
Verteilte Simulation als eine Validierungsmethode für komplexe Steuerungen
On deep learning applied to inverse problems: a chicken-and-egg problem
Strategisches Softwaremarketing: Übersicht und Bewertung
On a typed higher order functional calculus
From cyber-utopia to cyber-war: normative change in cyberspace
AI and IoT Meet Mobile Machines: Towards a Smart Working Site
Vision-based representation and recognition of human activities in image sequences
Virtuelle Realität im neuroanatomischen Unterricht: ein Vergleich mit konventionellen Lehrmethoden
Untersuchungen zur Konsistenzsicherung in CAD-Datenbanken
Wissensbasiertes Fehlerdiagnosesystem für den Service elektronischer Geräte: ein integrativer Ansatz
Design of a TMN-based inter-domain management environment for the open service market: an ODP-based modelling approach
Wrist-Worn Light-Based Smart Digital Jewellery
Low-level image processing with the structure multivector
Ein statischer Logiksimulator zur Verifikation struktureller und funktioneller Entwürfe auf der Basis der MOS-Schaltungstechnik
Modellbildung und Regelung einer einbeinigen Laufmaschine mit Fuzzy-Logik
Integrating aggregational and probabilistic approaches to dialectology and language variation = Die Integration aggregativer und probabilistischer Zugänge zur Dialektologie und Sprachvariation
Models and methods for the systematic integration of cognitive functions into product concepts
Schnittstellen in modularen CAD-CAM-Systemen
Entwurf eines dedizierten Datenbanksystems für Lexika: Problemanalyse u. Software-Entwurf anhand e. Projektes für maschinelle Sprachübers
Beitrag zum rechnerunabhängigen Entwurf von Programmen und deren Implementierung dargestellt an Teilen eines Systems zur Leitung und Steuerung des Fertigungsprozesses in einem Kleinbetrieb
Entwicklung und Realisierung der Pharmakologie-App "PharmaFrog" - unter besonderer Berücksichtigung der Grundlagen, Notwendigkeit und Inhalte
Ein mathematisches Modell zur Simulation isostatischer Ausgleichsbewegungen
Entwicklung eines Online-Expertensystems auf PC-Basis zur Schwingungsdiagnose rotierender Maschinen
Warteraum M/G/1: die SRPT-Optimalstrategie im Vergleich mit der Zeitscheibenstrategie unter Berücksichtigung von Verwaltungszeiten
Ein verkehrsadaptives Verfahren zur Steuerung von Lichtsignalanlagen
Mindful hybrid presence: explorations, trade-offs and enabling technology designs
Query Processing and Optimization in Graph Databases
Viewpoint guided learning for 3D scene understanding and representations
Dynamische Schutzsicherheit unter Berücksichtigung elektromechanischer Ausgleichsvorgänge in Hochspannungsnetzen
Smart Services for Knowledge Integration - ontologiebasierte Dienste zur Unterstützung der kollaborativen Wissensarbeit in Innovationsnetzwerken
LightSkin: globale Echtzeitbeleuchtung für Virtual und Augmented Reality
Computergestützte Befragungssysteme bei der Datenerhebung und ihr praktischer Einsatz in der Bundesrepublik Deutschland
Spezifikation und Implementation von Kommandosprachen für Dialogsysteme mit Hilfe einer attributierten Grammatik
Zu Analyse und Entwurf evolutionärer Algorithmen
Concept and Design of a Hand-held Mobile Robot System for Craniotomy
Sicherheitstechnische Abschätzung des Betriebszustandes von Pumpen zur Schadensfrüherkennung
Eine Methode zur Nutzenerfassung von Teleservice
Künstliche Intelligenz im öffentlichen Sektor: Verfassungs- und datenschutzrechtlicher Rahmen für den staatlichen Einsatz intelligenter Technologien
Integration verteilter Systeme zur Mensch-Maschine-Kommunikation
Computergestützte Konstruktion grosser Wortklassensysteme
Ein Beitrag zur optimalen Auslegung eines solaren Heizungssystems für ein Wohngebäude
Unterstützung virtueller Arbeitsumgebungen durch replizierte Kooperationsanwendungen: Spezifikation eines vektorzeitbasierten Replikationsverfahrens für den Einsatz im Internet
Parallele lineare Algebra: parallele Lösungen ausgewählter linearer Gleichungssysteme bei unterschiedlichen Multiprozessor-Architekturen
Entwicklung verteilter Multimedia-Applikationen: Strategie und Realisierung einer geeigneten Systemunterstützung
Security and trust in peer-to-peer based media distribution
Grundfragen der Gestaltung und Realisierung eines komplexen Informationssystems zur Vervollkommnung der Leitung im Bereich des Ministeriums für Kohle und Energie
Invariante Ordnungsreduktion für Mehrgrössensysteme durch analytische Fehlerminimierung im Frequenzbereich
A Deep Orthographic Modelling Environment / Christian Vjekoslav Tunjić
Understanding Site Structure by Reverse Engineering Web Navigation Elements
Methodik zur Determinierung repräsentativer und relevanter Testszenarien für prädiktive Sicherheitsfunktionen
Eine Methode zur Optimierung nichtlinear restringierter Funktionen unter Verwendung impliziter automatischer Differentiation
Low Latency Query Planning and Processing in Database Systems
Simulation der Phytoplanktondynamik eutropher Gewässer mittels kybernetischer Labormodelle: Entwicklung von Prinziplösungen
Plasticity of inhibition in recurrent circuits
Computergestützte Unternehmungskooperation: Potentiale - Strategien - Planungsmodelle
Learning social links and communities from interaction, tropical, and spatio-temporal information
Unterstützung der Balance von agiler und plan-basierter Entwicklung durch ein Entwicklungsframework
Methoden zur magnetischen Steuerung schwimmender Endoroboter
Nutzungsrechte in offenen Dienstinfrastrukturen
Untersuchung des Einflusses der Kopplung des Fahrzeugkastens mit den Drehgestellen und der Kopplung der Drehgestelle untereinander auf das horizontale Laufverhalten von Brückenschienenfahrzeugen beim Befahren enger Gleisbögen mittels der digitalen rechnergestützten Simulationsrechnung
A Framework for Defining Declarative Languages
Quality Assessment and Quality Improvement for UML Models
Büroautomatisierung als strategisches Konzept in Japan: eine Untersuchung der strategischen Einführungskonzeptionen der Informations- und Kommunikationssysteme in ausgewählten japanischen Unternehmen unter dem Aspekt der Übertragbarkeit auf die Bundesrepublik Deutschland
Topologische Beziehungen zwischen den Graphen der stationären und Karush-Kuhn-Tucker-Punkte in der parametrischen Optimierung
Privacy enhancing technologies: protocol verification, implementation and specification
Interaktive Datenanalyse bei biotechnischen Prozessdaten
Bewertung der ökonomischen Effektivität der Einführung der automatisierten Informationsverarbeitung für Aufgaben der Leitung und Planung ökonomischer Prozesse in der Republik Kuba
Zur Problematik der Rundung in digitalen Systemen
Der M2-Zyklus: modellgesteuertes Monitoring zur Bewertung paralleler Programme
Architektureigenschaften und Parallelisierungsmethoden für Rechner mit Funktionspipelining
Echtzeitsynthese optimaler Strategien für Differentialspiele schneller Dynamik mit Anwendungen bei der Kollisionsvermeidung
Entwicklung von Algorithmen zur rechnerunterstützten Konstruktion von Verzahnungen mit beliebigen Flankenformen
A Decentral Framework with Dynamic Partitioning for Numerical Computations on Massively Parallel Systems
Modulare Software-Architektur für Mehrwertanwendungen der deutschen Gesundheitstelematik
SAT solving with message passing
Automatische Fehlererkennung an flächigen Bauteilen mit Hilfe der Bildverarbeitung
Entwurfsmethodik und Realisierung eines Expertensystems zur Diagnostik ausgewählter technischer Objekte
Künstliche neuronale Netze versus ökonometrische und zeitreihenanalytische Verfahren zur Prognose ökonomischer Zeitreihen
Corpus-based parse pruning: applying empirical data to symbolic knowledge
Sensorunterstützte Programmierung und Bewegungsanpassung für das robotergeführte Gussputzen
Problemanalyse für den Prozessrechner-Einsatz in industriellen Elektroenergieversorgungssystemen und Grundlagen für automatische Schaltmassnahmen
Virtual video camera: a system for free viewpoint video of arbitrary dynamic scenes
Animierte interaktive Computerspiele in der Psychodiagnostik: ein Entwicklungssystem und seine Anwendung
Ein Verfahren zur Verfolgung des Komplexitätsverlaufs im Software-Entwicklungsprozess
Making the Visual World Audible - Auditory Image Understanding for the Visually Impaired Based on a Modular Computer Vision Sonification Model
Efficient credit based server load balancing
Die Java Pattern Language: eine graphbasierte Sprache zur Spezifikation komplexer Suchmuster für die statische Quelltextanalyse
Methoden und Werkzeuge für eine datengetriebene Entwicklung digitaler Gesundheitsanwendungen
Der Einfluss von Bedienstrategien auf das Einschwingverhalten von Rechensystemen, untersucht am M/G/1-System
Untersuchungen zur rechnergestützten berührungslosen Prüfung von Führungsachsen für Minifolienspeicher unter Verwendung von CCD-Zeilen und Personalcomputer-Instrumenten
Extraction of ontology schema components from financial news
Mathematische Modellierung und Optimierung von technischen Systemen der Abwasserbehandlung als Beitrag zur Entwicklung eines CAD-Systems
Empirical assessment and improvement of ubiquitous notifications
Secure Contactless Fingerprint Recognition
Automatische Wegfindung von Rohrleitungen
Augmenting People in Monocular Video Data
Beitrag zur Berechnung von Erwärmungsvorgängen in Industrieöfen durch Superposition von Teillösungen
A component framework for personalized multimedia applications
Integration formaler Fehlereinflussanalyse in die Funktionsentwicklung bei der Automobilindustrie
New methods to engineer and seamlessly reconfigure time triggered Ethernet based systems during runtime based on the PROFINET IRT example
Towards runtime verification of programmable networks
Recovery of structure and motion from monocular images under poor lighting and texture conditions
Preprocessing and Classification Techniques for FMCW Radar and Deep Learning Based Indoor Motion Classification
Objektorientierte Programmierung und ihr Einsatz zur Entwicklung von Informationssystemen
Vision-based 3D Pose Retrieval and Reconstruction
Anforderungsmuster zur Spezifikation soziotechnischer Systeme. Standardisierte Anforderungen der Vertrauenswürdigkeit und Rechtsverträglichkeit
Cooperative Memory Management in Safety-Critical Embedded Systems
Key Derivation with Physical Unclonable Functions
Recompilation von maschinenorientierten Prüfprogrammen durch syntax- und attributgesteuerte Translation
A Taxonomy Management System Supporting Crowd-based Taxonomy Generation, Evolution, and Management
Early abstraction of inertial sensor data for long-term deployments (Frühe Abstraktion von Inertialsensordaten für Langzeit-Anwendungen)
Background noise reduction based on diffuse gain factors and 1.2.kbit-s low bit rate speechcoding using spectral vector quantization of differential features
Improving alignment and controllability in GANs and diffusion models
Agile Prozessplanung im Produktentstehungsprozess am Beispiel der Motorenproduktion
Rechnergestütztes Entwurfs- und Optimierungssystem für Schraubendruckfedern
Untersuchung zur Realisierung von Zielen der Persönlichkeitsentwicklung auf dem Gebiet der Informationsverarbeitung und Prozessautomatisierung beim Einsatz von Schülern an numerisch gesteuerten Werkzeugmaschinen: (e. Beitr. zur Realisierung d. Arbeitsgebietes "Mithilfe beim Bedienen, Überwachen, Warten u. Pflegen von automatisierten Werkzeugmaschinen u. Anlagen" d. Planes für d. produktive Arbeit d. Schüler d. Klassen 9 u. 10 unter Beachtung d. qualitativ neuen Beziehungen zum Fach ESP, dargest. am Beisp. ausgew. Betriebe d. Forschungsstützpunktes Metallindustrie/Automatisierung)
Model Integration and Traceability for Product Service Systems Engineering
a4-digitales bauen: ein Modell für die weitgehende Computerunterstützung von Entwurf, Konstruktion und Betrieb von Gebäuden
Hierarchisches perzeptives Gruppieren mit Integration dualer Bildbeschreibungen
Software infrastructure for configurable workflow systems: a model driven approach based on higher order object nets and CORBA
Anwendungsentwicklung mit Komponenten-Frameworks in der Automatisierungstechnik
Storage structures and conditions on movement in natural language syntax
Neural Bug Detection
Consistency Checking for Ontology-Based Workflows
Expertensystem zur Konfigurationsplanung flexibler Fertigungsanlagen
Berechnung der Orientierungsänderungen und Texturentwicklung beim Walzen kristalliner Festkörper mit Hilfe eines modifizierten Taylor-Modells
Neuronale Netze in der Industrie: Einführung - Analyse - Einsatzmöglichkeiten
Fertigungsregelung durch zielgrössenorientierte Planung und logistisches Störungsmanagement
Strategie für eine bildinhaltsgestützte Dosisleistungsregelung beim digitalen Röntgenfernsehen
Performance evaluation of cellular internet of things networks
Comparing classical and embodied multimodal fusion for human-robot interaction
Software defined networking based data-center services
Incrementalizing Static Analyses in Datalog
Numerical Kronecker analysis of stochastic automata networks
Conditional Coding in Learned Image and Video Compression
Computersoftware, Rechtsschutz und gegenständliche Lizenz: ein rechtsdogmatischer Beitrag zu den Softwareüberlassungsverträgen
Resource allocation strategies in multi-hop wireless networks for industrial applications
Organisation und Visualisierung
Verfahren zur Hochgeschwindigkeits-Datenfernübertragung grosser Datenmengen
CORBA und Java in der Automatisierungstechnik: Anbindung von Steuerungssystemen an das World Wide Web
A versatile framework for research code development in geometry processing
Wissensbasiertes Leitsystem zur Steuerung flexibler Fertigungsanlagen
Toolboxen: ein Konzept für das Design von CSCW-Systemen zur Unterstützung von Kommunikation und Zusammenarbeit in Innovationsprojekten
Time of arrival based infrastructureless human posture capturing system
Ein integriertes Steuerungsentwurfs- und Verifikationskonzept mit Hilfe interpretierter Petri-Netze
A data-centric information architecture for power systems / submitted by Christoph Gerdes
Generic Adaptation Support for Wireless Sensor Networks
3-D-Rekonstruktion mit Symmetrie-Korrespondenzen und ihre Anwendung auf monokulare Abbildungen menschlicher Gesichter
The Discriminative Generalized Hough Transform for Localization of Highly Variable Objects and its Application for Surveillance Recordings
Leistungsarme Datenschnittstelle für Busanwendungen mit hohen Übertragungsraten bei minimaler Versorgungsspannung
Beitrag zur Erhöhung der Effektivität der Softwareentwicklung unter den Bedingungen des Wissenschaftlichen Gerätebaus
Erschliessung von Theorie- und Praxis-Bezügen durch fachübergreifend einsetzbare Computerprogramme
Smart TV Privacy Risks and Protection Measures = Smart-TV Datenschutz- und Privatsphärenrisiken und Schutzmaßnahmen
Moderne Methoden zur Simulation gemischt analog-digitaler Schaltungen
Ein akustischer Interaktionsraum für blinde Rechnerbenutzer
Argument-Based and Multi-faceted Rating to Support Large-Scale Deliberation
Auswahl von Online-Datenbanken: eine Rechercheschnittstelle für das Online-Retrieval integriert in das Konstanzer Hypertext System
Entwicklung eines computerunterstützten adaptiven Lerntests für schlussfolgerndes Denken im numerischen Bereich
Software reuse based upon architectural knowledge
Trustworthy and privacy-preserving processing of personal information: cryptographic constructions, protocols, and tools
Urheberpersönlichkeitsrecht und Multimedia
Component-based Pedestrian Recognition for Advanced Driver Assistance Systems
Kunden- und Wettbewerbsorientierung neugegründeter Softwareunternehmen: eine empirische Untersuchung von Teamgründungen
Verification of co-operating-systems and behaviour abstraction
Vom Datengrab zum Datenschatz, Klassifizierung und Aufbereitung von intensivmedizinischen Aufzeichnungen und Befunden in einer Datenbank auf OpenSource-Basis
Experimental and Computational Stability Analysis: from Slackline Athletes to Persons with Schizophrenia
Coalgebraic Behavior Analysis: From Qualitative To Quantitative Analyses
Controlling verteilter Informationssysteme: Client/Server-Architekturen
Eigenschaften submodularer monoton wachsender Funktionen und Struktur von Polymatroiden
When in doubt ask the crowd: leveraging collective intelligence for improving event detection and machine learning
Modeling variation of human motion
Hypertextstrukturen als Grundlage für integrierte Wissensakquisitionssysteme
Softwareentwicklung für speicherprogrammierbare Steuerungen im integrierten, rechnergestützten Konstruktionsprozess
Entwicklung und Implementierung von Kostenrechnungsverfahren für Servicerechenzentren aufgrund einer vergleichenden Analyse gegenwärtig praktizierter Verfahren
Formal Modeling, Simulation, and Validation of Communication Platforms
Constraint-based structural learning in Bayesian networks using finite data sets
Computergestützte Herzinfarktdiagnostik anhand klinisch-chemischer Parameter: Wege zum Expertensystem
Transfereffekte bei der Bearbeitung computersimulierter Problemszenarien
Ontology-Based Semantic Data Integration in the Domain of IT Benchmarking
Invariante Textursegmentierung mit Mehrkanalmethoden
Digitale Signaturverfahren auf der Basis des diskreten Logarithmusproblems und ihre Anwendungen
Fault-Tolerant Many-Cores for Mixed-Critical Real-Time Systems
Initialization and reformulation strategies for improved solving of nonlinear algebraic equation systems tested on chemical process models
Expressive personalized 3D face models from 3D face scans
Chancen und Risiken bei der strategischen Planung des ganzheitlichen Informations- und Kommunikationssystems in Klein- und Mittelbetrieben
Ein regelbasierter Beobachter zur prozessorientierten Integration betrieblicher Informationssysteme
Der Informationsbegriff in informatiknahen Wissenschaften und seine Relevanz für den Informatikunterricht allgemeinbildender Schulen
Eine Erweiterung von Prolog um ein funktionales Konzept und Koroutinen
Optimierung der Bildauflösung eines Positronen-Emissions-Tomographen
Analytische Untersuchung und Modellentwicklung von zeitkontinuierlichen Sigma-Delta-Wandlern
Informationsgewinnung und -verarbeitung in nichtlinearen dynamischen Systemen
Rechtsschutz für DV-Programme: d. immaterialgüterrechtl. Zuordnung d. Programme für elektron. Datenverarbeitungsanlagen
From local visual homing towards navigation of autonomous cleaning robots
Ein Farbbildanalysesystem zur Quantifizierung optischer Veränderungen auf dekorativen Beschichtungen nach Freibewitterung
Model consistency management for systems engineering
Mitigating Security Risks by Understanding Security-related API-misuses and Advancing Detection of Misuses
Zeitkritischer Verkehr in Wartesystemen von Hochgeschwindigkeitsnetzen: Modellbildung und mathematische Analyse
Der f-Nukleolus und ein dynamisches Verhandlungsmodell als Lösungskonzepte für kooperative n-Personenspiele
From perception over anticipation to manipulation
Flexible Detektion von Arzneimittelnebenwirkungen für die Versorgungsforschung
Ein Gleitpunkt-Arithmetikprozessor mit mehrfacher Präzision zur verifizierten Lösung linearer Gleichungssysteme
Eine ordnungsbasierte Regelsprache für NF2-Relationen
Probleme des Aufbaus von rechnergesteuerten Lehrgerätesystemen
Exploiting & sharing context: computer mediated nonverbal communication
Modellbildung und Analyse eines OCR-Systems mit verteilter künstlicher Intelligenz
Beyond the state of the art, towards intuitive and reliable non-visual Brain-Computer-Interfacing = Entwicklung intuitiver und zuverlässiger nicht-visueller Gehirn-Computer-Schnittstellen
Rechtsschutz für Standardsoftware
Automatische Herleitung von effektiven Testsequenzen aus LOTOS-Spezifikationen mittels Fehlermodellen
Analyse der Grenzen und Möglichkeiten schneller Tableauoptimierung
A generalized account of resource bounded reducibilities
Artificial intelligent approaches to time series forecasting
Entwicklung der Endform einer Methodik zur objektiven Analyse, Bewertung und Gestaltung von Arbeitstätigkeiten mit überwiegend geistigen Anforderungen
Diversification, compression, and evaluation methods for generative adversarial networks
Wissensbasierte Systeme zur Durchführung statistischer Analysen: Konzeption u. Implementation e. Prototypen
Specification and analysis of adaptive systems
Zur Ausnutzung der Beziehungen von Logik, Prolog und Datenbanken für die Behandlung von Datenbankproblemen und die Weiterentwicklung von Prolog-Systemen
Zustandscodierung sequentieller Schaltungen mit einschrittigen, wettlauffreien Codes
Systematic Composition of Language Components in MontiCore
A Framework for Autonomic Service-based Resource Management Using a Semantic Approach
Zur Problematik der sprecherunabhängigen Spracherkennung von dialektal gefärbter Standardsprache
Die Datenschutzkonvention des Europarates
Klassifikationen, Konzepte und Modelle für den Mensch-Rechner-Dialog
Die minimale Grösse von zufälligen Automaten
Statistische Auswahl von Wortabhängigkeiten in der automatischen Spracherkennung
Prozeßorientiertes Benchmarking im Informationsmanagement
Guarded logics: algorithms and bisimulation
Design patterns and frameworks for developing WIMP+ user interfaces
Zur Anwendung der Bedienungstheorie für die Projektierung von EDV-System-Zugängen
Didaktisch-methodische Positionen zu den Einflüssen der informationsverarbeitenden Technik auf den Mathematik- und Informatikunterricht