yusuke1997/dblp-id-title huggingface dataset:
The Power of Regular Constraints in CSPs
Regularisierte Optimierungsverfahren für Rekonstruktion und Modellierung in der Computergraphik
Einführung von DNSSEC und DANE im Bayerischen Hochschulnetz
Workshop Industry 4.0: Informatics enables new Production Systems
Öffentliche Verwaltung im Informationsverbund: Der Informationsverbund Bonn-Berlin (IVBB) als Beispiel besonderer Art
Application of Semantic Technologies. AST2010. 5th International Workshop (Vorwort)
Methoden und Anwendungen der Computational Humanities
Ground Target Tracking with Road Map Support
Momentenbasierte Verfahren für schnelle, transiente Bildgebung und Echtzeitschatten
Application of Graph Neural Networks to fraud classification problems in the insurance and financial domain
Strukturierung empirischer Evidenz im Informationssicherheitsmanagement. Vorgehen und erste Ergebnisse
TAV-2021: Herausforderungen beim Testen moderner Softwaresysteme
POWEA: A System for Automated Network Protocol Parameter Optimisation Using Evolutionary Algorithms
Beobachtungsmöglichkeiten im Domain Name System: Angriffe auf die Privatsphäre und Techniken zum Selbstdatenschutz
Innovative Entwicklungen mit Videotex(Vtx)
Concept, Implementation and Evaluation of a Virtual Learning Environment for Acquiring Competences in Android App Development
Datensicherheitsmaßnahmen nach dem DSG 2000
Leveraging standard software from the cloud with service-oriented EAM
Design Approaches for IEC 61499 Control Applications
Towards Acceptance of Socio-technical Systems - An Emphasis on the Requirements Phase
Online-Systeme im Finanz- und Rechnungswesen
Testfallerzeugung mit einer symbolischen virtuellen Maschine und Constraint Solvern
Intelligente Softwareagenten und betriebswirtschaftliche Anwendungsszenarien im Gesundheitswesen
Förderung der elektronischen Marktfähigkeit von Dienstleistungen und hybriden Angeboten in Produkt-Service Systemen
A System to Increase Data Independence in a Hierarchical Structure
Kommunikationsmöglichkeiten für Aspekte der Nachhaltigkeitsinformatik
Digitalisation by Enterprise Architecture Management: Practical Recommendations
Datenskalierung für die verlustleistungsarme Signalverarbeitung in Prozessorsystemen
Minor Digital Science at the University of Innsbruck: The Dynamics of Multidisciplinary Education for Heterogeneous Groups
Augmented Virtual 3D-Community Spaces as an Intercultural Interface for Higher Media Art Education
Towards copy-evident JPEG images
Value-Oriented Socio-Technical Design of the Internet of Things
CollabXT - Prozessqualität durch Werkzeugunterstützung etablieren und steigern - Projektbericht
Das Konzept des House of Computing and Data Science als Blaupause zur Digitalisierung der Forschung
Sensing and Rating Different Environmental States: States: A basic Approach exemplified on Moving in Unknown Terrain
Ein Programmiersystem zur problemnahen Erstellung adaptierter Software
Gerichtspflichtigkeit infolge Internetpräsenz
Erfahrungen mit der Kontigentierung von Rechenleistung in einem wissenschaftlichen Rechenzentrum mit breit gestreuter Benutzerschaft und knappen Ressourcen
Visuelle Spezifikation des Kerns objektorientierter Applikationen
Echtzeitkommunikationssysteme - Eine Einführung in die Problembereiche und Lösungsansätze
Modernes sequentielles und paralleles SAT Solving
Derivation of Categories for Interoperability of Blockchain- and Distributed Ledger Systems
Konzeption einer virtuellen Maschine als Standardschnittstelle für die Bildverarbeitung
Extraction of Information from Invoices - Challenges in the Extraction Pipeline
Management Support Systems (MMS): Integratives Konzept, Werkzeuge und Perspektiven
Schema Evolution in Prozess-Management-Systemen
Extending the German Labor Market Ontology with Online Data
Informatik, Recht und Datenschutz
Semantische 3D Modellierung aus Bildern mit geometrischem Vorwissen
Vertrauensmerkmal Unterschrift - Gestaltungskriterien für sichere Signierwerkzeuge
Stoffstrommanagement
Doktorandensymposium
Informationsbedarf von Bürger*innen bezüglich Niedrigwasser, Trockenheit und Dürre - Ergebnisse einer Umfrage
Beitrag von EAM zur agilen Transformation und Konsolidierung von Geschäft und IT: Referenzmodelle, Methoden, Implementationen und Werkzeuge
Ausgezeichnete Informatikdissertationen 2017
Zielgerichtete Kontrolle von Software-Entwicklungsprojekten [Goal-oriented Quantitative Software Project Control]
Demand-side Energy Management Systems for Manufacturing
Design Alternatives for GUI Development with Discourse-based Communication Models
Energiemanagement in der IT und im Rechenzentrum
High Throughput Analyse und Visualisierung von Gelelektrophoreseexperimenten
Putting the car on the map: A scalable map matching system for the Open Source Community
Vorwort: Softwarearchitekturen und -entwicklung für Smartwatch und Wearable Apps
Persönliche Lernumgebung - Architektur für Smartphones
From Automated to On-The-Fly Machine Learning
Disjunctive Logic Programming: What Applications Developers Need
Solving Logistical Problems with Partly Intelligent Agents
NFDI4DS Transfer and Application
USARSIM - Game-Engines in der Robotik-Lehre
Evaluation der Leistungsfähigkeit ausgewählter Mutationstestwerkzeuge
Prozess Management Systeme der nächsten Generation: Nur ein wenig Flexibilität wird nicht reichen
Konzeption und Entwicklung eines EDI-Servers für den Gesundheitsmarkt Schweiz
Status-Feeds zur flexiblen Koordinierung nicht vollständig voraussehbarer Geschäftsprozesse
A Method for Describing Concurrent Problems Based on Logic
Presentation of the Programme of the 6th GI/ACM Standardization Workshop on Industrial Automation and Control Systems
Keynote: Risiko-Analyse für die Informationstechnologie von Hochschulen
Problemorientierte Kontrastoptimierung in der Kernspintomographie mit Methoden der Mustererkennung
Ontologien als Bindeglied in der Personalentwicklung
Kooperation in selbstorganisierten heterogenen Schwärmen
Modularisierung von digitalen Weiterbildungsangeboten für die öffentliche Verwaltung
Evolutionäre Optimierung dynamischer Probleme
Multimediale Kundenselbstbedienung im Bankgeschäft
Gestaltung von Arbeit und Technik beim Einsatz von Bürosystemen
Integration of a fall detection system into the intelligent building
Situationsbewusste, patternbasierte Adaption interaktiver Anwendungen durch Auswertung von Emotions- und Biosignal-Daten
An Object Oriented Approach for Data Fusion
An Efficient and Flexible Implementation of Aspect-Oriented Languages
Methodenbank-Monitorsysteme and ihre Einsatzmöglichkeiten
Das UIMS THESEUS
Praktische Ansätze zur ELSI-Integration in Technologieprojekte
Serviceorientierte Architektur im Precision Dairy Farming aus der Perspektive der Informatik
An e-marketplace system for efficient, sustainable rural logistics and mobility, based on cyber-physical contracts: Enhancing rural infrastructure by connecting stakeholders on a privacy-focused web platform
Ein Ansatz fur eine Ontologie-basierte Verbindung von IT Monitoring und IT Governance
Das Task- und Timing- Konzept von PEARL
Herausforderungen bei der Anpassung von Open Source Software an neue Einsatzbereiche
Oblivious Transfer Amplification - Verstärkung vergesslicher Übertragung
Softwaretechnische Aspekte beim Übergang von einem anwendungsneutralen Daten- und Methodenbanksystem zu einem interaktiven System für ingenieurmäßige Entwurfsoptimierung
Chatbots als Instrument der Planungskommunikation - Chancen, Anforderungen und Perspektiven
Untersuchung und Optimierung der Benutzbarkeit alters-angepasster Captcha-Mechanismen
Towards designing individual value-oriented decision support for selecting Internet-based services
33. Jahrestagung der Gesellschaft für Informatik, Innovative Informatikanwendungen, INFORMATIK 2003, Frankfurt am Main, Germany, September 29 - October 2, 2003, Band 2
Modellbasierter Komponententest mit visuellen Kontrakten
Der Arbeitsplatz des Kardiotechnikers bei Operationen am offenen Herzen
Bewertung und Optimierung von Systemarchitekturen - Erfahrungen im industriellen Umfeld bei Siemens
Multiple Ground Target Tracking and Classification with DSmT
Identifikation von Einsatzpotenzialen von Generativer Künstlicher Intelligenz am Beispiel eines Unternehmens der Versorgungswirtschaft
Combined Optimization of Aircraft Maneuvers and RF Measurements for Passive Air-Air Ranging
Visualization Support for Contracts in VeriFast
Modell zum Aufwands- und Leistungsvergleich hardwaregestützter Assoziativdatenverwaltungssysteme mit konventionellen inverted File- bzw. mehrdimensionalen Hash-Systemen
Serviceorientierte Architekturen im Precision Dairy Farming (Vorwort)
Modelling Medieval Vagueness
Anforderungen an den computerunterstützten Arbeitsplatz im industriellen Umfeld
Entwicklung eines Werkzeugs zur Messung von Softwarequalität und dessen Integration in den Entwicklungsprozess
Design for Trust: Security im M-Commerce
Model-based Integrity Monitoring of Industrial Automation And Control Systems
Non-Blocking Signature of very large SOAP Messages
Perspectives on Tag Clouds for Supporting Reflection in Self-organised Learning
Workshop "Adaptive and Organic Systems"
IKT als Enabler der Energiewende
Herstellung und Retrieval von Patentschriften
Das Web als personalisierte Entscheidungsplatform - Die PESCaDO Idee
Werkzeuggestützte Referenzmodellanwendung im SOA-Entwurfsprozess
Benutzerverwaltung in Lernumgebungen
Auftragsverkehr über einen generellen Auftragspuffer bei Prozessrechnersystemen
Semi-Formal Representation and Evaluation of Security Properties
Soability - AModel for the Strategic Evaluation of an IT Environment's Ability to Support a Service-Oriented Architecture
Entwicklung eines werkzeugs zur standortbestimmung von IT-abteilungen basierend auf COBIT 5
Von der digitalen Souveränität zur digitalen Identität
Software-Wiederverwendung und komponentenbasierte Software-Entwicklung: Zwei Seiten einer Medaille?
4th GI/ACMWorkshop on Standardization of I4.0 Automation and Control Systems
Rechtsverträgliche und qualitätszentrierte Gestaltung für "KI made in Germany"
Regionaler Informationsverbund zur Struktur- und Wirtschaftsförderung
Scrum Essentials in der Lehre
Process-Mining-unterstützte Ad-hoc-Produktionsplanung - Konzept und prototypische Implementierung
Entwurf verteilter Systeme im Sonderforschungsbereich 342
Aspekt-basierte Sentiment Analysis
Internet Governance: ICANN=.org sui generis?
Expanding Knowledge Graphs Through Text: Leveraging Large Language Models for Inductive Link Prediction
Interconnection of the behavior-based control architecture and a detailed mechatronic machine model for realistic behavior verification of the THOR project
Eine Analyse von 33 Gigabyte gestohlener Keylogger-Daten
On the Signaling Overhead in Dynamic OFDMA Wireless Systems
From data to knowledge: OER-supported teaching of data literacy in administrative science
Self-Organization and Emergence in Complex Dynamical Systems
Maschinelle Bilderkennung von Phänophasen bei Pflanzen
Model-Based Requirements Engineering with AutoRAID
Kombinatorische Lösungen für Segmentierungsprobleme im Maschinensehen
Towards an Integrated Biodiversity and Ecological Research Data Management and Archiving Platform: The German Federation for the Curation of Biological Data (GFBio)
37. Jahrestagung der Gesellschaft für Informatik, Informatik trifft Logistik, INFORMATIK 2007, Bremen, Germany, September 24-27, 2007, Band 1
Deklarative Spezifikation visueller Sprachen durch grafische Beispiele oder Ein Bild sagt mehr als tausend Formeln
Quantum versus Classical Computation: Automatic Decision-Making Approaches
Locating Physical Interface Objects on Interactive Surfaces
Code Generator Testing in Practice
15. Workshop Automotive Software Engineering (ASE)
Fehlermodelle in verteilten Echtzeitsystemen
Ein formal validiertes Metamodell für die Transformation von Schemata in Informationssystemen
Pipa: custom integration of protein interactions and pathways
Vorwort: Big Data Technologien zur Analyse und Steuerung komplexer cyber-physischer Systeme
Workshop "Rechtssicherheit im Internet"
SoaML-basierter Entwurf eines dienstorientierten Überwachungssystems
Privatsphären- und Datenschutz in Community-Plattformen: Gestaltung von Online-Bewertungsportalen
Entwicklung eines SOA-basierten und anpassbaren Bewertungsdienstes für Inhalte aus sozialen Medien
Decision theoretic approaches for focussed Bayesian fusion
Forensic readiness of small and medium-sized enterprises from a police perspective
Informationstechnik: Herrschaftsinstrument oder Demokratisierungspotential?
DocEdit - ein Editor zur syntaxgesteuerten Erstellung strukturierter Dokumente
A Monte Carlo Tree Search Based Conflict-Driven Clause Learning SAT Solver
Wie formal soll und darf die Beschreibung des Pflichtenheftes für ein Prozeßautomatisierungsssystem sein?
Service Migrations in TSCH Network using Wireless Channel Estimation and Prediction
Geodaten in der Öffentlichen Verwaltung
Methoden für effektive Farbkodierung und zur Kompensation von Kontrasteffekten
Privacy threat analysis of smart metering
Semantik-Definition der Prozeß-Programmiersprache PEARL
Digitale Transformation: Mit Weitblick in die Zukunft
Leistungsanalyse in heterogenen LANs am Beispiel von LINK
From simulation to emulation - an integrated approach for network security evaluation
Elektronisches Publizieren. Mythen, Leitbilder, Visionen - und die "Wirklichkeit"?
Ein robuster Rahmen für hierarchisches Floorplanning mit integrierter globaler Verdrahtung
Gestaltung von Benutzungsschnittstellen: Geht es ohne Design-Kompetenz?
Experimentiersystem für ein technisches Informatikpraktikum
TaxiMedia: An Interactive Context-Aware Entertainment and Advertising System
A Binary Control Structure and its Relationship to Grammars and Side Effects
Mailing-Listen als entscheidender Backbone. Zur verblüffenden Einfachheit von Systemen zur Entscheidungsfindung
Semantik-basierte, strategische Planung und Komposition intermodaler Seehafenhinterland-Transport-Services
Vorwort: Zur Tradition und zum Sinn des Workshops
Kommunikationskonzepte für verteilte Mikrocomputeranwendungen
The incorporation of LLM tool-calling capabilities for enhancing the Explainable AI paradigm in classification tasks
Time-Sharing-Dialog über Bildschirmtext-Rechnerverbund
Passive User Integration in Social Networking Services
Methoden zur genomweiten Evaluierung von Gen-Strata-Interaktionen
Towards the impact of the operational environment on the security of e-voting
Vorwort: Risikokommunikation im Kontext von IT-Sicherheit und Safety (RiskKom 2014)
Praxiserprobte Muster und Landkarten zur serviceorientierten Integration von Standardsoftware
A flexible high-performance service-oriented production system for Triple Play telecommunication products
Organisation der Verwaltungsmechanismen in Rechnerverbundnetzen
3D modeling of selected assets, security zones and conduits
Automatische Generierung voll funktionsfähiger mobiler Bediensoftware aus Benutzungs- und Funktionsmodellen
Der Einsatz von Expertensystemtechniken zur Unterstützung der Arbeit mit Rechtsinformationssystemen
Benutzbare Sicherheit für wirksame Berechtigungen in Organisationen
Erkennung von Schreibern mittels handgeschriebener Buchstaben
Constraint Generierung für domänenspezifische Modellierungssprachen
Service Robot Control Architectures for Flexible and Robust Real-World Task Execution: Best Practices and Patterns
Elektronische Drittmittelakte in der Hochschulverwaltung - Erkenntnisse aus Fallstudien
Architektur im Großen: Gegenstand und Handlungsfelder
Organisationales Commitment und Verteilte Arbeit - Erfahrungen bei der Implementierung eines eCRM Systems
Trace Driven Studies of Deadlock Control and Job Scheduling
Programmierkurse für Anfanger und Fortgeschrittene
Informationsextraktion durch Verwendung Computerlinguistischer Verfahren in Texten mit Makrostruktur
IT-Unterstützung in Emergency Management & Response
Multi-Modell-Umgebung IT-Governance: Einsatz mehrerer Best-Practice-Referenzmodelle
Syntaxgesteuerte Programmierung und inkrementelle Compilation
Enabling Statistical Testing for Component-based Systems
Programming for refugees - an active learning approach for teaching Java to heterogeneous groups
Smartmonitoring - eine webbasierte Plattform für das Monitoring von Umweltdaten aus verschiedensten Schnittstellen und Sensoren zur Nutzung für studentische Projekte und Forschungsprototypen
IV-Controlling beim Einsatz moderner Informations- und Kommunikationssysteme im Unternehmen - Ergebnisse einer empirischen Untersuchung
Charing IP Network Services In a Multi-Segment Infrastructure Supporting QoS and Mobility
Personaldaten im Web 2.0 - Status quo, Visionen, Kritik, Chancen
Interdisciplinary Perspectives on the Use of Competency-Based Learning and AI in Personalized Learning Environments
Auswertungsnetze als Hilfsmittel zur Modellbildung: Probleme und deren Lösungen
Domänenspezifische Modellierung in der Versicherungswirtschaft
Dienstleistungsnetzwerk im Handwerk: Mobiles Wissen mit Hilfe von Endgeraten beim Kunden vor Ort
Modeling of user interfaces with state-charts to accelerate test and evaluation of different gesture-based multimodal interactions
A new Visualization Approach for Sustainability
Effiziente Entwicklung von AUTOSAR-Komponenten mit Domänenspezifischen Programmiersprachen
Die Sicherheit des UNIX-Betriebssystems
Optimizing OPC UA Deployments on Node.js through Advanced Logging Techniques
Modell für ein SLA-basiertes VM-Scheduling in föderierten Cloud-Umgebungen
RDI4DS: Research Data Infrastructures for Data Science and Artificial Intelligence
Zielorientiertes Sensing im Pervasive Computing
Arbeitstagung Programmiersprachen - Vorwort
Erste Erfahrungen bei der Integration heterogener Informationssysteme in der Bioinformatik
Automatic Determination of Data Flow in Extended Affix Grammars
Überlegungen zur Architektur von Datenbanksystemen für Ingenieuranwendungen
Pseudonymizing Log Entries with time-selective Disclosure
Sehen und Verstehen: Der Beitrag bildlicher Information zur robusten Sprachverarbeitung
Einsatz eines Gasmarktmodells zur Bewertung von Risiken
Lernförderliche Gestaltung computerbasierter Instruktionen zur Roboterkonstruktion
Collaborative Planning in Intermodal Freight Transportation
Compliant Text Normalization for Small and Medium-sized Enterprises
WireGraph - Entwicklung eines Lernspiels mit Prosumentenumgebung zur Förderung der fachlichen und digitalen Kompetenz von Wirtschaftsstudierenden
Computer-assisted Planning of Cardiac Interventions and Heart Surgery
Funktion und Realisierung einer rechnergesteuerten Fernsprech-Nebenstellenanlage
Benutzerschnittstelle zur Leitung eines mobilen Roboters.Einsatz standardisierter Softwarewerkzeuge
PSYLOCK - Identifikation eines Tastaturbenutzers durch Analyse des Tippverhaltens
Intent-basierte Kommunikation im Web: Übersicht und Vergleich
Mapping Quantum Circuits to 2-Dimensional Quantum Architectures
Eine Arbeitsumgebung für elektronisch unterstützte interaktive Lehre
Die Anwendung der B-Spline-Approximation in Computer Graphics
Workshop zum Stand, den Herausforderungen und Impulsen des Geschäftsprozessmanagements (ZuGPM 2017)
Softwaretechnik und Anwendung moderner Eingabetechnologien
IT-Sicherheit als Managementaufgabe
Ein Compiler für die Register Transfer-Sprache KARL-2
Treewidth in Non-Ground Answer Set Solving and Alliance Problems in Graphs
Where Have all the Cycles Gone? - Investigating Runtime Overheads of OSAssisted Replication
Das Verschwinden der Konsole und die Vorläufer des interaktiven "User"
Ausgezeichnete Informatikdissertationen 2005
Impact of Robotic Process Automation on Enterprise Architectures
AI-supported selection procedure for spectral sensors based on technical and economic characteristics
Entwicklung einer mobilen elektronischen Patientenakte für die ambulante Versorgung in ländlichen Regionen
Sicherheit in Mobilen Ad hoc Netzwerken
Methodology for the Specification of Software Systems: From Formal Requirements to Algebraic Design Specifications
DASU - Transferzentrum für Digitalisierung, Analytics Data Science Ulm
Multioperator Weighted Monadic Datalog
Gestaltung und Analyse geräteübergreifender Interaktion
An Expert System for Automatic Codeing of Abstract Data Type Specifications
Towards Identifying GDPR-Critical Tasks in Textual Business Process Descriptions
Ein quasi-stationäres Modell zur Prognose des Infrastruktur-Energiebedarfs von Rechenzentren
A Disjunctive Semantics Bases on Unfolding and Bottom-Up Evaluation
Modellbasierte Testentwicklung - Verwendung von Aktivitätsdiagrammen zur grafischen Entwicklung von Testfällen
Aufgabenstellung und Forschungsprozess
A Tool for Human-in-the-Loop Analysis and Exploration of (not only) Prosodic Classifications for Post-modern Poetry
Das chronische Problem der Anforderungsanalyse und die Frage: Fehler vermeiden oder früh entdecken?
An Algorithm for Coloring the Vertices of an Arbitrary Finite Graph
Autonome mobile Roboter
Design eines Profil- und Zertifikatsmanagementsystems für das Service by eContract-Konzept
Messungen und Datenanalyse in Anbetracht von Rauschen und komplexem Bias - Fortschritte aus verbesserten bioinformatischen Algorithmen
Querying Probabilistic Ontologies with SPARQL
Multimodal Computing and Interaction - Robust, Efficient and Intelligent Processing of Text, Speech, Visual Data and High Dimensional Representations
Visualisierung als Gegenstand der Ausbildung von Bioinformatikern
Schutz der Privatheit
Entwicklung und Einsatz einer Domänenontologie des Informationsmanagements im Krankenhaus
Cube: Eine dreidimensionale visuelle Programmiersprache
Providing Service Continuity in Ad Hoc Networks
Ein Sortierverfahren für Registermaschinen (Zusammenfassung)
The Effect of Process Length on Process Acceptance
Struktur, Elemente und Bausteine von IT-Strategien in der öffentlichen Verwaltung
Interdisziplinary Development Patterns from the use case: Support-U
Illustrative Visualisierung von medizinischen Datensätzen
Messbarkeit und Beeinflussung von Eventual-Consistency in verteilten Datenspeichersystemen
new/s/leak - Anforderungsanalyse einer interaktiven Visualisierung für Data-Driven Journalism
A Domain Specific Language for Project Execution Models
datorium - ein neuer Service für Archivierung und Zugang zu sozialwissenschaftlichen Forschungsdaten
Sicherheit vs. Privatsphäre: Zur Akzeptanz von Überwachung in sozialen Medien im Kontext von Terrorkrisen
A Framework for Visuo-Haptic Simulation of Puncture Interventions
Ontological analysis of controlled vocabularies used in PSI/MSI supported XML standards
Industrie 4.0 - Datenhoheit und Datenschutz
Kartogramme zur Visualisierung Geographie-Bezogener Daten
FEUEX - Ein Expertensystem zur Beratung über Gefahrguttransport und für den Feuerwehreinsatz
Verfahren zur vertrauenswürdigen Verteilung von Verschlüsselungsschlüsseln
Internet und 3D-Molekulvisualisierung
Outsourcing im Kontext agiler Produktentwicklung - Ein Erfahrungsbericht
Virtual Mushrooms. Überlegungen zu landschaftsspezifischen mobilen Spielen
EASInet - Ein Beitrag zu einem europäischen Forschungsnetz
Reusable Interaction Protocols for Workflows
A Characterization of Program Equivalence in Terms of Hoare's Logic
Kooperativer Aufbau und nachhaltiger Betrieb der Landesinitiative für Forschungsdatenmanagement in Brandenburg (FDM-BB)
Zur Ästhetik von Getting-lost-in-hyperspace
A Distributed Systems Architecture Supporting Multi-Threaded Objects
A survey on approaches to anonymity in bitcoin and other cryptocurrencies
Open Source Cloud Computing Management Plattformen - Einführung, Vergleich und Einsatzempfehlungen
A pervasively verifiable online voting scheme
Einführung eines agilen Vorgehensmodells auf der Basis von Werkzeugen und eines Leitbildes
Zielorientierte Nutzung von Projektleitständen
Gezielte Portabilität von Software
Umwelt- und Nachhaltigkeitsthemen für die breite Masse
Karriere trotz anderer Lebensinteressen - Optionen innovativer Arbeitsgestaltung und Personalpolitik an InformatikerInnenarbeitsplätzen
Informatik-Arbeitplätze in der öffentlichen Verwaltung
Public and Expert Insights into Generative AI: The potential for the Financial Industry
Der Sonderforschungsbereich 603: Modellbasierte Analyse und Visualisierung komplexer Szenen und Sensordaten
Sicherheitsanalyse von Kreditkarten am Beispiel von EMV
Mit Wissen zum Erfolg
Darstellung formaler Beweise